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-3736990-1338711961/watcher-3736990-1338711961 -o /tmp/evaluation-result-3736990-1338711961/solver-3736990-1338711961 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736990-1338711961.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.00 2.00 2.00 3/178 30792
/proc/meminfo: memFree=26340848/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=4728 CPUtime=0 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 337321505 4841472 418 33554432000 134512640 135840783 4287935632 4287934112 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 1182 418 332 325 0 108 0
[startup+0.019736 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30792
/proc/meminfo: memFree=26340848/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=6056 CPUtime=0.01 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 858 0 0 0 1 0 0 0 20 0 1 0 337321505 6201344 784 33554432000 134512640 135840783 4287935632 4287896636 15352880 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 1514 784 344 325 0 450 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6056
[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30792
/proc/meminfo: memFree=26340848/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=6448 CPUtime=0.08 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 1019 0 0 0 8 0 0 0 20 0 1 0 337321505 6602752 879 33554432000 134512640 135840783 4287935632 4287934944 134575903 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 1612 879 349 325 0 548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6448
[startup+0.300218 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30792
/proc/meminfo: memFree=26340848/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=7868 CPUtime=0.28 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 1363 0 0 0 28 0 0 0 20 0 1 0 337321505 8056832 1223 33554432000 134512640 135840783 4287935632 4287934944 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 1967 1223 350 325 0 903 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7868
[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30792
/proc/meminfo: memFree=26340848/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=9952 CPUtime=0.68 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 1903 0 0 0 68 0 0 0 20 0 1 0 337321505 10190848 1763 33554432000 134512640 135840783 4287935632 4287934804 1577119 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 2488 1764 350 325 0 1424 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9952
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30793
/proc/meminfo: memFree=26333796/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=13324 CPUtime=1.49 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 2739 0 0 0 148 1 0 0 20 0 1 0 337321505 13643776 2599 33554432000 134512640 135840783 4287935632 4287934992 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 3331 2599 350 325 0 2267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13324
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30793
/proc/meminfo: memFree=26329324/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=18928 CPUtime=3.09 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 4126 0 0 0 308 1 0 0 20 0 1 0 337321505 19382272 3986 33554432000 134512640 135840783 4287935632 4287934992 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 4732 3986 350 325 0 3668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18928
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30793
/proc/meminfo: memFree=26318164/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=28824 CPUtime=6.29 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 6596 0 0 0 628 1 0 0 20 0 1 0 337321505 29515776 6456 33554432000 134512640 135840783 4287935632 4287934992 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 7206 6456 350 325 0 6142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28824
[startup+12.7002 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 30832
/proc/meminfo: memFree=28124368/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=44704 CPUtime=12.69 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 10590 0 0 0 1267 2 0 0 20 0 1 0 337321505 45776896 10450 33554432000 134512640 135840783 4287935632 4287934944 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 11176 10450 350 325 0 10112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44704
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30832
/proc/meminfo: memFree=28037824/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=73708 CPUtime=25.47 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 17831 0 0 0 2544 3 0 0 20 0 1 0 337321505 75476992 17688 33554432000 134512640 135840783 4287935632 4287934992 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 18427 17688 350 325 0 17363 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 73708
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30832
/proc/meminfo: memFree=27953580/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=105416 CPUtime=51.06 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 25803 0 0 0 5099 7 0 0 20 0 1 0 337321505 107945984 25636 33554432000 134512640 135840783 4287935632 4287934992 134551222 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 26354 25636 350 325 0 25290 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 105416
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30832
/proc/meminfo: memFree=27897160/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=114220 CPUtime=102.24 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 28076 0 0 0 10216 8 0 0 20 0 1 0 337321505 116961280 27834 33554432000 134512640 135840783 4287935632 4287934992 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 28555 27834 350 325 0 27491 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 114220
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30832
/proc/meminfo: memFree=27820308/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=122196 CPUtime=162.22 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 30156 0 0 0 16213 9 0 0 20 0 1 0 337321505 125128704 29829 33554432000 134512640 135840783 4287935632 4287934992 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 30549 29829 350 325 0 29485 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 122196
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 30832
/proc/meminfo: memFree=27768380/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=127108 CPUtime=222.21 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 31382 0 0 0 22212 9 0 0 20 0 1 0 337321505 130158592 31055 33554432000 134512640 135840783 4287935632 4287934944 134550820 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30792/statm: 31777 31055 350 325 0 30713 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 127108
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 30836
/proc/meminfo: memFree=27713716/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=139120 CPUtime=282.2 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 34464 0 0 0 28210 10 0 0 20 0 1 0 337321505 142458880 34044 33554432000 134512640 135840783 4287935632 4287934992 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 34780 34044 350 325 0 33716 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 139120
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 30836
/proc/meminfo: memFree=27629768/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=186064 CPUtime=342.2 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 46295 0 0 0 34205 15 0 0 20 0 1 0 337321505 190529536 45773 33554432000 134512640 135840783 4287935632 4287934988 6369232 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 46516 45773 350 325 0 45452 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 186064
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 30836
/proc/meminfo: memFree=27602480/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=186064 CPUtime=402.16 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 46330 0 0 0 40201 15 0 0 20 0 1 0 337321505 190529536 45785 33554432000 134512640 135840783 4287935632 4287934768 1579662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 46516 45785 350 325 0 45452 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 186064
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 30836
/proc/meminfo: memFree=27582888/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=186096 CPUtime=462.15 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 46338 0 0 0 46200 15 0 0 20 0 1 0 337321505 190562304 45793 33554432000 134512640 135840783 4287935632 4287934992 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 46524 45793 350 325 0 45460 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 186096
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30836
/proc/meminfo: memFree=27582144/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=186636 CPUtime=522.14 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 46572 0 0 0 52199 15 0 0 20 0 1 0 337321505 191115264 45915 33554432000 134512640 135840783 4287935632 4287934992 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 46659 45915 350 325 0 45595 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 186636
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30837
/proc/meminfo: memFree=27549532/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=220520 CPUtime=582.13 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 55049 0 0 0 58196 17 0 0 20 0 1 0 337321505 225812480 54392 33554432000 134512640 135840783 4287935632 4287934992 134551045 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 55130 54392 350 325 0 54066 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 220520
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30837
/proc/meminfo: memFree=27482464/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=822.05 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71674 0 0 0 82183 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934992 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 286336
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 30841
/proc/meminfo: memFree=27482392/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=882.04 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 88182 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934956 1576896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 286336
[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 30841
/proc/meminfo: memFree=27482400/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=942.03 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 94181 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287933088 134573354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 286336
[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 30841
/proc/meminfo: memFree=27482524/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=1002.02 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 100180 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934992 134551428 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 286336
[startup+1062.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 30841
/proc/meminfo: memFree=27476076/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=1062.02 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 106180 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934992 134551538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 286336
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 30841
/proc/meminfo: memFree=27472036/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=1122.01 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 112179 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934944 6378120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 286336
[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 30842
/proc/meminfo: memFree=27472160/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=1182 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 118178 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934992 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 286336
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 30842
/proc/meminfo: memFree=27471788/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286336 CPUtime=1241.99 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71675 0 0 0 124177 22 0 0 20 0 1 0 337321505 293208064 70849 33554432000 134512640 135840783 4287935632 4287934992 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71584 70849 350 325 0 70520 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 286336
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 30842
/proc/meminfo: memFree=27471664/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1301.99 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 130177 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 286384
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 30842
/proc/meminfo: memFree=27471788/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1361.97 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 136175 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934944 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 286384
[startup+1422.31 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 30842
/proc/meminfo: memFree=27471788/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1421.97 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 142175 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134551646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 286384
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/180 30846
/proc/meminfo: memFree=27471904/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1481.95 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 148173 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 286384
[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 30846
/proc/meminfo: memFree=27472036/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1541.94 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 154172 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 286384
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 30846
/proc/meminfo: memFree=27472036/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1601.93 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 160171 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 286384
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 30846
/proc/meminfo: memFree=27472160/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1661.92 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 166170 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 286384
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/179 30846
/proc/meminfo: memFree=27472036/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1721.92 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 172170 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 286384
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 30847
/proc/meminfo: memFree=27471540/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1781.91 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 178169 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934992 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 286384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 30847
/proc/meminfo: memFree=27472036/32873844 swapFree=7124/7124
[pid=30792] ppid=30790 vsize=286384 CPUtime=1800.01 cores=0,2,4,6
/proc/30792/stat : 30792 (bsolo3.0.17) R 30790 30792 27204 0 -1 4202496 71687 0 0 0 179979 22 0 0 20 0 1 0 337321505 293257216 70861 33554432000 134512640 135840783 4287935632 4287934768 1579934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30792/statm: 71596 70861 350 325 0 70532 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 286384
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.41
CPU time (s): 1800.03
CPU user time (s): 1799.8
CPU system time (s): 0.229965
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 286828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.229965
maximum resident set size= 283888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71690
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= 141
involuntary context switches= 1982
runsolver used 3.38248 second user time and 9.31258 second system time
The end