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-3743557-1338786578/watcher-3743557-1338786578 -o /tmp/evaluation-result-3743557-1338786578/solver-3743557-1338786578 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743557-1338786578.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 1.99 1.91 3/173 30133
/proc/meminfo: memFree=28680432/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 344786308 2723840 48 33554432000 134512640 135840783 4289638064 4289636100 7230404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 665 48 37 325 0 32 0
[startup+0.092003 s]
/proc/loadavg: 2.05 1.99 1.91 3/173 30133
/proc/meminfo: memFree=28680432/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=11416 CPUtime=0.07 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 1752 0 0 0 7 0 0 0 20 0 1 0 344786308 11689984 1648 33554432000 134512640 135840783 4289638064 4289637004 3128188 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 2854 1649 553 325 0 1115 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11416
[startup+0.100231 s]
/proc/loadavg: 2.05 1.99 1.91 3/173 30133
/proc/meminfo: memFree=28680432/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=11556 CPUtime=0.08 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 1826 0 0 0 8 0 0 0 20 0 1 0 344786308 11833344 1722 33554432000 134512640 135840783 4289638064 4289635936 2116733 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 2889 1722 573 325 0 1150 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11556
[startup+0.300203 s]
/proc/loadavg: 2.05 1.99 1.91 3/173 30133
/proc/meminfo: memFree=28680432/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=19440 CPUtime=0.28 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 4848 0 0 0 27 1 0 0 20 0 1 0 344786308 19906560 3990 33554432000 134512640 135840783 4289638064 4289637152 2389287 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 4860 3993 340 325 0 3796 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19440
[startup+0.700181 s]
/proc/loadavg: 2.05 1.99 1.91 3/173 30133
/proc/meminfo: memFree=28680432/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=20616 CPUtime=0.68 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 5203 0 0 0 67 1 0 0 20 0 1 0 344786308 21110784 4294 33554432000 134512640 135840783 4289638064 4289151756 1918000 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 5154 4294 344 325 0 4090 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20616
[startup+1.50021 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 30165
/proc/meminfo: memFree=28647376/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=20748 CPUtime=1.49 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 5235 0 0 0 147 2 0 0 20 0 1 0 344786308 21245952 4326 33554432000 134512640 135840783 4289638064 4289151692 2394640 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 5187 4326 344 325 0 4123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20748
[startup+3.10023 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 30165
/proc/meminfo: memFree=28646384/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=20748 CPUtime=3.08 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 5240 0 0 0 306 2 0 0 20 0 1 0 344786308 21245952 4326 33554432000 134512640 135840783 4289638064 4289151728 134583223 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 5187 4326 344 325 0 4123 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20748
[startup+6.30023 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 30165
/proc/meminfo: memFree=28645716/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=20748 CPUtime=6.28 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 5240 0 0 0 625 3 0 0 20 0 1 0 344786308 21245952 4326 33554432000 134512640 135840783 4289638064 4289151668 2394716 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30133/statm: 5187 4326 344 325 0 4123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20748
[startup+12.7003 s]
/proc/loadavg: 2.04 1.99 1.91 3/177 30165
/proc/meminfo: memFree=28645036/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=21408 CPUtime=12.67 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 5403 0 0 0 1264 3 0 0 20 0 1 0 344786308 21921792 4489 33554432000 134512640 135840783 4289638064 4289151756 1918000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 5352 4489 344 325 0 4288 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21408
[startup+25.5003 s]
/proc/loadavg: 2.03 1.99 1.91 3/178 30168
/proc/meminfo: memFree=28644528/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=23512 CPUtime=25.47 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 6090 0 0 0 2543 4 0 0 20 0 1 0 344786308 24076288 4978 33554432000 134512640 135840783 4289638064 4289151580 1918000 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 5878 4978 346 325 0 4814 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23512
[startup+51.1002 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 30168
/proc/meminfo: memFree=28614056/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=41260 CPUtime=51.07 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 11034 0 0 0 5101 6 0 0 20 0 1 0 344786308 42250240 9445 33554432000 134512640 135840783 4289638064 4289637424 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 10315 9445 349 325 0 9251 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41260
[startup+102.306 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 30168
/proc/meminfo: memFree=28543068/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=72900 CPUtime=102.25 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 18946 0 0 0 10217 8 0 0 20 0 1 0 344786308 74649600 17345 33554432000 134512640 135840783 4289638064 4289637424 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 18225 17345 349 325 0 17161 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 72900
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 30168
/proc/meminfo: memFree=28460688/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=116244 CPUtime=162.22 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 29828 0 0 0 16211 11 0 0 20 0 1 0 344786308 119033856 28209 33554432000 134512640 135840783 4289638064 4289637424 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 29061 28209 349 325 0 27997 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 116244
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 30168
/proc/meminfo: memFree=28403108/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=151476 CPUtime=222.2 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 38642 0 0 0 22207 13 0 0 20 0 1 0 344786308 155111424 37003 33554432000 134512640 135840783 4289638064 4289637424 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 37869 37003 349 325 0 36805 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 151476
[startup+282.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/177 30168
/proc/meminfo: memFree=28355552/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=191040 CPUtime=282.18 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 48530 0 0 0 28202 16 0 0 20 0 1 0 344786308 195624960 46891 33554432000 134512640 135840783 4289638064 4289637424 134551671 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 47760 46891 349 325 0 46696 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 191040
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 30169
/proc/meminfo: memFree=28318848/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=217356 CPUtime=342.18 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 55114 0 0 0 34199 19 0 0 20 0 1 0 344786308 222572544 53475 33554432000 134512640 135840783 4289638064 4289636132 2375883 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 54339 53475 349 325 0 53275 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 217356
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30169
/proc/meminfo: memFree=28279768/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=246516 CPUtime=402.14 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 62434 0 0 0 40192 22 0 0 20 0 1 0 344786308 252432384 60756 33554432000 134512640 135840783 4289638064 4289637424 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 61629 60756 349 325 0 60565 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 246516
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30169
/proc/meminfo: memFree=28222068/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=274880 CPUtime=462.11 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 69563 0 0 0 46187 24 0 0 20 0 1 0 344786308 281477120 67867 33554432000 134512640 135840783 4289638064 4289637376 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 68720 67867 349 325 0 67656 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 274880
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30169
/proc/meminfo: memFree=28107900/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=304080 CPUtime=522.09 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 76860 0 0 0 52183 26 0 0 20 0 1 0 344786308 311377920 75164 33554432000 134512640 135840783 4289638064 4289637424 134551336 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 76020 75164 349 325 0 74956 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 304080
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30169
/proc/meminfo: memFree=28031792/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=332288 CPUtime=582.09 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 83885 0 0 0 58180 29 0 0 20 0 1 0 344786308 340262912 82189 33554432000 134512640 135840783 4289638064 4289637332 2386564 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 83072 82189 349 325 0 82008 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 332288
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30173
/proc/meminfo: memFree=27776532/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=439224 CPUtime=822.03 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 110661 0 0 0 82164 39 0 0 20 0 1 0 344786308 449765376 108947 33554432000 134512640 135840783 4289638064 4289637424 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 109806 108947 349 325 0 108742 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 439224
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30173
/proc/meminfo: memFree=27699680/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=467668 CPUtime=881.98 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 117820 0 0 0 88157 41 0 0 20 0 1 0 344786308 478892032 116064 33554432000 134512640 135840783 4289638064 4289637424 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 116917 116064 349 325 0 115853 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 467668
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30174
/proc/meminfo: memFree=27628600/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=484132 CPUtime=941.92 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 121983 0 0 0 94149 43 0 0 20 0 1 0 344786308 495751168 120182 33554432000 134512640 135840783 4289638064 4289637424 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 121033 120182 349 325 0 119969 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 484132
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30174
/proc/meminfo: memFree=27544960/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=502960 CPUtime=1001.92 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 126662 0 0 0 100147 45 0 0 20 0 1 0 344786308 515031040 124861 33554432000 134512640 135840783 4289638064 4289637424 134551100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 125740 124861 349 325 0 124676 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 502960
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30174
/proc/meminfo: memFree=27474528/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=526792 CPUtime=1061.9 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 132621 0 0 0 106143 47 0 0 20 0 1 0 344786308 539435008 130820 33554432000 134512640 135840783 4289638064 4289637424 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 131698 130820 349 325 0 130634 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 526792
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30174
/proc/meminfo: memFree=27422696/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=547780 CPUtime=1121.89 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 137878 0 0 0 112140 49 0 0 20 0 1 0 344786308 560926720 136077 33554432000 134512640 135840783 4289638064 4289637360 134572603 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 136945 136077 349 325 0 135881 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 547780
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30174
/proc/meminfo: memFree=27381356/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=565036 CPUtime=1181.89 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 142186 0 0 0 118138 51 0 0 20 0 1 0 344786308 578596864 140385 33554432000 134512640 135840783 4289638064 4289637424 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 141259 140385 349 325 0 140195 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 565036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30178
/proc/meminfo: memFree=27334876/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=590700 CPUtime=1241.88 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 148616 0 0 0 124136 52 0 0 20 0 1 0 344786308 604876800 146815 33554432000 134512640 135840783 4289638064 4289637424 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 147675 146815 349 325 0 146611 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 590700
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 30178
/proc/meminfo: memFree=27310236/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=612156 CPUtime=1301.87 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 153966 0 0 0 130134 53 0 0 20 0 1 0 344786308 626847744 152165 33554432000 134512640 135840783 4289638064 4289637424 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 153039 152165 349 325 0 151975 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 612156
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 30178
/proc/meminfo: memFree=27288068/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=630988 CPUtime=1361.86 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 158669 0 0 0 136131 55 0 0 20 0 1 0 344786308 646131712 156868 33554432000 134512640 135840783 4289638064 4289637364 2394699 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 157747 156868 349 325 0 156683 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 630988
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 30178
/proc/meminfo: memFree=27261156/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=651208 CPUtime=1421.86 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 163738 0 0 0 142130 56 0 0 20 0 1 0 344786308 666836992 161937 33554432000 134512640 135840783 4289638064 4289637424 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 162802 161937 349 325 0 161738 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 651208
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 30178
/proc/meminfo: memFree=27238960/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=671548 CPUtime=1481.84 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 168824 0 0 0 148126 58 0 0 20 0 1 0 344786308 687665152 167023 33554432000 134512640 135840783 4289638064 4289637424 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 167887 167023 349 325 0 166823 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 671548
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/177 30179
/proc/meminfo: memFree=27216516/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=693128 CPUtime=1541.83 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 174217 0 0 0 154123 60 0 0 20 0 1 0 344786308 709763072 172416 33554432000 134512640 135840783 4289638064 4289637376 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 173282 172416 349 325 0 172218 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 693128
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 30179
/proc/meminfo: memFree=27198784/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=710124 CPUtime=1601.83 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 178472 0 0 0 160121 62 0 0 20 0 1 0 344786308 727166976 176671 33554432000 134512640 135840783 4289638064 4289637424 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 177531 176671 349 325 0 176467 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 710124
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 30179
/proc/meminfo: memFree=27177828/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=730056 CPUtime=1661.81 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 183453 0 0 0 166118 63 0 0 20 0 1 0 344786308 747577344 181652 33554432000 134512640 135840783 4289638064 4289637424 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 182514 181652 349 325 0 181450 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 730056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 30179
/proc/meminfo: memFree=27160496/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=746792 CPUtime=1721.79 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 187634 0 0 0 172114 65 0 0 20 0 1 0 344786308 764715008 185817 33554432000 134512640 135840783 4289638064 4289637424 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 186698 185817 349 325 0 185634 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 746792
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/177 30179
/proc/meminfo: memFree=27142668/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=763436 CPUtime=1781.74 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 191834 0 0 0 178107 67 0 0 20 0 1 0 344786308 781758464 189976 33554432000 134512640 135840783 4289638064 4289637424 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 190859 189976 349 325 0 189795 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 763436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.03 2.02 1.94 3/177 30179
/proc/meminfo: memFree=27136932/32873844 swapFree=6872/6872
[pid=30133] ppid=30131 vsize=768108 CPUtime=1800.03 cores=0,2,4,6
/proc/30133/stat : 30133 (bsolo3.0.17) R 30131 30133 30003 0 -1 4202496 193039 0 0 0 179936 67 0 0 20 0 1 0 344786308 786542592 191165 33554432000 134512640 135840783 4289638064 4289637424 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30133/statm: 192027 191165 349 325 0 190963 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 768108
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.62
CPU time (s): 1800.06
CPU user time (s): 1799.37
CPU system time (s): 0.690894
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 768108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.690894
maximum resident set size= 764660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193042
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= 313
involuntary context switches= 2159
runsolver used 3.24151 second user time and 8.90465 second system time
The end