runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3499246-1308508306/watcher-3499246-1308508306 -o /tmp/evaluation-result-3499246-1308508306/solver-3499246-1308508306 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499246-1308508306.cnf 

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: 1.00 1.13 1.47 3/172 25261
/proc/meminfo: memFree=27448448/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0

[startup+0.0642749 s]
/proc/loadavg: 1.00 1.13 1.47 3/172 25261
/proc/meminfo: memFree=27448448/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100268 s]
/proc/loadavg: 1.00 1.13 1.47 3/172 25261
/proc/meminfo: memFree=27448448/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300247 s]
/proc/loadavg: 1.00 1.13 1.47 3/172 25261
/proc/meminfo: memFree=27448448/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700174 s]
/proc/loadavg: 1.00 1.13 1.47 3/172 25261
/proc/meminfo: memFree=27448448/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.50105 s]
/proc/loadavg: 1.16 1.16 1.48 3/180 25273
/proc/meminfo: memFree=27436000/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0
[pid=25262] ppid=25261 vsize=8216 CPUtime=1.49 cores=0,2,4,6
/proc/25262/stat : 25262 (march_dl2004) R 25261 25261 24199 0 -1 4202496 4651 0 0 0 149 0 0 0 25 0 1 0 962428629 8413184 1406 33554432000 134512640 134996440 4293595024 18446744073709551615 134536977 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/25262/statm: 2054 1406 75 119 0 1933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10352

[startup+3.10076 s]
/proc/loadavg: 1.16 1.16 1.48 3/180 25273
/proc/meminfo: memFree=27436248/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 962428629 2187264 114 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/25261/statm: 534 114 97 400 0 131 0
[pid=25262] ppid=25261 vsize=8344 CPUtime=3.09 cores=0,2,4,6
/proc/25262/stat : 25262 (march_dl2004) R 25261 25261 24199 0 -1 4202496 4699 0 0 0 309 0 0 0 25 0 1 0 962428629 8544256 1454 33554432000 134512640 134996440 4293595024 18446744073709551615 134532790 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/25262/statm: 2086 1454 75 119 0 1965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10480

[startup+6.30023 s]
/proc/loadavg: 1.16 1.16 1.48 3/180 25274
/proc/meminfo: memFree=27437860/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=2136 CPUtime=4.99 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 187 4726 0 0 0 0 499 0 18 0 1 0 962428629 2187264 127 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/25261/statm: 534 127 108 400 0 131 0
[pid=25274] ppid=25261 vsize=5448 CPUtime=1.29 cores=0,2,4,6
/proc/25274/stat : 25274 (mxc-sr08) R 25261 25261 24199 0 -1 4202496 1511 0 0 0 129 0 0 0 22 0 1 0 962429129 5578752 1258 33554432000 134512640 135078026 4291969344 18446744073709551615 134534011 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25274/statm: 1362 1258 73 139 0 1221 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7584

[startup+12.7011 s]
/proc/loadavg: 1.29 1.18 1.48 3/180 25279
/proc/meminfo: memFree=27433532/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=4592 CPUtime=11.35 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 1325 8409 0 0 123 0 1011 1 19 0 1 0 962428629 4702208 767 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/25261/statm: 1148 767 137 400 0 745 0
[pid=25278] ppid=25261 vsize=8516 CPUtime=1.32 cores=0,2,4,6
/proc/25278/stat : 25278 (zchaff07) R 25261 25261 24199 0 -1 4202496 1740 0 0 0 130 2 0 0 25 0 1 0 962429766 8720384 1373 33554432000 134512640 135538726 4290103440 18446744073709551615 134544214 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25278/statm: 2129 1373 127 251 0 1876 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13108

[startup+25.5008 s]
/proc/loadavg: 1.40 1.21 1.49 3/180 25281
/proc/meminfo: memFree=27423116/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=8604 CPUtime=6.79 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 4747 0 0 0 679 0 0 0 25 0 1 0 962430498 8810496 1502 33554432000 134512640 134996440 4294124688 18446744073709551615 134533010 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/25280/statm: 2151 1502 75 119 0 2030 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 16000

[startup+51.1003 s]
/proc/loadavg: 1.60 1.27 1.50 3/180 25282
/proc/meminfo: memFree=27422128/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=9120 CPUtime=32.39 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 4890 0 0 0 3238 1 0 0 25 0 1 0 962430498 9338880 1645 33554432000 134512640 134996440 4294124688 18446744073709551615 134567941 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2280 1645 75 119 0 2159 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 16516

[startup+102.306 s]
/proc/loadavg: 1.84 1.39 1.52 3/180 25283
/proc/meminfo: memFree=27421496/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=9508 CPUtime=83.59 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 4970 0 0 0 8358 1 0 0 25 0 1 0 962430498 9736192 1725 33554432000 134512640 134996440 4294124688 18446744073709551615 134532803 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2377 1725 75 119 0 2256 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16904

[startup+162.301 s]
/proc/loadavg: 1.94 1.50 1.55 3/180 25285
/proc/meminfo: memFree=27421104/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=9636 CPUtime=143.59 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5008 0 0 0 14358 1 0 0 25 0 1 0 962430498 9867264 1763 33554432000 134512640 134996440 4294124688 18446744073709551615 134528049 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2409 1763 75 119 0 2288 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17032

[startup+222.3 s]
/proc/loadavg: 1.98 1.59 1.58 3/180 25287
/proc/meminfo: memFree=27421080/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=9636 CPUtime=203.59 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5028 0 0 0 20358 1 0 0 25 0 1 0 962430498 9867264 1783 33554432000 134512640 134996440 4294124688 18446744073709551615 134532802 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2409 1783 75 119 0 2288 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 17032

[startup+282.301 s]
/proc/loadavg: 1.99 1.66 1.60 3/180 25288
/proc/meminfo: memFree=27421068/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=9768 CPUtime=263.59 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5046 0 0 0 26358 1 0 0 25 0 1 0 962430498 10002432 1801 33554432000 134512640 134996440 4294124688 18446744073709551615 134527862 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2442 1801 75 119 0 2321 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 17164

[startup+342.301 s]
/proc/loadavg: 1.99 1.72 1.62 3/180 25290
/proc/meminfo: memFree=27420932/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=9768 CPUtime=323.59 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5054 0 0 0 32358 1 0 0 25 0 1 0 962430498 10002432 1809 33554432000 134512640 134996440 4294124688 18446744073709551615 134532777 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2442 1809 75 119 0 2321 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 17164

[startup+402.301 s]
/proc/loadavg: 1.99 1.77 1.64 3/180 25291
/proc/meminfo: memFree=27420928/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6

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


[startup+2442.3 s]
/proc/loadavg: 1.61 1.90 1.88 2/173 25382
/proc/meminfo: memFree=27466560/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10552 CPUtime=2423.64 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5248 0 0 0 242362 2 0 0 25 0 1 0 962430498 10805248 2003 33554432000 134512640 134996440 4294124688 18446744073709551615 134536977 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2638 2003 75 119 0 2517 0
Current children cumulated CPU time (s) 2442.31
Current children cumulated vsize (KiB) 17948

[startup+2502.3 s]
/proc/loadavg: 1.22 1.74 1.83 2/173 25383
/proc/meminfo: memFree=27466664/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10552 CPUtime=2483.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5250 0 0 0 248363 2 0 0 25 0 1 0 962430498 10805248 2005 33554432000 134512640 134996440 4294124688 18446744073709551615 134533023 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2638 2005 75 119 0 2517 0
Current children cumulated CPU time (s) 2502.32
Current children cumulated vsize (KiB) 17948

[startup+2562.3 s]
/proc/loadavg: 1.08 1.60 1.77 2/173 25385
/proc/meminfo: memFree=27466648/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10552 CPUtime=2543.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5251 0 0 0 254363 2 0 0 25 0 1 0 962430498 10805248 2006 33554432000 134512640 134996440 4294124688 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2638 2006 75 119 0 2517 0
Current children cumulated CPU time (s) 2562.32
Current children cumulated vsize (KiB) 17948

[startup+2622.3 s]
/proc/loadavg: 1.03 1.49 1.72 2/173 25387
/proc/meminfo: memFree=27466996/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10552 CPUtime=2603.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5252 0 0 0 260363 2 0 0 25 0 1 0 962430498 10805248 2007 33554432000 134512640 134996440 4294124688 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2638 2007 75 119 0 2517 0
Current children cumulated CPU time (s) 2622.32
Current children cumulated vsize (KiB) 17948

[startup+2682.3 s]
/proc/loadavg: 1.01 1.40 1.67 2/173 25388
/proc/meminfo: memFree=27466972/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2663.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5259 0 0 0 266363 2 0 0 25 0 1 0 962430498 10936320 2014 33554432000 134512640 134996440 4294124688 18446744073709551615 134528374 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2014 75 119 0 2549 0
Current children cumulated CPU time (s) 2682.32
Current children cumulated vsize (KiB) 18076

[startup+2742.31 s]
/proc/loadavg: 1.00 1.32 1.63 2/173 25390
/proc/meminfo: memFree=27466964/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2723.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5260 0 0 0 272363 2 0 0 25 0 1 0 962430498 10936320 2015 33554432000 134512640 134996440 4294124688 18446744073709551615 134551585 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2015 75 119 0 2549 0
Current children cumulated CPU time (s) 2742.32
Current children cumulated vsize (KiB) 18076

[startup+2802.3 s]
/proc/loadavg: 1.00 1.26 1.59 2/173 25391
/proc/meminfo: memFree=27466952/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2783.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 278363 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134528346 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2802.32
Current children cumulated vsize (KiB) 18076

[startup+2862.3 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2843.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 284363 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134526930 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2862.32
Current children cumulated vsize (KiB) 18076

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

[startup+2867.1 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2848.45 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 284843 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134532968 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2867.12
Current children cumulated vsize (KiB) 18076

[startup+2868.7 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2850.06 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 285004 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134526897 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2868.73
Current children cumulated vsize (KiB) 18076

[startup+2869.5 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2850.85 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 285083 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134528042 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2869.52
Current children cumulated vsize (KiB) 18076

[startup+2870.3 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2851.65 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 285163 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134533001 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2870.32
Current children cumulated vsize (KiB) 18076

[startup+2870.7 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2852.05 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 285203 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134526930 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2870.72
Current children cumulated vsize (KiB) 18076

[startup+2870.8 s]
/proc/loadavg: 1.00 1.21 1.54 2/173 25393
/proc/meminfo: memFree=27467304/32951124 swapFree=67056676/67111528
[pid=25261] ppid=25259 vsize=7396 CPUtime=18.67 cores=0,2,4,6
/proc/25261/stat : 25261 (SATzilla2009_C) S 25259 25261 24199 0 -1 4202496 2870 10426 0 0 652 4 1208 3 25 0 1 0 962428629 7573504 1549 33554432000 134512640 136149437 4294150144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/25261/statm: 1849 1549 220 400 0 1446 0
[pid=25280] ppid=25261 vsize=10680 CPUtime=2852.15 cores=0,2,4,6
/proc/25280/stat : 25280 (march_dl2004) R 25261 25261 24199 0 -1 4202496 5263 0 0 0 285213 2 0 0 25 0 1 0 962430498 10936320 2018 33554432000 134512640 134996440 4294124688 18446744073709551615 134537274 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/25280/statm: 2670 2018 75 119 0 2549 0
Current children cumulated CPU time (s) 2870.82
Current children cumulated vsize (KiB) 18076

Child status: 10
Real time (s): 2870.86
CPU time (s): 2870.92
CPU user time (s): 2870.8
CPU system time (s): 0.113982
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 18076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2870.8
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18572
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= 4579

runsolver used 4.38933 second user time and 8.66768 second system time

The end