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-3460865-1307107250/watcher-3460865-1307107250 -o /tmp/evaluation-result-3460865-1307107250/solver-3460865-1307107250 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460865-1307107250.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.03 2.05 2.00 3/526 24626
/proc/meminfo: memFree=23059460/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=6916 CPUtime=0.01 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 669 0 0 0 1 0 0 0 25 0 1 0 803140905 7081984 623 33554432000 4194304 5714214 140733442349968 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 1729 623 216 372 0 448 0
[startup+0.029475 s]
/proc/loadavg: 2.03 2.05 2.00 3/526 24626
/proc/meminfo: memFree=23059460/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=8144 CPUtime=0.02 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 995 0 0 0 2 0 0 0 25 0 1 0 803140905 8339456 949 33554432000 4194304 5714214 140733442349968 18446744073709551615 4948555 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 2036 949 257 372 0 755 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8144
[startup+0.100467 s]
/proc/loadavg: 2.03 2.05 2.00 3/526 24626
/proc/meminfo: memFree=23059460/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=14400 CPUtime=0.09 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 2807 0 0 0 9 0 0 0 25 0 1 0 803140905 14745600 2761 33554432000 4194304 5714214 140733442349968 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 3600 2763 496 372 0 2319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.30043 s]
/proc/loadavg: 2.03 2.05 2.00 3/526 24626
/proc/meminfo: memFree=23059460/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=36856 CPUtime=0.29 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 9849 0 0 0 28 1 0 0 18 0 1 0 803140905 37740544 8869 33554432000 4194304 5714214 140733442349968 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 9214 8876 174 372 0 8839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36856
[startup+0.70036 s]
/proc/loadavg: 2.03 2.05 2.00 3/526 24626
/proc/meminfo: memFree=23059460/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=0.69 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13527 0 0 0 67 2 0 0 18 0 1 0 803140905 52043776 12407 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12407 179 372 0 12331 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50824
[startup+1.50021 s]
/proc/loadavg: 2.03 2.05 2.00 4/527 24627
/proc/meminfo: memFree=23007124/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=1.49 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13528 0 0 0 147 2 0 0 19 0 1 0 803140905 52043776 12408 33554432000 4194304 5714214 140733442349968 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12408 180 372 0 12331 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50824
[startup+3.10092 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 24627
/proc/meminfo: memFree=23005140/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=3.09 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13528 0 0 0 307 2 0 0 23 0 1 0 803140905 52043776 12408 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12408 180 372 0 12331 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50824
[startup+6.30035 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 24627
/proc/meminfo: memFree=23003728/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=6.29 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13528 0 0 0 626 3 0 0 25 0 1 0 803140905 52043776 12408 33554432000 4194304 5714214 140733442349968 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12408 180 372 0 12331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50824
[startup+12.7002 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 24657
/proc/meminfo: memFree=23003108/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=12.69 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13531 0 0 0 1266 3 0 0 25 0 1 0 803140905 52043776 12411 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12411 180 372 0 12331 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50824
[startup+25.5009 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 24657
/proc/meminfo: memFree=22997368/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=25.49 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13532 0 0 0 2544 5 0 0 25 0 1 0 803140905 52043776 12412 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12412 180 372 0 12331 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50824
[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.00 3/527 24658
/proc/meminfo: memFree=22989316/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=51.09 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13532 0 0 0 5102 7 0 0 25 0 1 0 803140905 52043776 12412 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12412 180 372 0 12331 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50824
[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/527 24660
/proc/meminfo: memFree=22973936/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=102.31 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13533 0 0 0 10219 12 0 0 25 0 1 0 803140905 52043776 12413 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12413 180 372 0 12331 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 50824
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/527 24663
/proc/meminfo: memFree=22961244/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=162.29 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13533 0 0 0 16212 17 0 0 25 0 1 0 803140905 52043776 12413 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12413 180 372 0 12331 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 50824
[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 24664
/proc/meminfo: memFree=22960840/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=50824 CPUtime=222.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 13533 0 0 0 22205 25 0 0 25 0 1 0 803140905 52043776 12413 33554432000 4194304 5714214 140733442349968 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 12706 12413 180 372 0 12331 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 50824
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24672
/proc/meminfo: memFree=22953052/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=54352 CPUtime=282.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 14426 0 0 0 28196 34 0 0 25 0 1 0 803140905 55656448 13306 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 13588 13306 180 372 0 13213 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 54352
[startup+342.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/527 24673
/proc/meminfo: memFree=22933380/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=58332 CPUtime=342.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 15399 0 0 0 34189 41 0 0 25 0 1 0 803140905 59731968 14279 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322717 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 14583 14279 180 372 0 14208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58332
[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/527 24676
/proc/meminfo: memFree=22915472/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=61120 CPUtime=402.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 16104 0 0 0 40182 48 0 0 25 0 1 0 803140905 62586880 14984 33554432000 4194304 5714214 140733442349968 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 15280 14984 180 372 0 14905 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 61120
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 24678
/proc/meminfo: memFree=22897200/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=64520 CPUtime=462.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 16903 0 0 0 46177 53 0 0 25 0 1 0 803140905 66068480 15783 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 16130 15783 180 372 0 15755 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 64520
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 24679
/proc/meminfo: memFree=22886004/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=67196 CPUtime=522.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 17559 0 0 0 52170 60 0 0 25 0 1 0 803140905 68808704 16439 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 16799 16439 180 372 0 16424 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 67196
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24681
/proc/meminfo: memFree=22882504/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=70640 CPUtime=582.3 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 18424 0 0 0 58164 66 0 0 25 0 1 0 803140905 72335360 17304 33554432000 4194304 5714214 140733442349968 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 17660 17304 180 372 0 17285 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 70640
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24688
/proc/meminfo: memFree=22870700/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=81908 CPUtime=822.31 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 21245 0 0 0 82142 89 0 0 25 0 1 0 803140905 83873792 20125 33554432000 4194304 5714214 140733442349968 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 20477 20125 180 372 0 20102 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 81908
[startup+882.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/527 24691
/proc/meminfo: memFree=22856040/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=86528 CPUtime=882.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 22403 0 0 0 88134 98 0 0 25 0 1 0 803140905 88604672 21283 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 21632 21283 180 372 0 21257 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 86528
[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/527 24692
/proc/meminfo: memFree=22818556/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=90892 CPUtime=942.31 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 23480 0 0 0 94125 106 0 0 25 0 1 0 803140905 93073408 22360 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 22723 22360 180 372 0 22348 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 90892
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24695
/proc/meminfo: memFree=22815800/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=93448 CPUtime=1002.31 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 24119 0 0 0 100116 115 0 0 25 0 1 0 803140905 95690752 22999 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 23362 22999 180 372 0 22987 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 93448
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24698
/proc/meminfo: memFree=22813892/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=97204 CPUtime=1062.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 25057 0 0 0 106110 122 0 0 25 0 1 0 803140905 99536896 23937 33554432000 4194304 5714214 140733442349968 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 24301 23937 180 372 0 23926 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 97204
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24699
/proc/meminfo: memFree=22809132/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=101048 CPUtime=1122.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 26005 0 0 0 112102 130 0 0 25 0 1 0 803140905 103473152 24885 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 25262 24885 180 372 0 24887 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 101048
[startup+1182.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/527 24702
/proc/meminfo: memFree=22805008/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=103864 CPUtime=1182.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 26735 0 0 0 118094 138 0 0 25 0 1 0 803140905 106356736 25615 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 25966 25615 180 372 0 25591 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 103864
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/527 24703
/proc/meminfo: memFree=22801136/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=108088 CPUtime=1242.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 27767 0 0 0 124088 144 0 0 25 0 1 0 803140905 110682112 26647 33554432000 4194304 5714214 140733442349968 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 27022 26647 180 372 0 26647 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 108088
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/527 24706
/proc/meminfo: memFree=22797376/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=110068 CPUtime=1302.34 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 28268 0 0 0 130082 152 0 0 25 0 1 0 803140905 112709632 27148 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 27517 27148 180 372 0 27142 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 110068
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/527 24709
/proc/meminfo: memFree=22793012/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=114444 CPUtime=1362.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 29349 0 0 0 136073 159 0 0 25 0 1 0 803140905 117190656 28229 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 28611 28229 180 372 0 28236 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 114444
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24710
/proc/meminfo: memFree=22792844/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=116688 CPUtime=1422.35 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 29936 0 0 0 142069 166 0 0 25 0 1 0 803140905 119488512 28816 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 29172 28816 180 372 0 28797 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 116688
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/527 24713
/proc/meminfo: memFree=22789224/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=120152 CPUtime=1482.32 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 30771 0 0 0 148060 172 0 0 25 0 1 0 803140905 123035648 29651 33554432000 4194304 5714214 140733442349968 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 30038 29651 180 372 0 29663 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 120152
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24714
/proc/meminfo: memFree=22781244/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=125576 CPUtime=1542.33 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 32130 0 0 0 154053 180 0 0 25 0 1 0 803140905 128589824 31010 33554432000 4194304 5714214 140733442349968 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 31394 31010 180 372 0 31019 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 125576
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24716
/proc/meminfo: memFree=22766216/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=128316 CPUtime=1602.34 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 32810 0 0 0 160047 187 0 0 25 0 1 0 803140905 131395584 31690 33554432000 4194304 5714214 140733442349968 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 32079 31690 180 372 0 31704 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 128316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24718
/proc/meminfo: memFree=22751416/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=130784 CPUtime=1662.33 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 33417 0 0 0 166039 194 0 0 25 0 1 0 803140905 133922816 32297 33554432000 4194304 5714214 140733442349968 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 32696 32297 180 372 0 32321 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 130784
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/527 24719
/proc/meminfo: memFree=22733292/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=135492 CPUtime=1722.34 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 34570 0 0 0 172033 201 0 0 25 0 1 0 803140905 138743808 33450 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 33873 33450 180 372 0 33498 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 135492
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/527 24721
/proc/meminfo: memFree=22716256/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=138116 CPUtime=1782.34 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 35221 0 0 0 178026 208 0 0 25 0 1 0 803140905 141430784 34101 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 34529 34101 180 372 0 34154 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 138116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.03 2.00 3/527 24721
/proc/meminfo: memFree=22712528/32951124 swapFree=64303760/67111528
[pid=24626] ppid=24624 vsize=139504 CPUtime=1800.05 cores=1,3,5,7
/proc/24626/stat : 24626 (wbo1.6) R 24624 24626 23633 0 -1 4202496 35566 0 0 0 179795 210 0 0 25 0 1 0 803140905 142852096 34446 33554432000 4194304 5714214 140733442349968 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24626/statm: 34876 34446 180 372 0 34501 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 139504
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.03
CPU time (s): 1800.07
CPU user time (s): 1797.96
CPU system time (s): 2.11268
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 139504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.96
system time used= 2.11268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35566
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= 6
involuntary context switches= 2275
runsolver used 8.96764 second user time and 22.1496 second system time
The end