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-3704852-1338109574/watcher-3704852-1338109574 -o /tmp/evaluation-result-3704852-1338109574/solver-3704852-1338109574 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704852-1338109574.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 3/177 23868
/proc/meminfo: memFree=29029708/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=47256 CPUtime=0 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) R 23866 23868 21940 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 277082370 48390144 266 33554432000 4194304 5963574 140736012018240 140736012016584 5178411 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 11814 266 171 432 0 350 0
[startup+0.103974 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23868
/proc/meminfo: memFree=29029708/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=52060 CPUtime=0.1 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) R 23866 23868 21940 0 -1 4202496 1910 0 0 0 10 0 0 0 20 0 1 0 277082370 53309440 1829 33554432000 4194304 5963574 140736012018240 140736012016584 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 13015 1830 551 432 0 1551 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 52060
[startup+0.200319 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23868
/proc/meminfo: memFree=29029708/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=56840 CPUtime=0.19 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) R 23866 23868 21940 0 -1 4202496 3457 0 0 0 19 0 0 0 20 0 1 0 277082370 58204160 3311 33554432000 4194304 5963574 140736012018240 140736012016584 5135572 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 14210 3311 927 432 0 2746 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56840
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23868
/proc/meminfo: memFree=29029708/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=61248 CPUtime=0.29 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) R 23866 23868 21940 0 -1 4202496 4987 0 0 0 29 0 0 0 20 0 1 0 277082370 62717952 4841 33554432000 4194304 5963574 140736012018240 140736012016584 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 15312 4842 1316 432 0 3848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61248
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23868
/proc/meminfo: memFree=29029708/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=79612 CPUtime=0.69 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) R 23866 23868 21940 0 -1 4202496 11227 0 0 0 68 1 0 0 20 0 1 0 277082370 81522688 10952 33554432000 4194304 5963574 140736012018240 140736012016584 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 19903 10952 2890 432 0 8439 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79612
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23869
/proc/meminfo: memFree=28979852/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=116872 CPUtime=1.49 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) R 23866 23868 21940 0 -1 4202496 23574 0 0 0 145 4 0 0 20 0 1 0 277082370 119676928 23040 33554432000 4194304 5963574 140736012018240 140736012016728 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 29218 23040 6040 432 0 17754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116872
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23869
/proc/meminfo: memFree=28933784/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=206344 CPUtime=3.09 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 57666 0 0 0 299 10 0 0 20 0 2 0 277082370 211296256 46102 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 51586 46102 179 432 0 51151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206344
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23870
/proc/meminfo: memFree=28760052/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=334528 CPUtime=6.29 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 82237 0 0 0 614 15 0 0 20 0 2 0 277082370 342556672 68037 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 83632 68037 187 432 0 83197 0
[pid=23868/tid=23870] ppid=23866 vsize=334528 CPUtime=3.43 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 39700 0 0 0 335 8 0 0 20 0 2 0 277082656 342556672 68037 33554432000 4194304 5963574 140736012018240 140147090605880 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 334528
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23870
/proc/meminfo: memFree=28754108/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=334528 CPUtime=12.69 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 83484 0 0 0 1253 16 0 0 20 0 2 0 277082370 342556672 69284 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 83632 69284 187 432 0 83197 0
[pid=23868/tid=23870] ppid=23866 vsize=334528 CPUtime=9.83 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 40947 0 0 0 974 9 0 0 20 0 2 0 277082656 342556672 69284 33554432000 4194304 5963574 140736012018240 140147090605880 4372983 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 334528
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23870
/proc/meminfo: memFree=28746916/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=334528 CPUtime=25.48 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 85278 0 0 0 2531 17 0 0 20 0 2 0 277082370 342556672 71078 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 83632 71078 187 432 0 83197 0
[pid=23868/tid=23870] ppid=23866 vsize=334528 CPUtime=22.63 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 42741 0 0 0 2253 10 0 0 20 0 2 0 277082656 342556672 71078 33554432000 4194304 5963574 140736012018240 140147090606072 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 334528
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23870
/proc/meminfo: memFree=28735632/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=334528 CPUtime=51.08 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 88296 0 0 0 5089 19 0 0 20 0 2 0 277082370 342556672 74096 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 83632 74096 187 432 0 83197 0
[pid=23868/tid=23870] ppid=23866 vsize=334528 CPUtime=48.22 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 45759 0 0 0 4810 12 0 0 20 0 2 0 277082656 342556672 74096 33554432000 4194304 5963574 140736012018240 140147090605880 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 334528
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23870
/proc/meminfo: memFree=28709216/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=400064 CPUtime=102.27 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 94729 0 0 0 10204 23 0 0 20 0 2 0 277082370 409665536 80529 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 100016 80529 187 432 0 99581 0
[pid=23868/tid=23870] ppid=23866 vsize=400064 CPUtime=99.43 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 52192 0 0 0 9925 18 0 0 20 0 2 0 277082656 409665536 80529 33554432000 4194304 5963574 140736012018240 140147090606120 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 400064
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23870
/proc/meminfo: memFree=28671524/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=400064 CPUtime=162.25 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 100862 0 0 0 16196 29 0 0 20 0 2 0 277082370 409665536 86670 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 100016 86670 187 432 0 99581 0
[pid=23868/tid=23870] ppid=23866 vsize=400064 CPUtime=159.42 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 58325 0 0 0 15917 25 0 0 20 0 2 0 277082656 409665536 86670 33554432000 4194304 5963574 140736012018240 140147090606120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 400064
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23871
/proc/meminfo: memFree=28614328/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=400064 CPUtime=222.24 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 107545 0 0 0 22188 36 0 0 20 0 2 0 277082370 409665536 94293 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 100016 94293 187 432 0 99581 0
[pid=23868/tid=23870] ppid=23866 vsize=400064 CPUtime=219.41 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 65008 0 0 0 21909 32 0 0 20 0 2 0 277082656 409665536 94293 33554432000 4194304 5963574 140736012018240 140147090606072 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 400064
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23874
/proc/meminfo: memFree=28570512/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=465600 CPUtime=282.18 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 113725 0 0 0 28177 41 0 0 20 0 2 0 277082370 476774400 100606 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 116400 100606 187 432 0 115965 0
[pid=23868/tid=23870] ppid=23866 vsize=465600 CPUtime=279.36 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 71188 0 0 0 27898 38 0 0 20 0 2 0 277082656 476774400 100606 33554432000 4194304 5963574 140736012018240 140147090605880 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 465600
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23874
/proc/meminfo: memFree=28545004/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=465600 CPUtime=342.14 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 119819 0 0 0 34166 48 0 0 20 0 2 0 277082370 476774400 106707 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 116400 106707 187 432 0 115965 0
[pid=23868/tid=23870] ppid=23866 vsize=465600 CPUtime=339.33 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 77282 0 0 0 33887 46 0 0 20 0 2 0 277082656 476774400 106707 33554432000 4194304 5963574 140736012018240 140147090605880 4387487 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 465600
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23874
/proc/meminfo: memFree=28529460/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=465600 CPUtime=402.13 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 123391 0 0 0 40161 52 0 0 20 0 2 0 277082370 476774400 110275 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 116400 110275 187 432 0 115965 0
[pid=23868/tid=23870] ppid=23866 vsize=465600 CPUtime=399.33 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 80854 0 0 0 39882 51 0 0 20 0 2 0 277082656 476774400 110275 33554432000 4194304 5963574 140736012018240 140147090606072 4400074 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 465600
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23874
/proc/meminfo: memFree=28496648/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=531136 CPUtime=462.12 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 127283 0 0 0 46156 56 0 0 20 0 2 0 277082370 543883264 114167 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 132784 114167 187 432 0 132349 0
[pid=23868/tid=23870] ppid=23866 vsize=531136 CPUtime=459.33 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 84746 0 0 0 45878 55 0 0 20 0 2 0 277082656 543883264 114167 33554432000 4194304 5963574 140736012018240 140147090606072 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 126294 0 0 0 123805 117 0 0 20 0 2 0 277082656 678100992 157847 33554432000 4194304 5963574 140736012018240 140147090605880 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 662208
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 23960
/proc/meminfo: memFree=28227072/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=662208 CPUtime=1301.9 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 171069 0 0 0 130083 107 0 0 20 0 2 0 277082370 678100992 160083 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 165552 160083 187 432 0 165117 0
[pid=23868/tid=23870] ppid=23866 vsize=662208 CPUtime=1299.22 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 128532 0 0 0 129803 119 0 0 20 0 2 0 277082656 678100992 160083 33554432000 4194304 5963574 140736012018240 140147090605880 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 662208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23960
/proc/meminfo: memFree=28165080/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=727744 CPUtime=1361.88 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 173429 0 0 0 136079 109 0 0 20 0 2 0 277082370 745209856 162443 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 181936 162443 187 432 0 181501 0
[pid=23868/tid=23870] ppid=23866 vsize=727744 CPUtime=1359.22 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 130892 0 0 0 135800 122 0 0 20 0 2 0 277082656 745209856 162443 33554432000 4194304 5963574 140736012018240 140147090606072 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 727744
[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23960
/proc/meminfo: memFree=28118900/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=727744 CPUtime=1421.88 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 175646 0 0 0 142077 111 0 0 20 0 2 0 277082370 745209856 164659 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 181936 164659 187 432 0 181501 0
[pid=23868/tid=23870] ppid=23866 vsize=727744 CPUtime=1419.22 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 133109 0 0 0 141797 125 0 0 20 0 2 0 277082656 745209856 164659 33554432000 4194304 5963574 140736012018240 140147090605880 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 727744
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 23964
/proc/meminfo: memFree=28070308/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=727744 CPUtime=1481.87 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 180211 0 0 0 148072 115 0 0 20 0 2 0 277082370 745209856 170245 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 181936 170245 187 432 0 181501 0
[pid=23868/tid=23870] ppid=23866 vsize=727744 CPUtime=1479.22 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 137674 0 0 0 147792 130 0 0 20 0 2 0 277082656 745209856 170245 33554432000 4194304 5963574 140736012018240 140147090606008 4400012 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 727744
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 23964
/proc/meminfo: memFree=28024960/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=727744 CPUtime=1541.86 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 183754 0 0 0 154067 119 0 0 20 0 2 0 277082370 745209856 173788 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 181936 173788 187 432 0 181501 0
[pid=23868/tid=23870] ppid=23866 vsize=727744 CPUtime=1539.22 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 141217 0 0 0 153787 135 0 0 20 0 2 0 277082656 745209856 173788 33554432000 4194304 5963574 140736012018240 140147090606072 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 727744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23964
/proc/meminfo: memFree=27983016/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1601.85 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 187435 0 0 0 160061 124 0 0 20 0 2 0 277082370 812318720 177469 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 177469 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1599.21 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 144898 0 0 0 159780 141 0 0 20 0 2 0 277082656 812318720 177469 33554432000 4194304 5963574 140736012018240 140147090606072 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 793280
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23964
/proc/meminfo: memFree=27941876/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1661.84 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 190451 0 0 0 166056 128 0 0 20 0 2 0 277082370 812318720 180485 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 180485 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1659.21 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 147914 0 0 0 165775 146 0 0 20 0 2 0 277082656 812318720 180485 33554432000 4194304 5963574 140736012018240 140147090605880 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 793280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23964
/proc/meminfo: memFree=27904788/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1721.83 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 193719 0 0 0 172051 132 0 0 20 0 2 0 277082370 812318720 183753 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 183753 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1719.21 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 151182 0 0 0 171769 152 0 0 20 0 2 0 277082656 812318720 183753 33554432000 4194304 5963574 140736012018240 140147090606072 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 793280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27865872/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1781.8 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 196471 0 0 0 178044 136 0 0 20 0 2 0 277082370 812318720 186855 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 186855 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1779.19 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 153934 0 0 0 177763 156 0 0 20 0 2 0 277082656 812318720 186855 33554432000 4194304 5963574 140736012018240 140147090606072 4399642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 793280
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27858912/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1791.5 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 196777 0 0 0 179014 136 0 0 20 0 2 0 277082370 812318720 187428 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 187428 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1788.89 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 154240 0 0 0 178733 156 0 0 20 0 2 0 277082656 812318720 187428 33554432000 4194304 5963574 140736012018240 140147090606072 4399537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 793280
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27856680/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1794.7 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 196868 0 0 0 179334 136 0 0 20 0 2 0 277082370 812318720 187519 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 187519 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1792.09 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 154331 0 0 0 179053 156 0 0 20 0 2 0 277082656 812318720 187519 33554432000 4194304 5963574 140736012018240 140147090606072 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 793280
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27854556/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1797.88 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 196973 0 0 0 179652 136 0 0 20 0 2 0 277082370 812318720 188071 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 188071 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1795.28 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 154436 0 0 0 179371 157 0 0 20 0 2 0 277082656 812318720 188071 33554432000 4194304 5963574 140736012018240 140147090606120 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 793280
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27853936/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1798.68 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 197021 0 0 0 179732 136 0 0 20 0 2 0 277082370 812318720 188119 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 188119 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1796.08 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 154484 0 0 0 179451 157 0 0 20 0 2 0 277082656 812318720 188119 33554432000 4194304 5963574 140736012018240 140147090606072 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 793280
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27853812/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1799.08 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 197021 0 0 0 179772 136 0 0 20 0 2 0 277082370 812318720 188119 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 188119 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1796.48 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 154484 0 0 0 179491 157 0 0 20 0 2 0 277082656 812318720 188119 33554432000 4194304 5963574 140736012018240 140147090606072 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 793280
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23965
/proc/meminfo: memFree=27853812/32873844 swapFree=6856/6856
[pid=23868] ppid=23866 vsize=793280 CPUtime=1799.48 cores=1,3,5,7
/proc/23868/stat : 23868 (wbo1.7) S 23866 23868 21940 0 -1 4202496 197023 0 0 0 179812 136 0 0 20 0 2 0 277082370 812318720 188121 33554432000 4194304 5963574 140736012018240 140736012017760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23868/statm: 198320 188121 187 432 0 197885 0
[pid=23868/tid=23870] ppid=23866 vsize=793280 CPUtime=1796.88 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (wbo1.7) R 23866 23868 21940 0 -1 4202560 154486 0 0 0 179531 157 0 0 20 0 2 0 277082656 812318720 188121 33554432000 4194304 5963574 140736012018240 140147090606072 4392454 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 793280
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.76
CPU user time (s): 1798.09
CPU system time (s): 1.66675
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 793280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 1.66675
maximum resident set size= 752496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197026
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= 247
involuntary context switches= 1917
runsolver used 2.91856 second user time and 8.69068 second system time
The end