runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3446282-1306982430/watcher-3446282-1306982430 -o /tmp/evaluation-result-3446282-1306982430/solver-3446282-1306982430 -C 5000 -W 5100 -M 15500 adaptg2wsat2011 HOME/instance-3446282-1306982430.cnf 555898678
running on 4 cores: 1,3,5,7
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.92 1.06 1.42 4/436 25331
/proc/meminfo: memFree=24999060/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068524 CPUtime=0.01 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 297 0 0 0 1 0 0 0 18 0 1 0 790658603 1094168576 240 33554432000 4194304 4230508 140736848953408 18446744073709551615 4207106 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267131 240 103 9 0 264288 0
[startup+0.114429 s]
/proc/loadavg: 0.92 1.06 1.42 4/436 25331
/proc/meminfo: memFree=24999060/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=0.11 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 11 0 0 0 18 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220684 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1068660
[startup+0.200409 s]
/proc/loadavg: 0.92 1.06 1.42 4/436 25331
/proc/meminfo: memFree=24999060/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=0.19 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 19 0 0 0 18 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1068660
[startup+0.300402 s]
/proc/loadavg: 0.92 1.06 1.42 4/436 25331
/proc/meminfo: memFree=24999060/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=0.29 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 29 0 0 0 18 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220604 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1068660
[startup+0.700309 s]
/proc/loadavg: 0.92 1.06 1.42 4/436 25331
/proc/meminfo: memFree=24999060/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=0.69 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 69 0 0 0 18 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220670 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1068660
[startup+1.50015 s]
/proc/loadavg: 0.92 1.06 1.42 3/438 25360
/proc/meminfo: memFree=24995876/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=1.49 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 149 0 0 0 20 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1068660
[startup+3.10084 s]
/proc/loadavg: 0.92 1.06 1.42 3/438 25360
/proc/meminfo: memFree=24994016/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=3.09 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 309 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1068660
[startup+6.3002 s]
/proc/loadavg: 1.01 1.08 1.43 3/438 25360
/proc/meminfo: memFree=24993412/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=6.29 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 629 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222174 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1068660
[startup+12.7009 s]
/proc/loadavg: 1.09 1.09 1.43 3/438 25360
/proc/meminfo: memFree=24992736/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=12.7 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 1270 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220906 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1068660
[startup+25.5004 s]
/proc/loadavg: 1.29 1.14 1.44 3/438 25360
/proc/meminfo: memFree=24993460/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=25.5 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 2550 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220659 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1068660
[startup+51.1003 s]
/proc/loadavg: 1.53 1.20 1.45 3/438 25361
/proc/meminfo: memFree=24993836/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=51.1 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 5110 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4221643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1068660
[startup+102.301 s]
/proc/loadavg: 1.79 1.32 1.48 3/438 25363
/proc/meminfo: memFree=24992200/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=102.31 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 10231 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4221311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1068660
[startup+162.3 s]
/proc/loadavg: 1.92 1.44 1.51 3/438 25364
/proc/meminfo: memFree=24991768/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=162.3 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 16230 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222112 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1068660
[startup+222.315 s]
/proc/loadavg: 1.97 1.54 1.54 3/438 25366
/proc/meminfo: memFree=24993724/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=222.32 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 22232 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220324 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 1068660
[startup+282.3 s]
/proc/loadavg: 2.04 1.64 1.57 3/438 25367
/proc/meminfo: memFree=24994532/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=282.31 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 28231 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220496 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 1068660
[startup+342.301 s]
/proc/loadavg: 2.09 1.72 1.60 3/438 25369
/proc/meminfo: memFree=24994116/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=342.31 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 34231 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1068660
[startup+402.301 s]
/proc/loadavg: 2.03 1.77 1.62 3/438 25371
/proc/meminfo: memFree=24994072/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=402.31 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 40231 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222074 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1068660
[startup+462.301 s]
/proc/loadavg: 2.01 1.81 1.64 3/438 25372
/proc/meminfo: memFree=24994036/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=462.32 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 46232 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4221776 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 1068660
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.66 3/438 25374
/proc/meminfo: memFree=24994112/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=522.32 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 52232 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220684 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 1068660
[startup+582.301 s]
/proc/loadavg: 2.00 1.86 1.68 3/438 25375
/proc/meminfo: memFree=24994200/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=582.32 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 58232 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220604 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1068660
[startup+642.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/438 25479
/proc/meminfo: memFree=24992100/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4002.38 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 400238 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220291 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4002.38
Current children cumulated vsize (KiB) 1068660
[startup+4062.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/438 25480
/proc/meminfo: memFree=24991828/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4062.39 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 406239 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222172 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4062.39
Current children cumulated vsize (KiB) 1068660
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/438 25482
/proc/meminfo: memFree=24992040/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4122.39 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 412239 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4216821 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 1068660
[startup+4182.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/438 25483
/proc/meminfo: memFree=24992140/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4182.4 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 418240 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4216937 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4182.4
Current children cumulated vsize (KiB) 1068660
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/438 25485
/proc/meminfo: memFree=24992840/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4242.39 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 424239 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4219935 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 1068660
[startup+4302.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/438 25487
/proc/meminfo: memFree=24991948/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4302.39 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 430239 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220254 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4302.39
Current children cumulated vsize (KiB) 1068660
[startup+4362.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/438 25488
/proc/meminfo: memFree=24992028/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4362.4 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 436240 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220541 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 1068660
[startup+4422.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/438 25490
/proc/meminfo: memFree=24991748/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4422.4 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 442240 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4216977 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 1068660
[startup+4482.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/438 25491
/proc/meminfo: memFree=24991960/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4482.4 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 448240 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222174 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 1068660
[startup+4542.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/438 25493
/proc/meminfo: memFree=24992056/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4542.41 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 454241 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4201058 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 1068660
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/438 25495
/proc/meminfo: memFree=24991772/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4602.41 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 460241 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222211 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 1068660
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/438 25496
/proc/meminfo: memFree=24990004/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4662.41 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 466241 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222228 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 1068660
[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/438 25498
/proc/meminfo: memFree=24991700/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4722.43 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 472243 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220684 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 1068660
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/438 25499
/proc/meminfo: memFree=24992660/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4782.42 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 478242 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222174 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4782.42
Current children cumulated vsize (KiB) 1068660
[startup+4842.31 s]
/proc/loadavg: 2.04 2.01 1.97 3/438 25510
/proc/meminfo: memFree=24990224/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4842.43 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 484243 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220254 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4842.43
Current children cumulated vsize (KiB) 1068660
[startup+4902.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/438 25512
/proc/meminfo: memFree=24990772/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4902.42 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 490242 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 270337784365 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 1068660
[startup+4962.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/438 25513
/proc/meminfo: memFree=24990716/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=4962.42 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 496242 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4220629 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 1068660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.02 2.02 1.98 3/438 25514
/proc/meminfo: memFree=24990820/32951124 swapFree=50923800/67111528
[pid=25329] ppid=25326 vsize=1068660 CPUtime=5000.04 cores=1,3,5,7
/proc/25329/stat : 25329 (adaptg2wsat2011) R 25326 25329 24022 0 -1 4202496 367 0 0 0 500004 0 0 0 25 0 1 0 790658603 1094307840 309 33554432000 4194304 4230508 140736848953408 18446744073709551615 4222211 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25329/statm: 267165 309 117 9 0 264322 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 1068660
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.05
CPU user time (s): 5000.05
CPU system time (s): 0.001999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1068660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000.05
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367
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= 22
involuntary context switches= 46900
runsolver used 19.0131 second user time and 44.7622 second system time
The end