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-3446258-1306980760/watcher-3446258-1306980760 -o /tmp/evaluation-result-3446258-1306980760/solver-3446258-1306980760 -C 5000 -W 5100 -M 15500 adaptg2wsat2011 HOME/instance-3446258-1306980760.cnf 1427966907
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: 2.02 2.02 2.00 2/464 22147
/proc/meminfo: memFree=30374800/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069052 CPUtime=0.01 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 419 0 0 0 1 0 0 0 25 0 1 0 809675789 1094709248 362 33554432000 4194304 4230508 140737146572080 18446744073709551615 4207304 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267263 362 103 9 0 264420 0
[startup+0.0611729 s]
/proc/loadavg: 2.02 2.02 2.00 2/464 22147
/proc/meminfo: memFree=30374800/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069052 CPUtime=0.06 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 419 0 0 0 6 0 0 0 25 0 1 0 809675789 1094709248 362 33554432000 4194304 4230508 140737146572080 18446744073709551615 4207242 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267263 362 103 9 0 264420 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1069052
[startup+0.100216 s]
/proc/loadavg: 2.02 2.02 2.00 2/464 22147
/proc/meminfo: memFree=30374800/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069052 CPUtime=0.09 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 419 0 0 0 9 0 0 0 25 0 1 0 809675789 1094709248 362 33554432000 4194304 4230508 140737146572080 18446744073709551615 4207137 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267263 362 103 9 0 264420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1069052
[startup+0.300252 s]
/proc/loadavg: 2.02 2.02 2.00 2/464 22147
/proc/meminfo: memFree=30374800/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069052 CPUtime=0.29 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 419 0 0 0 29 0 0 0 25 0 1 0 809675789 1094709248 362 33554432000 4194304 4230508 140737146572080 18446744073709551615 4207141 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267263 362 103 9 0 264420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1069052
[startup+0.701172 s]
/proc/loadavg: 2.02 2.02 2.00 2/464 22147
/proc/meminfo: memFree=30374800/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=0.7 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 70 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 1069056
[startup+1.50103 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22148
/proc/meminfo: memFree=30372436/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=1.5 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 150 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220629 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1069056
[startup+3.10069 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22148
/proc/meminfo: memFree=30371444/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=3.1 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 310 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221643 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 1069056
[startup+6.30019 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22148
/proc/meminfo: memFree=30371104/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=6.3 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 630 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221759 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1069056
[startup+12.7011 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22148
/proc/meminfo: memFree=30370612/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=12.7 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 1270 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1069056
[startup+25.5008 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22149
/proc/meminfo: memFree=30371120/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=25.5 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 2550 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220018 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1069056
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 22149
/proc/meminfo: memFree=30371008/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=51.1 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 5110 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220564 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1069056
[startup+102.316 s]
/proc/loadavg: 2.04 2.03 2.00 3/465 22151
/proc/meminfo: memFree=30371288/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=102.31 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 10231 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222074 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1069056
[startup+162.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/465 22152
/proc/meminfo: memFree=30370628/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=162.3 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 16230 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4219776 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1069056
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/465 22154
/proc/meminfo: memFree=30370708/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=222.3 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 22230 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222148 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1069056
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 22156
/proc/meminfo: memFree=30371532/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=282.3 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 28230 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220528 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1069056
[startup+342.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/465 22157
/proc/meminfo: memFree=30370364/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=342.3 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 34230 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1069056
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22159
/proc/meminfo: memFree=30371052/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=402.3 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 40230 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220291 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1069056
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 22160
/proc/meminfo: memFree=30371008/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=462.31 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 46231 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220655 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1069056
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 22162
/proc/meminfo: memFree=30370968/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=522.31 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 52231 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222192 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1069056
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 22164
/proc/meminfo: memFree=30371044/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=582.31 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 58231 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221720 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1069056
[startup+642.301 s]
################
# More data... #
################
[startup+4062.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 22350
/proc/meminfo: memFree=30369116/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4062.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 406241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221866 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4062.41
Current children cumulated vsize (KiB) 1069056
[startup+4122.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/465 22352
/proc/meminfo: memFree=30368684/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4122.39 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 412239 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222090 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 1069056
[startup+4182.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/465 22354
/proc/meminfo: memFree=30368872/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4182.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 418240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220010 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4182.4
Current children cumulated vsize (KiB) 1069056
[startup+4242.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/465 22355
/proc/meminfo: memFree=30369056/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4242.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 424240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4219776 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 1069056
[startup+4302.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/465 22357
/proc/meminfo: memFree=30368872/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4302.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 430240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221941 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 1069056
[startup+4362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/465 22358
/proc/meminfo: memFree=30369068/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4362.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 436240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4219776 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 1069056
[startup+4422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/465 22360
/proc/meminfo: memFree=30369140/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4422.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 442240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220629 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 1069056
[startup+4482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/465 22362
/proc/meminfo: memFree=30369212/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4482.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 448240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 1069056
[startup+4542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 22363
/proc/meminfo: memFree=30369156/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4542.4 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 454240 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220604 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 1069056
[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 22365
/proc/meminfo: memFree=30368612/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4602.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 460241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222156 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 1069056
[startup+4662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 22366
/proc/meminfo: memFree=30367560/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4662.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 466241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222127 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 1069056
[startup+4722.32 s]
/proc/loadavg: 2.07 2.03 2.01 3/465 22368
/proc/meminfo: memFree=30368628/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4722.42 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 472242 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4219795 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 1069056
[startup+4782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/465 22370
/proc/meminfo: memFree=30368696/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4782.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 478241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222192 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 1069056
[startup+4842.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/465 22371
/proc/meminfo: memFree=30368392/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4842.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 484241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221816 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 1069056
[startup+4902.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/465 22373
/proc/meminfo: memFree=30368324/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4902.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 490241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4220684 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 1069056
[startup+4962.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 22374
/proc/meminfo: memFree=30368384/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=4962.41 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 496241 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4221866 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 1069056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 22375
/proc/meminfo: memFree=30368588/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=5000.02 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 500002 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222156 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 1069056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 22375
/proc/meminfo: memFree=30368588/32950928 swapFree=45617076/67111528
[pid=22147] ppid=22145 vsize=1069056 CPUtime=5000.02 cores=0,2,4,6
/proc/22147/stat : 22147 (adaptg2wsat2011) R 22145 22147 21041 0 -1 4202496 488 0 0 0 500002 0 0 0 25 0 1 0 809675789 1094713344 430 33554432000 4194304 4230508 140737146572080 18446744073709551615 4222156 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22147/statm: 267264 430 117 9 0 264421 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 1069056
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.04
CPU user time (s): 5000.03
CPU system time (s): 0.003999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1069056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000.03
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488
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= 8144
runsolver used 23.8654 second user time and 47.7287 second system time
The end