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-3209858-1303132345/watcher-3209858-1303132345 -o /tmp/evaluation-result-3209858-1303132345/solver-3209858-1303132345 -C 5000 -W 5000 -M 15500 HOME/SATzilla2009_R HOME/instance-3209858-1303132345.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): 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: 1.92 1.99 1.99 3/182 11771
/proc/meminfo: memFree=16395044/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
[startup+0.023582 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 11771
/proc/meminfo: memFree=16395044/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.100617 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 11771
/proc/meminfo: memFree=16395044/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.300578 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 11771
/proc/meminfo: memFree=16395044/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.700459 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 11771
/proc/meminfo: memFree=16395044/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+1.50031 s]
/proc/loadavg: 1.92 1.99 1.99 3/184 11773
/proc/meminfo: memFree=16389452/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
[pid=11772] ppid=11771 vsize=18452 CPUtime=1.49 cores=0,2,4,6
/proc/11772/stat : 11772 (SATenstein) R 11771 11771 11002 0 -1 4202496 1639 0 0 0 149 0 0 0 25 0 1 0 424832416 18894848 1593 33554432000 134512640 134854740 4291399056 18446744073709551615 134760560 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11772/statm: 4613 1593 240 84 0 4138 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20588
[startup+3.10101 s]
/proc/loadavg: 1.92 1.99 1.99 3/184 11773
/proc/meminfo: memFree=16388880/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
[pid=11772] ppid=11771 vsize=18452 CPUtime=3.09 cores=0,2,4,6
/proc/11772/stat : 11772 (SATenstein) R 11771 11771 11002 0 -1 4202496 1639 0 0 0 309 0 0 0 25 0 1 0 424832416 18894848 1593 33554432000 134512640 134854740 4291399056 18446744073709551615 134761176 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11772/statm: 4613 1593 240 84 0 4138 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20588
[startup+6.30044 s]
/proc/loadavg: 1.93 1.99 1.99 3/184 11774
/proc/meminfo: memFree=16388728/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
[pid=11772] ppid=11771 vsize=18452 CPUtime=6.29 cores=0,2,4,6
/proc/11772/stat : 11772 (SATenstein) R 11771 11771 11002 0 -1 4202496 1639 0 0 0 629 0 0 0 25 0 1 0 424832416 18894848 1593 33554432000 134512640 134854740 4291399056 18446744073709551615 134760025 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11772/statm: 4613 1593 240 84 0 4138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20588
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/184 11774
/proc/meminfo: memFree=16388748/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
[pid=11772] ppid=11771 vsize=18452 CPUtime=12.69 cores=0,2,4,6
/proc/11772/stat : 11772 (SATenstein) R 11771 11771 11002 0 -1 4202496 1639 0 0 0 1269 0 0 0 25 0 1 0 424832416 18894848 1593 33554432000 134512640 134854740 4291399056 18446744073709551615 134763445 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11772/statm: 4613 1593 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: 1.95 1.99 1.99 3/184 11775
/proc/meminfo: memFree=16386460/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 163 0 0 0 0 0 0 0 25 0 1 0 424832415 2187264 114 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/11771/statm: 534 114 97 400 0 131 0
[pid=11772] ppid=11771 vsize=18452 CPUtime=25.49 cores=0,2,4,6
/proc/11772/stat : 11772 (SATenstein) R 11771 11771 11002 0 -1 4202496 1639 0 0 0 2549 0 0 0 25 0 1 0 424832416 18894848 1593 33554432000 134512640 134854740 4291399056 18446744073709551615 134760787 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11772/statm: 4613 1593 240 84 0 4138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20588
[startup+51.1012 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 11779
/proc/meminfo: memFree=16385016/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=2136 CPUtime=29.99 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 183 1639 0 0 0 0 2999 0 18 0 1 0 424832415 2187264 123 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 534 123 105 400 0 131 0
[pid=11776] ppid=11771 vsize=9312 CPUtime=21.09 cores=0,2,4,6
/proc/11776/stat : 11776 (mxc-sr08) R 11771 11771 11002 0 -1 4202496 2503 0 0 0 2109 0 0 0 25 0 1 0 424835415 9535488 2198 33554432000 134512640 135078026 4292344576 18446744073709551615 134534967 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11776/statm: 2328 2198 73 139 0 2187 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11448
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/184 11784
/proc/meminfo: memFree=16378960/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=33.53 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 3353 0 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542486 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 228832
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/184 11786
/proc/meminfo: memFree=16378948/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=93.52 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 9352 0 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542133 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 228832
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/184 11787
/proc/meminfo: memFree=16379056/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=153.52 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 15352 0 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542080 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 228832
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/184 11789
/proc/meminfo: memFree=16379036/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=213.52 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 21352 0 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542476 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 228832
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/184 11791
/proc/meminfo: memFree=16379140/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=273.52 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 27352 0 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 228832
[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/184 11792
/proc/meminfo: memFree=16379248/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/177 11900
/proc/meminfo: memFree=16417556/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3273.63 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 327359 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541448 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3342.37
Current children cumulated vsize (KiB) 228832
[startup+3402.31 s]
/proc/loadavg: 1.04 1.02 1.05 2/177 11901
/proc/meminfo: memFree=16417664/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3333.63 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 333359 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541332 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3402.37
Current children cumulated vsize (KiB) 228832
[startup+3462.3 s]
/proc/loadavg: 1.07 1.03 1.04 2/177 11903
/proc/meminfo: memFree=16417156/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3393.63 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 339359 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541218 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3462.37
Current children cumulated vsize (KiB) 228832
[startup+3522.3 s]
/proc/loadavg: 1.10 1.04 1.04 2/177 11904
/proc/meminfo: memFree=16417256/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3453.63 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 345359 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134543203 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3522.37
Current children cumulated vsize (KiB) 228832
[startup+3582.3 s]
/proc/loadavg: 1.03 1.03 1.04 2/177 11906
/proc/meminfo: memFree=16417360/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3513.63 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 351359 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541171 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3582.37
Current children cumulated vsize (KiB) 228832
Solver just ended. Dumping a history of the last processes samples
[startup+3583.9 s]
/proc/loadavg: 1.03 1.03 1.04 2/177 11906
/proc/meminfo: memFree=16417360/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3515.24 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 351520 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541381 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3583.98
Current children cumulated vsize (KiB) 228832
[startup+3609.5 s]
/proc/loadavg: 1.02 1.03 1.04 2/177 11907
/proc/meminfo: memFree=16417472/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3540.84 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 354080 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541218 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3609.58
Current children cumulated vsize (KiB) 228832
[startup+3615.9 s]
/proc/loadavg: 1.02 1.02 1.04 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3547.24 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 354720 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542971 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3615.98
Current children cumulated vsize (KiB) 228832
[startup+3619.1 s]
/proc/loadavg: 1.02 1.02 1.04 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3550.44 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 355040 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134543411 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3619.18
Current children cumulated vsize (KiB) 228832
[startup+3620.7 s]
/proc/loadavg: 1.02 1.02 1.03 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3552.04 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 355200 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542329 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3620.78
Current children cumulated vsize (KiB) 228832
[startup+3622.31 s]
/proc/loadavg: 1.02 1.02 1.03 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3553.64 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 355360 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542365 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3622.38
Current children cumulated vsize (KiB) 228832
[startup+3622.7 s]
/proc/loadavg: 1.02 1.02 1.03 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3554.04 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 355400 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541344 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3622.78
Current children cumulated vsize (KiB) 228832
[startup+3623.1 s]
/proc/loadavg: 1.02 1.02 1.03 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3554.44 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 355440 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3623.18
Current children cumulated vsize (KiB) 228832
[startup+3623.2 s]
/proc/loadavg: 1.02 1.02 1.03 2/177 11907
/proc/meminfo: memFree=16417340/32951124 swapFree=67111528/67111528
[pid=11771] ppid=11769 vsize=7244 CPUtime=68.74 cores=0,2,4,6
/proc/11771/stat : 11771 (SATzilla2009_R) S 11769 11771 11002 0 -1 4202496 2755 6489 0 0 664 7 6188 15 25 0 1 0 424832415 7417856 1527 33554432000 134512640 136149437 4287970272 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/11771/statm: 1811 1527 220 400 0 1408 0
[pid=11783] ppid=11771 vsize=221588 CPUtime=3554.54 cores=0,2,4,6
/proc/11783/stat : 11783 (adaptg2wsat+) R 11771 11771 11002 0 -1 4202496 1613 0 0 0 355450 4 0 0 25 0 1 0 424839293 226906112 1582 33554432000 134512640 134921272 4294667808 18446744073709551615 134542486 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/11783/statm: 55397 1582 43 100 0 54904 0
Current children cumulated CPU time (s) 3623.28
Current children cumulated vsize (KiB) 228832
Child status: 10
Real time (s): 3623.29
CPU time (s): 3623.4
CPU user time (s): 3623.13
CPU system time (s): 0.271958
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 228832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3623.13
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10887
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= 17
involuntary context switches= 8791
runsolver used 5.45417 second user time and 11.1093 second system time
The end