runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand908403.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//rand908403.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand908403.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.04 1.06 1.03 1/95 13491 /proc/meminfo: memFree=1238352/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=3272 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) R 13491 13491 13759 34823 13904 4194304 305 0 0 0 0 0 0 0 25 0 1 0 417852162 3350528 231 1283457024 134512640 135539072 4286867680 18446744073709551615 134909542 0 0 0 0 0 0 0 17 0 0 0 0 /proc/13492/statm: 818 232 185 251 0 119 0 [startup+0.211907 s] /proc/loadavg: 1.04 1.06 1.03 1/95 13491 /proc/meminfo: memFree=1238352/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.303294 s] /proc/loadavg: 1.04 1.06 1.03 1/95 13491 /proc/meminfo: memFree=1238352/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.449978 s] /proc/loadavg: 1.04 1.06 1.03 1/95 13491 /proc/meminfo: memFree=1238352/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.707341 s] /proc/loadavg: 1.04 1.06 1.03 1/95 13491 /proc/meminfo: memFree=1238352/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.50667 s] /proc/loadavg: 1.04 1.06 1.03 4/109 13505 /proc/meminfo: memFree=1157276/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13494] ppid=13492 vsize=874120 CPUtime=2.16 /proc/13494/stat : 13494 (java) S 13492 13491 13759 34823 13904 4202496 28748 0 0 0 201 15 0 0 18 0 12 0 417852163 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160062610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13494/statm: 218530 24616 1744 10 0 215617 0 [pid=13494/tid=13495] ppid=13492 vsize=874120 CPUtime=0.98 /proc/13494/task/13495/stat : 13495 (java) R 13492 13491 13759 34823 13904 4202560 9314 0 0 0 92 6 0 0 25 0 12 0 417852165 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4095625643 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13494/tid=13496] ppid=13492 vsize=874120 CPUtime=0.13 /proc/13494/task/13496/stat : 13496 (java) S 13492 13491 13759 34823 13904 4202560 5477 0 0 0 10 3 0 0 15 0 12 0 417852165 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=13494/tid=13497] ppid=13492 vsize=874120 CPUtime=0.17 /proc/13494/task/13497/stat : 13497 (java) S 13492 13491 13759 34823 13904 4202560 5896 0 0 0 15 2 0 0 16 0 12 0 417852165 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13498] ppid=13492 vsize=874120 CPUtime=0.08 /proc/13494/task/13498/stat : 13498 (java) S 13492 13491 13759 34823 13904 4202560 82 0 0 0 8 0 0 0 15 0 12 0 417852167 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076808 0 0 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13499] ppid=13492 vsize=874120 CPUtime=0 /proc/13494/task/13499/stat : 13499 (java) S 13492 13491 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 21 0 12 0 417852167 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13500] ppid=13492 vsize=874120 CPUtime=0 /proc/13494/task/13500/stat : 13500 (java) S 13492 13491 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 22 0 12 0 417852167 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13501] ppid=13492 vsize=874120 CPUtime=0 /proc/13494/task/13501/stat : 13501 (java) S 13492 13491 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417852170 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160084304 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13502] ppid=13492 vsize=874120 CPUtime=0.22 /proc/13494/task/13502/stat : 13502 (java) S 13492 13491 13759 34823 13904 4202560 1454 0 0 0 20 2 0 0 15 0 12 0 417852170 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=13494/tid=13503] ppid=13492 vsize=874120 CPUtime=0.54 /proc/13494/task/13503/stat : 13503 (java) S 13492 13491 13759 34823 13904 4202560 5115 0 0 0 54 0 0 0 17 0 12 0 417852170 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13504] ppid=13492 vsize=874120 CPUtime=0 /proc/13494/task/13504/stat : 13504 (java) S 13492 13491 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417852170 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13505] ppid=13492 vsize=874120 CPUtime=0 /proc/13494/task/13505/stat : 13505 (java) S 13492 13491 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417852170 895098880 24616 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076808 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 880500 [startup+3.12219 s] /proc/loadavg: 1.03 1.06 1.03 2/109 13505 /proc/meminfo: memFree=1090440/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=0 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13494] ppid=13492 vsize=876524 CPUtime=4.65 /proc/13494/stat : 13494 (java) S 13492 13491 13759 34823 13904 4202496 55310 0 0 0 445 20 0 0 18 0 12 0 417852163 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160062610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13494/statm: 219131 44112 1770 10 0 216218 0 [pid=13494/tid=13495] ppid=13492 vsize=876524 CPUtime=1.69 /proc/13494/task/13495/stat : 13495 (java) R 13492 13491 13759 34823 13904 4202560 15891 0 0 0 161 8 0 0 25 0 12 0 417852165 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13494/tid=13496] ppid=13492 vsize=876524 CPUtime=0.29 /proc/13494/task/13496/stat : 13496 (java) R 13492 13491 13759 34823 13904 4202560 10989 0 0 0 24 5 0 0 16 0 12 0 417852165 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13494/tid=13497] ppid=13492 vsize=876524 CPUtime=0.32 /proc/13494/task/13497/stat : 13497 (java) S 13492 13491 13759 34823 13904 4202560 11265 0 0 0 29 3 0 0 15 0 12 0 417852165 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13498] ppid=13492 vsize=876524 CPUtime=0.25 /proc/13494/task/13498/stat : 13498 (java) S 13492 13491 13759 34823 13904 4202560 2034 0 0 0 25 0 0 0 15 0 12 0 417852167 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076808 0 0 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13499] ppid=13492 vsize=876524 CPUtime=0 /proc/13494/task/13499/stat : 13499 (java) S 13492 13491 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 21 0 12 0 417852167 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13500] ppid=13492 vsize=876524 CPUtime=0 /proc/13494/task/13500/stat : 13500 (java) S 13492 13491 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 22 0 12 0 417852167 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13501] ppid=13492 vsize=876524 CPUtime=0 /proc/13494/task/13501/stat : 13501 (java) S 13492 13491 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417852170 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160084304 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13502] ppid=13492 vsize=876524 CPUtime=0.9 /proc/13494/task/13502/stat : 13502 (java) R 13492 13491 13759 34823 13904 4202560 3949 0 0 0 88 2 0 0 16 0 12 0 417852170 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4148119111 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13494/tid=13503] ppid=13492 vsize=876524 CPUtime=1.16 /proc/13494/task/13503/stat : 13503 (java) S 13492 13491 13759 34823 13904 4202560 9772 0 0 0 116 0 0 0 16 0 12 0 417852170 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=13494/tid=13504] ppid=13492 vsize=876524 CPUtime=0 /proc/13494/task/13504/stat : 13504 (java) S 13492 13491 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417852170 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076016 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=13494/tid=13505] ppid=13492 vsize=876524 CPUtime=0 /proc/13494/task/13505/stat : 13505 (java) S 13492 13491 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417852170 897560576 44112 1283457024 134512640 134550932 4286906432 18446744073709551615 4160076808 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.65 Current children cumulated vsize (KiB) 882904 [startup+6.30756 s] /proc/loadavg: 1.03 1.06 1.03 2/99 13510 /proc/meminfo: memFree=1194300/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=40920 CPUtime=1.93 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 10850 0 0 0 191 2 0 0 20 0 1 0 417852598 41902080 10025 1283457024 134512640 135858300 4286669104 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 10230 10025 137 329 0 9899 0 Current children cumulated CPU time (s) 7.91 Current children cumulated vsize (KiB) 50188 [startup+12.7079 s] /proc/loadavg: 1.03 1.06 1.02 2/99 13510 /proc/meminfo: memFree=1191224/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=41836 CPUtime=8.32 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 11541 0 0 0 830 2 0 0 25 0 1 0 417852598 42840064 10257 1283457024 134512640 135858300 4286669104 18446744073709551615 134661620 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 10459 10257 137 329 0 10128 0 Current children cumulated CPU time (s) 14.3 Current children cumulated vsize (KiB) 51104 [startup+25.5044 s] /proc/loadavg: 1.02 1.06 1.02 2/99 13511 /proc/meminfo: memFree=1190852/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=41836 CPUtime=21.09 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 11541 0 0 0 2106 3 0 0 25 0 1 0 417852598 42840064 10257 1283457024 134512640 135858300 4286669104 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 10459 10257 137 329 0 10128 0 Current children cumulated CPU time (s) 27.07 Current children cumulated vsize (KiB) 51104 [startup+51.1056 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13513 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=49448 CPUtime=46.7 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 13449 0 0 0 4664 6 0 0 25 0 1 0 417852598 50634752 12165 1283457024 134512640 135858300 4286669104 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 12362 12165 137 329 0 12031 0 Current children cumulated CPU time (s) 52.68 Current children cumulated vsize (KiB) 58716 Solver just ended. Dumping a history of the last processes samples [startup+57.5059 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13513 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=49448 CPUtime=53.1 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 13449 0 0 0 5304 6 0 0 25 0 1 0 417852598 50634752 12165 1283457024 134512640 135858300 4286669104 18446744073709551615 134625745 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 12362 12165 137 329 0 12031 0 Current children cumulated CPU time (s) 59.08 Current children cumulated vsize (KiB) 58716 [startup+60.7061 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13514 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=49448 CPUtime=56.3 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 13449 0 0 0 5624 6 0 0 25 0 1 0 417852598 50634752 12165 1283457024 134512640 135858300 4286669104 18446744073709551615 134626850 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 12362 12165 137 329 0 12031 0 Current children cumulated CPU time (s) 62.28 Current children cumulated vsize (KiB) 58716 [startup+62.3061 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13514 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=49448 CPUtime=57.9 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 13449 0 0 0 5784 6 0 0 25 0 1 0 417852598 50634752 12165 1283457024 134512640 135858300 4286669104 18446744073709551615 134625680 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 12362 12165 137 329 0 12031 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 58716 [startup+63.1061 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13514 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=49448 CPUtime=58.7 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 13449 0 0 0 5864 6 0 0 25 0 1 0 417852598 50634752 12165 1283457024 134512640 135858300 4286669104 18446744073709551615 134625541 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 12362 12165 137 329 0 12031 0 Current children cumulated CPU time (s) 64.68 Current children cumulated vsize (KiB) 58716 [startup+63.5061 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13514 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=4000 CPUtime=5.98 /proc/13492/stat : 13492 (cudf-solver.py) S 13491 13491 13759 34823 13904 4202496 813 56751 0 0 0 0 560 38 15 0 1 0 417852162 4096000 642 1283457024 134512640 135539072 4286867680 18446744073709551615 4158655118 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/13492/statm: 1000 642 346 251 0 301 0 [pid=13509] ppid=13492 vsize=2888 CPUtime=0 /proc/13509/stat : 13509 (sh) S 13492 13491 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 417852598 2957312 320 1283457024 134512640 135191968 4294520976 18446744073709551615 4159621774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13509/statm: 722 320 219 166 0 154 0 [pid=13510] ppid=13509 vsize=49448 CPUtime=59.1 /proc/13510/stat : 13510 (msuncore) R 13509 13491 13759 34823 13904 4202496 13449 0 0 0 5904 6 0 0 25 0 1 0 417852598 50634752 12165 1283457024 134512640 135858300 4286669104 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/13510/statm: 12362 12165 137 329 0 12031 0 Current children cumulated CPU time (s) 65.08 Current children cumulated vsize (KiB) 58716 [startup+63.907 s] /proc/loadavg: 1.01 1.05 1.02 2/98 13514 /proc/meminfo: memFree=1183180/2097152 swapFree=2055620/2097144 [pid=13491] ppid=13490 vsize=2380 CPUtime=0 /proc/13491/stat : 13491 (inesct-1.0) S 13490 13491 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 25 0 1 0 417852162 2437120 257 1283457024 134512640 135191968 4292275712 18446744073709551615 4159294094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13491/statm: 595 257 221 166 0 27 0 [pid=13492] ppid=13491 vsize=7752 CPUtime=65.47 /proc/13492/stat : 13492 (cudf-solver.py) R 13491 13491 13759 34823 13904 4202496 1893 70578 0 0 5 1 6497 44 16 0 1 0 417852162 7938048 1563 1283457024 134512640 135539072 4286867680 18446744073709551615 4158193461 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/13492/statm: 1938 1563 346 251 0 1239 0 Current children cumulated CPU time (s) 65.47 Current children cumulated vsize (KiB) 10132 Child status: 0 Real time (s): 63.9704 CPU time (s): 65.5441 CPU user time (s): 65.0841 CPU system time (s): 0.460028 CPU usage (%): 102.46 Max. virtual memory (cumulated for all children) (KiB): 887536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 65.0841 system time used= 0.460028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74304 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 663 involuntary context switches= 1045 runsolver used 0.016001 second user time and 0.012 second system time The end