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-3460765-1307106827/watcher-3460765-1307106827 -o /tmp/evaluation-result-3460765-1307106827/solver-3460765-1307106827 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460765-1307106827.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.95 2.01 2.00 3/535 10288
/proc/meminfo: memFree=25258304/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1972 CPUtime=0 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 298 0 0 0 0 0 0 0 23 0 1 0 803099000 2019328 250 33554432000 4194304 5714214 140737363697376 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 493 250 180 372 0 118 0
[startup+0.119382 s]
/proc/loadavg: 1.95 2.01 2.00 3/535 10288
/proc/meminfo: memFree=25258304/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=3212 CPUtime=0.11 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 593 0 0 0 10 1 0 0 24 0 1 0 803099000 3289088 545 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 803 546 180 372 0 428 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 3212
[startup+0.200368 s]
/proc/loadavg: 1.95 2.01 2.00 3/535 10288
/proc/meminfo: memFree=25258304/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=3872 CPUtime=0.19 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 765 0 0 0 18 1 0 0 24 0 1 0 803099000 3964928 717 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 968 717 180 372 0 593 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3872
[startup+0.300363 s]
/proc/loadavg: 1.95 2.01 2.00 3/535 10288
/proc/meminfo: memFree=25258304/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=4452 CPUtime=0.29 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 904 0 0 0 27 2 0 0 25 0 1 0 803099000 4558848 856 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 1113 856 180 372 0 738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4452
[startup+0.700279 s]
/proc/loadavg: 1.95 2.01 2.00 3/535 10288
/proc/meminfo: memFree=25258304/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=5832 CPUtime=0.69 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 1247 0 0 0 65 4 0 0 25 0 1 0 803099000 5971968 1199 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 1458 1200 180 372 0 1083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5832
[startup+1.50014 s]
/proc/loadavg: 1.95 2.01 2.00 3/536 10289
/proc/meminfo: memFree=25246388/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=7612 CPUtime=1.49 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 1695 0 0 0 143 6 0 0 25 0 1 0 803099000 7794688 1647 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 1903 1647 180 372 0 1528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7612
[startup+3.10085 s]
/proc/loadavg: 1.95 2.01 2.00 3/536 10289
/proc/meminfo: memFree=25240560/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=11360 CPUtime=3.09 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 2589 0 0 0 299 10 0 0 25 0 1 0 803099000 11632640 2541 33554432000 4194304 5714214 140737363697376 18446744073709551615 4320153 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 2840 2541 180 372 0 2465 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11360
[startup+6.30028 s]
/proc/loadavg: 1.96 2.01 2.00 3/536 10289
/proc/meminfo: memFree=25229084/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=17192 CPUtime=6.29 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 4031 0 0 0 609 20 0 0 25 0 1 0 803099000 17604608 3983 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 4298 3983 180 372 0 3923 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17192
[startup+12.7001 s]
/proc/loadavg: 1.96 2.01 2.00 3/536 10289
/proc/meminfo: memFree=25209684/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=27592 CPUtime=12.69 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 6619 0 0 0 1234 35 0 0 25 0 1 0 803099000 28254208 6571 33554432000 4194304 5714214 140737363697376 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 6898 6571 180 372 0 6523 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27592
[startup+25.5008 s]
/proc/loadavg: 1.97 2.01 2.00 3/536 10289
/proc/meminfo: memFree=25178324/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=45660 CPUtime=25.49 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 11085 0 0 0 2485 64 0 0 25 0 1 0 803099000 46755840 11037 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 11415 11037 180 372 0 11040 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45660
[startup+51.1003 s]
/proc/loadavg: 1.98 2.01 2.00 3/536 10291
/proc/meminfo: memFree=25122736/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=79392 CPUtime=51.09 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 19511 0 0 0 4996 113 0 0 25 0 1 0 803099000 81297408 19463 33554432000 4194304 5714214 140737363697376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 19848 19463 180 372 0 19473 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79392
[startup+102.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/536 10292
/proc/meminfo: memFree=25022624/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=137572 CPUtime=102.3 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 34031 0 0 0 10051 179 0 0 25 0 1 0 803099000 140873728 33983 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 34393 33983 180 372 0 34018 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 137572
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/536 10294
/proc/meminfo: memFree=24924860/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=197016 CPUtime=162.29 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 48820 0 0 0 15983 246 0 0 25 0 1 0 803099000 201744384 48772 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 49254 48772 180 372 0 48879 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 197016
[startup+222.32 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 10331
/proc/meminfo: memFree=24945676/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=255548 CPUtime=222.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 63389 0 0 0 21919 313 0 0 25 0 1 0 803099000 261681152 63341 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 63887 63341 180 372 0 63512 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 255548
[startup+282.301 s]
/proc/loadavg: 2.19 2.09 2.02 3/536 10332
/proc/meminfo: memFree=24827856/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=310756 CPUtime=282.3 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 77159 0 0 0 27853 377 0 0 25 0 1 0 803099000 318214144 77111 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 77689 77111 180 372 0 77314 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 310756
[startup+342.301 s]
/proc/loadavg: 2.11 2.09 2.02 3/536 10335
/proc/meminfo: memFree=24712224/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=366236 CPUtime=342.3 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 91020 0 0 0 33789 441 0 0 25 0 1 0 803099000 375025664 90972 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 91559 90972 180 372 0 91184 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 366236
[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/536 10336
/proc/meminfo: memFree=24608512/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=419792 CPUtime=402.31 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 104361 0 0 0 39727 504 0 0 25 0 1 0 803099000 429867008 104313 33554432000 4194304 5714214 140737363697376 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 104948 104313 180 372 0 104573 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 419792
[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 10339
/proc/meminfo: memFree=24510616/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=467240 CPUtime=462.3 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 116212 0 0 0 45676 554 0 0 25 0 1 0 803099000 478453760 116164 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 116810 116164 180 372 0 116435 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 467240
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 10341
/proc/meminfo: memFree=24411484/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=515620 CPUtime=522.3 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 128282 0 0 0 51622 608 0 0 25 0 1 0 803099000 527994880 128234 33554432000 4194304 5714214 140737363697376 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 128905 128234 180 372 0 128530 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 515620
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10342
/proc/meminfo: memFree=24316068/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=563812 CPUtime=582.3 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 140325 0 0 0 57568 662 0 0 25 0 1 0 803099000 577343488 140277 33554432000 4194304 5714214 140737363697376 18446744073709551615 4319251 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 140953 140277 180 372 0 140578 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 563812
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.22 2.10 2.03 3/536 10357
/proc/meminfo: memFree=23851812/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=797252 CPUtime=882.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 198640 0 0 0 87305 928 0 0 25 0 1 0 803099000 816386048 198592 33554432000 4194304 5714214 140737363697376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 199313 198592 180 372 0 198938 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 797252
[startup+942.301 s]
/proc/loadavg: 2.08 2.08 2.02 3/536 10359
/proc/meminfo: memFree=23762736/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=841900 CPUtime=942.31 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 209803 0 0 0 93249 982 0 0 25 0 1 0 803099000 862105600 209755 33554432000 4194304 5714214 140737363697376 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 210475 209755 180 372 0 210100 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 841900
[startup+1002.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/536 10360
/proc/meminfo: memFree=23679364/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=883300 CPUtime=1002.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 220061 0 0 0 99202 1030 0 0 25 0 1 0 803099000 904499200 220013 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 220825 220013 180 372 0 220450 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 883300
[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 10362
/proc/meminfo: memFree=23595504/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=924124 CPUtime=1062.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 230257 0 0 0 105151 1081 0 0 25 0 1 0 803099000 946302976 230209 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 231031 230209 180 372 0 230656 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 924124
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 10364
/proc/meminfo: memFree=23510016/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=967024 CPUtime=1122.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 241013 0 0 0 111098 1134 0 0 25 0 1 0 803099000 990232576 240965 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 241756 240965 180 372 0 241381 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 967024
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10365
/proc/meminfo: memFree=23430004/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1006000 CPUtime=1182.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 250750 0 0 0 117052 1180 0 0 25 0 1 0 803099000 1030144000 250702 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 251500 250702 180 372 0 251125 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1006000
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10367
/proc/meminfo: memFree=23343280/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1054144 CPUtime=1242.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 262721 0 0 0 122994 1239 0 0 25 0 1 0 803099000 1079443456 262673 33554432000 4194304 5714214 140737363697376 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 263536 262673 180 372 0 263161 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1054144
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10368
/proc/meminfo: memFree=23257040/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1099472 CPUtime=1302.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 274032 0 0 0 128940 1292 0 0 25 0 1 0 803099000 1125859328 273984 33554432000 4194304 5714214 140737363697376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 274868 273984 180 372 0 274493 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1099472
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/536 10370
/proc/meminfo: memFree=23171300/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1144908 CPUtime=1362.32 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 285350 0 0 0 134890 1342 0 0 25 0 1 0 803099000 1172385792 285302 33554432000 4194304 5714214 140737363697376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 286227 285302 180 372 0 285852 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1144908
[startup+1422.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 10373
/proc/meminfo: memFree=23083448/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1189092 CPUtime=1422.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 296307 0 0 0 140839 1394 0 0 25 0 1 0 803099000 1217630208 296259 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 297273 296259 180 372 0 296898 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1189092
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 10374
/proc/meminfo: memFree=23002420/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1231772 CPUtime=1482.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 306945 0 0 0 146792 1441 0 0 25 0 1 0 803099000 1261334528 306897 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 307943 306897 180 372 0 307568 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1231772
[startup+1542.32 s]
/proc/loadavg: 2.02 2.05 2.00 3/536 10377
/proc/meminfo: memFree=22925360/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1270488 CPUtime=1542.35 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 316609 0 0 0 152745 1490 0 0 25 0 1 0 803099000 1300979712 316561 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 317622 316561 180 372 0 317247 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1270488
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10378
/proc/meminfo: memFree=22847552/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1310624 CPUtime=1602.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 326653 0 0 0 158696 1537 0 0 25 0 1 0 803099000 1342078976 326605 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 327656 326605 180 372 0 327281 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1310624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10380
/proc/meminfo: memFree=22768160/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1351148 CPUtime=1662.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 336788 0 0 0 164651 1582 0 0 25 0 1 0 803099000 1383575552 336740 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 337787 336740 180 372 0 337412 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1351148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10382
/proc/meminfo: memFree=22693592/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1389396 CPUtime=1722.33 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 346303 0 0 0 170605 1628 0 0 25 0 1 0 803099000 1422741504 346255 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 347349 346255 180 372 0 346974 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1389396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10383
/proc/meminfo: memFree=22614808/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1427412 CPUtime=1782.34 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 355813 0 0 0 176557 1677 0 0 25 0 1 0 803099000 1461669888 355765 33554432000 4194304 5714214 140737363697376 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 356853 355765 180 372 0 356478 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1427412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10384
/proc/meminfo: memFree=22594084/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1438368 CPUtime=1800.05 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 358603 0 0 0 178313 1692 0 0 25 0 1 0 803099000 1472888832 358555 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 359592 358555 180 372 0 359217 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1438368
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.00 2.01 2.00 3/536 10384
/proc/meminfo: memFree=22594084/32951124 swapFree=46970528/67111528
[pid=10288] ppid=10285 vsize=1438368 CPUtime=1800.05 cores=1,3,5,7
/proc/10288/stat : 10288 (wbo1.6) R 10285 10288 9437 0 -1 4202496 358603 0 0 0 178313 1692 0 0 25 0 1 0 803099000 1472888832 358555 33554432000 4194304 5714214 140737363697376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10288/statm: 359592 358555 180 372 0 359217 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1438368
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.12
CPU user time (s): 1783.15
CPU system time (s): 16.9754
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1438368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.15
system time used= 16.9754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358603
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= 7
involuntary context switches= 1912
runsolver used 9.38457 second user time and 21.6617 second system time
The end