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-3460705-1307108467/watcher-3460705-1307108467 -o /tmp/evaluation-result-3460705-1307108467/solver-3460705-1307108467 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460705-1307108467.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.11 2.04 2.01 2/443 14936
/proc/meminfo: memFree=29601612/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=3428 CPUtime=0 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 901077411 3510272 465 33554432000 4194304 5714214 140736128182160 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 857 465 195 372 0 331 0
[startup+0.060142 s]
/proc/loadavg: 2.11 2.04 2.01 2/443 14936
/proc/meminfo: memFree=29601612/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=11216 CPUtime=0.05 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 2827 0 0 0 5 0 0 0 18 0 1 0 901077411 11485184 2491 33554432000 4194304 5714214 140736128182160 18446744073709551615 4355624 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 2804 2491 176 372 0 2429 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11216
[startup+0.101132 s]
/proc/loadavg: 2.11 2.04 2.01 2/443 14936
/proc/meminfo: memFree=29601612/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=12048 CPUtime=0.09 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 3275 0 0 0 9 0 0 0 18 0 1 0 901077411 12337152 2688 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 3012 2688 179 372 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12048
[startup+0.301093 s]
/proc/loadavg: 2.11 2.04 2.01 2/443 14936
/proc/meminfo: memFree=29601612/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=11836 CPUtime=0.29 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 3376 0 0 0 28 1 0 0 18 0 1 0 901077411 12120064 2675 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 2959 2675 180 372 0 2584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11836
[startup+0.701015 s]
/proc/loadavg: 2.11 2.04 2.01 2/443 14936
/proc/meminfo: memFree=29601612/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=13452 CPUtime=0.69 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 3790 0 0 0 65 4 0 0 18 0 1 0 901077411 13774848 3089 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 3363 3089 180 372 0 2988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13452
[startup+1.50087 s]
/proc/loadavg: 2.10 2.03 2.01 3/444 14937
/proc/meminfo: memFree=29588956/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=15436 CPUtime=1.49 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 4271 0 0 0 141 8 0 0 19 0 1 0 901077411 15806464 3570 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 3859 3571 180 372 0 3484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15436
[startup+3.10056 s]
/proc/loadavg: 2.10 2.03 2.01 3/444 14937
/proc/meminfo: memFree=29582520/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=25412 CPUtime=3.09 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 6760 0 0 0 294 15 0 0 25 0 1 0 901077411 26021888 6059 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 6353 6059 180 372 0 5978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25412
[startup+6.30096 s]
/proc/loadavg: 2.10 2.03 2.01 3/444 14937
/proc/meminfo: memFree=29571592/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=34812 CPUtime=6.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 9114 0 0 0 608 22 0 0 25 0 1 0 901077411 35647488 8413 33554432000 4194304 5714214 140736128182160 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 8703 8414 180 372 0 8328 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 34812
[startup+12.7008 s]
/proc/loadavg: 2.09 2.03 2.01 3/444 14937
/proc/meminfo: memFree=29542672/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=57932 CPUtime=12.69 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 14881 0 0 0 1240 29 0 0 25 0 1 0 901077411 59322368 14180 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 14483 14180 180 372 0 14108 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57932
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.01 3/444 14937
/proc/meminfo: memFree=29512540/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=89748 CPUtime=25.49 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 22853 0 0 0 2509 40 0 0 25 0 1 0 901077411 91901952 22152 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 22437 22152 180 372 0 22062 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89748
[startup+51.1005 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 14938
/proc/meminfo: memFree=29475588/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=126088 CPUtime=51.09 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 31912 0 0 0 5062 47 0 0 25 0 1 0 901077411 129114112 31211 33554432000 4194304 5714214 140736128182160 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 31522 31211 180 372 0 31147 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126088
[startup+102.317 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 14939
/proc/meminfo: memFree=29443176/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=157896 CPUtime=102.31 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 39836 0 0 0 10162 69 0 0 25 0 1 0 901077411 161685504 39135 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 39474 39135 180 372 0 39099 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 157896
[startup+162.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/444 14941
/proc/meminfo: memFree=29421684/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=174924 CPUtime=162.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 44099 0 0 0 16128 102 0 0 25 0 1 0 901077411 179122176 43398 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 43731 43398 180 372 0 43356 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 174924
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/444 14943
/proc/meminfo: memFree=29402796/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=193920 CPUtime=222.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 48836 0 0 0 22077 153 0 0 25 0 1 0 901077411 198574080 48135 33554432000 4194304 5714214 140736128182160 18446744073709551615 4198966 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 48480 48135 180 372 0 48105 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 193920
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14944
/proc/meminfo: memFree=29400632/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=197192 CPUtime=282.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 49645 0 0 0 28027 203 0 0 25 0 1 0 901077411 201924608 48944 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 49298 48944 180 372 0 48923 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 197192
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14946
/proc/meminfo: memFree=29348892/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=246020 CPUtime=342.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 61795 0 0 0 33953 277 0 0 25 0 1 0 901077411 251924480 61094 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 61505 61094 180 372 0 61130 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 246020
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 14974
/proc/meminfo: memFree=29540288/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=245536 CPUtime=402.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 61816 0 0 0 39881 349 0 0 25 0 1 0 901077411 251428864 61023 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 61384 61023 180 372 0 61009 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 245536
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14976
/proc/meminfo: memFree=29377436/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=245536 CPUtime=462.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 61841 0 0 0 45839 391 0 0 25 0 1 0 901077411 251428864 61048 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 61384 61048 180 372 0 61009 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 245536
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/444 14978
/proc/meminfo: memFree=29263828/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=245536 CPUtime=522.31 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 61846 0 0 0 51817 414 0 0 25 0 1 0 901077411 251428864 61053 33554432000 4194304 5714214 140736128182160 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 61384 61053 180 372 0 61009 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 245536
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/444 14979
/proc/meminfo: memFree=29222616/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=285000 CPUtime=582.3 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 71725 0 0 0 57800 430 0 0 25 0 1 0 901077411 291840000 70932 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 71250 70932 180 372 0 70875 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 285000
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14986
/proc/meminfo: memFree=28807040/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=319512 CPUtime=822.31 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 80363 0 0 0 81655 576 0 0 25 0 1 0 901077411 327180288 79570 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 79878 79570 180 372 0 79503 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 319512
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14987
/proc/meminfo: memFree=28698360/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=356676 CPUtime=882.31 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 89651 0 0 0 87607 624 0 0 25 0 1 0 901077411 365236224 88858 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 89169 88858 180 372 0 88794 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 356676
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14989
/proc/meminfo: memFree=28638688/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=418024 CPUtime=942.32 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 104929 0 0 0 93580 652 0 0 25 0 1 0 901077411 428056576 104136 33554432000 4194304 5714214 140736128182160 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 104506 104138 180 372 0 104131 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 418024
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14990
/proc/meminfo: memFree=28588680/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=428696 CPUtime=1002.32 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 107547 0 0 0 99561 671 0 0 25 0 1 0 901077411 438984704 106754 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 107174 106754 180 372 0 106799 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 428696
[startup+1062.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/444 14992
/proc/meminfo: memFree=28130716/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=483456 CPUtime=1062.32 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 121210 0 0 0 105538 694 0 0 25 0 1 0 901077411 495058944 120417 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 120864 120417 180 372 0 120489 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 483456
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/444 14994
/proc/meminfo: memFree=27815212/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=498016 CPUtime=1122.32 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 124870 0 0 0 111520 712 0 0 25 0 1 0 901077411 509968384 124077 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 124504 124077 180 372 0 124129 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 498016
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/444 14995
/proc/meminfo: memFree=27462412/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=531560 CPUtime=1182.33 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 133248 0 0 0 117503 730 0 0 25 0 1 0 901077411 544317440 132455 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 132890 132455 180 372 0 132515 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 531560
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 15006
/proc/meminfo: memFree=27112716/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=564280 CPUtime=1242.33 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 141418 0 0 0 123482 751 0 0 25 0 1 0 901077411 577822720 140625 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 141070 140625 180 372 0 140695 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 564280
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15007
/proc/meminfo: memFree=26748024/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=561400 CPUtime=1302.34 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 141419 0 0 0 129461 773 0 0 25 0 1 0 901077411 574873600 139916 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 140350 139916 180 372 0 139975 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 561400
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15009
/proc/meminfo: memFree=26357264/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=561400 CPUtime=1362.33 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 141428 0 0 0 135436 797 0 0 25 0 1 0 901077411 574873600 139925 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 140350 139925 180 372 0 139975 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 561400
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 15011
/proc/meminfo: memFree=26030008/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=561400 CPUtime=1422.35 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 141429 0 0 0 141424 811 0 0 25 0 1 0 901077411 574873600 139926 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 140350 139926 180 372 0 139975 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 561400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15012
/proc/meminfo: memFree=25804408/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=561400 CPUtime=1482.34 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 141430 0 0 0 147417 817 0 0 25 0 1 0 901077411 574873600 139927 33554432000 4194304 5714214 140736128182160 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 140350 139927 180 372 0 139975 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 561400
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15014
/proc/meminfo: memFree=25542856/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=617200 CPUtime=1542.34 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 155279 0 0 0 153409 825 0 0 25 0 1 0 901077411 632012800 153776 33554432000 4194304 5714214 140736128182160 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 154300 153776 180 372 0 153925 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 617200
[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/444 15015
/proc/meminfo: memFree=25277448/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=643804 CPUtime=1602.35 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 161832 0 0 0 159388 847 0 0 25 0 1 0 901077411 659255296 160329 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 160951 160329 180 372 0 160576 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 643804
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/444 15017
/proc/meminfo: memFree=25050992/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=643804 CPUtime=1662.34 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 161838 0 0 0 165361 873 0 0 25 0 1 0 901077411 659255296 160335 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 160951 160335 180 372 0 160576 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 643804
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 15019
/proc/meminfo: memFree=24908584/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=643804 CPUtime=1722.35 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 161845 0 0 0 171341 894 0 0 25 0 1 0 901077411 659255296 160342 33554432000 4194304 5714214 140736128182160 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 160951 160342 180 372 0 160576 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 643804
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 15020
/proc/meminfo: memFree=24722432/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=643804 CPUtime=1782.35 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 161847 0 0 0 177320 915 0 0 25 0 1 0 901077411 659255296 160344 33554432000 4194304 5714214 140736128182160 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 160951 160344 180 372 0 160576 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 643804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 15021
/proc/meminfo: memFree=24680764/32950928 swapFree=52246700/67111528
[pid=14936] ppid=14934 vsize=643804 CPUtime=1800.06 cores=1,3,5,7
/proc/14936/stat : 14936 (wbo1.6) R 14934 14936 13866 0 -1 4202496 161850 0 0 0 179084 922 0 0 25 0 1 0 901077411 659255296 160347 33554432000 4194304 5714214 140736128182160 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14936/statm: 160951 160347 180 372 0 160576 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 643804
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.05
CPU time (s): 1800.1
CPU user time (s): 1790.85
CPU system time (s): 9.25059
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 643804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.85
system time used= 9.25059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161850
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= 8
involuntary context switches= 21493
runsolver used 7.39888 second user time and 18.8121 second system time
The end