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-3733077-1338692260/watcher-3733077-1338692260 -o /tmp/evaluation-result-3733077-1338692260/solver-3733077-1338692260 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733077-1338692260.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: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=1532 CPUtime=0 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4194304 74 0 0 0 0 0 0 0 20 0 1 0 335351692 1568768 28 33554432000 134512640 135840783 4291654048 4291652140 5489604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 383 28 22 325 0 25 0
[startup+0.098101 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=10656 CPUtime=0.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 2230 0 0 0 8 0 0 0 20 0 1 0 335351692 10911744 1923 33554432000 134512640 135840783 4291654048 4291644044 9241648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 2664 1923 341 325 0 1600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10656
[startup+0.100235 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=10656 CPUtime=0.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 2230 0 0 0 8 0 0 0 20 0 1 0 335351692 10911744 1923 33554432000 134512640 135840783 4291654048 4291644044 9241648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 2664 1923 341 325 0 1600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10656
[startup+0.300194 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=11976 CPUtime=0.29 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 2569 0 0 0 28 1 0 0 20 0 1 0 335351692 12263424 2262 33554432000 134512640 135840783 4291654048 4291643868 9241648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 2994 2262 343 325 0 1930 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11976
[startup+0.700197 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=21248 CPUtime=0.69 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 5460 0 0 0 67 2 0 0 20 0 1 0 335351692 21757952 4563 33554432000 134512640 135840783 4291654048 4291653408 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 5312 4565 348 325 0 4248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21248
[startup+1.50019 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 564
/proc/meminfo: memFree=26551000/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=38044 CPUtime=1.49 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 9680 0 0 0 146 3 0 0 20 0 1 0 335351692 38957056 8783 33554432000 134512640 135840783 4291654048 4291653408 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 9511 8783 348 325 0 8447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38044
[startup+3.10022 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 564
/proc/meminfo: memFree=26532136/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=61404 CPUtime=3.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 15518 0 0 0 304 4 0 0 20 0 1 0 335351692 62877696 14621 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 15351 14621 348 325 0 14287 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61404
[startup+6.30024 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 564
/proc/meminfo: memFree=26481776/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=99752 CPUtime=6.29 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 25102 0 0 0 623 6 0 0 20 0 1 0 335351692 102146048 24205 33554432000 134512640 135840783 4291654048 4291644416 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 24938 24205 348 325 0 23874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99752
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 564
/proc/meminfo: memFree=26410740/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=160548 CPUtime=12.68 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 40289 0 0 0 1260 8 0 0 20 0 1 0 335351692 164401152 39392 33554432000 134512640 135840783 4291654048 4291644160 6001959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 40137 39392 348 325 0 39073 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 160548
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 564
/proc/meminfo: memFree=26300132/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=245624 CPUtime=25.48 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 61561 0 0 0 2536 12 0 0 20 0 1 0 335351692 251518976 60664 33554432000 134512640 135840783 4291654048 4291644208 6001959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 61406 60664 348 325 0 60342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245624
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 564
/proc/meminfo: memFree=26119044/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=352208 CPUtime=51.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 88212 0 0 0 5090 18 0 0 20 0 1 0 335351692 360660992 87315 33554432000 134512640 135840783 4291654048 4291653408 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 88052 87315 348 325 0 86988 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 352208
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 565
/proc/meminfo: memFree=25951316/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=376856 CPUtime=102.28 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 94408 0 0 0 10209 19 0 0 20 0 1 0 335351692 385900544 93472 33554432000 134512640 135840783 4291654048 4291653408 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 94214 93472 348 325 0 93150 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 376856
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 568
/proc/meminfo: memFree=25703212/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=388444 CPUtime=162.26 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 97309 0 0 0 16207 19 0 0 20 0 1 0 335351692 397766656 96373 33554432000 134512640 135840783 4291654048 4291653408 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 97111 96373 348 325 0 96047 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 388444
[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 591
/proc/meminfo: memFree=25487852/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=412936 CPUtime=222.25 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 103471 0 0 0 22205 20 0 0 20 0 1 0 335351692 422846464 102492 33554432000 134512640 135840783 4291654048 4291653408 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 103234 102492 348 325 0 102170 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 412936
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 591
/proc/meminfo: memFree=25378148/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=412936 CPUtime=282.24 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 103471 0 0 0 28204 20 0 0 20 0 1 0 335351692 422846464 102492 33554432000 134512640 135840783 4291654048 4291653408 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 103234 102492 348 325 0 102170 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 412936
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 591
/proc/meminfo: memFree=25274884/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=441784 CPUtime=342.23 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 110680 0 0 0 34201 22 0 0 20 0 1 0 335351692 452386816 109701 33554432000 134512640 135840783 4291654048 4291653408 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 110446 109701 348 325 0 109382 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 441784
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 592
/proc/meminfo: memFree=25193444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=402.22 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 40199 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291653408 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 452412
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 592
/proc/meminfo: memFree=25122668/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=462.21 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 46198 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291650416 134573224 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 452412
[startup+522.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 592
/proc/meminfo: memFree=24904580/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=522.21 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 52198 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291653408 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 452412
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 592
/proc/meminfo: memFree=24756924/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=582.2 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 58197 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291644540 13871892 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 452412
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 596
/proc/meminfo: memFree=24274180/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=495036 CPUtime=822.16 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 124142 0 0 0 82191 25 0 0 20 0 1 0 335351692 506916864 123031 33554432000 134512640 135840783 4291654048 4291653408 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 123759 123031 348 325 0 122695 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 495036
[startup+882.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 596
/proc/meminfo: memFree=24200800/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=495036 CPUtime=882.15 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 124142 0 0 0 88190 25 0 0 20 0 1 0 335351692 506916864 123031 33554432000 134512640 135840783 4291654048 4291653408 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 123759 123031 348 325 0 122695 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 495036
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 596
/proc/meminfo: memFree=24102000/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=942.14 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 94186 28 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 543112
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 597
/proc/meminfo: memFree=24037548/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=1002.13 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 100185 28 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 543112
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 598
/proc/meminfo: memFree=22839480/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=1062.12 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 106184 28 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 543112
[startup+1122.3 s]
/proc/loadavg: 3.87 2.53 2.18 2/178 598
/proc/meminfo: memFree=15185204/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=1122.11 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 112182 29 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 543112
[startup+1182.3 s]
/proc/loadavg: 4.58 2.98 2.35 2/178 598
/proc/meminfo: memFree=15185852/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543372 CPUtime=1182.1 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136252 0 0 0 118180 30 0 0 20 0 1 0 335351692 556412928 135085 33554432000 134512640 135840783 4291654048 4291644256 5999340 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135843 135085 348 325 0 134779 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 543372
[startup+1242.3 s]
/proc/loadavg: 4.12 3.18 2.46 3/178 637
/proc/meminfo: memFree=27905012/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=542880 CPUtime=1242.09 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136259 0 0 0 124179 30 0 0 20 0 1 0 335351692 555909120 134995 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135720 134995 348 325 0 134656 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 542880
[startup+1302.3 s]
/proc/loadavg: 2.78 2.96 2.43 3/177 638
/proc/meminfo: memFree=27545472/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=542880 CPUtime=1302.05 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136307 0 0 0 130175 30 0 0 20 0 1 0 335351692 555909120 134995 33554432000 134512640 135840783 4291654048 4291653408 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135720 134995 348 325 0 134656 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 542880
[startup+1362.3 s]
/proc/loadavg: 2.28 2.78 2.40 3/178 641
/proc/meminfo: memFree=27275856/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=542880 CPUtime=1362 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136355 0 0 0 136170 30 0 0 20 0 1 0 335351692 555909120 134995 33554432000 134512640 135840783 4291654048 4291653408 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135720 134995 348 325 0 134656 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 542880
[startup+1422.3 s]
/proc/loadavg: 2.10 2.64 2.37 3/177 641
/proc/meminfo: memFree=27028388/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1421.97 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149624 0 0 0 142164 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653472 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 595644
[startup+1482.3 s]
/proc/loadavg: 2.04 2.52 2.34 3/177 641
/proc/meminfo: memFree=26970880/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1481.92 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149670 0 0 0 148159 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653408 134551076 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 595644
[startup+1542.31 s]
/proc/loadavg: 2.01 2.42 2.32 3/177 641
/proc/meminfo: memFree=26912876/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1541.88 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149717 0 0 0 154155 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 595644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.34 2.30 3/177 642
/proc/meminfo: memFree=26867040/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1601.84 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149757 0 0 0 160151 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653328 6004320 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 595644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.28 2.27 3/177 642
/proc/meminfo: memFree=26810648/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1661.83 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 166150 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653360 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 596064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.22 2.26 3/177 642
/proc/meminfo: memFree=26765044/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1721.82 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 172149 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 596064
[startup+1782.3 s]
/proc/loadavg: 2.05 2.20 2.24 3/178 643
/proc/meminfo: memFree=26585884/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1781.81 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 178148 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653120 5999340 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 596064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.18 2.24 3/177 643
/proc/meminfo: memFree=26531416/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1800.01 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 179968 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653408 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 596064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.69
CPU system time (s): 0.337948
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 596064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.337948
maximum resident set size= 593036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149861
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= 294
involuntary context switches= 1987
runsolver used 3.49247 second user time and 8.96264 second system time
The end