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-3460757-1307105618/watcher-3460757-1307105618 -o /tmp/evaluation-result-3460757-1307105618/solver-3460757-1307105618 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460757-1307105618.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: 1.89 1.88 1.94 2/436 19852
/proc/meminfo: memFree=20759808/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=2104 CPUtime=0.01 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 319 0 0 0 1 0 0 0 25 0 1 0 822159680 2154496 272 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 526 272 180 372 0 151 0
[startup+0.0767691 s]
/proc/loadavg: 1.89 1.88 1.94 2/436 19852
/proc/meminfo: memFree=20759808/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=2776 CPUtime=0.06 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 499 0 0 0 6 0 0 0 25 0 1 0 822159680 2842624 452 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 694 452 180 372 0 319 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2776
[startup+0.100765 s]
/proc/loadavg: 1.89 1.88 1.94 2/436 19852
/proc/meminfo: memFree=20759808/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=3040 CPUtime=0.09 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 544 0 0 0 9 0 0 0 25 0 1 0 822159680 3112960 497 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 760 497 180 372 0 385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3040
[startup+0.300727 s]
/proc/loadavg: 1.89 1.88 1.94 2/436 19852
/proc/meminfo: memFree=20759808/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=4452 CPUtime=0.29 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 889 0 0 0 27 2 0 0 25 0 1 0 822159680 4558848 842 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 1113 843 180 372 0 738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4452
[startup+0.700657 s]
/proc/loadavg: 1.89 1.88 1.94 2/436 19852
/proc/meminfo: memFree=20759808/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=5900 CPUtime=0.69 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 1235 0 0 0 66 3 0 0 25 0 1 0 822159680 6041600 1188 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 1475 1188 180 372 0 1100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5900
[startup+1.50051 s]
/proc/loadavg: 1.89 1.88 1.94 3/437 19853
/proc/meminfo: memFree=20754220/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=7816 CPUtime=1.49 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 1709 0 0 0 143 6 0 0 25 0 1 0 822159680 8003584 1662 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 1954 1662 180 372 0 1579 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7816
[startup+3.10021 s]
/proc/loadavg: 1.89 1.88 1.94 3/437 19853
/proc/meminfo: memFree=20750280/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=11460 CPUtime=3.09 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 2633 0 0 0 300 9 0 0 18 0 1 0 822159680 11735040 2586 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 2865 2586 180 372 0 2490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11460
[startup+6.30062 s]
/proc/loadavg: 1.89 1.88 1.94 3/437 19853
/proc/meminfo: memFree=20740608/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=17040 CPUtime=6.29 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 4014 0 0 0 612 17 0 0 20 0 1 0 822159680 17448960 3967 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 4260 3967 180 372 0 3885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17040
[startup+12.7004 s]
/proc/loadavg: 1.99 1.90 1.94 3/437 19854
/proc/meminfo: memFree=20725320/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=27408 CPUtime=12.69 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 6594 0 0 0 1238 31 0 0 25 0 1 0 822159680 28065792 6547 33554432000 4194304 5714214 140735019956976 18446744073709551615 4300368 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 6852 6547 180 372 0 6477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27408
[startup+25.5011 s]
/proc/loadavg: 1.99 1.91 1.94 3/437 19854
/proc/meminfo: memFree=20697536/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=44748 CPUtime=25.49 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 10852 0 0 0 2491 58 0 0 25 0 1 0 822159680 45821952 10805 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 11187 10805 180 372 0 10812 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44748
[startup+51.1003 s]
/proc/loadavg: 2.07 1.93 1.95 3/437 19855
/proc/meminfo: memFree=20648472/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=76968 CPUtime=51.09 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 18862 0 0 0 5001 108 0 0 25 0 1 0 822159680 78815232 18815 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 19242 18815 180 372 0 18867 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76968
[startup+102.317 s]
/proc/loadavg: 2.12 1.97 1.96 3/437 19856
/proc/meminfo: memFree=20553964/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=133064 CPUtime=102.31 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 32825 0 0 0 10025 206 0 0 25 0 1 0 822159680 136257536 32778 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 33266 32778 180 372 0 32891 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 133064
[startup+162.301 s]
/proc/loadavg: 2.04 1.97 1.96 3/437 19858
/proc/meminfo: memFree=20455716/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=193324 CPUtime=162.3 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 47812 0 0 0 15930 300 0 0 25 0 1 0 822159680 197963776 47765 33554432000 4194304 5714214 140735019956976 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 48331 47765 180 372 0 47956 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 193324
[startup+222.301 s]
/proc/loadavg: 2.01 1.97 1.96 3/437 19859
/proc/meminfo: memFree=20357368/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=252068 CPUtime=222.3 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 62457 0 0 0 21831 399 0 0 25 0 1 0 822159680 258117632 62410 33554432000 4194304 5714214 140735019956976 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 63017 62410 180 372 0 62642 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 252068
[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.96 3/437 19861
/proc/meminfo: memFree=20262616/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=309408 CPUtime=282.3 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 76791 0 0 0 27741 489 0 0 25 0 1 0 822159680 316833792 76744 33554432000 4194304 5714214 140735019956976 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 77352 76744 180 372 0 76977 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 309408
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.96 3/437 19862
/proc/meminfo: memFree=20168596/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=363344 CPUtime=342.31 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 90272 0 0 0 33656 575 0 0 25 0 1 0 822159680 372064256 90225 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 90836 90225 180 372 0 90461 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 363344
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.96 3/437 19864
/proc/meminfo: memFree=20080380/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=411296 CPUtime=402.31 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 102278 0 0 0 39578 653 0 0 25 0 1 0 822159680 421167104 102228 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 102824 102228 180 372 0 102449 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 411296
[startup+462.3 s]
/proc/loadavg: 2.07 2.00 1.97 3/437 19875
/proc/meminfo: memFree=19997100/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=460208 CPUtime=462.31 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 114474 0 0 0 45497 734 0 0 25 0 1 0 822159680 471252992 114424 33554432000 4194304 5714214 140735019956976 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 115052 114424 180 372 0 114677 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 460208
[startup+522.301 s]
/proc/loadavg: 2.02 2.00 1.97 3/437 19876
/proc/meminfo: memFree=19914596/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=509920 CPUtime=522.31 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 126896 0 0 0 51420 811 0 0 25 0 1 0 822159680 522158080 126842 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 127480 126842 180 372 0 127105 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 509920
[startup+582.301 s]
/proc/loadavg: 2.06 2.01 1.97 3/437 19878
/proc/meminfo: memFree=19829624/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=555856 CPUtime=582.31 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 138408 0 0 0 57343 888 0 0 25 0 1 0 822159680 569196544 138354 33554432000 4194304 5714214 140735019956976 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 138964 138354 180 372 0 138589 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 555856
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.02 1.98 3/437 19887
/proc/meminfo: memFree=19514568/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=729448 CPUtime=822.32 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 181704 0 0 0 81054 1178 0 0 25 0 1 0 822159680 746954752 181650 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 182362 181650 180 372 0 181987 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 729448
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/437 19889
/proc/meminfo: memFree=19436536/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=774812 CPUtime=882.32 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 193089 0 0 0 86984 1248 0 0 25 0 1 0 822159680 793407488 193035 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 193703 193035 180 372 0 193328 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 774812
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/437 19890
/proc/meminfo: memFree=19362460/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=818216 CPUtime=942.32 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 203921 0 0 0 92911 1321 0 0 25 0 1 0 822159680 837853184 203867 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 204554 203867 180 372 0 204179 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 818216
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 1.99 3/437 19892
/proc/meminfo: memFree=19284316/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=861248 CPUtime=1002.32 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 214679 0 0 0 98836 1396 0 0 25 0 1 0 822159680 881917952 214625 33554432000 4194304 5714214 140735019956976 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 215312 214625 180 372 0 214937 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 861248
[startup+1062.3 s]
/proc/loadavg: 2.22 2.06 2.00 3/437 19894
/proc/meminfo: memFree=19213240/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=904172 CPUtime=1062.33 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 225395 0 0 0 104765 1468 0 0 25 0 1 0 822159680 925872128 225341 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 226043 225341 180 372 0 225668 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 904172
[startup+1122.3 s]
/proc/loadavg: 2.15 2.06 2.00 3/437 19895
/proc/meminfo: memFree=19132980/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=947760 CPUtime=1122.33 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 236301 0 0 0 110694 1539 0 0 25 0 1 0 822159680 970506240 236247 33554432000 4194304 5714214 140735019956976 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 236940 236247 180 372 0 236565 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 947760
[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/437 19897
/proc/meminfo: memFree=19064600/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=986304 CPUtime=1182.33 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 245908 0 0 0 116627 1606 0 0 25 0 1 0 822159680 1009975296 245854 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 246576 245854 180 372 0 246201 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 986304
[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/437 19898
/proc/meminfo: memFree=18990412/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1026440 CPUtime=1242.33 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 255885 0 0 0 122568 1665 0 0 25 0 1 0 822159680 1051074560 255831 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 256610 255831 180 372 0 256235 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1026440
[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/437 19900
/proc/meminfo: memFree=18922040/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1065120 CPUtime=1302.34 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 265549 0 0 0 128504 1730 0 0 25 0 1 0 822159680 1090682880 265495 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 266280 265495 180 372 0 265905 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1065120
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 19902
/proc/meminfo: memFree=18851088/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1105232 CPUtime=1362.34 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 275504 0 0 0 134439 1795 0 0 25 0 1 0 822159680 1131757568 275450 33554432000 4194304 5714214 140735019956976 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 276308 275450 180 372 0 275933 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1105232
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 19903
/proc/meminfo: memFree=18780752/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1145376 CPUtime=1422.35 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 285546 0 0 0 140370 1865 0 0 25 0 1 0 822159680 1172865024 285492 33554432000 4194304 5714214 140735019956976 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 286344 285492 180 372 0 285969 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1145376
[startup+1482.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/437 19905
/proc/meminfo: memFree=18710032/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1183276 CPUtime=1482.34 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 294962 0 0 0 146303 1931 0 0 25 0 1 0 822159680 1211674624 294908 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 295819 294908 180 372 0 295444 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1183276
[startup+1542.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 19906
/proc/meminfo: memFree=18641056/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1221188 CPUtime=1542.34 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 304426 0 0 0 152239 1995 0 0 25 0 1 0 822159680 1250496512 304372 33554432000 4194304 5714214 140735019956976 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 305297 304372 180 372 0 304922 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1221188
[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/437 19908
/proc/meminfo: memFree=18570348/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1262256 CPUtime=1602.35 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 314663 0 0 0 158176 2059 0 0 25 0 1 0 822159680 1292550144 314609 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 315564 314609 180 372 0 315189 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1262256
[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/437 19910
/proc/meminfo: memFree=18502872/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1298612 CPUtime=1662.35 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 323707 0 0 0 164116 2119 0 0 25 0 1 0 822159680 1329778688 323653 33554432000 4194304 5714214 140735019956976 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 324653 323653 180 372 0 324278 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1298612
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 5/437 19966
/proc/meminfo: memFree=19496864/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1333988 CPUtime=1722.35 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 332572 0 0 0 170057 2178 0 0 25 0 1 0 822159680 1366003712 332518 33554432000 4194304 5714214 140735019956976 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 333497 332518 180 372 0 333122 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1333988
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.00 5/437 19968
/proc/meminfo: memFree=19453640/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1371652 CPUtime=1782.35 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 342003 0 0 0 175997 2238 0 0 25 0 1 0 822159680 1404571648 341949 33554432000 4194304 5714214 140735019956976 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 342913 341949 180 372 0 342538 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1371652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 19968
/proc/meminfo: memFree=19440104/32951124 swapFree=60787360/67111528
[pid=19852] ppid=19850 vsize=1382504 CPUtime=1800.06 cores=1,3,5,7
/proc/19852/stat : 19852 (wbo1.6) R 19850 19852 18464 0 -1 4202496 344672 0 0 0 177753 2253 0 0 25 0 1 0 822159680 1415684096 344618 33554432000 4194304 5714214 140735019956976 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19852/statm: 345626 344618 180 372 0 345251 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1382504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.13
CPU user time (s): 1777.54
CPU system time (s): 22.5946
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1382504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.54
system time used= 22.5946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344672
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= 10
involuntary context switches= 1397
runsolver used 7.48086 second user time and 18.6442 second system time
The end