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-3460869-1307107584/watcher-3460869-1307107584 -o /tmp/evaluation-result-3460869-1307107584/solver-3460869-1307107584 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460869-1307107584.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.93 2.00 1.96 2/327 20467
/proc/meminfo: memFree=24095480/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=7616 CPUtime=0 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 554 0 0 0 0 0 0 0 25 0 1 0 900989023 7798784 508 33554432000 4194304 5714214 140735424005296 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 1904 508 203 372 0 349 0
[startup+0.0745039 s]
/proc/loadavg: 1.93 2.00 1.96 2/327 20467
/proc/meminfo: memFree=24095480/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=13676 CPUtime=0.06 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 2256 0 0 0 6 0 0 0 25 0 1 0 900989023 14004224 2210 33554432000 4194304 5714214 140735424005296 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 3419 2212 420 372 0 1864 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13676
[startup+0.100498 s]
/proc/loadavg: 1.93 2.00 1.96 2/327 20467
/proc/meminfo: memFree=24095480/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=15656 CPUtime=0.09 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 2869 0 0 0 9 0 0 0 25 0 1 0 900989023 16031744 2823 33554432000 4194304 5714214 140735424005296 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 3914 2823 508 372 0 2359 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15656
[startup+0.300466 s]
/proc/loadavg: 1.93 2.00 1.96 2/327 20467
/proc/meminfo: memFree=24095480/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=32968 CPUtime=0.29 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 7796 0 0 0 28 1 0 0 25 0 1 0 900989023 33759232 7750 33554432000 4194304 5714214 140735424005296 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 8242 7751 1153 372 0 6687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32968
[startup+0.700407 s]
/proc/loadavg: 1.93 2.00 1.96 2/327 20467
/proc/meminfo: memFree=24095480/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=0.69 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17943 0 0 0 67 2 0 0 25 0 1 0 900989023 69320704 16538 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16538 179 372 0 16549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67696
[startup+1.50025 s]
/proc/loadavg: 1.93 2.00 1.96 3/328 20468
/proc/meminfo: memFree=24028884/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=1.49 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17944 0 0 0 147 2 0 0 25 0 1 0 900989023 69320704 16539 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16539 180 372 0 16549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67696
[startup+3.10095 s]
/proc/loadavg: 1.93 2.00 1.96 3/328 20468
/proc/meminfo: memFree=24028304/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=3.09 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17944 0 0 0 307 2 0 0 25 0 1 0 900989023 69320704 16539 33554432000 4194304 5714214 140735424005296 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16539 180 372 0 16549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67696
[startup+6.30038 s]
/proc/loadavg: 1.93 2.00 1.96 3/328 20468
/proc/meminfo: memFree=24027692/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=6.29 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17944 0 0 0 627 2 0 0 25 0 1 0 900989023 69320704 16539 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16539 180 372 0 16549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67696
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.96 3/328 20468
/proc/meminfo: memFree=24027092/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=12.69 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17944 0 0 0 1267 2 0 0 25 0 1 0 900989023 69320704 16539 33554432000 4194304 5714214 140735424005296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16539 180 372 0 16549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67696
[startup+25.5009 s]
/proc/loadavg: 1.95 2.00 1.96 3/328 20469
/proc/meminfo: memFree=24026160/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=25.49 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17944 0 0 0 2546 3 0 0 25 0 1 0 900989023 69320704 16539 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16539 180 372 0 16549 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67696
[startup+51.1012 s]
/proc/loadavg: 1.97 2.00 1.96 3/328 20469
/proc/meminfo: memFree=24025180/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=51.09 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17946 0 0 0 5104 5 0 0 25 0 1 0 900989023 69320704 16541 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16541 180 372 0 16549 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67696
[startup+102.313 s]
/proc/loadavg: 1.98 2.00 1.96 3/328 20471
/proc/meminfo: memFree=24021308/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=102.3 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17947 0 0 0 10222 8 0 0 25 0 1 0 900989023 69320704 16542 33554432000 4194304 5714214 140735424005296 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16542 180 372 0 16549 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 67696
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.96 3/328 20472
/proc/meminfo: memFree=24017064/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=162.29 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17949 0 0 0 16216 13 0 0 25 0 1 0 900989023 69320704 16544 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16544 180 372 0 16549 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 67696
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.96 3/328 20474
/proc/meminfo: memFree=24013664/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=222.3 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17949 0 0 0 22213 17 0 0 25 0 1 0 900989023 69320704 16544 33554432000 4194304 5714214 140735424005296 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16544 180 372 0 16549 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 67696
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.96 3/328 20475
/proc/meminfo: memFree=24010652/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=282.3 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17951 0 0 0 28208 22 0 0 25 0 1 0 900989023 69320704 16546 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16546 180 372 0 16549 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 67696
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.96 3/328 20477
/proc/meminfo: memFree=24006396/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67696 CPUtime=342.3 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 17952 0 0 0 34203 27 0 0 25 0 1 0 900989023 69320704 16547 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16924 16547 180 372 0 16549 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 67696
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/328 20479
/proc/meminfo: memFree=24002652/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=67828 CPUtime=402.31 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 18043 0 0 0 40198 33 0 0 25 0 1 0 900989023 69455872 16638 33554432000 4194304 5714214 140735424005296 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 16957 16638 180 372 0 16582 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 67828
[startup+462.301 s]
/proc/loadavg: 2.08 2.02 1.97 3/328 20480
/proc/meminfo: memFree=23994672/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=71560 CPUtime=462.3 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 18966 0 0 0 46193 37 0 0 25 0 1 0 900989023 73277440 17561 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 17890 17561 180 372 0 17515 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 71560
[startup+522.301 s]
/proc/loadavg: 2.03 2.02 1.97 3/328 20482
/proc/meminfo: memFree=23988324/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=74768 CPUtime=522.31 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 19756 0 0 0 52190 41 0 0 25 0 1 0 900989023 76562432 18351 33554432000 4194304 5714214 140735424005296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 18692 18351 180 372 0 18317 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 74768
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/328 20483
/proc/meminfo: memFree=23983696/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=76664 CPUtime=582.31 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 20195 0 0 0 58185 46 0 0 25 0 1 0 900989023 78503936 18790 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 19166 18790 180 372 0 18791 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 76664
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/328 20493
/proc/meminfo: memFree=23954132/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=89228 CPUtime=822.31 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 23341 0 0 0 82168 63 0 0 25 0 1 0 900989023 91369472 21936 33554432000 4194304 5714214 140735424005296 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 22307 21936 180 372 0 21932 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 89228
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/328 20494
/proc/meminfo: memFree=23947268/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=90956 CPUtime=882.32 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 23783 0 0 0 88163 69 0 0 25 0 1 0 900989023 93138944 22378 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323065 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 22739 22378 180 372 0 22364 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 90956
[startup+942.301 s]
/proc/loadavg: 2.05 2.01 1.97 3/328 20496
/proc/meminfo: memFree=23941528/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=93736 CPUtime=942.32 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 24477 0 0 0 94159 73 0 0 25 0 1 0 900989023 95985664 23072 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323084 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 23434 23072 180 372 0 23059 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 93736
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/328 20498
/proc/meminfo: memFree=23936776/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=95848 CPUtime=1002.32 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 25002 0 0 0 100154 78 0 0 25 0 1 0 900989023 98148352 23597 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 23962 23597 180 372 0 23587 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 95848
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/328 20499
/proc/meminfo: memFree=23930664/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=97960 CPUtime=1062.32 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 25518 0 0 0 106151 81 0 0 25 0 1 0 900989023 100311040 24113 33554432000 4194304 5714214 140735424005296 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 24490 24113 180 372 0 24115 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 97960
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 20501
/proc/meminfo: memFree=23925552/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=99036 CPUtime=1122.33 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 25795 0 0 0 112148 85 0 0 25 0 1 0 900989023 101412864 24390 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 24759 24390 180 372 0 24384 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 99036
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 20502
/proc/meminfo: memFree=23918812/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=102496 CPUtime=1182.32 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 26654 0 0 0 118143 89 0 0 25 0 1 0 900989023 104955904 25249 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 25624 25249 180 372 0 25249 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 102496
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20504
/proc/meminfo: memFree=23910464/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=105824 CPUtime=1242.33 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 27443 0 0 0 124138 95 0 0 25 0 1 0 900989023 108363776 26038 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323061 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 26456 26038 180 372 0 26081 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 105824
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20506
/proc/meminfo: memFree=23903492/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=109232 CPUtime=1302.35 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 28299 0 0 0 130136 99 0 0 25 0 1 0 900989023 111853568 26894 33554432000 4194304 5714214 140735424005296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 27308 26894 180 372 0 26933 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 109232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20507
/proc/meminfo: memFree=23896132/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=111428 CPUtime=1362.34 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 28856 0 0 0 136130 104 0 0 25 0 1 0 900989023 114102272 27451 33554432000 4194304 5714214 140735424005296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 27857 27451 180 372 0 27482 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 111428
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20618
/proc/meminfo: memFree=23917884/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=113288 CPUtime=1422.35 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 29309 0 0 0 142126 109 0 0 25 0 1 0 900989023 116006912 27904 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 28322 27904 180 372 0 27947 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 113288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20619
/proc/meminfo: memFree=23913992/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=116608 CPUtime=1482.34 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 30125 0 0 0 148120 114 0 0 25 0 1 0 900989023 119406592 28720 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 29152 28720 180 372 0 28777 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 116608
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/328 20621
/proc/meminfo: memFree=23892624/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=119288 CPUtime=1542.34 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 30794 0 0 0 154115 119 0 0 25 0 1 0 900989023 122150912 29389 33554432000 4194304 5714214 140735424005296 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 29822 29389 180 372 0 29447 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 119288
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/328 20623
/proc/meminfo: memFree=23872988/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=121820 CPUtime=1602.34 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 31446 0 0 0 160108 126 0 0 25 0 1 0 900989023 124743680 30041 33554432000 4194304 5714214 140735424005296 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 30455 30041 180 372 0 30080 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 121820
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20624
/proc/meminfo: memFree=23851376/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=123364 CPUtime=1662.34 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 31792 0 0 0 166102 132 0 0 25 0 1 0 900989023 126324736 30387 33554432000 4194304 5714214 140735424005296 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 30841 30387 180 372 0 30466 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 123364
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20626
/proc/meminfo: memFree=23820336/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=126428 CPUtime=1722.35 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 32516 0 0 0 172098 137 0 0 25 0 1 0 900989023 129462272 31111 33554432000 4194304 5714214 140735424005296 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 31607 31111 180 372 0 31232 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 126428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20627
/proc/meminfo: memFree=23800208/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=129256 CPUtime=1782.34 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 33235 0 0 0 178093 141 0 0 25 0 1 0 900989023 132358144 31830 33554432000 4194304 5714214 140735424005296 18446744073709551615 4200637 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 32314 31830 180 372 0 31939 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 129256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 20628
/proc/meminfo: memFree=23794724/32951124 swapFree=67056304/67111528
[pid=20467] ppid=20465 vsize=129256 CPUtime=1800.06 cores=1,3,5,7
/proc/20467/stat : 20467 (wbo1.6) R 20465 20467 18990 0 -1 4202496 33235 0 0 0 179863 143 0 0 25 0 1 0 900989023 132358144 31830 33554432000 4194304 5714214 140735424005296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20467/statm: 32314 31830 180 372 0 31939 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 129256
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.02
CPU time (s): 1800.08
CPU user time (s): 1798.63
CPU system time (s): 1.44378
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 129256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.44378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33235
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= 2159
runsolver used 5.48017 second user time and 12.7121 second system time
The end