runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461571-1307119849/watcher-3461571-1307119849 -o /tmp/evaluation-result-3461571-1307119849/solver-3461571-1307119849 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461571-1307119849.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.04 2.01 1.91 2/461 15678
/proc/meminfo: memFree=28634696/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=6480 CPUtime=0 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 737 0 0 0 0 0 0 0 25 0 1 0 823582874 6635520 690 33554432000 4194304 5714214 140733245115888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 1620 691 192 372 0 575 0
[startup+0.0513059 s]
/proc/loadavg: 2.04 2.01 1.91 2/461 15678
/proc/meminfo: memFree=28634696/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=10584 CPUtime=0.04 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 1852 0 0 0 4 0 0 0 25 0 1 0 823582874 10838016 1805 33554432000 4194304 5714214 140733245115888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 2646 1806 336 372 0 1601 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10584
[startup+0.100283 s]
/proc/loadavg: 2.04 2.01 1.91 2/461 15678
/proc/meminfo: memFree=28634696/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=13052 CPUtime=0.09 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 2669 0 0 0 9 0 0 0 25 0 1 0 823582874 13365248 2589 33554432000 4194304 5714214 140733245115888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 3263 2590 523 372 0 2218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13052
[startup+0.300248 s]
/proc/loadavg: 2.04 2.01 1.91 2/461 15678
/proc/meminfo: memFree=28634696/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=30848 CPUtime=0.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 8902 0 0 0 28 1 0 0 25 0 1 0 823582874 31588352 7269 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 7712 7269 180 372 0 7337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30848
[startup+0.700175 s]
/proc/loadavg: 2.04 2.01 1.91 2/461 15678
/proc/meminfo: memFree=28634696/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=30848 CPUtime=0.69 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 8902 0 0 0 68 1 0 0 25 0 1 0 823582874 31588352 7269 33554432000 4194304 5714214 140733245115888 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 7712 7269 180 372 0 7337 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30848
[startup+1.50105 s]
/proc/loadavg: 2.04 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28604928/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=30848 CPUtime=1.49 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 8902 0 0 0 147 2 0 0 25 0 1 0 823582874 31588352 7269 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 7712 7269 180 372 0 7337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30848
[startup+3.10075 s]
/proc/loadavg: 2.04 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28601952/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=30848 CPUtime=3.09 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 8904 0 0 0 305 4 0 0 25 0 1 0 823582874 31588352 7271 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 7712 7271 180 372 0 7337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30848
[startup+6.30017 s]
/proc/loadavg: 2.03 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28593744/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=35448 CPUtime=6.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 10078 0 0 0 621 8 0 0 25 0 1 0 823582874 36298752 8445 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 8862 8445 180 372 0 8487 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35448
[startup+12.701 s]
/proc/loadavg: 2.03 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28578208/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=47280 CPUtime=12.69 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 12977 0 0 0 1256 13 0 0 25 0 1 0 823582874 48414720 11344 33554432000 4194304 5714214 140733245115888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 11820 11345 180 372 0 11445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47280
[startup+25.5007 s]
/proc/loadavg: 2.02 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28561352/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=54568 CPUtime=25.49 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 14803 0 0 0 2526 23 0 0 25 0 1 0 823582874 55877632 13170 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 13642 13170 180 372 0 13267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54568
[startup+51.101 s]
/proc/loadavg: 2.01 2.01 1.91 4/462 15680
/proc/meminfo: memFree=28531548/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=71772 CPUtime=51.1 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 19123 0 0 0 5067 43 0 0 25 0 1 0 823582874 73494528 17490 33554432000 4194304 5714214 140733245115888 18446744073709551615 4311723 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 17943 17490 180 372 0 17568 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 71772
[startup+102.317 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15681
/proc/meminfo: memFree=28482180/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=96756 CPUtime=102.31 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 25271 0 0 0 10157 74 0 0 25 0 1 0 823582874 99078144 23638 33554432000 4194304 5714214 140733245115888 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 24189 23638 180 372 0 23814 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 96756
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15683
/proc/meminfo: memFree=28438872/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=117944 CPUtime=162.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 30524 0 0 0 16123 106 0 0 25 0 1 0 823582874 120774656 28891 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 29486 28891 180 372 0 29111 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 117944
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15685
/proc/meminfo: memFree=28395316/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=136196 CPUtime=222.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 35045 0 0 0 22098 131 0 0 25 0 1 0 823582874 139464704 33412 33554432000 4194304 5714214 140733245115888 18446744073709551615 4320165 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 34049 33412 180 372 0 33674 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 136196
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15686
/proc/meminfo: memFree=28361804/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=149672 CPUtime=282.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 38380 0 0 0 28071 158 0 0 25 0 1 0 823582874 153264128 36747 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 37418 36747 180 372 0 37043 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 149672
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15688
/proc/meminfo: memFree=28324692/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=168040 CPUtime=342.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 42941 0 0 0 34045 184 0 0 25 0 1 0 823582874 172072960 41308 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 42010 41308 180 372 0 41635 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 168040
[startup+402.3 s]
/proc/loadavg: 2.20 2.05 1.93 3/462 15689
/proc/meminfo: memFree=28294408/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=181564 CPUtime=402.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 46295 0 0 0 40017 211 0 0 25 0 1 0 823582874 185921536 44662 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/15678/statm: 45391 44662 180 372 0 45016 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 181564
[startup+462.301 s]
/proc/loadavg: 2.20 2.07 1.94 3/462 15691
/proc/meminfo: memFree=28238808/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=210496 CPUtime=462.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 53504 0 0 0 45984 244 0 0 25 0 1 0 823582874 215547904 51871 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 52624 51871 180 372 0 52249 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 210496
[startup+522.301 s]
/proc/loadavg: 2.07 2.05 1.94 3/462 15693
/proc/meminfo: memFree=28205440/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=229952 CPUtime=522.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 58333 0 0 0 51957 271 0 0 25 0 1 0 823582874 235470848 56700 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 57488 56700 180 372 0 57113 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 229952
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 1.94 3/462 15694
/proc/meminfo: memFree=28172536/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=241072 CPUtime=582.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 61121 0 0 0 57929 300 0 0 25 0 1 0 823582874 246857728 59488 33554432000 4194304 5714214 140733245115888 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 60268 59488 180 372 0 59893 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 241072
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/462 15714
/proc/meminfo: memFree=28014804/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=311916 CPUtime=882.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 78730 0 0 0 87809 419 0 0 25 0 1 0 823582874 319401984 77097 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 77979 77097 180 372 0 77604 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 311916
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/462 15716
/proc/meminfo: memFree=27981048/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=327672 CPUtime=942.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 82663 0 0 0 93787 441 0 0 25 0 1 0 823582874 335536128 81030 33554432000 4194304 5714214 140733245115888 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 81918 81030 180 372 0 81543 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 327672
[startup+1002.3 s]
/proc/loadavg: 2.22 2.07 1.97 3/462 15717
/proc/meminfo: memFree=27953104/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=339768 CPUtime=1002.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 85531 0 0 0 99761 467 0 0 25 0 1 0 823582874 347922432 83898 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 84942 83898 180 372 0 84567 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 339768
[startup+1062.3 s]
/proc/loadavg: 2.12 2.07 1.97 3/462 15719
/proc/meminfo: memFree=27918224/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=356216 CPUtime=1062.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 89554 0 0 0 105738 490 0 0 25 0 1 0 823582874 364765184 87921 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 89054 87921 180 372 0 88679 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 356216
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/462 15721
/proc/meminfo: memFree=27888676/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=368260 CPUtime=1122.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 92579 0 0 0 111718 511 0 0 25 0 1 0 823582874 377098240 90946 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 92065 90946 180 372 0 91690 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 368260
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/462 15722
/proc/meminfo: memFree=27855172/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=384120 CPUtime=1182.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 96489 0 0 0 117699 530 0 0 25 0 1 0 823582874 393338880 94856 33554432000 4194304 5714214 140733245115888 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 96030 94856 180 372 0 95655 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 384120
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/462 15724
/proc/meminfo: memFree=27819800/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=400680 CPUtime=1242.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 100634 0 0 0 123675 554 0 0 25 0 1 0 823582874 410296320 99001 33554432000 4194304 5714214 140733245115888 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 100170 99001 180 372 0 99795 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 400680
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/462 15725
/proc/meminfo: memFree=27797080/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=409516 CPUtime=1302.29 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 102833 0 0 0 129655 574 0 0 25 0 1 0 823582874 419344384 101200 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 102379 101200 180 372 0 102004 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 409516
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/462 15727
/proc/meminfo: memFree=27772240/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=419876 CPUtime=1362.27 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 105390 0 0 0 135633 594 0 0 25 0 1 0 823582874 429953024 103757 33554432000 4194304 5714214 140733245115888 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 104969 103757 180 372 0 104594 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 419876
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.97 3/462 15729
/proc/meminfo: memFree=27741836/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=433224 CPUtime=1422.3 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 108693 0 0 0 141614 616 0 0 25 0 1 0 823582874 443621376 107060 33554432000 4194304 5714214 140733245115888 18446744073709551615 4320046 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 108306 107060 180 372 0 107931 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 433224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/462 15730
/proc/meminfo: memFree=27720712/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=435872 CPUtime=1482.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 109356 0 0 0 147590 638 0 0 25 0 1 0 823582874 446332928 107723 33554432000 4194304 5714214 140733245115888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 108968 107723 180 372 0 108593 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 435872
[startup+1542.3 s]
/proc/loadavg: 2.14 2.05 1.99 3/462 15732
/proc/meminfo: memFree=27693400/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=450492 CPUtime=1542.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 112981 0 0 0 153568 660 0 0 25 0 1 0 823582874 461303808 111348 33554432000 4194304 5714214 140733245115888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 112623 111348 180 372 0 112248 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 450492
[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.00 3/462 15733
/proc/meminfo: memFree=27666316/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=462864 CPUtime=1602.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 116055 0 0 0 159542 686 0 0 25 0 1 0 823582874 473972736 114422 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 115716 114422 180 372 0 115341 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 462864
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/462 15735
/proc/meminfo: memFree=27632156/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=477736 CPUtime=1662.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 119716 0 0 0 165518 710 0 0 25 0 1 0 823582874 489201664 118083 33554432000 4194304 5714214 140733245115888 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 119434 118083 180 372 0 119059 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 477736
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 15737
/proc/meminfo: memFree=27607312/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=490596 CPUtime=1722.27 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 122889 0 0 0 171491 736 0 0 25 0 1 0 823582874 502370304 121256 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 122649 121256 180 372 0 122274 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 490596
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 15738
/proc/meminfo: memFree=27583344/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=495936 CPUtime=1782.28 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 124175 0 0 0 177469 759 0 0 25 0 1 0 823582874 507838464 122542 33554432000 4194304 5714214 140733245115888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 123984 122542 180 372 0 123609 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 495936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.92 2.01 1.99 2/460 15740
/proc/meminfo: memFree=28152868/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=504024 CPUtime=1800.08 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 126230 0 0 0 179244 764 0 0 25 0 1 0 823582874 516120576 124597 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 126006 124597 180 372 0 125631 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 504024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.92 2.01 1.99 2/460 15740
/proc/meminfo: memFree=28152868/32951124 swapFree=41830676/67111528
[pid=15678] ppid=15676 vsize=504024 CPUtime=1800.08 cores=1,3,5,7
/proc/15678/stat : 15678 (wbo1.6) R 15676 15678 12829 0 -1 4202496 126230 0 0 0 179244 764 0 0 25 0 1 0 823582874 516120576 124597 33554432000 4194304 5714214 140733245115888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15678/statm: 126006 124597 180 372 0 125631 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 504024
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.13
CPU user time (s): 1792.45
CPU system time (s): 7.67183
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 504024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.45
system time used= 7.67183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126231
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= 5
involuntary context switches= 4262
runsolver used 7.36788 second user time and 18.8531 second system time
The end