runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3219709-1303237483/watcher-3219709-1303237483 -o /tmp/evaluation-result-3219709-1303237483/solver-3219709-1303237483 -C 5000 -W 5000 -M 15500 sparrow2011 HOME/instance-3219709-1303237483.cnf 1155966265
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 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: 1.89 1.95 1.98 2/177 4810
/proc/meminfo: memFree=16717020/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=12232 CPUtime=0 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 390 0 0 0 0 0 0 0 24 0 1 0 513979010 12525568 332 33554432000 4194304 4568220 140734237883072 18446744073709551615 4464883 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 3058 332 147 92 0 1442 0
[startup+0.0417661 s]
/proc/loadavg: 1.89 1.95 1.98 2/177 4810
/proc/meminfo: memFree=16717020/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=0.03 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1666 0 0 0 3 0 0 0 24 0 1 0 513979010 16719872 1607 33554432000 4194304 4568220 140734237883072 18446744073709551615 4453371 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1607 164 92 0 2466 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16328
[startup+0.100758 s]
/proc/loadavg: 1.89 1.95 1.98 2/177 4810
/proc/meminfo: memFree=16717020/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=0.09 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1667 0 0 0 9 0 0 0 24 0 1 0 513979010 16719872 1608 33554432000 4194304 4568220 140734237883072 18446744073709551615 4453339 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1608 164 92 0 2466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16328
[startup+0.300717 s]
/proc/loadavg: 1.89 1.95 1.98 2/177 4810
/proc/meminfo: memFree=16717020/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=0.29 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 29 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239734 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16328
[startup+0.700649 s]
/proc/loadavg: 1.89 1.95 1.98 2/177 4810
/proc/meminfo: memFree=16717020/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=0.69 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 69 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16328
[startup+1.5005 s]
/proc/loadavg: 1.89 1.95 1.98 3/178 4811
/proc/meminfo: memFree=16710940/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1.49 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 149 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239684 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16328
[startup+3.10019 s]
/proc/loadavg: 1.89 1.95 1.98 3/178 4811
/proc/meminfo: memFree=16710568/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=3.09 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 309 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239487 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16328
[startup+6.30058 s]
/proc/loadavg: 1.90 1.95 1.98 3/178 4811
/proc/meminfo: memFree=16710580/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=6.29 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 629 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239708 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16328
[startup+12.7004 s]
/proc/loadavg: 1.91 1.95 1.98 3/178 4811
/proc/meminfo: memFree=16710168/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=12.69 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 1269 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239280 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16328
[startup+25.5009 s]
/proc/loadavg: 1.93 1.96 1.98 3/178 4812
/proc/meminfo: memFree=16710164/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=25.49 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 2549 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239482 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16328
[startup+51.1011 s]
/proc/loadavg: 1.95 1.96 1.98 3/178 4812
/proc/meminfo: memFree=16710232/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=51.1 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 5110 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239487 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 16328
[startup+102.306 s]
/proc/loadavg: 1.98 1.96 1.98 3/178 4814
/proc/meminfo: memFree=16709832/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=102.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 10230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240176 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 16328
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 4815
/proc/meminfo: memFree=16709916/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=162.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 16230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239292 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 16328
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 4817
/proc/meminfo: memFree=16709868/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=222.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 22230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16328
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 4818
/proc/meminfo: memFree=16709848/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=282.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 28230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239482 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16328
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 4820
/proc/meminfo: memFree=16709780/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=342.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 34230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239482 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 16328
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 4822
/proc/meminfo: memFree=16709736/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=402.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 40230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240189 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 16328
[startup+462.301 s]
/proc/loadavg: 2.05 1.99 1.99 3/178 4823
/proc/meminfo: memFree=16709820/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=462.3 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 46230 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239292 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 16328
[startup+522.301 s]
/proc/loadavg: 2.02 1.99 1.99 3/178 4825
/proc/meminfo: memFree=16710040/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=522.31 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 52231 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 16328
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 4826
/proc/meminfo: memFree=16710124/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=582.31 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 58231 0 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239708 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 16328
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=16709188/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1422.35 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 142234 1 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240189 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 16328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 4853
/proc/meminfo: memFree=16709016/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1482.34 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 148233 1 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240195 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 16328
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 4855
/proc/meminfo: memFree=16709096/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1542.34 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 154233 1 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240205 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 16328
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 4857
/proc/meminfo: memFree=16709072/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1602.35 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 160234 1 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239487 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 16328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4858
/proc/meminfo: memFree=16709036/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1662.35 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 166233 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239668 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 16328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4860
/proc/meminfo: memFree=16709008/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1722.35 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 172233 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239482 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 16328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4861
/proc/meminfo: memFree=16708960/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1782.36 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 178234 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239482 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 16328
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4863
/proc/meminfo: memFree=16708684/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1842.36 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 184234 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239292 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 16328
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4865
/proc/meminfo: memFree=16708872/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1902.36 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 190234 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240176 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 16328
[startup+1962.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 4866
/proc/meminfo: memFree=16708960/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=1962.37 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 196235 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239286 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 16328
[startup+2022.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4868
/proc/meminfo: memFree=16709048/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2022.37 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 202235 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239743 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 16328
[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4869
/proc/meminfo: memFree=16709008/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2082.37 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 208235 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239298 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 16328
Solver just ended. Dumping a history of the last processes samples
[startup+2099.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709124/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2099.17 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 209915 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239928 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2099.17
Current children cumulated vsize (KiB) 16328
[startup+2111.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709124/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2111.97 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 211195 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4476763 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2111.97
Current children cumulated vsize (KiB) 16328
[startup+2115.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709244/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2115.17 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 211515 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239487 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2115.17
Current children cumulated vsize (KiB) 16328
[startup+2118.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709120/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2118.37 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 211835 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240195 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2118.37
Current children cumulated vsize (KiB) 16328
[startup+2119.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709228/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2119.17 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 211915 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239482 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2119.17
Current children cumulated vsize (KiB) 16328
[startup+2119.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709228/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2119.57 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 211955 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4240131 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2119.57
Current children cumulated vsize (KiB) 16328
[startup+2119.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4870
/proc/meminfo: memFree=16709228/32950928 swapFree=67111524/67111528
[pid=4810] ppid=4808 vsize=16328 CPUtime=2119.97 cores=0,2,4,6
/proc/4810/stat : 4810 (sparrow2011) R 4808 4810 3920 0 -1 4202496 1844 0 0 0 211995 2 0 0 25 0 1 0 513979010 16719872 1785 33554432000 4194304 4568220 140734237883072 18446744073709551615 4239280 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4810/statm: 4082 1785 172 92 0 2466 0
Current children cumulated CPU time (s) 2119.97
Current children cumulated vsize (KiB) 16328
Child status: 10
Real time (s): 2119.99
CPU time (s): 2120.06
CPU user time (s): 2120.04
CPU system time (s): 0.021996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 16328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2120.04
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1862
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= 5
involuntary context switches= 4531
runsolver used 3.15152 second user time and 6.49101 second system time
The end