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-3743521-1338784775/watcher-3743521-1338784775 -o /tmp/evaluation-result-3743521-1338784775/solver-3743521-1338784775 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743521-1338784775.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: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=15220 CPUtime=0 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 344606023 15585280 410 33554432000 134512640 135840783 4293493984 4293492688 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 3805 410 326 325 0 2063 0
[startup+0.037112 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=9784 CPUtime=0.02 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 1210 0 0 0 2 0 0 0 20 0 1 0 344606023 10018816 1106 33554432000 134512640 135840783 4293493984 4293492976 134525286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 2446 1106 418 325 0 704 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9784
[startup+0.100217 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=11700 CPUtime=0.09 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 1868 0 0 0 9 0 0 0 20 0 1 0 344606023 11980800 1764 33554432000 134512640 135840783 4293493984 4293492852 7737446 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 2925 1764 586 325 0 1183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11700
[startup+0.300195 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20612 CPUtime=0.29 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5204 0 0 0 28 1 0 0 20 0 1 0 344606023 21106688 4292 33554432000 134512640 135840783 4293493984 4293007584 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5153 4292 342 325 0 4089 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20612
[startup+0.700178 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20612 CPUtime=0.69 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5204 0 0 0 68 1 0 0 20 0 1 0 344606023 21106688 4292 33554432000 134512640 135840783 4293493984 4293007584 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5153 4292 342 325 0 4089 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20612
[startup+1.50022 s]
/proc/loadavg: 0.98 1.57 1.83 3/177 30048
/proc/meminfo: memFree=28649468/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20744 CPUtime=1.49 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5235 0 0 0 148 1 0 0 20 0 1 0 344606023 21241856 4323 33554432000 134512640 135840783 4293493984 4293007536 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20744
[startup+3.10023 s]
/proc/loadavg: 0.98 1.57 1.83 3/177 30048
/proc/meminfo: memFree=28648244/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20744 CPUtime=3.09 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5235 0 0 0 308 1 0 0 20 0 1 0 344606023 21241856 4323 33554432000 134512640 135840783 4293493984 4293007536 134551356 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20744
[startup+6.30023 s]
/proc/loadavg: 1.06 1.57 1.83 3/177 30048
/proc/meminfo: memFree=28647856/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20744 CPUtime=6.28 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5237 0 0 0 627 1 0 0 20 0 1 0 344606023 21241856 4323 33554432000 134512640 135840783 4293493984 4293007644 3633104 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20744
[startup+12.7002 s]
/proc/loadavg: 1.14 1.58 1.83 3/177 30048
/proc/meminfo: memFree=28647000/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=21404 CPUtime=12.68 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5401 0 0 0 1267 1 0 0 20 0 1 0 344606023 21917696 4487 33554432000 134512640 135840783 4293493984 4293007456 7745102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21404
[startup+25.5002 s]
/proc/loadavg: 1.33 1.60 1.83 3/177 30048
/proc/meminfo: memFree=28635460/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=21404 CPUtime=25.47 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5405 0 0 0 2545 2 0 0 20 0 1 0 344606023 21917696 4487 33554432000 134512640 135840783 4293493984 4293007536 134551182 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 21404
[startup+51.1002 s]
/proc/loadavg: 1.56 1.63 1.83 3/178 30051
/proc/meminfo: memFree=28594316/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=29408 CPUtime=51.06 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 8090 0 0 0 5102 4 0 0 20 0 1 0 344606023 30113792 6497 33554432000 134512640 135840783 4293493984 4293493280 134572687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 7352 6497 347 325 0 6288 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29408
[startup+102.306 s]
/proc/loadavg: 1.81 1.69 1.83 3/177 30051
/proc/meminfo: memFree=28502936/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=62416 CPUtime=102.25 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 16337 0 0 0 10219 6 0 0 20 0 1 0 344606023 63913984 14728 33554432000 134512640 135840783 4293493984 4293493344 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 15604 14728 347 325 0 14540 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 62416
[startup+162.3 s]
/proc/loadavg: 1.93 1.74 1.84 3/177 30051
/proc/meminfo: memFree=28395540/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=107520 CPUtime=162.22 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 27604 0 0 0 16213 9 0 0 20 0 1 0 344606023 110100480 25995 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 26880 25995 347 325 0 25816 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 107520
[startup+222.3 s]
/proc/loadavg: 2.04 1.80 1.85 3/177 30051
/proc/meminfo: memFree=28306660/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=147988 CPUtime=222.22 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 37727 0 0 0 22211 11 0 0 20 0 1 0 344606023 151539712 36118 33554432000 134512640 135840783 4293493984 4293493280 134572687 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 36997 36118 347 325 0 35933 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 147988
[startup+282.3 s]
/proc/loadavg: 2.07 1.85 1.86 3/177 30052
/proc/meminfo: memFree=28232020/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=198088 CPUtime=282.21 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 50256 0 0 0 28207 14 0 0 20 0 1 0 344606023 202842112 48647 33554432000 134512640 135840783 4293493984 4293493296 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 49522 48647 347 325 0 48458 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 198088
[startup+342.3 s]
/proc/loadavg: 2.03 1.87 1.87 3/177 30052
/proc/meminfo: memFree=28160256/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=244620 CPUtime=342.18 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 61936 0 0 0 34201 17 0 0 20 0 1 0 344606023 250490880 60289 33554432000 134512640 135840783 4293493984 4293493296 134551315 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 61155 60289 347 325 0 60091 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 244620
[startup+402.3 s]
/proc/loadavg: 2.01 1.89 1.87 3/177 30052
/proc/meminfo: memFree=28091836/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=284880 CPUtime=402.15 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 72049 0 0 0 40195 20 0 0 20 0 1 0 344606023 291717120 70358 33554432000 134512640 135840783 4293493984 4293493344 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 71220 70358 347 325 0 70156 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 284880
[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.88 3/177 30052
/proc/meminfo: memFree=28029284/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=326292 CPUtime=462.13 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 82436 0 0 0 46190 23 0 0 20 0 1 0 344606023 334123008 80718 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 81573 80718 347 325 0 80509 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 326292
[startup+522.3 s]
/proc/loadavg: 2.00 1.92 1.89 3/177 30052
/proc/meminfo: memFree=27968896/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=359584 CPUtime=522.12 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 90741 0 0 0 52186 26 0 0 20 0 1 0 344606023 368214016 89023 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 89896 89023 347 325 0 88832 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 359584
[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.89 3/177 30053
/proc/meminfo: memFree=27905780/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=395236 CPUtime=582.11 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 99651 0 0 0 58184 27 0 0 20 0 1 0 344606023 404721664 97933 33554432000 134512640 135840783 4293493984 4293493344 134551365 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 98809 97933 347 325 0 97745 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 395236
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 1.97 1.91 3/177 30056
/proc/meminfo: memFree=27585392/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=541972 CPUtime=822.07 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 136339 0 0 0 82167 40 0 0 20 0 1 0 344606023 554979328 134621 33554432000 134512640 135840783 4293493984 4293493344 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 135493 134621 347 325 0 134429 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 541972
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27501072/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=567588 CPUtime=882.06 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 142740 0 0 0 88164 42 0 0 20 0 1 0 344606023 581210112 141022 33554432000 134512640 135840783 4293493984 4293493336 3246288 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 141897 141022 347 325 0 140833 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 567588
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27430652/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=586708 CPUtime=942.04 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 147535 0 0 0 94160 44 0 0 20 0 1 0 344606023 600788992 145792 33554432000 134512640 135840783 4293493984 4293472304 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 146677 145792 347 325 0 145613 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 586708
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27373020/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=607732 CPUtime=1001.98 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 152835 0 0 0 100153 45 0 0 20 0 1 0 344606023 622317568 151052 33554432000 134512640 135840783 4293493984 4293493344 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 151933 151052 347 325 0 150869 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 607732
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27319480/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=624860 CPUtime=1061.94 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 157179 0 0 0 106147 47 0 0 20 0 1 0 344606023 639856640 155353 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 156215 155353 347 325 0 155151 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 624860
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27266816/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=645164 CPUtime=1121.89 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 162288 0 0 0 112141 48 0 0 20 0 1 0 344606023 660647936 160421 33554432000 134512640 135840783 4293493984 4293493344 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 161291 160421 347 325 0 160227 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 645164
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/176 30057
/proc/meminfo: memFree=27217100/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=665524 CPUtime=1181.88 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 167378 0 0 0 118138 50 0 0 20 0 1 0 344606023 681496576 165511 33554432000 134512640 135840783 4293493984 4293493344 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 166381 165511 347 325 0 165317 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 665524
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 30061
/proc/meminfo: memFree=27170088/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=684468 CPUtime=1241.88 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 172120 0 0 0 124135 53 0 0 20 0 1 0 344606023 700895232 170253 33554432000 134512640 135840783 4293493984 4293493344 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 171117 170253 347 325 0 170053 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 684468
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 30084
/proc/meminfo: memFree=27122224/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=708276 CPUtime=1301.87 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 178080 0 0 0 130133 54 0 0 20 0 1 0 344606023 725274624 176213 33554432000 134512640 135840783 4293493984 4293493120 7741938 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 177069 176213 347 325 0 176005 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 708276
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30084
/proc/meminfo: memFree=27086520/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=724448 CPUtime=1361.85 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 182119 0 0 0 136130 55 0 0 20 0 1 0 344606023 741834752 180252 33554432000 134512640 135840783 4293493984 4293493344 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 181112 180252 347 325 0 180048 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 724448
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30084
/proc/meminfo: memFree=27047564/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=740820 CPUtime=1421.85 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 186206 0 0 0 142128 57 0 0 20 0 1 0 344606023 758599680 184339 33554432000 134512640 135840783 4293493984 4293493344 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 185205 184339 347 325 0 184141 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 740820
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/176 30084
/proc/meminfo: memFree=27006804/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=754140 CPUtime=1481.84 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 189533 0 0 0 148126 58 0 0 20 0 1 0 344606023 772239360 187666 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 188535 187666 347 325 0 187471 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 754140
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26979420/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=767320 CPUtime=1541.83 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 192835 0 0 0 154123 60 0 0 20 0 1 0 344606023 785735680 190968 33554432000 134512640 135840783 4293493984 4293493344 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 191830 190968 347 325 0 190766 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 767320
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26952168/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=782720 CPUtime=1601.81 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 196687 0 0 0 160121 60 0 0 20 0 1 0 344606023 801505280 194820 33554432000 134512640 135840783 4293493984 4293493344 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 195680 194820 347 325 0 194616 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 782720
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26924172/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=799040 CPUtime=1661.81 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 200770 0 0 0 166119 62 0 0 20 0 1 0 344606023 818216960 198903 33554432000 134512640 135840783 4293493984 4293493344 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 199760 198903 347 325 0 198696 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 799040
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26893400/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=819796 CPUtime=1721.8 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 205940 0 0 0 172117 63 0 0 20 0 1 0 344606023 839471104 204073 33554432000 134512640 135840783 4293493984 4293493344 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 204949 204073 347 325 0 203885 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 819796
[startup+1782.3 s]
/proc/loadavg: 2.07 1.99 1.91 3/177 30086
/proc/meminfo: memFree=26859424/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=839312 CPUtime=1781.79 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 210823 0 0 0 178114 65 0 0 20 0 1 0 344606023 859455488 208956 33554432000 134512640 135840783 4293493984 4293493344 134550896 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 209828 208956 347 325 0 208764 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 839312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 30087
/proc/meminfo: memFree=26852108/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=843044 CPUtime=1800.1 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 211764 0 0 0 179945 65 0 0 20 0 1 0 344606023 863277056 209897 33554432000 134512640 135840783 4293493984 4293493344 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 210761 209897 347 325 0 209697 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 843044
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.63
CPU time (s): 1800.13
CPU user time (s): 1799.45
CPU system time (s): 0.675897
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 843044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.675897
maximum resident set size= 839588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211767
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= 292
involuntary context switches= 2189
runsolver used 3.41148 second user time and 8.71368 second system time
The end