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-3705239-1338100157/watcher-3705239-1338100157 -o /tmp/evaluation-result-3705239-1338100157/solver-3705239-1338100157 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705239-1338100157.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.01 2.01 2.00 3/176 3605
/proc/meminfo: memFree=30077672/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=0 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 2 0 276140049 85704704 763 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 763 190 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=0 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 2 0 276140049 85704704 763 33554432000 4194304 5963574 140737330602224 140733698830520 4387216 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.059145 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3605
/proc/meminfo: memFree=30077672/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=0.05 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 955 0 0 0 5 0 0 0 20 0 2 0 276140049 85704704 904 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 904 192 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=0.04 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 241 0 0 0 4 0 0 0 20 0 2 0 276140049 85704704 904 33554432000 4194304 5963574 140737330602224 140733698830520 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83696
[startup+0.100295 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3605
/proc/meminfo: memFree=30077672/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=0.09 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 1046 0 0 0 9 0 0 0 20 0 2 0 276140049 85704704 995 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 995 192 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=0.08 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 332 0 0 0 8 0 0 0 20 0 2 0 276140049 85704704 995 33554432000 4194304 5963574 140737330602224 140733698830520 5135572 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) 83696
[startup+0.300257 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3605
/proc/meminfo: memFree=30077672/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=0.29 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 1440 0 0 0 29 0 0 0 20 0 2 0 276140049 85704704 1389 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 1389 192 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=0.28 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 726 0 0 0 28 0 0 0 20 0 2 0 276140049 85704704 1389 33554432000 4194304 5963574 140737330602224 140208104412984 5135572 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) 83696
[startup+0.700254 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 3605
/proc/meminfo: memFree=30077672/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=0.69 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 2013 0 0 0 69 0 0 0 20 0 2 0 276140049 85704704 1962 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 1963 192 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=0.68 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 1300 0 0 0 68 0 0 0 20 0 2 0 276140049 85704704 1963 33554432000 4194304 5963574 140737330602224 140208104412984 5135572 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) 83696
[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30057668/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83840 CPUtime=1.49 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 2808 0 0 0 149 0 0 0 20 0 2 0 276140049 85852160 2757 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20960 2757 192 432 0 20525 0
[pid=3605/tid=3606] ppid=3603 vsize=83840 CPUtime=1.48 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 2094 0 0 0 148 0 0 0 20 0 2 0 276140049 85852160 2757 33554432000 4194304 5963574 140737330602224 140208104413224 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) 83840
[startup+3.10025 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30054320/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=3.09 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 3383 0 0 0 309 0 0 0 20 0 2 0 276140049 85704704 3304 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 3304 192 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=3.07 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 2669 0 0 0 307 0 0 0 20 0 2 0 276140049 85704704 3304 33554432000 4194304 5963574 140737330602224 140208104413176 4399451 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) 83696
[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30049864/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83696 CPUtime=6.29 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 4532 0 0 0 629 0 0 0 20 0 2 0 276140049 85704704 4453 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20924 4453 192 432 0 20489 0
[pid=3605/tid=3606] ppid=3603 vsize=83696 CPUtime=6.26 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 3818 0 0 0 626 0 0 0 20 0 2 0 276140049 85704704 4453 33554432000 4194304 5963574 140737330602224 140208104412984 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83696
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3608
/proc/meminfo: memFree=30028584/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=83912 CPUtime=12.69 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 7542 0 0 0 1268 1 0 0 20 0 2 0 276140049 85925888 7463 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 20978 7463 192 432 0 20543 0
[pid=3605/tid=3606] ppid=3603 vsize=83912 CPUtime=12.65 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 6828 0 0 0 1265 0 0 0 20 0 2 0 276140049 85925888 7463 33554432000 4194304 5963574 140737330602224 140208104412984 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) 83912
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 3608
/proc/meminfo: memFree=29982200/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=84612 CPUtime=25.48 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 14639 0 0 0 2545 3 0 0 20 0 2 0 276140049 86642688 14622 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 21153 14622 192 432 0 20718 0
[pid=3605/tid=3606] ppid=3603 vsize=84612 CPUtime=25.4 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 13925 0 0 0 2537 3 0 0 20 0 2 0 276140049 86642688 14622 33554432000 4194304 5963574 140737330602224 140208104413224 4221120 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) 84612
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 3611
/proc/meminfo: memFree=29943440/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=151876 CPUtime=51.06 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 19924 0 0 0 5101 5 0 0 20 0 2 0 276140049 155521024 20007 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 37969 20007 192 432 0 37534 0
[pid=3605/tid=3606] ppid=3603 vsize=151876 CPUtime=50.92 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 19210 0 0 0 5088 4 0 0 20 0 2 0 276140049 155521024 20007 33554432000 4194304 5963574 140737330602224 140208104412984 4388621 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 151876
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.00 3/180 3611
/proc/meminfo: memFree=29878056/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=155572 CPUtime=102.26 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 31244 0 0 0 10216 10 0 0 20 0 2 0 276140049 159305728 32008 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 38893 32008 192 432 0 38458 0
[pid=3605/tid=3606] ppid=3603 vsize=155572 CPUtime=102 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 30530 0 0 0 10189 11 0 0 20 0 2 0 276140049 159305728 32008 33554432000 4194304 5963574 140737330602224 140208104412984 4400052 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) 155572
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3611
/proc/meminfo: memFree=29820764/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=214768 CPUtime=162.24 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 39551 0 0 0 16210 14 0 0 20 0 2 0 276140049 219922432 39071 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 53692 39071 192 432 0 53257 0
[pid=3605/tid=3606] ppid=3603 vsize=214768 CPUtime=161.83 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 38837 0 0 0 16168 15 0 0 20 0 2 0 276140049 219922432 39071 33554432000 4194304 5963574 140737330602224 140208104414136 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 214768
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3611
/proc/meminfo: memFree=29760916/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=214768 CPUtime=222.23 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 39554 0 0 0 22209 14 0 0 20 0 2 0 276140049 219922432 39071 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 53692 39071 192 432 0 53257 0
[pid=3605/tid=3606] ppid=3603 vsize=214768 CPUtime=221.67 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 38840 0 0 0 22151 16 0 0 20 0 2 0 276140049 219922432 39071 33554432000 4194304 5963574 140737330602224 140208104414136 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 214768
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3612
/proc/meminfo: memFree=29683940/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=214768 CPUtime=282.21 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 45849 0 0 0 28205 16 0 0 20 0 2 0 276140049 219922432 45365 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 53692 45365 192 432 0 53257 0
[pid=3605/tid=3606] ppid=3603 vsize=214768 CPUtime=281.52 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 45135 0 0 0 28132 20 0 0 20 0 2 0 276140049 219922432 45365 33554432000 4194304 5963574 140737330602224 140208104412984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 214768
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3612
/proc/meminfo: memFree=29641020/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=281388 CPUtime=342.21 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 56188 0 0 0 34199 22 0 0 20 0 2 0 276140049 288141312 55702 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 70347 55702 192 432 0 69912 0
[pid=3605/tid=3606] ppid=3603 vsize=281388 CPUtime=341.37 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 55474 0 0 0 34111 26 0 0 20 0 2 0 276140049 288141312 55702 33554432000 4194304 5963574 140737330602224 140208104412984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 281388
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 3612
/proc/meminfo: memFree=29615516/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=281388 CPUtime=402.19 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 59643 0 0 0 40196 23 0 0 20 0 2 0 276140049 288141312 59250 33554432000 4194304 5963574 140737330602224 140737330601744 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 3622
/proc/meminfo: memFree=28714740/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=609608 CPUtime=1421.91 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 144851 0 0 0 142108 83 0 0 20 0 2 0 276140049 624238592 147354 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 152402 147354 192 432 0 151967 0
[pid=3605/tid=3606] ppid=3603 vsize=609608 CPUtime=1418.45 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 144137 0 0 0 141741 104 0 0 20 0 2 0 276140049 624238592 147354 33554432000 4194304 5963574 140737330602224 140208104413048 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 609608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3623
/proc/meminfo: memFree=28712012/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=609608 CPUtime=1481.9 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 145615 0 0 0 148106 84 0 0 20 0 2 0 276140049 624238592 148113 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 152402 148113 192 432 0 151967 0
[pid=3605/tid=3606] ppid=3603 vsize=609608 CPUtime=1478.29 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 144901 0 0 0 147724 105 0 0 20 0 2 0 276140049 624238592 148113 33554432000 4194304 5963574 140737330602224 140208104412984 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 609608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3623
/proc/meminfo: memFree=28673696/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=675144 CPUtime=1541.89 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 155143 0 0 0 154096 93 0 0 20 0 2 0 276140049 691347456 157640 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 168786 157640 192 432 0 168351 0
[pid=3605/tid=3606] ppid=3603 vsize=675144 CPUtime=1538.14 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 154429 0 0 0 153698 116 0 0 20 0 2 0 276140049 691347456 157640 33554432000 4194304 5963574 140737330602224 140208104413176 4399522 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 675144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3623
/proc/meminfo: memFree=28670624/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=675144 CPUtime=1601.87 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 155800 0 0 0 160094 93 0 0 20 0 2 0 276140049 691347456 158294 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 168786 158294 192 432 0 168351 0
[pid=3605/tid=3606] ppid=3603 vsize=675144 CPUtime=1597.99 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 155086 0 0 0 159682 117 0 0 20 0 2 0 276140049 691347456 158294 33554432000 4194304 5963574 140737330602224 140208104412984 4399554 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 675144
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 3623
/proc/meminfo: memFree=28624588/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1661.87 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 167405 0 0 0 166086 101 0 0 20 0 2 0 276140049 760676352 169898 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 169898 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1657.83 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 166691 0 0 0 165657 126 0 0 20 0 2 0 276140049 760676352 169898 33554432000 4194304 5963574 140737330602224 140208104412984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 742848
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3623
/proc/meminfo: memFree=28599500/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1721.86 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 173656 0 0 0 172079 107 0 0 20 0 2 0 276140049 760676352 176148 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176148 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1717.68 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 172942 0 0 0 171636 132 0 0 20 0 2 0 276140049 760676352 176148 33554432000 4194304 5963574 140737330602224 140208104412984 4403104 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 742848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597472/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1781.85 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174043 0 0 0 178078 107 0 0 20 0 2 0 276140049 760676352 176534 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176534 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1777.53 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173329 0 0 0 177620 133 0 0 20 0 2 0 276140049 760676352 176534 33554432000 4194304 5963574 140737330602224 140208104412984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 742848
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1791.46 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174170 0 0 0 179039 107 0 0 20 0 2 0 276140049 760676352 176661 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176661 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1787.11 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173456 0 0 0 178578 133 0 0 20 0 2 0 276140049 760676352 176661 33554432000 4194304 5963574 140737330602224 140208104412984 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 742848
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1794.66 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174170 0 0 0 179359 107 0 0 20 0 2 0 276140049 760676352 176661 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176661 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1790.3 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173456 0 0 0 178897 133 0 0 20 0 2 0 276140049 760676352 176661 33554432000 4194304 5963574 140737330602224 140208104412984 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) 742848
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1797.85 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174171 0 0 0 179678 107 0 0 20 0 2 0 276140049 760676352 176662 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176662 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1793.49 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173457 0 0 0 179216 133 0 0 20 0 2 0 276140049 760676352 176662 33554432000 4194304 5963574 140737330602224 140208104412984 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 742848
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1798.65 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174172 0 0 0 179758 107 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176663 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1794.28 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173458 0 0 0 179295 133 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140208104412984 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 742848
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1799.05 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174172 0 0 0 179798 107 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176663 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1794.69 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173458 0 0 0 179336 133 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140208104412984 4399468 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 742848
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1799.45 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174172 0 0 0 179838 107 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176663 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1795.08 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173458 0 0 0 179375 133 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140208104412984 4400055 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 742848
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3624
/proc/meminfo: memFree=28597100/32873844 swapFree=7628/7628
[pid=3605] ppid=3603 vsize=742848 CPUtime=1799.55 cores=1,3,5,7
/proc/3605/stat : 3605 (wbo1.7) S 3603 3605 2698 0 -1 4202496 174172 0 0 0 179848 107 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140737330601744 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3605/statm: 185712 176663 192 432 0 185277 0
[pid=3605/tid=3606] ppid=3603 vsize=742848 CPUtime=1795.18 cores=1,3,5,7
/proc/3605/task/3606/stat : 3606 (wbo1.7) R 3603 3605 2698 0 -1 4202560 173458 0 0 0 179385 133 0 0 20 0 2 0 276140049 760676352 176663 33554432000 4194304 5963574 140737330602224 140208104412984 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 742848
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3605 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=857292
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=355793
# CPU time returned by wait4() is 1795.21
# while last known CPU time is 1799.55
#
# 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.55
CPU user time (s): 1798.48
CPU system time (s): 1.07
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 742848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 1.35579
maximum resident set size= 706652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174172
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= 249
involuntary context switches= 1847
runsolver used 3.51347 second user time and 8.37973 second system time
The end