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-3461486-1307099897/watcher-3461486-1307099897 -o /tmp/evaluation-result-3461486-1307099897/solver-3461486-1307099897 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461486-1307099897.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 3/550 3968
/proc/meminfo: memFree=25065488/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=2240 CPUtime=0 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 347 0 0 0 0 0 0 0 23 0 1 0 821586770 2293760 298 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 560 298 180 372 0 185 0
[startup+0.103697 s]
/proc/loadavg: 1.92 2.00 1.99 3/550 3968
/proc/meminfo: memFree=25065488/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=3428 CPUtime=0.09 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 655 0 0 0 9 0 0 0 23 0 1 0 821586770 3510272 606 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 857 607 180 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428
[startup+0.200684 s]
/proc/loadavg: 1.92 2.00 1.99 3/550 3968
/proc/meminfo: memFree=25065488/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=4224 CPUtime=0.19 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 861 0 0 0 19 0 0 0 24 0 1 0 821586770 4325376 812 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 1056 813 180 372 0 681 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4224
[startup+0.300668 s]
/proc/loadavg: 1.92 2.00 1.99 3/550 3968
/proc/meminfo: memFree=25065488/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=4928 CPUtime=0.29 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 1035 0 0 0 29 0 0 0 25 0 1 0 821586770 5046272 986 33554432000 4194304 5714214 140735924388288 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 1232 986 180 372 0 857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4928
[startup+0.700591 s]
/proc/loadavg: 1.92 2.00 1.99 3/550 3968
/proc/meminfo: memFree=25065488/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=6948 CPUtime=0.69 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 1518 0 0 0 68 1 0 0 25 0 1 0 821586770 7114752 1469 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 1737 1469 180 372 0 1362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6948
[startup+1.50044 s]
/proc/loadavg: 1.92 2.00 1.99 3/555 3980
/proc/meminfo: memFree=25047656/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=10580 CPUtime=1.49 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 2446 0 0 0 146 3 0 0 25 0 1 0 821586770 10833920 2397 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 2645 2397 180 372 0 2270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10580
[startup+3.10113 s]
/proc/loadavg: 1.92 2.00 1.99 3/555 3980
/proc/meminfo: memFree=25035512/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=13288 CPUtime=3.09 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 3100 0 0 0 304 5 0 0 25 0 1 0 821586770 13606912 3051 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 3322 3051 180 372 0 2947 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13288
[startup+6.30052 s]
/proc/loadavg: 1.93 2.00 1.99 3/555 3980
/proc/meminfo: memFree=25016816/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=16544 CPUtime=6.29 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 3910 0 0 0 619 10 0 0 25 0 1 0 821586770 16941056 3861 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 4136 3861 180 372 0 3761 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16544
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.99 3/555 3980
/proc/meminfo: memFree=24997856/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=22960 CPUtime=12.69 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 5473 0 0 0 1255 14 0 0 25 0 1 0 821586770 23511040 5424 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 5740 5424 180 372 0 5365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22960
[startup+25.5008 s]
/proc/loadavg: 1.95 2.00 1.99 3/555 3981
/proc/meminfo: memFree=24964272/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=31864 CPUtime=25.49 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 7631 0 0 0 2523 26 0 0 25 0 1 0 821586770 32628736 7582 33554432000 4194304 5714214 140735924388288 18446744073709551615 4320123 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 7966 7582 180 372 0 7591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31864
[startup+51.1009 s]
/proc/loadavg: 1.96 2.00 1.99 3/555 3981
/proc/meminfo: memFree=24926600/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=49384 CPUtime=51.09 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 11862 0 0 0 5063 46 0 0 25 0 1 0 821586770 50569216 11813 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 12346 11813 180 372 0 11971 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 49384
[startup+102.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/555 3983
/proc/meminfo: memFree=24865908/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=67952 CPUtime=102.3 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 16330 0 0 0 10156 74 0 0 25 0 1 0 821586770 69582848 16281 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 16988 16281 180 372 0 16613 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 67952
[startup+162.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 3984
/proc/meminfo: memFree=24822588/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=110568 CPUtime=162.3 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 26891 0 0 0 16130 100 0 0 25 0 1 0 821586770 113221632 26842 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 27642 26842 180 372 0 27267 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 110568
[startup+222.322 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 3986
/proc/meminfo: memFree=24768008/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=115684 CPUtime=222.33 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 28159 0 0 0 22117 116 0 0 25 0 1 0 821586770 118460416 28110 33554432000 4194304 5714214 140735924388288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 28921 28110 180 372 0 28546 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 115684
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/555 3988
/proc/meminfo: memFree=24757804/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=119204 CPUtime=282.3 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 28969 0 0 0 28106 124 0 0 25 0 1 0 821586770 122064896 28920 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 29801 28920 180 372 0 29426 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 119204
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 3989
/proc/meminfo: memFree=24752200/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=124564 CPUtime=342.3 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 30290 0 0 0 34091 139 0 0 25 0 1 0 821586770 127553536 30241 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 31141 30241 180 372 0 30766 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 124564
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3991
/proc/meminfo: memFree=24733216/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=129544 CPUtime=402.31 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 31433 0 0 0 40084 147 0 0 25 0 1 0 821586770 132653056 31368 33554432000 4194304 5714214 140735924388288 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 32386 31368 180 372 0 32011 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 129544
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3992
/proc/meminfo: memFree=24721872/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=133260 CPUtime=462.31 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 32333 0 0 0 46074 157 0 0 25 0 1 0 821586770 136458240 32268 33554432000 4194304 5714214 140735924388288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 33315 32268 180 372 0 32940 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 133260
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3994
/proc/meminfo: memFree=24682672/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=159636 CPUtime=522.31 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 38923 0 0 0 52049 182 0 0 25 0 1 0 821586770 163467264 38858 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 39909 38858 180 372 0 39534 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 159636
[startup+582.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/555 3996
/proc/meminfo: memFree=24666840/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=168696 CPUtime=582.32 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 41157 0 0 0 58020 212 0 0 25 0 1 0 821586770 172744704 41072 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 42174 41072 180 372 0 41799 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 168696
[startup+642.301 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4004
/proc/meminfo: memFree=24490572/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=251560 CPUtime=882.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 61656 0 0 0 87874 360 0 0 25 0 1 0 821586770 257597440 61395 33554432000 4194304 5714214 140735924388288 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 62890 61395 180 372 0 62515 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 251560
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4005
/proc/meminfo: memFree=24481096/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=262324 CPUtime=942.32 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 64305 0 0 0 93839 393 0 0 25 0 1 0 821586770 268619776 64044 33554432000 4194304 5714214 140735924388288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 65581 64044 180 372 0 65206 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 262324
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 4007
/proc/meminfo: memFree=24464060/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=280028 CPUtime=1002.33 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 68568 0 0 0 99813 420 0 0 25 0 1 0 821586770 286748672 68307 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 70007 68307 180 372 0 69632 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 280028
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 4008
/proc/meminfo: memFree=24452236/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=292008 CPUtime=1062.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 71593 0 0 0 105783 451 0 0 25 0 1 0 821586770 299016192 71332 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 73002 71332 180 372 0 72627 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 292008
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/555 4010
/proc/meminfo: memFree=24414736/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=325336 CPUtime=1122.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 79854 0 0 0 111772 462 0 0 25 0 1 0 821586770 333144064 79593 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 81334 79593 180 372 0 80959 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 325336
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/555 4012
/proc/meminfo: memFree=24410848/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=328252 CPUtime=1182.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 80552 0 0 0 117762 472 0 0 25 0 1 0 821586770 336130048 80291 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 82063 80291 180 372 0 81688 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 328252
[startup+1242.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/555 4013
/proc/meminfo: memFree=24389500/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=349632 CPUtime=1242.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 85878 0 0 0 123749 485 0 0 25 0 1 0 821586770 358023168 85617 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 87408 85617 180 372 0 87033 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 349632
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/555 4015
/proc/meminfo: memFree=24381532/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=356040 CPUtime=1302.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 87491 0 0 0 129736 498 0 0 25 0 1 0 821586770 364584960 87230 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 89010 87230 180 372 0 88635 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 356040
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 4016
/proc/meminfo: memFree=24383372/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=356376 CPUtime=1362.34 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 87634 0 0 0 135715 519 0 0 25 0 1 0 821586770 364929024 87373 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 89094 87373 180 372 0 88719 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 356376
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4018
/proc/meminfo: memFree=24382332/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=356520 CPUtime=1422.36 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 87681 0 0 0 141688 548 0 0 25 0 1 0 821586770 365076480 87420 33554432000 4194304 5714214 140735924388288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 89130 87420 180 372 0 88755 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 356520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4020
/proc/meminfo: memFree=24368508/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=360640 CPUtime=1482.35 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 88660 0 0 0 147664 571 0 0 25 0 1 0 821586770 369295360 88399 33554432000 4194304 5714214 140735924388288 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 90160 88399 180 372 0 89785 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 360640
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4021
/proc/meminfo: memFree=24321592/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=396580 CPUtime=1542.37 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 97571 0 0 0 153643 594 0 0 25 0 1 0 821586770 406097920 97310 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 99145 97310 180 372 0 98770 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 396580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 4023
/proc/meminfo: memFree=24316728/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=400240 CPUtime=1602.35 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 98496 0 0 0 159620 615 0 0 25 0 1 0 821586770 409845760 98235 33554432000 4194304 5714214 140735924388288 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 100060 98235 180 372 0 99685 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 400240
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/555 4024
/proc/meminfo: memFree=24298696/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=400816 CPUtime=1662.36 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 98613 0 0 0 165600 636 0 0 25 0 1 0 821586770 410435584 98352 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 100204 98352 180 372 0 99829 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 400816
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/555 4026
/proc/meminfo: memFree=24294080/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=405592 CPUtime=1722.36 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 99737 0 0 0 171575 661 0 0 25 0 1 0 821586770 415326208 99476 33554432000 4194304 5714214 140735924388288 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 101398 99476 180 372 0 101023 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 405592
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 4028
/proc/meminfo: memFree=24264164/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=412012 CPUtime=1782.36 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 101319 0 0 0 177551 685 0 0 25 0 1 0 821586770 421900288 101058 33554432000 4194304 5714214 140735924388288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 103003 101058 180 372 0 102628 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 412012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 2.01 3/555 4028
/proc/meminfo: memFree=24260176/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=414388 CPUtime=1800.07 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 101939 0 0 0 179315 692 0 0 25 0 1 0 821586770 424333312 101678 33554432000 4194304 5714214 140735924388288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 103597 101678 180 372 0 103222 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 414388
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.06 2.05 2.01 3/555 4028
/proc/meminfo: memFree=24260176/32950928 swapFree=67056580/67111528
[pid=3968] ppid=3965 vsize=414388 CPUtime=1800.07 cores=1,3,5,7
/proc/3968/stat : 3968 (wbo1.6) R 3965 3968 3492 0 -1 4202496 101939 0 0 0 179315 692 0 0 25 0 1 0 821586770 424333312 101678 33554432000 4194304 5714214 140735924388288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3968/statm: 103597 101678 180 372 0 103222 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 414388
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.11
CPU user time (s): 1793.16
CPU system time (s): 6.94594
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 414388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.16
system time used= 6.94594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3721
runsolver used 9.12961 second user time and 23.6264 second system time
The end