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-3461334-1307072673/watcher-3461334-1307072673 -o /tmp/evaluation-result-3461334-1307072673/solver-3461334-1307072673 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461334-1307072673.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.01 1.99 2/473 23289
/proc/meminfo: memFree=19967800/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=3572 CPUtime=0.01 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 660 0 0 0 1 0 0 0 25 0 1 0 818866969 3657728 613 33554432000 4194304 5714214 140734379016400 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 893 613 205 372 0 465 0
[startup+0.021285 s]
/proc/loadavg: 2.00 2.01 1.99 2/473 23289
/proc/meminfo: memFree=19967800/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=5192 CPUtime=0.01 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 1133 0 0 0 1 0 0 0 25 0 1 0 818866969 5316608 1033 33554432000 4194304 5714214 140734379016400 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 1298 1033 176 372 0 923 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5192
[startup+0.100275 s]
/proc/loadavg: 2.00 2.01 1.99 2/473 23289
/proc/meminfo: memFree=19967800/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=6292 CPUtime=0.09 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 1416 0 0 0 9 0 0 0 25 0 1 0 818866969 6443008 1295 33554432000 4194304 5714214 140734379016400 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 1573 1295 180 372 0 1198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6292
[startup+0.30024 s]
/proc/loadavg: 2.00 2.01 1.99 2/473 23289
/proc/meminfo: memFree=19967800/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=6804 CPUtime=0.29 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 1551 0 0 0 29 0 0 0 25 0 1 0 818866969 6967296 1430 33554432000 4194304 5714214 140734379016400 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 1701 1430 180 372 0 1326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6804
[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 1.99 2/473 23289
/proc/meminfo: memFree=19967800/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=8136 CPUtime=0.69 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 1914 0 0 0 68 1 0 0 25 0 1 0 818866969 8331264 1793 33554432000 4194304 5714214 140734379016400 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 2034 1793 180 372 0 1659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8136
[startup+1.50109 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23290
/proc/meminfo: memFree=19959360/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=12248 CPUtime=1.49 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 2904 0 0 0 147 2 0 0 25 0 1 0 818866969 12541952 2783 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 3062 2783 180 372 0 2687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12248
[startup+3.10081 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23290
/proc/meminfo: memFree=19955268/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=14844 CPUtime=3.09 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 3585 0 0 0 305 4 0 0 25 0 1 0 818866969 15200256 3438 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 3711 3438 180 372 0 3336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14844
[startup+6.30013 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23290
/proc/meminfo: memFree=19950112/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=19208 CPUtime=6.29 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 4688 0 0 0 621 8 0 0 25 0 1 0 818866969 19668992 4541 33554432000 4194304 5714214 140734379016400 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 4802 4541 180 372 0 4427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19208
[startup+12.701 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23290
/proc/meminfo: memFree=19944308/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=22804 CPUtime=12.69 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 5576 0 0 0 1253 16 0 0 25 0 1 0 818866969 23351296 5429 33554432000 4194304 5714214 140734379016400 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 5701 5429 180 372 0 5326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22804
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23290
/proc/meminfo: memFree=19926328/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=41696 CPUtime=25.49 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 10242 0 0 0 2519 30 0 0 25 0 1 0 818866969 42696704 10095 33554432000 4194304 5714214 140734379016400 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 10424 10095 180 372 0 10049 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41696
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23291
/proc/meminfo: memFree=19897928/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=67752 CPUtime=51.09 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 16650 0 0 0 5067 42 0 0 25 0 1 0 818866969 69378048 16503 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 16938 16503 180 372 0 16563 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67752
[startup+102.317 s]
/proc/loadavg: 2.12 2.04 2.00 3/474 23321
/proc/meminfo: memFree=20304484/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=109752 CPUtime=102.31 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 27023 0 0 0 10163 68 0 0 25 0 1 0 818866969 112386048 26876 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 27438 26876 180 372 0 27063 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 109752
[startup+162.301 s]
/proc/loadavg: 2.26 2.07 2.01 3/474 23322
/proc/meminfo: memFree=20239296/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=143708 CPUtime=162.3 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 35395 0 0 0 16136 94 0 0 25 0 1 0 818866969 147156992 35248 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 35927 35248 180 372 0 35552 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 143708
[startup+222.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/474 23324
/proc/meminfo: memFree=20183196/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=179948 CPUtime=222.29 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 44186 0 0 0 22111 118 0 0 25 0 1 0 818866969 184266752 44039 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 44987 44039 180 372 0 44612 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 179948
[startup+282.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/474 23325
/proc/meminfo: memFree=20140724/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=218120 CPUtime=282.3 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 53658 0 0 0 28066 164 0 0 25 0 1 0 818866969 223354880 53511 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 54530 53511 180 372 0 54155 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 218120
[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 23327
/proc/meminfo: memFree=20083764/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=262104 CPUtime=342.3 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 64533 0 0 0 34027 203 0 0 25 0 1 0 818866969 268394496 64386 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 65526 64386 180 372 0 65151 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 262104
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 23328
/proc/meminfo: memFree=20023828/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=309400 CPUtime=402.3 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 76382 0 0 0 39994 236 0 0 25 0 1 0 818866969 316825600 76161 33554432000 4194304 5714214 140734379016400 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 77350 76161 180 372 0 76975 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 309400
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 23330
/proc/meminfo: memFree=20023052/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=309400 CPUtime=462.31 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 76423 0 0 0 45968 263 0 0 25 0 1 0 818866969 316825600 76202 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 77350 76202 180 372 0 76975 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 309400
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23332
/proc/meminfo: memFree=20022892/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=309400 CPUtime=522.3 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 76530 0 0 0 51941 289 0 0 25 0 1 0 818866969 316825600 76309 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 77350 76309 180 372 0 76975 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 309400
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23333
/proc/meminfo: memFree=20021480/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=309400 CPUtime=582.3 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 76615 0 0 0 57907 323 0 0 25 0 1 0 818866969 316825600 76394 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 77350 76394 180 372 0 76975 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 309400
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/474 23340
/proc/meminfo: memFree=20002516/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=309400 CPUtime=822.31 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 77280 0 0 0 81788 443 0 0 25 0 1 0 818866969 316825600 77059 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 77350 77059 180 372 0 76975 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 309400
[startup+882.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/474 23341
/proc/meminfo: memFree=19998872/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=318112 CPUtime=882.31 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 79463 0 0 0 87759 472 0 0 25 0 1 0 818866969 325746688 79242 33554432000 4194304 5714214 140734379016400 18446744073709551615 4200621 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 79528 79242 180 372 0 79153 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 318112
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 23343
/proc/meminfo: memFree=19964584/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=347748 CPUtime=942.31 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 86777 0 0 0 93732 499 0 0 25 0 1 0 818866969 356093952 86556 33554432000 4194304 5714214 140734379016400 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 86937 86556 180 372 0 86562 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 347748
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23354
/proc/meminfo: memFree=19940280/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=376740 CPUtime=1002.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 93879 0 0 0 99706 526 0 0 25 0 1 0 818866969 385781760 93658 33554432000 4194304 5714214 140734379016400 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 94185 93658 180 372 0 93810 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 376740
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23355
/proc/meminfo: memFree=19862100/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=408676 CPUtime=1062.31 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 101800 0 0 0 105682 549 0 0 25 0 1 0 818866969 418484224 101579 33554432000 4194304 5714214 140734379016400 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 102169 101579 180 372 0 101794 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 408676
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23357
/proc/meminfo: memFree=19797464/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=433128 CPUtime=1122.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 107924 0 0 0 111659 573 0 0 25 0 1 0 818866969 443523072 107703 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23289/statm: 108282 107703 180 372 0 107907 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 433128
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/474 23361
/proc/meminfo: memFree=19775744/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=453724 CPUtime=1182.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 113044 0 0 0 117640 592 0 0 25 0 1 0 818866969 464613376 112823 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 113431 112823 180 372 0 113056 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 453724
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/474 23363
/proc/meminfo: memFree=19753396/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=475908 CPUtime=1242.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 118592 0 0 0 123619 613 0 0 25 0 1 0 818866969 487329792 118371 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 118977 118371 180 372 0 118602 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 475908
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/474 23365
/proc/meminfo: memFree=19725320/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=504008 CPUtime=1302.33 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 125525 0 0 0 129599 634 0 0 25 0 1 0 818866969 516104192 125304 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 126002 125304 180 372 0 125627 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 504008
[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/474 23366
/proc/meminfo: memFree=19692032/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=538376 CPUtime=1362.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 134070 0 0 0 135568 664 0 0 25 0 1 0 818866969 551297024 133849 33554432000 4194304 5714214 140734379016400 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 134594 133849 180 372 0 134219 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 538376
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.01 3/474 23368
/proc/meminfo: memFree=19654168/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=565320 CPUtime=1422.34 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 140764 0 0 0 141554 680 0 0 25 0 1 0 818866969 578887680 140543 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 141330 140543 180 372 0 140955 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 565320
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 23369
/proc/meminfo: memFree=19592732/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=582596 CPUtime=1482.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 144983 0 0 0 147534 698 0 0 25 0 1 0 818866969 596578304 144762 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 145649 144762 180 372 0 145274 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 582596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 23371
/proc/meminfo: memFree=19550052/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=605456 CPUtime=1542.32 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 150615 0 0 0 153518 714 0 0 25 0 1 0 818866969 619986944 150394 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 151364 150394 180 372 0 150989 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 605456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23372
/proc/meminfo: memFree=19501780/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=624748 CPUtime=1602.33 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 155401 0 0 0 159500 733 0 0 25 0 1 0 818866969 639741952 155180 33554432000 4194304 5714214 140734379016400 18446744073709551615 4968990 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 156187 155180 180 372 0 155812 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 624748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23374
/proc/meminfo: memFree=19454624/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=638932 CPUtime=1662.33 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 158928 0 0 0 165478 755 0 0 25 0 1 0 818866969 654266368 158707 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 159733 158707 180 372 0 159358 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 638932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23376
/proc/meminfo: memFree=19400044/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=663992 CPUtime=1722.33 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 165141 0 0 0 171457 776 0 0 25 0 1 0 818866969 679927808 164920 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319840 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 165998 164920 180 372 0 165623 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 663992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 23377
/proc/meminfo: memFree=19372092/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=683688 CPUtime=1782.33 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 170049 0 0 0 177431 802 0 0 25 0 1 0 818866969 700096512 169828 33554432000 4194304 5714214 140734379016400 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 170922 169828 180 372 0 170547 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 683688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 23378
/proc/meminfo: memFree=19365016/32950928 swapFree=61858088/67111528
[pid=23289] ppid=23287 vsize=688660 CPUtime=1800.04 cores=0,2,4,6
/proc/23289/stat : 23289 (wbo1.6) R 23287 23289 21173 0 -1 4202496 171252 0 0 0 179198 806 0 0 25 0 1 0 818866969 705187840 171031 33554432000 4194304 5714214 140734379016400 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23289/statm: 172165 171031 180 372 0 171790 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 688660
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.09
CPU user time (s): 1791.99
CPU system time (s): 8.10277
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 688660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 8.10277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171252
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= 9
involuntary context switches= 2101
runsolver used 8.64968 second user time and 19.1931 second system time
The end