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-3499236-1308508053/watcher-3499236-1308508053 -o /tmp/evaluation-result-3499236-1308508053/solver-3499236-1308508053 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499236-1308508053.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: 0.93 1.01 1.15 2/173 371
/proc/meminfo: memFree=28772828/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0

[startup+0.084006 s]
/proc/loadavg: 0.93 1.01 1.15 2/173 371
/proc/meminfo: memFree=28772828/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.101005 s]
/proc/loadavg: 0.93 1.01 1.15 2/173 371
/proc/meminfo: memFree=28772828/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300968 s]
/proc/loadavg: 0.93 1.01 1.15 2/173 371
/proc/meminfo: memFree=28772828/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700895 s]
/proc/loadavg: 0.93 1.01 1.15 2/173 371
/proc/meminfo: memFree=28772828/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.50075 s]
/proc/loadavg: 0.93 1.01 1.15 3/181 383
/proc/meminfo: memFree=28760520/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0
[pid=372] ppid=371 vsize=8208 CPUtime=1.49 cores=0,2,4,6
/proc/372/stat : 372 (march_dl2004) R 371 371 31730 0 -1 4202496 4655 0 0 0 149 0 0 0 25 0 1 0 962403519 8404992 1426 33554432000 134512640 134996440 4289449072 18446744073709551615 134567310 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/372/statm: 2052 1426 75 119 0 1931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10344

[startup+3.10043 s]
/proc/loadavg: 0.93 1.01 1.15 3/181 383
/proc/meminfo: memFree=28759528/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 164 0 0 0 0 0 0 0 23 0 1 0 962403519 2187264 115 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/371/statm: 534 115 97 400 0 131 0
[pid=372] ppid=371 vsize=8472 CPUtime=3.09 cores=0,2,4,6
/proc/372/stat : 372 (march_dl2004) R 371 371 31730 0 -1 4202496 4699 0 0 0 308 1 0 0 25 0 1 0 962403519 8675328 1470 33554432000 134512640 134996440 4289449072 18446744073709551615 134532774 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/372/statm: 2118 1470 75 119 0 1997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10608

[startup+6.30087 s]
/proc/loadavg: 1.10 1.04 1.16 3/181 385
/proc/meminfo: memFree=28762128/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=2136 CPUtime=4.99 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 188 4739 0 0 0 0 498 1 18 0 1 0 962403519 2187264 128 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/371/statm: 534 128 108 400 0 131 0
[pid=384] ppid=371 vsize=5184 CPUtime=1.29 cores=0,2,4,6
/proc/384/stat : 384 (mxc-sr08) R 371 371 31730 0 -1 4202496 1420 0 0 0 129 0 0 0 23 0 1 0 962404019 5308416 1166 33554432000 134512640 135078026 4292086224 18446744073709551615 134534329 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/384/statm: 1296 1166 73 139 0 1155 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7320

[startup+12.7007 s]
/proc/loadavg: 1.17 1.05 1.16 3/180 389
/proc/meminfo: memFree=28758316/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=4596 CPUtime=11.36 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 1325 7881 0 0 124 0 1010 2 19 0 1 0 962403519 4706304 767 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/371/statm: 1149 767 137 400 0 746 0
[pid=389] ppid=371 vsize=8508 CPUtime=1.32 cores=0,2,4,6
/proc/389/stat : 389 (zchaff07) R 371 371 31730 0 -1 4202496 1814 0 0 0 131 1 0 0 25 0 1 0 962404656 8712192 1448 33554432000 134512640 135538726 4294468464 18446744073709551615 134544363 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/389/statm: 2127 1448 127 251 0 1874 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13104

[startup+25.5004 s]
/proc/loadavg: 1.35 1.10 1.17 3/181 392
/proc/meminfo: memFree=28748392/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=8728 CPUtime=6.79 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 4756 0 0 0 679 0 0 0 25 0 1 0 962405388 8937472 1527 33554432000 134512640 134996440 4292175584 18446744073709551615 134533016 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2182 1527 75 119 0 2061 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 16244

[startup+51.1007 s]
/proc/loadavg: 1.57 1.17 1.19 3/181 393
/proc/meminfo: memFree=28747816/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=8984 CPUtime=32.4 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 4832 0 0 0 3240 0 0 0 25 0 1 0 962405388 9199616 1603 33554432000 134512640 134996440 4292175584 18446744073709551615 134587741 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2246 1603 75 119 0 2125 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16500

[startup+102.306 s]
/proc/loadavg: 1.81 1.30 1.23 3/181 394
/proc/meminfo: memFree=28747112/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=9380 CPUtime=83.6 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 4920 0 0 0 8360 0 0 0 25 0 1 0 962405388 9605120 1691 33554432000 134512640 134996440 4292175584 18446744073709551615 134567185 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2345 1691 75 119 0 2224 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16896

[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.28 3/181 396
/proc/meminfo: memFree=28746716/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=9508 CPUtime=143.6 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 4973 0 0 0 14360 0 0 0 25 0 1 0 962405388 9736192 1744 33554432000 134512640 134996440 4292175584 18446744073709551615 134527890 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2377 1744 75 119 0 2256 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 17024

[startup+222.301 s]
/proc/loadavg: 2.03 1.54 1.33 3/181 397
/proc/meminfo: memFree=28746816/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=9636 CPUtime=203.6 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 4990 0 0 0 20360 0 0 0 25 0 1 0 962405388 9867264 1761 33554432000 134512640 134996440 4292175584 18446744073709551615 134527803 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2409 1761 75 119 0 2288 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 17152

[startup+282.301 s]
/proc/loadavg: 2.01 1.62 1.37 3/181 399
/proc/meminfo: memFree=28746540/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=9636 CPUtime=263.6 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5004 0 0 0 26360 0 0 0 25 0 1 0 962405388 9867264 1775 33554432000 134512640 134996440 4292175584 18446744073709551615 134564774 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2409 1775 75 119 0 2288 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 17152

[startup+342.301 s]
/proc/loadavg: 2.00 1.69 1.40 3/181 400
/proc/meminfo: memFree=28746640/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=9636 CPUtime=323.6 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5010 0 0 0 32360 0 0 0 25 0 1 0 962405388 9867264 1781 33554432000 134512640 134996440 4292175584 18446744073709551615 134553472 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2409 1781 75 119 0 2288 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 17152

[startup+402.301 s]
/proc/loadavg: 2.00 1.74 1.44 3/181 402
/proc/meminfo: memFree=28741916/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6

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


[startup+2022.3 s]
/proc/loadavg: 2.04 2.02 1.89 3/181 454
/proc/meminfo: memFree=28741352/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2003.65 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5114 0 0 0 200364 1 0 0 25 0 1 0 962405388 10407936 1885 33554432000 134512640 134996440 4292175584 18446744073709551615 134552331 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1885 75 119 0 2420 0
Current children cumulated CPU time (s) 2022.32
Current children cumulated vsize (KiB) 17680

[startup+2082.31 s]
/proc/loadavg: 2.01 2.02 1.89 3/181 456
/proc/meminfo: memFree=28741332/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2063.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5118 0 0 0 206365 1 0 0 25 0 1 0 962405388 10407936 1889 33554432000 134512640 134996440 4292175584 18446744073709551615 134567141 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1889 75 119 0 2420 0
Current children cumulated CPU time (s) 2082.33
Current children cumulated vsize (KiB) 17680

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 1.90 3/181 457
/proc/meminfo: memFree=28741440/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2123.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5121 0 0 0 212365 1 0 0 25 0 1 0 962405388 10407936 1892 33554432000 134512640 134996440 4292175584 18446744073709551615 134532774 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1892 75 119 0 2420 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 17680

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/181 459
/proc/meminfo: memFree=28741548/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2183.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5121 0 0 0 218365 1 0 0 25 0 1 0 962405388 10407936 1892 33554432000 134512640 134996440 4292175584 18446744073709551615 134527849 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1892 75 119 0 2420 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 17680

[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/181 474
/proc/meminfo: memFree=28741280/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2243.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5123 0 0 0 224365 1 0 0 25 0 1 0 962405388 10407936 1894 33554432000 134512640 134996440 4292175584 18446744073709551615 134567304 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1894 75 119 0 2420 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 17680

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 475
/proc/meminfo: memFree=28741268/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2303.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5124 0 0 0 230365 1 0 0 25 0 1 0 962405388 10407936 1895 33554432000 134512640 134996440 4292175584 18446744073709551615 134528166 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1895 75 119 0 2420 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 17680

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 477
/proc/meminfo: memFree=28740880/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2363.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5125 0 0 0 236365 1 0 0 25 0 1 0 962405388 10407936 1896 33554432000 134512640 134996440 4292175584 18446744073709551615 134527899 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1896 75 119 0 2420 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 17680

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 478
/proc/meminfo: memFree=28740872/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2423.66 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5126 0 0 0 242365 1 0 0 25 0 1 0 962405388 10407936 1897 33554432000 134512640 134996440 4292175584 18446744073709551615 134526947 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1897 75 119 0 2420 0
Current children cumulated CPU time (s) 2442.33
Current children cumulated vsize (KiB) 17680

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

[startup+2444.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 478
/proc/meminfo: memFree=28740748/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2426.07 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5126 0 0 0 242606 1 0 0 25 0 1 0 962405388 10407936 1897 33554432000 134512640 134996440 4292175584 18446744073709551615 134526917 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1897 75 119 0 2420 0
Current children cumulated CPU time (s) 2444.74
Current children cumulated vsize (KiB) 17680

[startup+2447.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 479
/proc/meminfo: memFree=28740744/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2429.26 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5126 0 0 0 242925 1 0 0 25 0 1 0 962405388 10407936 1897 33554432000 134512640 134996440 4292175584 18446744073709551615 134526962 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1897 75 119 0 2420 0
Current children cumulated CPU time (s) 2447.93
Current children cumulated vsize (KiB) 17680

[startup+2448.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 479
/proc/meminfo: memFree=28740864/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2430.07 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5127 0 0 0 243006 1 0 0 25 0 1 0 962405388 10407936 1898 33554432000 134512640 134996440 4292175584 18446744073709551615 134551333 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1898 75 119 0 2420 0
Current children cumulated CPU time (s) 2448.74
Current children cumulated vsize (KiB) 17680

[startup+2449.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 479
/proc/meminfo: memFree=28740864/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2430.47 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5127 0 0 0 243046 1 0 0 25 0 1 0 962405388 10407936 1898 33554432000 134512640 134996440 4292175584 18446744073709551615 134551512 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1898 75 119 0 2420 0
Current children cumulated CPU time (s) 2449.14
Current children cumulated vsize (KiB) 17680

[startup+2449.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 479
/proc/meminfo: memFree=28740864/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2430.87 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5127 0 0 0 243086 1 0 0 25 0 1 0 962405388 10407936 1898 33554432000 134512640 134996440 4292175584 18446744073709551615 134551539 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1898 75 119 0 2420 0
Current children cumulated CPU time (s) 2449.54
Current children cumulated vsize (KiB) 17680

[startup+2449.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 479
/proc/meminfo: memFree=28740864/32951124 swapFree=67063728/67111528
[pid=371] ppid=369 vsize=7516 CPUtime=18.67 cores=0,2,4,6
/proc/371/stat : 371 (SATzilla2009_C) S 369 371 31730 0 -1 4202496 2873 9882 0 0 652 3 1209 3 25 0 1 0 962403519 7696384 1580 33554432000 134512640 136149437 4291907248 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/371/statm: 1879 1580 220 400 0 1476 0
[pid=391] ppid=371 vsize=10164 CPUtime=2430.97 cores=0,2,4,6
/proc/391/stat : 391 (march_dl2004) R 371 371 31730 0 -1 4202496 5127 0 0 0 243096 1 0 0 25 0 1 0 962405388 10407936 1898 33554432000 134512640 134996440 4292175584 18446744073709551615 134536784 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/391/statm: 2541 1898 75 119 0 2420 0
Current children cumulated CPU time (s) 2449.64
Current children cumulated vsize (KiB) 17680

Child status: 10
Real time (s): 2449.61
CPU time (s): 2449.67
CPU user time (s): 2449.59
CPU system time (s): 0.087986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 17680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2449.59
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17896
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= 15
involuntary context switches= 4177

runsolver used 3.72443 second user time and 7.41687 second system time

The end