runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705173-1338094756/watcher-3705173-1338094756 -o /tmp/evaluation-result-3705173-1338094756/solver-3705173-1338094756 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705173-1338094756.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3279
/proc/meminfo: memFree=30080880/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=0 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 882 0 0 0 0 0 0 0 20 0 2 0 275599963 85827584 830 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 830 195 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=0 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 2 0 275599963 85827584 830 33554432000 4194304 5963574 140736563389264 140735718908616 5236023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0947799 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3279
/proc/meminfo: memFree=30080880/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=0.08 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 1277 0 0 0 8 0 0 0 20 0 2 0 275599963 85827584 1225 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 1225 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=0.07 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 527 0 0 0 7 0 0 0 20 0 2 0 275599963 85827584 1225 33554432000 4194304 5963574 140736563389264 140233453836824 4598657 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83816
[startup+0.100308 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3279
/proc/meminfo: memFree=30080880/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=0.09 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 1291 0 0 0 9 0 0 0 20 0 2 0 275599963 85827584 1239 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 1239 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=0.08 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 541 0 0 0 8 0 0 0 20 0 2 0 275599963 85827584 1239 33554432000 4194304 5963574 140736563389264 140233453836824 4373026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83816
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3279
/proc/meminfo: memFree=30080880/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=0.29 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 1581 0 0 0 29 0 0 0 20 0 2 0 275599963 85827584 1514 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 1514 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=0.28 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 831 0 0 0 28 0 0 0 20 0 2 0 275599963 85827584 1514 33554432000 4194304 5963574 140736563389264 140233453836824 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83816
[startup+0.700237 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3279
/proc/meminfo: memFree=30080880/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=0.69 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 2048 0 0 0 69 0 0 0 20 0 2 0 275599963 85827584 1935 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 1935 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=0.68 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 1298 0 0 0 68 0 0 0 20 0 2 0 275599963 85827584 1935 33554432000 4194304 5963574 140736563389264 140233453836824 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83816
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30070828/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=1.49 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 2465 0 0 0 149 0 0 0 20 0 2 0 275599963 85827584 2352 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 2352 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=1.48 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 1715 0 0 0 148 0 0 0 20 0 2 0 275599963 85827584 2352 33554432000 4194304 5963574 140736563389264 140233453836088 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83816
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30067464/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=3.09 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 3226 0 0 0 309 0 0 0 20 0 2 0 275599963 85827584 3113 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 3113 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=3.07 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 2476 0 0 0 307 0 0 0 20 0 2 0 275599963 85827584 3113 33554432000 4194304 5963574 140736563389264 140233453836328 4399477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83816
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30048740/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=6.28 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 4980 0 0 0 628 0 0 0 20 0 2 0 275599963 85827584 4821 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 4821 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=6.27 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 4230 0 0 0 627 0 0 0 20 0 2 0 275599963 85827584 4821 33554432000 4194304 5963574 140736563389264 140233453837240 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83816
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30036892/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=84140 CPUtime=12.69 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 5579 0 0 0 1268 1 0 0 20 0 2 0 275599963 86159360 5420 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 21035 5420 198 432 0 20600 0
[pid=3279/tid=3280] ppid=3277 vsize=84140 CPUtime=12.65 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 4829 0 0 0 1264 1 0 0 20 0 2 0 275599963 86159360 5420 33554432000 4194304 5963574 140736563389264 140233453836088 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84140
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30007512/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=25.48 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 8827 0 0 0 2546 2 0 0 20 0 2 0 275599963 85827584 8631 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 8631 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=25.41 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 8077 0 0 0 2539 2 0 0 20 0 2 0 275599963 85827584 8631 33554432000 4194304 5963574 140736563389264 140233453836824 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83816
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 3284
/proc/meminfo: memFree=29971952/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=83816 CPUtime=51.07 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 11764 0 0 0 5104 3 0 0 20 0 2 0 275599963 85827584 11923 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 20954 11923 198 432 0 20519 0
[pid=3279/tid=3280] ppid=3277 vsize=83816 CPUtime=50.94 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 11014 0 0 0 5091 3 0 0 20 0 2 0 275599963 85827584 11923 33554432000 4194304 5963574 140736563389264 140233453836280 4403255 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83816
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 3284
/proc/meminfo: memFree=29844872/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=150076 CPUtime=102.26 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 26998 0 0 0 10218 8 0 0 20 0 2 0 275599963 153677824 27157 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 37519 27157 198 432 0 37084 0
[pid=3279/tid=3280] ppid=3277 vsize=150076 CPUtime=102.01 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 26248 0 0 0 10192 9 0 0 20 0 2 0 275599963 153677824 27157 33554432000 4194304 5963574 140736563389264 140233453836328 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150076
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 3308
/proc/meminfo: memFree=29772088/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=215972 CPUtime=162.22 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 38286 0 0 0 16209 13 0 0 20 0 2 0 275599963 221155328 38654 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 53993 38654 198 432 0 53558 0
[pid=3279/tid=3280] ppid=3277 vsize=215972 CPUtime=161.82 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 37536 0 0 0 16167 15 0 0 20 0 2 0 275599963 221155328 38654 33554432000 4194304 5963574 140736563389264 140233453836280 4399952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 215972
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 3308
/proc/meminfo: memFree=29714560/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=215972 CPUtime=222.21 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 49070 0 0 0 22202 19 0 0 20 0 2 0 275599963 221155328 49981 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 53993 49981 198 432 0 53558 0
[pid=3279/tid=3280] ppid=3277 vsize=215972 CPUtime=221.66 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 48320 0 0 0 22144 22 0 0 20 0 2 0 275599963 221155328 49981 33554432000 4194304 5963574 140736563389264 140233453836328 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 215972
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 3308
/proc/meminfo: memFree=29679672/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=280424 CPUtime=282.19 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 57675 0 0 0 28197 22 0 0 20 0 2 0 275599963 287154176 58320 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 70106 58320 198 432 0 69671 0
[pid=3279/tid=3280] ppid=3277 vsize=280424 CPUtime=281.51 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 56925 0 0 0 28125 26 0 0 20 0 2 0 275599963 287154176 58320 33554432000 4194304 5963574 140736563389264 140233453837240 4399459 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 280424
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3308
/proc/meminfo: memFree=29650504/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=280424 CPUtime=342.17 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 57691 0 0 0 34195 22 0 0 20 0 2 0 275599963 287154176 58322 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 70106 58322 198 432 0 69671 0
[pid=3279/tid=3280] ppid=3277 vsize=280424 CPUtime=341.34 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 56941 0 0 0 34107 27 0 0 20 0 2 0 275599963 287154176 58322 33554432000 4194304 5963574 140736563389264 140233453837240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 280424
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 3308
/proc/meminfo: memFree=29619992/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=280424 CPUtime=402.16 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 57691 0 0 0 40194 22 0 0 20 0 2 0 275599963 287154176 58640 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28999108/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=477032 CPUtime=1421.99 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 112039 0 0 0 142143 56 0 0 20 0 2 0 275599963 488480768 113228 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 119258 113228 198 432 0 118823 0
[pid=3279/tid=3280] ppid=3277 vsize=477032 CPUtime=1418.57 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 111289 0 0 0 141780 77 0 0 20 0 2 0 275599963 488480768 113228 33554432000 4194304 5963574 140736563389264 140233453836088 4394272 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 477032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28956064/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=542568 CPUtime=1481.95 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 118683 0 0 0 148133 62 0 0 20 0 2 0 275599963 555589632 120128 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 135642 120128 198 432 0 135207 0
[pid=3279/tid=3280] ppid=3277 vsize=542568 CPUtime=1478.38 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 117933 0 0 0 147754 84 0 0 20 0 2 0 275599963 555589632 120128 33554432000 4194304 5963574 140736563389264 140233453836088 4388277 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 542568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28901268/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=545000 CPUtime=1541.92 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 127681 0 0 0 154125 67 0 0 20 0 2 0 275599963 558080000 129361 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 136250 129361 198 432 0 135815 0
[pid=3279/tid=3280] ppid=3277 vsize=545000 CPUtime=1538.2 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 126931 0 0 0 153730 90 0 0 20 0 2 0 275599963 558080000 129361 33554432000 4194304 5963574 140736563389264 140233453836088 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 545000
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28867408/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=610536 CPUtime=1601.9 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 133932 0 0 0 160119 71 0 0 20 0 2 0 275599963 625188864 135734 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 152634 135734 198 432 0 152199 0
[pid=3279/tid=3280] ppid=3277 vsize=610536 CPUtime=1598.02 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 133182 0 0 0 159708 94 0 0 20 0 2 0 275599963 625188864 135734 33554432000 4194304 5963574 140736563389264 140233453836088 4387882 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 610536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3319
/proc/meminfo: memFree=28814396/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=610536 CPUtime=1661.89 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 144896 0 0 0 166110 79 0 0 20 0 2 0 275599963 625188864 146698 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 152634 146698 198 432 0 152199 0
[pid=3279/tid=3280] ppid=3277 vsize=610536 CPUtime=1657.87 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 144146 0 0 0 165683 104 0 0 20 0 2 0 275599963 625188864 146698 33554432000 4194304 5963574 140736563389264 140233453836280 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 610536
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28797780/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1721.88 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 147020 0 0 0 172108 80 0 0 20 0 2 0 275599963 692830208 148769 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 148769 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1717.72 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 146270 0 0 0 171666 106 0 0 20 0 2 0 275599963 692830208 148769 33554432000 4194304 5963574 140736563389264 140233453836088 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 676592
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28758696/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1781.86 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154290 0 0 0 178098 88 0 0 20 0 2 0 275599963 692830208 156038 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156038 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1777.56 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 153540 0 0 0 177641 115 0 0 20 0 2 0 275599963 692830208 156038 33554432000 4194304 5963574 140736563389264 140233453836088 4399477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 676592
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28756640/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1791.47 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154609 0 0 0 179059 88 0 0 20 0 2 0 275599963 692830208 156355 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156355 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1787.14 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 153859 0 0 0 178599 115 0 0 20 0 2 0 275599963 692830208 156355 33554432000 4194304 5963574 140736563389264 140233453836088 4399477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 676592
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28755384/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1794.66 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154797 0 0 0 179378 88 0 0 20 0 2 0 275599963 692830208 156542 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156542 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1790.34 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 154047 0 0 0 178919 115 0 0 20 0 2 0 275599963 692830208 156542 33554432000 4194304 5963574 140736563389264 140233453836088 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 676592
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28755136/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1797.86 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154801 0 0 0 179698 88 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156546 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1793.52 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 154051 0 0 0 179237 115 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140233453836088 4399505 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 676592
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1798.66 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154801 0 0 0 179778 88 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156546 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1794.32 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 154051 0 0 0 179317 115 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140233453836088 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 676592
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1799.06 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154801 0 0 0 179818 88 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156546 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1794.72 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 154051 0 0 0 179357 115 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140233453836088 4399508 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 676592
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1799.46 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154801 0 0 0 179858 88 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156546 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1795.12 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 154051 0 0 0 179397 115 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140233453836088 4399462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 676592
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3279] ppid=3277 vsize=676592 CPUtime=1799.56 cores=1,3,5,7
/proc/3279/stat : 3279 (wbo1.7) S 3277 3279 2698 0 -1 4202496 154801 0 0 0 179868 88 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140736563388784 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3279/statm: 169148 156546 198 432 0 168713 0
[pid=3279/tid=3280] ppid=3277 vsize=676592 CPUtime=1795.22 cores=1,3,5,7
/proc/3279/task/3280/stat : 3280 (wbo1.7) R 3277 3279 2698 0 -1 4202560 154051 0 0 0 179407 115 0 0 20 0 2 0 275599963 692830208 156546 33554432000 4194304 5963574 140736563389264 140233453836088 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 676592
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3279 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=79258
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=176821
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.56
CPU user time (s): 1798.68
CPU system time (s): 0.88
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 676592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.08
system time used= 1.17682
maximum resident set size= 626184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154801
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= 185
involuntary context switches= 1849
runsolver used 4.47832 second user time and 12.2841 second system time
The end