runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3426528-1306761780/watcher-3426528-1306761780 -o /tmp/evaluation-result-3426528-1306761780/solver-3426528-1306761780 -C 5000 -W 5100 -M 15500 sattime HOME/instance-3426528-1306761780.cnf 2028919283
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): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.23 0.05 0.25 2/572 28219
/proc/meminfo: memFree=6253484/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=990932 CPUtime=0.01 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4194304 508 0 0 0 1 0 0 0 22 0 1 0 787776841 1014714368 453 33554432000 4194304 4228548 140734149518096 18446744073709551615 268272349893 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 247733 453 101 9 0 244890 0
[startup+0.118543 s]
/proc/loadavg: 0.23 0.05 0.25 2/572 28219
/proc/meminfo: memFree=6253484/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=995684 CPUtime=0.11 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4194304 2273 0 0 0 11 0 0 0 23 0 1 0 787776841 1019580416 2218 33554432000 4194304 4228548 140734149518096 18446744073709551615 268272688896 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 248921 2220 101 9 0 246078 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 995684
[startup+0.200532 s]
/proc/loadavg: 0.23 0.05 0.25 2/572 28219
/proc/meminfo: memFree=6253484/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1017328 CPUtime=0.19 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 8678 0 0 0 18 1 0 0 23 0 1 0 787776841 1041743872 8622 33554432000 4194304 4228548 140734149518096 18446744073709551615 4207080 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 254332 8622 104 9 0 251489 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1017328
[startup+0.300507 s]
/proc/loadavg: 0.23 0.05 0.25 2/572 28219
/proc/meminfo: memFree=6253484/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1017328 CPUtime=0.29 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 8678 0 0 0 28 1 0 0 23 0 1 0 787776841 1041743872 8622 33554432000 4194304 4228548 140734149518096 18446744073709551615 4207154 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 254332 8622 104 9 0 251489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1017328
[startup+0.700487 s]
/proc/loadavg: 0.23 0.05 0.25 2/572 28219
/proc/meminfo: memFree=6253484/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1017328 CPUtime=0.69 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 8678 0 0 0 68 1 0 0 25 0 1 0 787776841 1041743872 8622 33554432000 4194304 4228548 140734149518096 18446744073709551615 4207277 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 254332 8622 104 9 0 251489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1017328
[startup+1.50041 s]
/proc/loadavg: 0.45 0.10 0.26 3/573 28220
/proc/meminfo: memFree=6216524/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1017328 CPUtime=1.49 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 8686 0 0 0 148 1 0 0 25 0 1 0 787776841 1041743872 8630 33554432000 4194304 4228548 140734149518096 18446744073709551615 4207139 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 254332 8630 104 9 0 251489 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1017328
[startup+3.10113 s]
/proc/loadavg: 0.45 0.10 0.26 3/573 28220
/proc/meminfo: memFree=6215656/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1017332 CPUtime=3.09 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 8986 0 0 0 308 1 0 0 25 0 1 0 787776841 1041747968 8930 33554432000 4194304 4228548 140734149518096 18446744073709551615 4212774 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 254333 8930 114 9 0 251490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1017332
[startup+6.30044 s]
/proc/loadavg: 0.45 0.10 0.26 3/573 28221
/proc/meminfo: memFree=6198276/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=6.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 628 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218767 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1027764
[startup+12.7003 s]
/proc/loadavg: 0.69 0.16 0.28 3/573 28221
/proc/meminfo: memFree=6196396/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=12.7 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 1268 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4216763 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1027764
[startup+25.5011 s]
/proc/loadavg: 0.89 0.22 0.30 3/573 28221
/proc/meminfo: memFree=6197992/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=25.5 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 2548 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217280 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1027764
[startup+51.1006 s]
/proc/loadavg: 1.43 0.39 0.35 3/573 28222
/proc/meminfo: memFree=6197908/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=51.1 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 5108 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217467 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1027764
[startup+102.3 s]
/proc/loadavg: 1.85 0.68 0.45 3/573 28223
/proc/meminfo: memFree=6196516/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=102.32 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 10230 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218137 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1027764
[startup+162.301 s]
/proc/loadavg: 1.94 0.92 0.54 3/573 28225
/proc/meminfo: memFree=6195372/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=162.29 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 16227 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218767 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1027764
[startup+222.322 s]
/proc/loadavg: 1.98 1.11 0.63 3/573 28226
/proc/meminfo: memFree=6197204/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=222.32 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 22230 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 1027764
[startup+282.3 s]
/proc/loadavg: 1.99 1.27 0.71 3/573 28228
/proc/meminfo: memFree=6197300/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=282.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 28228 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218137 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1027764
[startup+342.301 s]
/proc/loadavg: 1.99 1.40 0.79 3/573 28229
/proc/meminfo: memFree=6197132/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=342.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 34228 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217467 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1027764
[startup+402.301 s]
/proc/loadavg: 1.99 1.51 0.86 3/573 28231
/proc/meminfo: memFree=6197228/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=402.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 40228 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4216810 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1027764
[startup+462.301 s]
/proc/loadavg: 2.15 1.63 0.94 3/573 28233
/proc/meminfo: memFree=6198680/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=462.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 46228 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218137 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1027764
[startup+522.3 s]
/proc/loadavg: 2.13 1.71 1.01 3/573 28234
/proc/meminfo: memFree=6198656/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=522.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 52228 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218990 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1027764
[startup+582.301 s]
/proc/loadavg: 2.05 1.76 1.07 3/573 28236
/proc/meminfo: memFree=6198140/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=582.3 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 58228 2 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4219003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1027764
[startup+642.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/573 28339
/proc/meminfo: memFree=6198044/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4002.39 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 400233 6 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4219035 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4002.39
Current children cumulated vsize (KiB) 1027764
[startup+4062.3 s]
/proc/loadavg: 2.12 2.07 2.00 3/573 28341
/proc/meminfo: memFree=6196888/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4062.41 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 406235 6 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217280 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4062.41
Current children cumulated vsize (KiB) 1027764
[startup+4122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/573 28342
/proc/meminfo: memFree=6198108/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4122.4 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 412234 6 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217079 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4122.4
Current children cumulated vsize (KiB) 1027764
[startup+4182.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 28344
/proc/meminfo: memFree=6198936/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4182.42 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 418236 6 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217421 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 1027764
[startup+4242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 28345
/proc/meminfo: memFree=6198784/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4242.4 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 424234 6 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218110 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 1027764
[startup+4302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 28347
/proc/meminfo: memFree=6198500/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4302.4 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 430234 6 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218506 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 1027764
[startup+4362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 28349
/proc/meminfo: memFree=6198844/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4362.4 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 436233 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 1027764
[startup+4422.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/573 28350
/proc/meminfo: memFree=6198316/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4422.41 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 442234 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218965 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4422.41
Current children cumulated vsize (KiB) 1027764
[startup+4482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/573 28352
/proc/meminfo: memFree=6198032/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4482.41 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 448234 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4219003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 1027764
[startup+4542.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 28353
/proc/meminfo: memFree=6197636/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4542.41 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 454234 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 1027764
[startup+4602.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/573 28355
/proc/meminfo: memFree=6195744/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4602.41 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 460234 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4214910 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 1027764
[startup+4662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/573 28357
/proc/meminfo: memFree=6196328/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4662.41 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 466234 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218607 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 1027764
[startup+4722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/573 28358
/proc/meminfo: memFree=6195564/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4722.44 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 472237 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218965 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 1027764
[startup+4782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 28360
/proc/meminfo: memFree=6196772/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4782.42 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 478235 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218506 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4782.42
Current children cumulated vsize (KiB) 1027764
[startup+4842.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 28361
/proc/meminfo: memFree=6196988/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4842.44 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 484237 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4218775 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 1027764
[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 28363
/proc/meminfo: memFree=6197952/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4902.42 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 490235 7 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217502 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 1027764
[startup+4962.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/573 28365
/proc/meminfo: memFree=6198036/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=4962.43 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 496235 8 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 4962.43
Current children cumulated vsize (KiB) 1027764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 28394
/proc/meminfo: memFree=6252692/32950928 swapFree=49808508/67111528
[pid=28219] ppid=28217 vsize=1027764 CPUtime=5000.05 cores=0,2,4,6
/proc/28219/stat : 28219 (sattime) R 28217 28219 28127 0 -1 4202496 13456 0 0 0 499997 8 0 0 25 0 1 0 787776841 1052430336 13399 33554432000 4194304 4228548 140734149518096 18446744073709551615 4217291 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28219/statm: 256941 13399 116 9 0 254098 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 1027764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.06
CPU user time (s): 4999.97
CPU system time (s): 0.083987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1027764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.97
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13456
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= 3
involuntary context switches= 10445
runsolver used 29.3515 second user time and 66.099 second system time
The end