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-3499572-1308495399/watcher-3499572-1308495399 -o /tmp/evaluation-result-3499572-1308495399/solver-3499572-1308495399 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499572-1308495399.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: 2.01 2.02 1.94 3/178 24511
/proc/meminfo: memFree=28381756/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0

[startup+0.0265321 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 24511
/proc/meminfo: memFree=28381756/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100526 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 24511
/proc/meminfo: memFree=28381756/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300494 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 24511
/proc/meminfo: memFree=28381756/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700412 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 24511
/proc/meminfo: memFree=28381756/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 24513
/proc/meminfo: memFree=28377300/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0
[pid=24512] ppid=24511 vsize=6996 CPUtime=1.49 cores=0,2,4,6
/proc/24512/stat : 24512 (march_dl2004) R 24511 24511 24229 0 -1 4202496 3842 0 0 0 149 0 0 0 25 0 1 0 693731184 7163904 1223 33554432000 134512640 134996440 4294244688 18446744073709551615 134533076 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/24512/statm: 1749 1223 75 119 0 1628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9132

[startup+3.101 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 24513
/proc/meminfo: memFree=28375440/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 163 0 0 0 0 0 0 0 22 0 1 0 693731184 2187264 114 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 534 114 97 400 0 131 0
[pid=24512] ppid=24511 vsize=7128 CPUtime=3.09 cores=0,2,4,6
/proc/24512/stat : 24512 (march_dl2004) R 24511 24511 24229 0 -1 4202496 3876 0 0 0 309 0 0 0 25 0 1 0 693731184 7299072 1257 33554432000 134512640 134996440 4294244688 18446744073709551615 134533076 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/24512/statm: 1782 1257 75 119 0 1661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9264

[startup+6.30042 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 24514
/proc/meminfo: memFree=28377796/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=2136 CPUtime=4.99 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 187 3900 0 0 0 0 499 0 18 0 1 0 693731184 2187264 127 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/24511/statm: 534 127 108 400 0 131 0
[pid=24514] ppid=24511 vsize=4892 CPUtime=1.29 cores=0,2,4,6
/proc/24514/stat : 24514 (mxc-sr08) R 24511 24511 24229 0 -1 4202496 1308 0 0 0 129 0 0 0 22 0 1 0 693731684 5009408 1102 33554432000 134512640 135078026 4287225424 18446744073709551615 134534325 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/24514/statm: 1223 1102 73 139 0 1082 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7028

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 24556
/proc/meminfo: memFree=28697016/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=4076 CPUtime=11.23 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 1087 6803 0 0 117 0 1006 0 19 0 1 0 693731184 4173824 639 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/24511/statm: 1019 639 137 400 0 616 0
[pid=24555] ppid=24511 vsize=8384 CPUtime=1.43 cores=0,2,4,6
/proc/24555/stat : 24555 (zchaff07) R 24511 24511 24229 0 -1 4202496 1722 0 0 0 143 0 0 0 25 0 1 0 693732309 8585216 1352 33554432000 134512640 135538726 4293433552 18446744073709551615 134544310 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/24555/statm: 2096 1352 127 251 0 1843 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 12460

[startup+25.501 s]
/proc/loadavg: 2.00 2.01 1.94 3/180 24560
/proc/meminfo: memFree=28682396/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=16400 CPUtime=7.52 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 3958 0 0 0 752 0 0 0 25 0 1 0 693732981 16793600 3852 33554432000 134512640 135078472 4287612192 18446744073709551615 134550608 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 4100 3852 73 139 0 3959 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23392

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 1.94 3/180 24561
/proc/meminfo: memFree=28678272/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=20148 CPUtime=33.12 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 4867 0 0 0 3312 0 0 0 25 0 1 0 693732981 20631552 4761 33554432000 134512640 135078472 4287612192 18446744073709551615 134550717 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 5037 4761 73 139 0 4896 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27140

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 24562
/proc/meminfo: memFree=28672260/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=25700 CPUtime=84.33 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 6226 0 0 0 8432 1 0 0 25 0 1 0 693732981 26316800 6120 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 6425 6120 73 139 0 6284 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32692

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 24564
/proc/meminfo: memFree=28668268/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=29724 CPUtime=144.32 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 7180 0 0 0 14431 1 0 0 25 0 1 0 693732981 30437376 7074 33554432000 134512640 135078472 4287612192 18446744073709551615 134550631 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 7431 7074 73 139 0 7290 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 36716

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 24566
/proc/meminfo: memFree=28665868/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=32000 CPUtime=204.32 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 7727 0 0 0 20431 1 0 0 25 0 1 0 693732981 32768000 7621 33554432000 134512640 135078472 4287612192 18446744073709551615 134550689 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 8000 7621 73 139 0 7859 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 38992

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 24576
/proc/meminfo: memFree=28664608/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=33684 CPUtime=264.32 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 8118 0 0 0 26431 1 0 0 25 0 1 0 693732981 34492416 8012 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 8421 8012 73 139 0 8280 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 40676

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 24578
/proc/meminfo: memFree=28661604/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=36832 CPUtime=324.33 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 8864 0 0 0 32432 1 0 0 25 0 1 0 693732981 37715968 8758 33554432000 134512640 135078472 4287612192 18446744073709551615 134550628 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 9208 8758 73 139 0 9067 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 43824

[startup+402.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/180 24579
/proc/meminfo: memFree=28658236/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6

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


[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24659
/proc/meminfo: memFree=28612200/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=82236 CPUtime=3384.4 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 19760 0 0 0 338436 4 0 0 25 0 1 0 693732981 84209664 19654 33554432000 134512640 135078472 4287612192 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 20559 19654 73 139 0 20418 0
Current children cumulated CPU time (s) 3402.35
Current children cumulated vsize (KiB) 89228

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24661
/proc/meminfo: memFree=28611552/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=82564 CPUtime=3444.4 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 19833 0 0 0 344436 4 0 0 25 0 1 0 693732981 84545536 19727 33554432000 134512640 135078472 4287612192 18446744073709551615 134550689 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 20641 19727 73 139 0 20500 0
Current children cumulated CPU time (s) 3462.35
Current children cumulated vsize (KiB) 89556

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24663
/proc/meminfo: memFree=28611276/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=82564 CPUtime=3504.4 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 19841 0 0 0 350436 4 0 0 25 0 1 0 693732981 84545536 19735 33554432000 134512640 135078472 4287612192 18446744073709551615 134550706 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 20641 19735 73 139 0 20500 0
Current children cumulated CPU time (s) 3522.35
Current children cumulated vsize (KiB) 89556

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24667
/proc/meminfo: memFree=28610124/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=82564 CPUtime=3564.41 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 19841 0 0 0 356436 5 0 0 25 0 1 0 693732981 84545536 19735 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 20641 19735 73 139 0 20500 0
Current children cumulated CPU time (s) 3582.36
Current children cumulated vsize (KiB) 89556

[startup+3642.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24669
/proc/meminfo: memFree=28610056/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=82892 CPUtime=3624.41 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 19909 0 0 0 362436 5 0 0 25 0 1 0 693732981 84881408 19803 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 20723 19803 73 139 0 20582 0
Current children cumulated CPU time (s) 3642.36
Current children cumulated vsize (KiB) 89884

[startup+3702.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24670
/proc/meminfo: memFree=28609156/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=83856 CPUtime=3684.41 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20124 0 0 0 368436 5 0 0 25 0 1 0 693732981 85868544 20018 33554432000 134512640 135078472 4287612192 18446744073709551615 134550584 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 20964 20018 73 139 0 20823 0
Current children cumulated CPU time (s) 3702.36
Current children cumulated vsize (KiB) 90848

[startup+3762.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 24672
/proc/meminfo: memFree=28609004/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84020 CPUtime=3744.41 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20183 0 0 0 374436 5 0 0 25 0 1 0 693732981 86036480 20077 33554432000 134512640 135078472 4287612192 18446744073709551615 134550611 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21005 20077 73 139 0 20864 0
Current children cumulated CPU time (s) 3762.36
Current children cumulated vsize (KiB) 91012

[startup+3822.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608724/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3804.41 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20243 0 0 0 380436 5 0 0 25 0 1 0 693732981 86253568 20137 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20137 73 139 0 20917 0
Current children cumulated CPU time (s) 3822.36
Current children cumulated vsize (KiB) 91224

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

[startup+3827.1 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608724/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3809.21 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20244 0 0 0 380916 5 0 0 25 0 1 0 693732981 86253568 20138 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20138 73 139 0 20917 0
Current children cumulated CPU time (s) 3827.16
Current children cumulated vsize (KiB) 91224

[startup+3830.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608600/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3812.42 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20244 0 0 0 381237 5 0 0 25 0 1 0 693732981 86253568 20138 33554432000 134512640 135078472 4287612192 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20138 73 139 0 20917 0
Current children cumulated CPU time (s) 3830.37
Current children cumulated vsize (KiB) 91224

[startup+3833.51 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608720/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3815.62 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20244 0 0 0 381557 5 0 0 25 0 1 0 693732981 86253568 20138 33554432000 134512640 135078472 4287612192 18446744073709551615 134550605 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20138 73 139 0 20917 0
Current children cumulated CPU time (s) 3833.57
Current children cumulated vsize (KiB) 91224

[startup+3834.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608720/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3816.41 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20244 0 0 0 381636 5 0 0 25 0 1 0 693732981 86253568 20138 33554432000 134512640 135078472 4287612192 18446744073709551615 134550593 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20138 73 139 0 20917 0
Current children cumulated CPU time (s) 3834.36
Current children cumulated vsize (KiB) 91224

[startup+3835.1 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608596/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3817.21 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20244 0 0 0 381716 5 0 0 25 0 1 0 693732981 86253568 20138 33554432000 134512640 135078472 4287612192 18446744073709551615 134550628 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20138 73 139 0 20917 0
Current children cumulated CPU time (s) 3835.16
Current children cumulated vsize (KiB) 91224

[startup+3835.5 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 24674
/proc/meminfo: memFree=28608596/32951124 swapFree=67055716/67111528
[pid=24511] ppid=24509 vsize=6992 CPUtime=17.95 cores=0,2,4,6
/proc/24511/stat : 24511 (SATzilla2009_C) S 24509 24511 24229 0 -1 4202496 2305 8595 0 0 585 4 1204 2 25 0 1 0 693731184 7159808 1385 33554432000 134512640 136149437 4288644144 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 0 0 0 0
/proc/24511/statm: 1748 1385 220 400 0 1345 0
[pid=24559] ppid=24511 vsize=84232 CPUtime=3817.62 cores=0,2,4,6
/proc/24559/stat : 24559 (minisat20SAT07) R 24511 24511 24229 0 -1 4202496 20244 0 0 0 381757 5 0 0 25 0 1 0 693732981 86253568 20138 33554432000 134512640 135078472 4287612192 18446744073709551615 134550584 0 0 8392704 3 0 0 0 17 2 0 0 0
/proc/24559/statm: 21058 20138 73 139 0 20917 0
Current children cumulated CPU time (s) 3835.57
Current children cumulated vsize (KiB) 91224

Child status: 10
Real time (s): 3835.53
CPU time (s): 3835.62
CPU user time (s): 3835.5
CPU system time (s): 0.124981
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 91224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3835.5
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31166
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= 14
involuntary context switches= 9909

runsolver used 6.11007 second user time and 11.9172 second system time

The end