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-3462980-1307179414/watcher-3462980-1307179414 -o /tmp/evaluation-result-3462980-1307179414/solver-3462980-1307179414 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462980-1307179414.opb
running on 4 cores: 0,2,4,6
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.00 2.00 2/446 24072
/proc/meminfo: memFree=31302992/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=16928 CPUtime=0 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 353 0 0 0 0 0 0 0 25 0 1 0 829540172 17334272 307 33554432000 134512640 137138936 4292909568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 4232 308 204 642 0 2086 0
[startup+0.0449771 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 24072
/proc/meminfo: memFree=31302992/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=17848 CPUtime=0.04 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 686 0 0 0 4 0 0 0 25 0 1 0 829540172 18276352 640 33554432000 134512640 137138936 4292909568 18446744073709551615 136527921 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 4462 640 321 642 0 2316 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17848
[startup+0.100966 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 24072
/proc/meminfo: memFree=31302992/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=19280 CPUtime=0.09 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 1262 0 0 0 9 0 0 0 25 0 1 0 829540172 19742720 1216 33554432000 134512640 137138936 4292909568 18446744073709551615 134517763 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 4820 1216 523 642 0 2674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19280
[startup+0.300932 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 24072
/proc/meminfo: memFree=31302992/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=24624 CPUtime=0.29 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 3289 0 0 0 29 0 0 0 25 0 1 0 829540172 25214976 3243 33554432000 134512640 137138936 4292909568 18446744073709551615 134518684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 6156 3243 1228 642 0 4010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24624
[startup+0.700867 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 24072
/proc/meminfo: memFree=31302992/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=38852 CPUtime=0.69 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 8776 0 0 0 67 2 0 0 25 0 1 0 829540172 39784448 7228 33554432000 134512640 137138936 4292909568 18446744073709551615 134540151 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 9713 7228 185 642 0 9069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38852
[startup+1.50083 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24073
/proc/meminfo: memFree=31274216/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=38852 CPUtime=1.49 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 8776 0 0 0 146 3 0 0 25 0 1 0 829540172 39784448 7228 33554432000 134512640 137138936 4292909568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 9713 7228 185 642 0 9069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38852
[startup+3.10056 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24073
/proc/meminfo: memFree=31277692/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=34264 CPUtime=3.09 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 10546 0 0 0 305 4 0 0 25 0 1 0 829540172 35086336 6104 33554432000 134512640 137138936 4292909568 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 8566 6104 192 642 0 7922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34264
[startup+6.30099 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24073
/proc/meminfo: memFree=31275708/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=36092 CPUtime=6.29 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 11002 0 0 0 625 4 0 0 25 0 1 0 829540172 36958208 6560 33554432000 134512640 137138936 4292909568 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 9023 6560 192 642 0 8379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36092
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24073
/proc/meminfo: memFree=31270156/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=40416 CPUtime=12.69 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 12106 0 0 0 1264 5 0 0 25 0 1 0 829540172 41385984 7664 33554432000 134512640 137138936 4292909568 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 10104 7664 192 642 0 9460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40416
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24074
/proc/meminfo: memFree=31260340/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=50040 CPUtime=25.49 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 14490 0 0 0 2543 6 0 0 25 0 1 0 829540172 51240960 10048 33554432000 134512640 137138936 4292909568 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 12510 10048 192 642 0 11866 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50040
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24074
/proc/meminfo: memFree=31242780/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=66684 CPUtime=51.09 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 18672 0 0 0 5101 8 0 0 25 0 1 0 829540172 68284416 14230 33554432000 134512640 137138936 4292909568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 16671 14230 192 642 0 16027 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66684
[startup+102.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24076
/proc/meminfo: memFree=31213112/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=95000 CPUtime=102.31 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 25730 0 0 0 10220 11 0 0 25 0 1 0 829540172 97280000 21288 33554432000 134512640 137138936 4292909568 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 23750 21288 192 642 0 23106 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 95000
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24077
/proc/meminfo: memFree=31186060/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=121312 CPUtime=162.29 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 32329 0 0 0 16215 14 0 0 25 0 1 0 829540172 124223488 27887 33554432000 134512640 137138936 4292909568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 30328 27887 192 642 0 29684 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 121312
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24079
/proc/meminfo: memFree=31159016/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=148492 CPUtime=222.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 39103 0 0 0 22211 19 0 0 25 0 1 0 829540172 152055808 34661 33554432000 134512640 137138936 4292909568 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 37123 34661 192 642 0 36479 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 148492
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 24081
/proc/meminfo: memFree=31122660/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=184548 CPUtime=282.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 48141 0 0 0 28207 23 0 0 25 0 1 0 829540172 188977152 43699 33554432000 134512640 137138936 4292909568 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 46137 43699 192 642 0 45493 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 184548
[startup+342.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/447 24082
/proc/meminfo: memFree=31099200/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=207500 CPUtime=342.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 53855 0 0 0 34203 27 0 0 25 0 1 0 829540172 212480000 49413 33554432000 134512640 137138936 4292909568 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 51875 49413 192 642 0 51231 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 207500
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24084
/proc/meminfo: memFree=31080448/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=226240 CPUtime=402.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 58540 0 0 0 40199 31 0 0 25 0 1 0 829540172 231669760 54098 33554432000 134512640 137138936 4292909568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 56560 54098 192 642 0 55916 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 226240
[startup+462.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/447 24085
/proc/meminfo: memFree=31063812/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=241972 CPUtime=462.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 62497 0 0 0 46197 33 0 0 25 0 1 0 829540172 247779328 58055 33554432000 134512640 137138936 4292909568 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 60493 58055 192 642 0 59849 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 241972
[startup+522.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/447 24087
/proc/meminfo: memFree=31048040/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=257604 CPUtime=522.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 66396 0 0 0 52194 36 0 0 25 0 1 0 829540172 263786496 61954 33554432000 134512640 137138936 4292909568 18446744073709551615 134542965 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 64401 61954 192 642 0 63757 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 257604
[startup+582.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24089
/proc/meminfo: memFree=31030412/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=274872 CPUtime=582.3 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 70703 0 0 0 58191 39 0 0 25 0 1 0 829540172 281468928 66261 33554432000 134512640 137138936 4292909568 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 68718 66261 192 642 0 68074 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 274872
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/447 24095
/proc/meminfo: memFree=30967324/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=337508 CPUtime=822.31 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 86378 0 0 0 82184 47 0 0 25 0 1 0 829540172 345608192 81936 33554432000 134512640 137138936 4292909568 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 84377 81936 192 642 0 83733 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 337508
[startup+882.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/447 24097
/proc/meminfo: memFree=30949324/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=354792 CPUtime=882.31 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 90680 0 0 0 88181 50 0 0 25 0 1 0 829540172 363307008 86238 33554432000 134512640 137138936 4292909568 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 88698 86238 192 642 0 88054 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 354792
[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 24098
/proc/meminfo: memFree=30931680/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=372460 CPUtime=942.32 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 95095 0 0 0 94179 53 0 0 25 0 1 0 829540172 381399040 90653 33554432000 134512640 137138936 4292909568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 93115 90653 192 642 0 92471 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 372460
[startup+1002.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/447 24100
/proc/meminfo: memFree=30913528/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=390528 CPUtime=1002.32 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 99612 0 0 0 100176 56 0 0 25 0 1 0 829540172 399900672 95170 33554432000 134512640 137138936 4292909568 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 97632 95170 192 642 0 96988 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 390528
[startup+1062.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/447 24101
/proc/meminfo: memFree=30900744/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=403524 CPUtime=1062.31 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 102883 0 0 0 106174 57 0 0 25 0 1 0 829540172 413208576 98441 33554432000 134512640 137138936 4292909568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 100881 98441 192 642 0 100237 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 403524
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/447 24103
/proc/meminfo: memFree=30888196/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=415716 CPUtime=1122.32 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 105933 0 0 0 112173 59 0 0 25 0 1 0 829540172 425693184 101491 33554432000 134512640 137138936 4292909568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 103929 101491 192 642 0 103285 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 415716
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/447 24105
/proc/meminfo: memFree=30876880/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=426720 CPUtime=1182.31 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 108660 0 0 0 118171 60 0 0 25 0 1 0 829540172 436961280 104218 33554432000 134512640 137138936 4292909568 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 106680 104218 192 642 0 106036 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 426720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 24106
/proc/meminfo: memFree=30864456/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=438756 CPUtime=1242.32 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 111690 0 0 0 124170 62 0 0 25 0 1 0 829540172 449286144 107248 33554432000 134512640 137138936 4292909568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 109689 107248 192 642 0 109045 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 438756
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24108
/proc/meminfo: memFree=30851292/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=451888 CPUtime=1302.33 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 114976 0 0 0 130169 64 0 0 25 0 1 0 829540172 462733312 110534 33554432000 134512640 137138936 4292909568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 112972 110534 192 642 0 112328 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 451888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24109
/proc/meminfo: memFree=30838744/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=465084 CPUtime=1362.33 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 118274 0 0 0 136166 67 0 0 25 0 1 0 829540172 476246016 113832 33554432000 134512640 137138936 4292909568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 116271 113832 192 642 0 115627 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 465084
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 2.00 3/447 24111
/proc/meminfo: memFree=30825452/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=477668 CPUtime=1422.34 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 121420 0 0 0 142165 69 0 0 25 0 1 0 829540172 489132032 116978 33554432000 134512640 137138936 4292909568 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 119417 116978 192 642 0 118773 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 477668
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 24113
/proc/meminfo: memFree=30814020/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=489168 CPUtime=1482.32 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 124274 0 0 0 148162 70 0 0 25 0 1 0 829540172 500908032 119832 33554432000 134512640 137138936 4292909568 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 122292 119832 192 642 0 121648 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 489168
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 24114
/proc/meminfo: memFree=30803336/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=499804 CPUtime=1542.33 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 126956 0 0 0 154161 72 0 0 25 0 1 0 829540172 511799296 122514 33554432000 134512640 137138936 4292909568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 124951 122514 192 642 0 124307 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 499804
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/447 24116
/proc/meminfo: memFree=30793516/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=510128 CPUtime=1602.33 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 129535 0 0 0 160158 75 0 0 25 0 1 0 829540172 522371072 125093 33554432000 134512640 137138936 4292909568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 127532 125093 192 642 0 126888 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 510128
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/447 24117
/proc/meminfo: memFree=30782952/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=520768 CPUtime=1662.33 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 132172 0 0 0 166157 76 0 0 25 0 1 0 829540172 533266432 127730 33554432000 134512640 137138936 4292909568 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 130192 127730 192 642 0 129548 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 520768
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781568/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=521476 CPUtime=1722.33 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 132896 0 0 0 172157 76 0 0 25 0 1 0 829540172 533991424 127912 33554432000 134512640 137138936 4292909568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 130369 127912 192 642 0 129725 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 521476
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/447 24229
/proc/meminfo: memFree=30766868/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=521476 CPUtime=1782.34 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 132896 0 0 0 178157 77 0 0 25 0 1 0 829540172 533991424 127912 33554432000 134512640 137138936 4292909568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 130369 127912 192 642 0 129725 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 521476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.04 2.00 3/447 24229
/proc/meminfo: memFree=30761784/32950928 swapFree=34365992/67111528
[pid=24072] ppid=24070 vsize=521476 CPUtime=1800.05 cores=0,2,4,6
/proc/24072/stat : 24072 (bsolo) R 24070 24072 22425 0 -1 4202496 132896 0 0 0 179928 77 0 0 25 0 1 0 829540172 533991424 127912 33554432000 134512640 137138936 4292909568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24072/statm: 130369 127912 192 642 0 129725 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 521476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1799.29
CPU system time (s): 0.792879
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 523644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.792879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132896
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= 4
involuntary context switches= 1123
runsolver used 8.36673 second user time and 17.8393 second system time
The end