runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742529-1338772136/watcher-3742529-1338772136 -o /tmp/evaluation-result-3742529-1338772136/solver-3742529-1338772136 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742529-1338772136.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) D 13654 13656 11604 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 343339527 2723840 47 33554432000 134512640 135840783 4292492080 4292490116 10466244 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 665 47 37 325 0 32 0
[startup+0.0374119 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=7352 CPUtime=0.02 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 964 0 0 0 2 0 0 0 20 0 1 0 343339527 7528448 900 33554432000 134512640 135840783 4292492080 4292490896 1586471 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 1838 900 409 325 0 528 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7352
[startup+0.100148 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=0.09 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2079 0 0 0 9 0 0 0 20 0 1 0 343339527 10481664 1769 33554432000 134512640 135840783 4292492080 4292312684 1115184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1769 344 325 0 1495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10236
[startup+0.300117 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=0.28 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2083 0 0 0 28 0 0 0 20 0 1 0 343339527 10481664 1773 33554432000 134512640 135840783 4292492080 4292312684 1115184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1773 344 325 0 1495 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10236
[startup+0.700103 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13656
/proc/meminfo: memFree=27116272/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=0.68 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2085 0 0 0 68 0 0 0 20 0 1 0 343339527 10481664 1775 33554432000 134512640 135840783 4292492080 4292312684 1115184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1775 344 325 0 1495 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10236
[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27108940/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=1.48 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2085 0 0 0 148 0 0 0 20 0 1 0 343339527 10481664 1775 33554432000 134512640 135840783 4292492080 4292312320 1584448 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1775 344 325 0 1495 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10236
[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27105096/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=10236 CPUtime=3.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2086 0 0 0 308 0 0 0 20 0 1 0 343339527 10481664 1776 33554432000 134512640 135840783 4292492080 4292312260 1573116 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2559 1776 344 325 0 1495 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10236
[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27100032/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=11372 CPUtime=6.28 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 2505 0 0 0 627 1 0 0 20 0 1 0 343339527 11644928 2077 33554432000 134512640 135840783 4292492080 4292490000 134574642 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 2843 2077 349 325 0 1779 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11372
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27069824/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=25020 CPUtime=12.68 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 5925 0 0 0 1267 1 0 0 20 0 1 0 343339527 25620480 5497 33554432000 134512640 135840783 4292492080 4292491376 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 6255 5497 349 325 0 5191 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25020
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=27014388/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=51652 CPUtime=25.48 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 12578 0 0 0 2546 2 0 0 20 0 1 0 343339527 52891648 12150 33554432000 134512640 135840783 4292492080 4292491216 1584030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 12913 12150 349 325 0 11849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51652
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=26898028/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=109296 CPUtime=51.07 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 26978 0 0 0 5102 5 0 0 20 0 1 0 343339527 111919104 26550 33554432000 134512640 135840783 4292492080 4292491440 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 27324 26550 349 325 0 26260 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109296
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13661
/proc/meminfo: memFree=26627392/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=254728 CPUtime=102.27 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 63350 0 0 0 10213 14 0 0 20 0 1 0 343339527 260841472 62922 33554432000 134512640 135840783 4292492080 4292491440 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 63682 62922 349 325 0 62618 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 254728
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=26364168/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=393652 CPUtime=162.26 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 98087 0 0 0 16204 22 0 0 20 0 1 0 343339527 403099648 97659 33554432000 134512640 135840783 4292492080 4292491216 1584030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 98413 97659 349 325 0 97349 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 393652
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=26134552/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=504680 CPUtime=222.26 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 125830 0 0 0 22198 28 0 0 20 0 1 0 343339527 516792320 125402 33554432000 134512640 135840783 4292492080 4292491440 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 126170 125402 349 325 0 125106 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 504680
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25955772/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=597204 CPUtime=282.24 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 148983 0 0 0 28190 34 0 0 20 0 1 0 343339527 611536896 148555 33554432000 134512640 135840783 4292492080 4292491440 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 149301 148555 349 325 0 148237 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 597204
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25764100/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=696636 CPUtime=342.23 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 173845 0 0 0 34182 41 0 0 20 0 1 0 343339527 713355264 173417 33554432000 134512640 135840783 4292492080 4292491440 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 174159 173417 349 325 0 173095 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 696636
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25589908/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=764356 CPUtime=402.22 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 190751 0 0 0 40177 45 0 0 20 0 1 0 343339527 782700544 190323 33554432000 134512640 135840783 4292492080 4292491152 1584030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 191089 190323 349 325 0 190025 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 764356
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13662
/proc/meminfo: memFree=25436300/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=838900 CPUtime=462.22 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 209408 0 0 0 46172 50 0 0 20 0 1 0 343339527 859033600 208980 33554432000 134512640 135840783 4292492080 4292491392 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 209725 208980 349 325 0 208661 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 838900
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 13662
/proc/meminfo: memFree=25286412/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=910928 CPUtime=522.21 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 227409 0 0 0 52166 55 0 0 20 0 1 0 343339527 932790272 226981 33554432000 134512640 135840783 4292492080 4292491440 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 227732 226981 349 325 0 226668 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 910928
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13864
/proc/meminfo: memFree=25119412/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=983160 CPUtime=582.19 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 245476 0 0 0 58159 60 0 0 20 0 1 0 343339527 1006755840 245048 33554432000 134512640 135840783 4292492080 4292491440 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 245790 245048 349 325 0 244726 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 983160
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24378708/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1306232 CPUtime=882.16 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 326219 0 0 0 88133 83 0 0 20 0 1 0 343339527 1337581568 325791 33554432000 134512640 135840783 4292492080 4292491440 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 326558 325791 349 325 0 325494 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1306232
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24235640/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1366640 CPUtime=942.14 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 341327 0 0 0 94128 86 0 0 20 0 1 0 343339527 1399439360 340899 33554432000 134512640 135840783 4292492080 4292491392 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 341660 340899 349 325 0 340596 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1366640
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13869
/proc/meminfo: memFree=24120348/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1419608 CPUtime=1002.13 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 354578 0 0 0 100124 89 0 0 20 0 1 0 343339527 1453678592 354150 33554432000 134512640 135840783 4292492080 4292491432 15214800 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 354902 354150 349 325 0 353838 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1419608
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13870
/proc/meminfo: memFree=23990672/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1489264 CPUtime=1062.12 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 371977 0 0 0 106119 93 0 0 20 0 1 0 343339527 1525006336 371549 33554432000 134512640 135840783 4292492080 4292491216 1583917 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 372316 371549 349 325 0 371252 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1489264
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 13870
/proc/meminfo: memFree=23850336/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1550496 CPUtime=1122.11 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 387293 0 0 0 112114 97 0 0 20 0 1 0 343339527 1587707904 386865 33554432000 134512640 135840783 4292492080 4292491440 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 387624 386865 349 325 0 386560 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1550496
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 13870
/proc/meminfo: memFree=23738392/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1604336 CPUtime=1182.11 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 400745 0 0 0 118110 101 0 0 20 0 1 0 343339527 1642840064 400317 33554432000 134512640 135840783 4292492080 4292491440 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 401084 400317 349 325 0 400020 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1604336
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13870
/proc/meminfo: memFree=23606112/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1657168 CPUtime=1242.09 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 413960 0 0 0 124105 104 0 0 20 0 1 0 343339527 1696940032 413532 33554432000 134512640 135840783 4292492080 4292491432 15214790 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 414292 413532 349 325 0 413228 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1657168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13873
/proc/meminfo: memFree=23499244/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1712944 CPUtime=1302.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 427917 0 0 0 130101 107 0 0 20 0 1 0 343339527 1754054656 427489 33554432000 134512640 135840783 4292492080 4292491432 15214764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 428236 427489 349 325 0 427172 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1712944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13874
/proc/meminfo: memFree=23382224/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1770964 CPUtime=1362.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 442411 0 0 0 136097 111 0 0 20 0 1 0 343339527 1813467136 441983 33554432000 134512640 135840783 4292492080 4292491440 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 442741 441983 349 325 0 441677 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1770964
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13874
/proc/meminfo: memFree=23257012/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1818108 CPUtime=1422.08 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 454188 0 0 0 142094 114 0 0 20 0 1 0 343339527 1861742592 453760 33554432000 134512640 135840783 4292492080 4292491440 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 454527 453760 349 325 0 453463 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1818108
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13875
/proc/meminfo: memFree=23171720/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1855020 CPUtime=1482.06 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 463446 0 0 0 148089 117 0 0 20 0 1 0 343339527 1899540480 463018 33554432000 134512640 135840783 4292492080 4292491440 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 463755 463018 349 325 0 462691 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1855020
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13875
/proc/meminfo: memFree=23081924/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1884668 CPUtime=1542.06 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 470828 0 0 0 154087 119 0 0 20 0 1 0 343339527 1929900032 470400 33554432000 134512640 135840783 4292492080 4292491440 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 471167 470400 349 325 0 470103 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1884668
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13875
/proc/meminfo: memFree=22944264/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1957556 CPUtime=1602.01 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 489089 0 0 0 160078 123 0 0 20 0 1 0 343339527 2004537344 488646 33554432000 134512640 135840783 4292492080 4292491440 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 489389 488646 349 325 0 488325 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1957556
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13876
/proc/meminfo: memFree=22866548/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=1983880 CPUtime=1661.96 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 495738 0 0 0 166071 125 0 0 20 0 1 0 343339527 2031493120 495252 33554432000 134512640 135840783 4292492080 4292491440 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 495970 495252 349 325 0 494906 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1983880
[startup+1722.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 13915
/proc/meminfo: memFree=25295924/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2013556 CPUtime=1721.94 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 503162 0 0 0 172067 127 0 0 20 0 1 0 343339527 2061881344 502648 33554432000 134512640 135840783 4292492080 4292491440 134551104 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 503389 502648 349 325 0 502325 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 2013556
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13991
/proc/meminfo: memFree=25286516/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2041920 CPUtime=1781.9 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 510291 0 0 0 178061 129 0 0 20 0 1 0 343339527 2090926080 509741 33554432000 134512640 135840783 4292492080 4292491392 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 510480 509741 349 325 0 509416 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2041920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13991
/proc/meminfo: memFree=25231444/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2061156 CPUtime=1800 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 515115 0 0 0 179870 130 0 0 20 0 1 0 343339527 2110623744 514558 33554432000 134512640 135840783 4292492080 4292491440 134550820 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 515289 514558 349 325 0 514225 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2061156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 13991
/proc/meminfo: memFree=25231444/32873648 swapFree=7112/7112
[pid=13656] ppid=13654 vsize=2061156 CPUtime=1800 cores=1,3,5,7
/proc/13656/stat : 13656 (bsolo3.0.17) R 13654 13656 11604 0 -1 4202496 515115 0 0 0 179870 130 0 0 20 0 1 0 343339527 2110623744 514558 33554432000 134512640 135840783 4292492080 4292491440 134550820 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13656/statm: 515289 514558 349 325 0 514225 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2061156
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1798.71
CPU system time (s): 1.40379
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 2061156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.40379
maximum resident set size= 2058232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515118
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= 171
involuntary context switches= 1855
runsolver used 3.42148 second user time and 9.36358 second system time
The end