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-3209470-1303120799/watcher-3209470-1303120799 -o /tmp/evaluation-result-3209470-1303120799/solver-3209470-1303120799 -C 5000 -W 5000 -M 15500 HOME/SATzilla2009_R HOME/instance-3209470-1303120799.cnf 

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): 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: 0.00 0.00 0.00 2/178 25199
/proc/meminfo: memFree=17348512/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0

[startup+0.028321 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 25199
/proc/meminfo: memFree=17348512/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100308 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 25199
/proc/meminfo: memFree=17348512/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300273 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 25199
/proc/meminfo: memFree=17348512/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700242 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 25199
/proc/meminfo: memFree=17348512/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.50106 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 25201
/proc/meminfo: memFree=17340568/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
[pid=25200] ppid=25199 vsize=18452 CPUtime=1.49 cores=1,3,5,7
/proc/25200/stat : 25200 (SATenstein) R 25199 25199 25160 0 -1 4202496 1639 0 0 0 149 0 0 0 25 0 1 0 502310763 18894848 1594 33554432000 134512640 134854740 4292454592 18446744073709551615 134760323 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/25200/statm: 4613 1594 240 84 0 4138 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20588

[startup+3.10078 s]
/proc/loadavg: 0.00 0.00 0.00 3/180 25201
/proc/meminfo: memFree=17341684/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
[pid=25200] ppid=25199 vsize=18452 CPUtime=3.09 cores=1,3,5,7
/proc/25200/stat : 25200 (SATenstein) R 25199 25199 25160 0 -1 4202496 1639 0 0 0 309 0 0 0 25 0 1 0 502310763 18894848 1594 33554432000 134512640 134854740 4292454592 18446744073709551615 134760012 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/25200/statm: 4613 1594 240 84 0 4138 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20588

[startup+6.30022 s]
/proc/loadavg: 0.16 0.03 0.01 3/180 25201
/proc/meminfo: memFree=17342436/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
[pid=25200] ppid=25199 vsize=18452 CPUtime=6.29 cores=1,3,5,7
/proc/25200/stat : 25200 (SATenstein) R 25199 25199 25160 0 -1 4202496 1639 0 0 0 629 0 0 0 25 0 1 0 502310763 18894848 1594 33554432000 134512640 134854740 4292454592 18446744073709551615 134760382 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/25200/statm: 4613 1594 240 84 0 4138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20588

[startup+12.7001 s]
/proc/loadavg: 0.31 0.07 0.02 3/180 25202
/proc/meminfo: memFree=17342756/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
[pid=25200] ppid=25199 vsize=18452 CPUtime=12.69 cores=1,3,5,7
/proc/25200/stat : 25200 (SATenstein) R 25199 25199 25160 0 -1 4202496 1639 0 0 0 1269 0 0 0 25 0 1 0 502310763 18894848 1594 33554432000 134512640 134854740 4292454592 18446744073709551615 134761101 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/25200/statm: 4613 1594 240 84 0 4138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20588

[startup+25.5009 s]
/proc/loadavg: 0.68 0.16 0.05 3/180 25202
/proc/meminfo: memFree=17343560/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 161 0 0 0 0 0 0 0 21 0 1 0 502310763 2187264 113 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 1 0 0 0
/proc/25199/statm: 534 113 97 400 0 131 0
[pid=25200] ppid=25199 vsize=18452 CPUtime=25.5 cores=1,3,5,7
/proc/25200/stat : 25200 (SATenstein) R 25199 25199 25160 0 -1 4202496 1639 0 0 0 2550 0 0 0 25 0 1 0 502310763 18894848 1594 33554432000 134512640 134854740 4292454592 18446744073709551615 134760379 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/25200/statm: 4613 1594 240 84 0 4138 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 20588

[startup+51.1004 s]
/proc/loadavg: 1.13 0.31 0.10 3/180 25205
/proc/meminfo: memFree=17339364/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=2136 CPUtime=29.99 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 181 1639 0 0 0 0 2999 0 18 0 1 0 502310763 2187264 122 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 534 122 105 400 0 131 0
[pid=25204] ppid=25199 vsize=9308 CPUtime=21.09 cores=1,3,5,7
/proc/25204/stat : 25204 (mxc-sr08) R 25199 25199 25160 0 -1 4202496 2541 0 0 0 2109 0 0 0 25 0 1 0 502313763 9531392 2222 33554432000 134512640 135078026 4291357536 18446744073709551615 134534226 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25204/statm: 2327 2222 73 139 0 2186 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11444

[startup+102.3 s]
/proc/loadavg: 1.65 0.59 0.21 3/180 25221
/proc/meminfo: memFree=17330344/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=33.5 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 3350 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134541388 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 228376

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/180 25223
/proc/meminfo: memFree=17330196/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=93.5 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 9350 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134541003 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 228376

[startup+222.306 s]
/proc/loadavg: 1.95 1.05 0.42 3/180 25224
/proc/meminfo: memFree=17330292/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=153.51 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 15351 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542973 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 228376

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/180 25226
/proc/meminfo: memFree=17330392/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=213.5 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 21350 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542147 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 228376

[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.60 3/180 25227
/proc/meminfo: memFree=17330488/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=273.5 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 27350 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542486 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 228376

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.68 3/180 25229
/proc/meminfo: memFree=17330588/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7

################
# More data... #
################


[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 25345
/proc/meminfo: memFree=17329788/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4233.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 423360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542476 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4302.36
Current children cumulated vsize (KiB) 228376

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 25347
/proc/meminfo: memFree=17329880/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4293.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 429360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134541334 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4362.36
Current children cumulated vsize (KiB) 228376

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 25348
/proc/meminfo: memFree=17329976/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4353.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 435360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134552683 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4422.36
Current children cumulated vsize (KiB) 228376

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 25350
/proc/meminfo: memFree=17329828/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4413.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 441360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542016 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4482.36
Current children cumulated vsize (KiB) 228376

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 25351
/proc/meminfo: memFree=17330048/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4473.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 447360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134541194 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4542.36
Current children cumulated vsize (KiB) 228376

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 25353
/proc/meminfo: memFree=17329656/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4533.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 453360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134543411 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4602.36
Current children cumulated vsize (KiB) 228376

[startup+4662.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/180 25355
/proc/meminfo: memFree=17329752/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4593.6 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 459360 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542973 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4662.36
Current children cumulated vsize (KiB) 228376

[startup+4722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 25356
/proc/meminfo: memFree=17329604/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4653.61 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 465361 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542973 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4722.37
Current children cumulated vsize (KiB) 228376

[startup+4782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/180 25358
/proc/meminfo: memFree=17329700/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4713.61 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 471361 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134541403 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4782.37
Current children cumulated vsize (KiB) 228376

[startup+4842.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 25359
/proc/meminfo: memFree=17329928/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4773.62 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 477362 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542365 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4842.38
Current children cumulated vsize (KiB) 228376

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 25361
/proc/meminfo: memFree=17329772/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4833.61 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 483361 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134543028 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4902.37
Current children cumulated vsize (KiB) 228376

Solver just ended. Dumping a history of the last processes samples

[startup+4902.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 25361
/proc/meminfo: memFree=17329772/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4833.71 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 483371 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134542491 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 228376

[startup+4902.81 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 25361
/proc/meminfo: memFree=17329772/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4834.12 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 483412 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134543359 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4902.88
Current children cumulated vsize (KiB) 228376

[startup+4902.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 25361
/proc/meminfo: memFree=17329772/32950940 swapFree=67111528/67111528
[pid=25199] ppid=25197 vsize=6780 CPUtime=68.76 cores=1,3,5,7
/proc/25199/stat : 25199 (SATzilla2009_R) S 25197 25199 25160 0 -1 4202496 2760 6475 0 0 659 15 6158 44 25 0 1 0 502310763 6942720 1412 33554432000 134512640 136149437 4291233088 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 3 0 0 0
/proc/25199/statm: 1695 1412 220 400 0 1292 0
[pid=25220] ppid=25199 vsize=221596 CPUtime=4834.21 cores=1,3,5,7
/proc/25220/stat : 25220 (adaptg2wsat+) R 25199 25199 25160 0 -1 4202496 1613 0 0 0 483421 0 0 0 25 0 1 0 502317643 226914304 1582 33554432000 134512640 134921272 4293294832 18446744073709551615 134541403 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/25220/statm: 55399 1582 43 100 0 54906 0
Current children cumulated CPU time (s) 4902.97
Current children cumulated vsize (KiB) 228376

Child status: 10
Real time (s): 4902.94
CPU time (s): 4903.05
CPU user time (s): 4902.44
CPU system time (s): 0.607907
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 228376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4902.44
system time used= 0.607907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10876
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= 16
involuntary context switches= 12671

runsolver used 6.94394 second user time and 15.3467 second system time

The end