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-3461004-1307107578/watcher-3461004-1307107578 -o /tmp/evaluation-result-3461004-1307107578/solver-3461004-1307107578 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461004-1307107578.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.02 2.00 3/524 20279
/proc/meminfo: memFree=23412348/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=3556 CPUtime=0 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 442 0 0 0 0 0 0 0 25 0 1 0 822355531 3641344 395 33554432000 4194304 5714214 140736274518400 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 889 397 186 372 0 252 0
[startup+0.119502 s]
/proc/loadavg: 2.00 2.02 2.00 3/524 20279
/proc/meminfo: memFree=23412348/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=0.11 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4385 0 0 0 11 0 0 0 18 0 1 0 822355531 17776640 4076 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4076 179 372 0 3965 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 17360
[startup+0.200484 s]
/proc/loadavg: 2.00 2.02 2.00 3/524 20279
/proc/meminfo: memFree=23412348/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=0.19 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4386 0 0 0 19 0 0 0 18 0 1 0 822355531 17776640 4077 33554432000 4194304 5714214 140736274518400 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4077 180 372 0 3965 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17360
[startup+0.300469 s]
/proc/loadavg: 2.00 2.02 2.00 3/524 20279
/proc/meminfo: memFree=23412348/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=0.29 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4386 0 0 0 29 0 0 0 18 0 1 0 822355531 17776640 4077 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4077 180 372 0 3965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17360
[startup+0.700392 s]
/proc/loadavg: 2.00 2.02 2.00 3/524 20279
/proc/meminfo: memFree=23412348/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=0.69 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4386 0 0 0 69 0 0 0 18 0 1 0 822355531 17776640 4077 33554432000 4194304 5714214 140736274518400 18446744073709551615 4322823 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4077 180 372 0 3965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17360
[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 20280
/proc/meminfo: memFree=23394112/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=1.49 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4386 0 0 0 149 0 0 0 19 0 1 0 822355531 17776640 4077 33554432000 4194304 5714214 140736274518400 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4077 180 372 0 3965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17360
[startup+3.10096 s]
/proc/loadavg: 2.00 2.02 2.00 5/525 20280
/proc/meminfo: memFree=23391792/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=3.09 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4386 0 0 0 308 1 0 0 25 0 1 0 822355531 17776640 4077 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4077 180 372 0 3965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17360
[startup+6.30038 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 20280
/proc/meminfo: memFree=23391596/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=6.29 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4386 0 0 0 627 2 0 0 24 0 1 0 822355531 17776640 4077 33554432000 4194304 5714214 140736274518400 18446744073709551615 4322847 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4077 180 372 0 3965 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17360
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 20280
/proc/meminfo: memFree=23386384/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=17360 CPUtime=12.69 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4387 0 0 0 1265 4 0 0 25 0 1 0 822355531 17776640 4078 33554432000 4194304 5714214 140736274518400 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4340 4078 180 372 0 3965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17360
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 5/525 20281
/proc/meminfo: memFree=23376960/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=18696 CPUtime=25.49 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 4742 0 0 0 2542 7 0 0 18 0 1 0 822355531 19144704 4433 33554432000 4194304 5714214 140736274518400 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 4674 4433 180 372 0 4299 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18696
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 20281
/proc/meminfo: memFree=23359948/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=23124 CPUtime=51.09 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 5797 0 0 0 5096 13 0 0 25 0 1 0 822355531 23678976 5488 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 5781 5488 180 372 0 5406 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23124
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/525 20283
/proc/meminfo: memFree=23320008/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=32028 CPUtime=102.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 8043 0 0 0 10204 26 0 0 25 0 1 0 822355531 32796672 7734 33554432000 4194304 5714214 140736274518400 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 8007 7734 180 372 0 7632 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32028
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/525 20284
/proc/meminfo: memFree=23278816/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=40996 CPUtime=162.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 10248 0 0 0 16190 40 0 0 25 0 1 0 822355531 41979904 9939 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 10249 9939 180 372 0 9874 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 40996
[startup+222.32 s]
/proc/loadavg: 2.08 2.03 2.01 5/525 20286
/proc/meminfo: memFree=23237628/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=50916 CPUtime=222.32 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 12690 0 0 0 22176 56 0 0 25 0 1 0 822355531 52137984 12381 33554432000 4194304 5714214 140736274518400 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 12729 12381 180 372 0 12354 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 50916
[startup+282.301 s]
/proc/loadavg: 2.10 2.05 2.01 4/525 20287
/proc/meminfo: memFree=23199172/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=58316 CPUtime=282.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 14556 0 0 0 28159 71 0 0 25 0 1 0 822355531 59715584 14247 33554432000 4194304 5714214 140736274518400 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 14579 14247 180 372 0 14204 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 58316
[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 5/525 20289
/proc/meminfo: memFree=23156120/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=66672 CPUtime=342.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 16609 0 0 0 34145 85 0 0 25 0 1 0 822355531 68272128 16300 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 16668 16300 180 372 0 16293 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 66672
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.01 5/525 20291
/proc/meminfo: memFree=23113316/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=75756 CPUtime=402.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 18852 0 0 0 40130 100 0 0 25 0 1 0 822355531 77574144 18543 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 18939 18543 180 372 0 18564 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 75756
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/525 20292
/proc/meminfo: memFree=23071500/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=83908 CPUtime=462.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 20895 0 0 0 46115 115 0 0 25 0 1 0 822355531 85921792 20586 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 20977 20586 180 372 0 20602 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 83908
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 20294
/proc/meminfo: memFree=23034744/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=92620 CPUtime=522.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 23053 0 0 0 52098 132 0 0 25 0 1 0 822355531 94842880 22744 33554432000 4194304 5714214 140736274518400 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 23155 22744 180 372 0 22780 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 92620
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/525 20295
/proc/meminfo: memFree=22994408/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=100248 CPUtime=582.3 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 24960 0 0 0 58080 150 0 0 25 0 1 0 822355531 102653952 24651 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 25062 24651 180 372 0 24687 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 100248
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.12 2.07 2.02 4/525 20303
/proc/meminfo: memFree=22799792/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=140480 CPUtime=882.33 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 34964 0 0 0 88009 224 0 0 25 0 1 0 822355531 143851520 34655 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 35120 34655 180 372 0 34745 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 140480
[startup+942.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/525 20305
/proc/meminfo: memFree=22761192/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=147984 CPUtime=942.31 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 36846 0 0 0 93993 238 0 0 25 0 1 0 822355531 151535616 36537 33554432000 4194304 5714214 140736274518400 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 36996 36537 180 372 0 36621 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 147984
[startup+1002.3 s]
/proc/loadavg: 1.95 2.03 2.00 3/525 20335
/proc/meminfo: memFree=23714604/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=156156 CPUtime=1002.32 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 38902 0 0 0 99979 253 0 0 25 0 1 0 822355531 159903744 38593 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 39039 38593 180 372 0 38664 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 156156
[startup+1062.3 s]
/proc/loadavg: 1.98 2.02 2.00 3/525 20336
/proc/meminfo: memFree=23308380/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=164616 CPUtime=1062.32 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 41008 0 0 0 105967 265 0 0 25 0 1 0 822355531 168566784 40699 33554432000 4194304 5714214 140736274518400 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 41154 40699 180 372 0 40779 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 164616
[startup+1122.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/525 20338
/proc/meminfo: memFree=23040144/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=173764 CPUtime=1122.32 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 43265 0 0 0 111956 276 0 0 25 0 1 0 822355531 177934336 42956 33554432000 4194304 5714214 140736274518400 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 43441 42956 180 372 0 43066 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 173764
[startup+1182.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/525 20339
/proc/meminfo: memFree=23033156/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=180676 CPUtime=1182.33 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 44977 0 0 0 117947 286 0 0 25 0 1 0 822355531 185012224 44668 33554432000 4194304 5714214 140736274518400 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 45169 44668 180 372 0 44794 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 180676
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/525 20341
/proc/meminfo: memFree=22878356/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=188356 CPUtime=1242.32 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 46905 0 0 0 123934 298 0 0 25 0 1 0 822355531 192876544 46596 33554432000 4194304 5714214 140736274518400 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 47089 46596 180 372 0 46714 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 188356
[startup+1302.3 s]
/proc/loadavg: 2.20 2.07 2.01 3/525 20343
/proc/meminfo: memFree=22714380/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=196816 CPUtime=1302.33 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 48996 0 0 0 129924 309 0 0 25 0 1 0 822355531 201539584 48687 33554432000 4194304 5714214 140736274518400 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 49204 48687 180 372 0 48829 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 196816
[startup+1362.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/525 20344
/proc/meminfo: memFree=22573476/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=205288 CPUtime=1362.33 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 51130 0 0 0 135913 320 0 0 25 0 1 0 822355531 210214912 50821 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 51322 50821 180 372 0 50947 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 205288
[startup+1422.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/525 20346
/proc/meminfo: memFree=22566860/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=212176 CPUtime=1422.34 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 52846 0 0 0 141903 331 0 0 25 0 1 0 822355531 217268224 52537 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 53044 52537 180 372 0 52669 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 212176
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 20347
/proc/meminfo: memFree=22559144/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=219396 CPUtime=1482.33 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 54627 0 0 0 147893 340 0 0 25 0 1 0 822355531 224661504 54318 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 54849 54318 180 372 0 54474 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 219396
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 20349
/proc/meminfo: memFree=22551288/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=227460 CPUtime=1542.35 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 56665 0 0 0 153883 352 0 0 25 0 1 0 822355531 232919040 56356 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 56865 56356 180 372 0 56490 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 227460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 20351
/proc/meminfo: memFree=22542696/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=235980 CPUtime=1602.33 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 58761 0 0 0 159869 364 0 0 25 0 1 0 822355531 241643520 58452 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 58995 58452 180 372 0 58620 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 235980
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 20352
/proc/meminfo: memFree=22533968/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=244584 CPUtime=1662.34 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 60900 0 0 0 165859 375 0 0 25 0 1 0 822355531 250454016 60591 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 61146 60591 180 372 0 60771 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 244584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 20354
/proc/meminfo: memFree=22526856/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=251580 CPUtime=1722.34 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 62655 0 0 0 171846 388 0 0 25 0 1 0 822355531 257617920 62346 33554432000 4194304 5714214 140736274518400 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 62895 62346 180 372 0 62520 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 251580
[startup+1782.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/525 20355
/proc/meminfo: memFree=22490224/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=260964 CPUtime=1782.34 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 65010 0 0 0 177835 399 0 0 25 0 1 0 822355531 267227136 64701 33554432000 4194304 5714214 140736274518400 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 65241 64701 180 372 0 64866 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 260964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 20356
/proc/meminfo: memFree=22489456/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=262020 CPUtime=1800.05 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 65266 0 0 0 179603 402 0 0 25 0 1 0 822355531 268308480 64957 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 65505 64957 180 372 0 65130 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 262020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 20356
/proc/meminfo: memFree=22489456/32951124 swapFree=56930356/67111528
[pid=20279] ppid=20277 vsize=262020 CPUtime=1800.05 cores=1,3,5,7
/proc/20279/stat : 20279 (wbo1.6) R 20277 20279 18788 0 -1 4202496 65266 0 0 0 179603 402 0 0 25 0 1 0 822355531 268308480 64957 33554432000 4194304 5714214 140736274518400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20279/statm: 65505 64957 180 372 0 65130 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 262020
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1796.04
CPU system time (s): 4.03939
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 262020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.03939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65268
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= 11
involuntary context switches= 2057
runsolver used 8.86865 second user time and 22.2176 second system time
The end