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-3742230-1338768577/watcher-3742230-1338768577 -o /tmp/evaluation-result-3742230-1338768577/solver-3742230-1338768577 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742230-1338768577.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.05 2.06 2.01 3/176 23068
/proc/meminfo: memFree=27018600/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) D 23066 23068 20253 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 342984512 2723840 47 33554432000 134512640 135840783 4291010064 4291008100 11203524 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 694 47 37 325 0 32 0
[startup+0.0245739 s]
/proc/loadavg: 2.05 2.06 2.01 3/176 23068
/proc/meminfo: memFree=27018600/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=15352 CPUtime=0.01 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 810 0 0 0 1 0 0 0 20 0 1 0 342984512 15720448 746 33554432000 134512640 135840783 4291010064 4291006400 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 3838 747 365 325 0 2370 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15352
[startup+0.100219 s]
/proc/loadavg: 2.05 2.06 2.01 3/176 23068
/proc/meminfo: memFree=27018600/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=10164 CPUtime=0.09 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 1705 0 0 0 9 0 0 0 20 0 1 0 342984512 10407936 1601 33554432000 134512640 135840783 4291010064 4291009056 134525046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 2541 1602 563 325 0 1073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10164
[startup+0.30021 s]
/proc/loadavg: 2.05 2.06 2.01 3/176 23068
/proc/meminfo: memFree=27018600/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=13736 CPUtime=0.28 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 3094 0 0 0 28 0 0 0 20 0 1 0 342984512 14065664 2586 33554432000 134512640 135840783 4291010064 4290723424 1325823 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 3434 2586 344 325 0 2370 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13736
[startup+0.700197 s]
/proc/loadavg: 2.05 2.06 2.01 3/176 23068
/proc/meminfo: memFree=27018600/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=13736 CPUtime=0.68 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 3096 0 0 0 68 0 0 0 20 0 1 0 342984512 14065664 2588 33554432000 134512640 135840783 4291010064 4290723440 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 3434 2588 344 325 0 2370 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13736
[startup+1.5002 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 23069
/proc/meminfo: memFree=27008432/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=13736 CPUtime=1.48 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 3097 0 0 0 148 0 0 0 20 0 1 0 342984512 14065664 2589 33554432000 134512640 135840783 4291010064 4290723216 1698718 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 3434 2589 344 325 0 2370 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13736
[startup+3.10019 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 23069
/proc/meminfo: memFree=27007184/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=13736 CPUtime=3.08 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 3097 0 0 0 308 0 0 0 20 0 1 0 342984512 14065664 2589 33554432000 134512640 135840783 4291010064 4290723440 134551109 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23068/statm: 3434 2589 344 325 0 2370 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13736
[startup+6.30024 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 23069
/proc/meminfo: memFree=27003332/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=13736 CPUtime=6.28 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 3098 0 0 0 628 0 0 0 20 0 1 0 342984512 14065664 2590 33554432000 134512640 135840783 4291010064 4290723580 4510768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 3434 2590 344 325 0 2370 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13736
[startup+12.7003 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 23069
/proc/meminfo: memFree=26991120/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=16140 CPUtime=12.68 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 3981 0 0 0 1266 2 0 0 20 0 1 0 342984512 16527360 3240 33554432000 134512640 135840783 4291010064 4291009424 134551552 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 4035 3240 349 325 0 2971 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16140
[startup+25.5003 s]
/proc/loadavg: 2.10 2.07 2.01 3/178 23073
/proc/meminfo: memFree=26941416/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=38132 CPUtime=25.48 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 9483 0 0 0 2544 4 0 0 20 0 1 0 342984512 39047168 8742 33554432000 134512640 135840783 4291010064 4291009424 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 9533 8742 349 325 0 8469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38132
[startup+51.1003 s]
/proc/loadavg: 2.06 2.06 2.01 3/178 23073
/proc/meminfo: memFree=26885600/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=65732 CPUtime=51.07 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 16372 0 0 0 5101 6 0 0 20 0 1 0 342984512 67309568 15631 33554432000 134512640 135840783 4291010064 4291009424 134551504 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 16433 15631 349 325 0 15369 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 65732
[startup+102.306 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 23073
/proc/meminfo: memFree=26758304/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=118172 CPUtime=102.28 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 29477 0 0 0 10219 9 0 0 20 0 1 0 342984512 121008128 28736 33554432000 134512640 135840783 4291010064 4291009424 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 29543 28736 349 325 0 28479 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118172
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 23073
/proc/meminfo: memFree=26552616/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=245932 CPUtime=162.25 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 61422 0 0 0 16209 16 0 0 20 0 1 0 342984512 251834368 60681 33554432000 134512640 135840783 4291010064 4290995132 1698432 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 61483 60681 349 325 0 60419 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 245932
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 23073
/proc/meminfo: memFree=26251200/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=462860 CPUtime=222.25 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 115681 0 0 0 22198 27 0 0 20 0 1 0 342984512 473968640 114940 33554432000 134512640 135840783 4291010064 4291009296 134575118 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 115715 114940 349 325 0 114651 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 462860
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23073
/proc/meminfo: memFree=26054816/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=582452 CPUtime=282.24 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 145575 0 0 0 28191 33 0 0 20 0 1 0 342984512 596430848 144834 33554432000 134512640 135840783 4291010064 4291009376 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 145613 144834 349 325 0 144549 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 582452
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 23074
/proc/meminfo: memFree=25903812/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=634536 CPUtime=342.23 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 158574 0 0 0 34186 37 0 0 20 0 1 0 342984512 649764864 157833 33554432000 134512640 135840783 4291010064 4291009416 9771193 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 158634 157833 349 325 0 157570 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 634536
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 23074
/proc/meminfo: memFree=25763596/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=684484 CPUtime=402.22 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 171064 0 0 0 40181 41 0 0 20 0 1 0 342984512 700911616 170323 33554432000 134512640 135840783 4291010064 4291009376 134551532 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 171121 170323 349 325 0 170057 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 684484
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 23074
/proc/meminfo: memFree=25652520/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=736536 CPUtime=462.21 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 184084 0 0 0 46178 43 0 0 20 0 1 0 342984512 754212864 183343 33554432000 134512640 135840783 4291010064 4291009424 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 184134 183343 349 325 0 183070 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 736536
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 23074
/proc/meminfo: memFree=25531028/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=791548 CPUtime=522.21 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 197832 0 0 0 52174 47 0 0 20 0 1 0 342984512 810545152 197091 33554432000 134512640 135840783 4291010064 4291009424 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 197887 197091 349 325 0 196823 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 791548
[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 23074
/proc/meminfo: memFree=25391556/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=850408 CPUtime=582.19 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 212556 0 0 0 58169 50 0 0 20 0 1 0 342984512 870817792 211815 33554432000 134512640 135840783 4291010064 4291009368 9771216 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 212602 211815 349 325 0 211538 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 850408
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 23078
/proc/meminfo: memFree=24888104/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1016148 CPUtime=822.16 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 254005 0 0 0 82155 61 0 0 20 0 1 0 342984512 1040535552 253264 33554432000 134512640 135840783 4291010064 4291009584 134551994 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 254037 253264 349 325 0 252973 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 1016148
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 23078
/proc/meminfo: memFree=24768596/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1053512 CPUtime=882.15 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 263322 0 0 0 88152 63 0 0 20 0 1 0 342984512 1078796288 262581 33554432000 134512640 135840783 4291010064 4291009376 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 263378 262581 349 325 0 262314 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1053512
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 23079
/proc/meminfo: memFree=24682320/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1101476 CPUtime=942.14 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 275335 0 0 0 94149 65 0 0 20 0 1 0 342984512 1127911424 274594 33554432000 134512640 135840783 4291010064 4291009424 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 275369 274594 349 325 0 274305 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1101476
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 23079
/proc/meminfo: memFree=24558472/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1163596 CPUtime=1002.13 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 290836 0 0 0 100145 68 0 0 20 0 1 0 342984512 1191522304 290095 33554432000 134512640 135840783 4291010064 4291009424 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 290899 290095 349 325 0 289835 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1163596
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23079
/proc/meminfo: memFree=24410692/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1211632 CPUtime=1062.12 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 302849 0 0 0 106141 71 0 0 20 0 1 0 342984512 1240711168 302108 33554432000 134512640 135840783 4291010064 4291009424 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 302908 302108 349 325 0 301844 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1211632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23079
/proc/meminfo: memFree=24238984/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1266104 CPUtime=1122.11 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 316471 0 0 0 112137 74 0 0 20 0 1 0 342984512 1296490496 315730 33554432000 134512640 135840783 4291010064 4291009344 1703610 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 316526 315730 349 325 0 315462 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1266104
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23079
/proc/meminfo: memFree=24082896/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1315608 CPUtime=1182.1 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 328865 0 0 0 118133 77 0 0 20 0 1 0 342984512 1347182592 328124 33554432000 134512640 135840783 4291010064 4290989056 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 328902 328124 349 325 0 327838 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1315608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23083
/proc/meminfo: memFree=23940068/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1385828 CPUtime=1242.09 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 346412 0 0 0 124129 80 0 0 20 0 1 0 342984512 1419087872 345671 33554432000 134512640 135840783 4291010064 4291009424 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 346457 345671 349 325 0 345393 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1385828
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23083
/proc/meminfo: memFree=23872896/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1410984 CPUtime=1302.1 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 352712 0 0 0 130127 83 0 0 20 0 1 0 342984512 1444847616 351971 33554432000 134512640 135840783 4291010064 4291009424 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 352746 351971 349 325 0 351682 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1410984
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23083
/proc/meminfo: memFree=23782652/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1453452 CPUtime=1362.08 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 363319 0 0 0 136123 85 0 0 20 0 1 0 342984512 1488334848 362578 33554432000 134512640 135840783 4291010064 4291009424 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 363363 362578 349 325 0 362299 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1453452
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23122
/proc/meminfo: memFree=26389700/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1492928 CPUtime=1422.06 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 373208 0 0 0 142119 87 0 0 20 0 1 0 342984512 1528758272 372444 33554432000 134512640 135840783 4291010064 4291009416 9771193 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 373232 372444 349 325 0 372168 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1492928
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 23122
/proc/meminfo: memFree=26191716/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1540520 CPUtime=1482.01 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 385151 0 0 0 148111 90 0 0 20 0 1 0 342984512 1577492480 384350 33554432000 134512640 135840783 4291010064 4291009424 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 385130 384350 349 325 0 384066 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1540520
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23123
/proc/meminfo: memFree=26001528/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1589176 CPUtime=1542 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 397345 0 0 0 154107 93 0 0 20 0 1 0 342984512 1627316224 396509 33554432000 134512640 135840783 4291010064 4291009424 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 397294 396509 349 325 0 396230 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1589176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23123
/proc/meminfo: memFree=25814196/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1635088 CPUtime=1601.98 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 408822 0 0 0 160101 97 0 0 20 0 1 0 342984512 1674330112 407974 33554432000 134512640 135840783 4291010064 4291009200 1698718 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 408772 407974 349 325 0 407708 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1635088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23123
/proc/meminfo: memFree=25650048/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1686780 CPUtime=1661.96 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 421777 0 0 0 166095 101 0 0 20 0 1 0 342984512 1727262720 420919 33554432000 134512640 135840783 4291010064 4291009424 134551455 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 421695 420919 349 325 0 420631 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1686780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23123
/proc/meminfo: memFree=25499544/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1735764 CPUtime=1721.94 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 434033 0 0 0 172090 104 0 0 20 0 1 0 342984512 1777422336 433162 33554432000 134512640 135840783 4291010064 4291009424 134551475 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 433941 433162 349 325 0 432877 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1735764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23123
/proc/meminfo: memFree=25337876/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1759240 CPUtime=1781.9 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 439942 0 0 0 178084 106 0 0 20 0 1 0 342984512 1801461760 439028 33554432000 134512640 135840783 4291010064 4291009424 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 439810 439028 349 325 0 438746 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1759240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23123
/proc/meminfo: memFree=25284276/32873648 swapFree=6864/6864
[pid=23068] ppid=23066 vsize=1768680 CPUtime=1800.01 cores=0,2,4,6
/proc/23068/stat : 23068 (bsolo3.0.17) R 23066 23068 20253 0 -1 4202496 442317 0 0 0 179894 107 0 0 20 0 1 0 342984512 1811128320 441394 33554432000 134512640 135840783 4291010064 4291009424 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23068/statm: 442170 441394 349 325 0 441106 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1768680
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.48
CPU time (s): 1800.08
CPU user time (s): 1798.94
CPU system time (s): 1.13983
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 1768680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.13983
maximum resident set size= 1765576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442320
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= 213
involuntary context switches= 1852
runsolver used 4.21036 second user time and 8.21375 second system time
The end