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-3742503-1338772006/watcher-3742503-1338772006 -o /tmp/evaluation-result-3742503-1338772006/solver-3742503-1338772006 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742503-1338772006.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/177 13617
/proc/meminfo: memFree=25817972/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 343326534 4583424 157 33554432000 134512640 135840783 4293210352 4293209692 10417496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 1119 157 136 325 0 39 0
[startup+0.015828 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13617
/proc/meminfo: memFree=25817972/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=14336 CPUtime=0 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 343326534 14680064 609 33554432000 134512640 135840783 4293210352 4293209344 134525198 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 3584 609 345 325 0 2242 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14336
[startup+0.100139 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13617
/proc/meminfo: memFree=25817972/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=9204 CPUtime=0.08 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 1591 0 0 0 8 0 0 0 20 0 1 0 343326534 9424896 1528 33554432000 134512640 135840783 4293210352 4293209344 134525046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 2301 1528 586 325 0 959 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9204
[startup+0.300127 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13617
/proc/meminfo: memFree=25817972/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=10920 CPUtime=0.28 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 2273 0 0 0 28 0 0 0 20 0 1 0 343326534 11182080 1932 33554432000 134512640 135840783 4293210352 4293009548 6399024 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 2730 1932 342 325 0 1666 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10920
[startup+0.700109 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13617
/proc/meminfo: memFree=25817972/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=10920 CPUtime=0.68 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 2274 0 0 0 68 0 0 0 20 0 1 0 343326534 11182080 1933 33554432000 134512640 135840783 4293210352 4293009548 6399024 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 2730 1933 342 325 0 1666 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10920
[startup+1.50011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25810268/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=10920 CPUtime=1.49 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 2274 0 0 0 148 1 0 0 20 0 1 0 343326534 11182080 1933 33554432000 134512640 135840783 4293210352 4293009548 6399024 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 2730 1933 342 325 0 1666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10920
[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25808748/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=10920 CPUtime=3.09 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 2275 0 0 0 308 1 0 0 20 0 1 0 343326534 11182080 1934 33554432000 134512640 135840783 4293210352 4293009548 6399024 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 2730 1934 342 325 0 1666 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10920
[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25805648/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=10920 CPUtime=6.28 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 2277 0 0 0 627 1 0 0 20 0 1 0 343326534 11182080 1936 33554432000 134512640 135840783 4293210352 4293009232 10976440 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13617/statm: 2730 1936 342 325 0 1666 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10920
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25792304/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=23524 CPUtime=12.67 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 5621 0 0 0 1264 3 0 0 20 0 1 0 343326534 24088576 5115 33554432000 134512640 135840783 4293210352 4293209664 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 5881 5115 347 325 0 4817 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23524
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25735388/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=71136 CPUtime=25.47 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 17528 0 0 0 2542 5 0 0 20 0 1 0 343326534 72843264 17022 33554432000 134512640 135840783 4293210352 4293200496 10978599 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 17784 17022 347 325 0 16720 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 71136
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25643752/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=141652 CPUtime=51.07 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 35170 0 0 0 5097 10 0 0 20 0 1 0 343326534 145051648 34664 33554432000 134512640 135840783 4293210352 4293209712 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 35413 34664 347 325 0 34349 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 141652
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13618
/proc/meminfo: memFree=25433200/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=312004 CPUtime=102.27 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 77762 0 0 0 10210 17 0 0 20 0 1 0 343326534 319492096 77256 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 78001 77256 347 325 0 76937 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 312004
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13657
/proc/meminfo: memFree=26976428/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=455912 CPUtime=162.23 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 113752 0 0 0 16198 25 0 0 20 0 1 0 343326534 466853888 113222 33554432000 134512640 135840783 4293210352 4293209712 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 113978 113222 347 325 0 112914 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 455912
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13660
/proc/meminfo: memFree=26686300/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=595096 CPUtime=222.21 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 148606 0 0 0 22187 34 0 0 20 0 1 0 343326534 609378304 148033 33554432000 134512640 135840783 4293210352 4293209648 134571798 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 148774 148033 347 325 0 147710 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 595096
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=26411924/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=723032 CPUtime=282.17 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 180617 0 0 0 28177 40 0 0 20 0 1 0 343326534 740384768 180009 33554432000 134512640 135840783 4293210352 4293209712 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 180758 180009 347 325 0 179694 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 723032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=26174744/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=842184 CPUtime=342.14 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 210441 0 0 0 34168 46 0 0 20 0 1 0 343326534 862396416 209805 33554432000 134512640 135840783 4293210352 4293209712 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 210546 209805 347 325 0 209482 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 842184
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25986044/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=937884 CPUtime=402.11 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 234380 0 0 0 40160 51 0 0 20 0 1 0 343326534 960393216 233713 33554432000 134512640 135840783 4293210352 4293209712 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 234471 233713 347 325 0 233407 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 937884
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25794868/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1027504 CPUtime=462.09 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 256806 0 0 0 46154 55 0 0 20 0 1 0 343326534 1052164096 256117 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 256876 256117 347 325 0 255812 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 1027504
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13661
/proc/meminfo: memFree=25617080/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1136804 CPUtime=522.05 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 284151 0 0 0 52145 60 0 0 20 0 1 0 343326534 1164087296 283430 33554432000 134512640 135840783 4293210352 4293209648 134571853 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 284201 283430 347 325 0 283137 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 1136804
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13662
/proc/meminfo: memFree=25458884/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1215868 CPUtime=582.03 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 303976 0 0 0 58139 64 0 0 20 0 1 0 343326534 1245048832 303228 33554432000 134512640 135840783 4293210352 4293209704 8517817 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 303967 303228 347 325 0 302903 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 1215868
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13868
/proc/meminfo: memFree=24715956/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1620904 CPUtime=881.91 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 405350 0 0 0 88105 86 0 0 20 0 1 0 343326534 1659805696 404480 33554432000 134512640 135840783 4293210352 4293209712 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 405226 404480 347 325 0 404162 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 1620904
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13868
/proc/meminfo: memFree=24547476/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1716140 CPUtime=941.89 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 429189 0 0 0 94098 91 0 0 20 0 1 0 343326534 1757327360 428295 33554432000 134512640 135840783 4293210352 4293209712 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 429035 428295 347 325 0 427971 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 1716140
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24404516/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1800868 CPUtime=1001.86 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 450364 0 0 0 100092 94 0 0 20 0 1 0 343326534 1844088832 449453 33554432000 134512640 135840783 4293210352 4293209712 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 450217 449453 347 325 0 449153 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 1800868
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24261076/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1887008 CPUtime=1061.85 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 471920 0 0 0 106085 100 0 0 20 0 1 0 343326534 1932296192 470988 33554432000 134512640 135840783 4293210352 4293209712 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 471752 470988 347 325 0 470688 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 1887008
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13869
/proc/meminfo: memFree=24141816/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=1948876 CPUtime=1121.81 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 487429 0 0 0 112078 103 0 0 20 0 1 0 343326534 1995649024 486473 33554432000 134512640 135840783 4293210352 4293209712 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 487219 486473 347 325 0 486155 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 1948876
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13870
/proc/meminfo: memFree=24027764/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2006360 CPUtime=1181.8 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 501817 0 0 0 118073 107 0 0 20 0 1 0 343326534 2054512640 500835 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 501590 500835 347 325 0 500526 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 2006360
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13870
/proc/meminfo: memFree=23874408/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2084180 CPUtime=1241.77 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 521301 0 0 0 124067 110 0 0 20 0 1 0 343326534 2134200320 520293 33554432000 134512640 135840783 4293210352 4293209712 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 521045 520293 347 325 0 519981 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 2084180
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13870
/proc/meminfo: memFree=23761720/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2147092 CPUtime=1301.75 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 537040 0 0 0 130062 113 0 0 20 0 1 0 343326534 2198622208 536016 33554432000 134512640 135840783 4293210352 4293209584 10981006 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 536773 536016 347 325 0 535709 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 2147092
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13870
/proc/meminfo: memFree=23630308/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2222428 CPUtime=1361.73 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 555900 0 0 0 136056 117 0 0 20 0 1 0 343326534 2275766272 554850 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 555607 554850 347 325 0 554543 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 2222428
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13873
/proc/meminfo: memFree=23523316/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2281160 CPUtime=1421.71 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 570620 0 0 0 142051 120 0 0 20 0 1 0 343326534 2335907840 569544 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 570290 569544 347 325 0 569226 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 2281160
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13874
/proc/meminfo: memFree=23407288/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2334296 CPUtime=1481.68 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 583938 0 0 0 148044 124 0 0 20 0 1 0 343326534 2390319104 582823 33554432000 134512640 135840783 4293210352 4293209648 134572899 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 583574 582823 347 325 0 582510 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 2334296
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13874
/proc/meminfo: memFree=23274140/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2414300 CPUtime=1541.66 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 603965 0 0 0 154038 128 0 0 20 0 1 0 343326534 2472243200 602825 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 603575 602825 347 325 0 602511 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 2414300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13875
/proc/meminfo: memFree=23195420/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2461008 CPUtime=1601.63 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 615645 0 0 0 160032 131 0 0 20 0 1 0 343326534 2520072192 614482 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 615252 614482 347 325 0 614188 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 2461008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13875
/proc/meminfo: memFree=23099856/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2520604 CPUtime=1661.6 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 630596 0 0 0 166026 134 0 0 20 0 1 0 343326534 2581098496 629407 33554432000 134512640 135840783 4293210352 4293209664 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 630151 629407 347 325 0 629087 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 2520604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13875
/proc/meminfo: memFree=22967468/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2582828 CPUtime=1721.59 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 646156 0 0 0 172022 137 0 0 20 0 1 0 343326534 2644815872 644964 33554432000 134512640 135840783 4293210352 4293209712 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 645707 644964 347 325 0 644643 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 2582828
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13876
/proc/meminfo: memFree=22881316/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2635940 CPUtime=1781.58 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 659425 0 0 0 178019 139 0 0 20 0 1 0 343326534 2699202560 658233 33554432000 134512640 135840783 4293210352 4293209712 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 658985 658233 347 325 0 657921 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 2635940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13876
/proc/meminfo: memFree=22854148/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2655196 CPUtime=1800.09 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 664251 0 0 0 179869 140 0 0 20 0 1 0 343326534 2718920704 663059 33554432000 134512640 135840783 4293210352 4293209712 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 663799 663059 347 325 0 662735 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2655196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13876
/proc/meminfo: memFree=22854148/32873648 swapFree=7112/7112
[pid=13617] ppid=13615 vsize=2655196 CPUtime=1800.09 cores=0,2,4,6
/proc/13617/stat : 13617 (bsolo3.0.17) R 13615 13617 11604 0 -1 4202496 664251 0 0 0 179869 140 0 0 20 0 1 0 343326534 2718920704 663059 33554432000 134512640 135840783 4293210352 4293209712 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13617/statm: 663799 663059 347 325 0 662735 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2655196
Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.12
CPU user time (s): 1798.69
CPU system time (s): 1.42478
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 2655196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.42478
maximum resident set size= 2652236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664254
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= 762
involuntary context switches= 1984
runsolver used 3.77243 second user time and 8.80166 second system time
The end