21.95/22.06 c SATzilla is building models for class 2
21.95/22.06 c run presolver march_dl2004 for 5 seconds ...
21.95/22.06 c Bin: Executing march_dl2004
21.95/22.06 c spawning binary file with 5 seconds ...
21.95/22.06 c child exit by a signal
21.95/22.06 c march_dl2004 returned code 137.
21.95/22.06 c run presolver mxc-sr08 for 5 seconds ...
21.95/22.06 c Bin: Executing mxc-sr08
21.95/22.06 c spawning binary file with 5 seconds ...
21.95/22.06 c child exit by a signal
21.95/22.06 c mxc-sr08 returned code 137.
21.95/22.06 c Orignal number of varibales is 12998, number of clauses is 77941
21.95/22.06 c predicted feature computation time is 10.665653
21.95/22.06 c Bin: Executing satelite
21.95/22.06 c spawning binary file with 240 seconds ...
21.95/22.06 c child exited successfully
21.95/22.06 c satzilla computing base features
21.95/22.06 c Number of variabe is: 12369, Number of clause is : 76060
21.95/22.06 c Initializing...
21.95/22.06 c satzilla compute diameter ...
21.95/22.06 c start diameter features ...
21.95/22.06 c satzilla doing clause learning
21.95/22.06 c start clause learning features ...
21.95/22.06 c Bin: Executing zchaff07
21.95/22.06 c spawning binary file with 2 seconds ...
21.95/22.06 c child exit by a signal
21.95/22.06 c satzilla doing survey propogation probe
21.95/22.06 c do survay propogation for 2 second ...
21.95/22.06 c satzilla doing local search probe
21.95/22.06 c satzilla doing lobjois search-space size estimate
21.95/22.06 c features are:12998 77941 12369 76060 0.0508529 0.0247305 0.162622 0.499771 0.72804 1.26544 0.000276564 1.31837 0.000161695 0.0346835 1.05224 0.225611 0.69908 0.000276564 1.77052 0.000131475 0.0095451 2.40996 0.171632 0.11533 0 0.666667 2.27633 6.84311e-05 1.78204 1.31475e-05 0.0026558 1.79254 0.257073 0.000343861 2.98223 7.88851e-05 0.0058112 10.4681 0.0877992 9 13 1.26017 229.538 0.715926 46 715 365 70 288 145 169 7.77518 0.728772 4.36957 23.7286 17.2811 4.672 6.28495 4.7362 5.47241 0.597474 0.348157 1.33804e-12 0.919073 0.793095 0.292326 0.743429 0.500087 0.670174 0.0528607 0.868078 -1.11022e-16 0.304177 0.100069 0.0127877 0.0603481 0.0288368 0.0439004 626.714 0.0481138 3439.29 0.0160662 3427 3388 3509 0.63473 0.219364 0.897492 0.00345694 0.0363538 0.183887
21.95/22.06 c satzilla's ranking:
21.95/22.06 c 1) zchaff_rand: 3.034128
21.95/22.06 c 2) mxc-sr08: 2.850971
21.95/22.06 c 3) minisat20SAT07: 2.377889
21.95/22.06 c 4) minisat20: 1.927512
21.95/22.06 c 5) march_dl2004: 1.407667
21.95/22.06 c 6) vallst: 0.626797
21.95/22.06 c 7) tts-4-0: 0.108509
21.95/22.06 c 8) SATenstein: -10000.000000
21.95/22.06 c 9) gnovelty+: -10000.000000
21.95/22.06 c 10) adaptg2wsat+: -10000.000000
21.95/22.06 c 11) adaptg2wsat0: -10000.000000
21.95/22.06 c 12) picosat846: -10000.000000
21.95/22.06 c 13) kcnfs04SAT07: -10000.000000
21.95/22.06 c satzilla running zchaff_rand ...
1198.81/1199.43 c Bin: Executing zchaff_rand
1198.81/1199.43 c spawning binary file with 1177 seconds ...
1198.81/1199.43 c child exit by a signal
1198.81/1199.43 c zchaff_rand returned code 137.
1198.81/1199.43 c satzilla running mxc-sr08 ...
1198.81/1199.43 c Bin: Executing mxc-sr08
1198.81/1199.43 c mxc-sr08 returned code 1.
1198.81/1199.43 c satzilla running minisat20SAT07 ...
1198.81/1199.43 c Bin: Executing minisat20SAT07
1198.81/1199.43 c minisat20SAT07 returned code 1.
1198.81/1199.43 c satzilla running minisat20 ...
1198.81/1199.43 c Bin: Executing minisat20
1198.81/1199.43 c minisat20 returned code 1.
1198.81/1199.43 c satzilla running march_dl2004 ...
1198.81/1199.43 c Bin: Executing march_dl2004
1198.81/1199.43 c march_dl2004 returned code 1.
1198.81/1199.43 c satzilla running vallst ...
1198.81/1199.43 c Bin: Executing vallst
1198.81/1199.43 c vallst returned code 1.
1198.81/1199.43 c satzilla running tts-4-0 ...
1198.81/1199.43 c Bin: Executing tts-4-0
1198.81/1199.43 c tts-4-0 returned code 1.
1198.81/1199.43 c satzilla running SATenstein ...
1198.81/1199.43 c Bin: Executing SATenstein
1198.81/1199.43 c SATenstein returned code 1.
1198.81/1199.43 c satzilla running gnovelty+ ...
1198.81/1199.43 c Bin: Executing gnovelty+
1198.81/1199.43 c gnovelty+ returned code 1.
1198.81/1199.43 c satzilla running adaptg2wsat+ ...
1198.81/1199.43 c Bin: Executing adaptg2wsat+
1198.81/1199.43 c adaptg2wsat+ returned code 1.
1198.81/1199.43 c satzilla running adaptg2wsat0 ...
1198.81/1199.43 c Bin: Executing adaptg2wsat0
1198.81/1199.43 c adaptg2wsat0 returned code 1.
1198.81/1199.43 c satzilla running picosat846 ...
1198.81/1199.43 c Bin: Executing picosat846
1198.81/1199.43 c picosat846 returned code 1.
1198.81/1199.43 c satzilla running kcnfs04SAT07 ...
1198.81/1199.43 c Bin: Executing kcnfs04SAT07
1198.81/1199.43 c kcnfs04SAT07 returned code 1.
1198.81/1199.43 c ERROR: All Failed!
1198.81/1199.43 c SATZILLA_TIME=1199.050000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1723426-1240685783/watcher-1723426-1240685783 -o /tmp/evaluation-result-1723426-1240685783/solver-1723426-1240685783 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1723426-1240685783.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.05 3/64 21912
/proc/meminfo: memFree=1779968/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=2012 CPUtime=0
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 337 0 0 0 0 0 0 0 19 0 1 0 96611888 2060288 332 1992294400 134512640 134996440 4294956176 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 503 332 50 118 0 382 0
[startup+0.0852021 s]
/proc/loadavg: 0.92 0.98 1.05 3/64 21912
/proc/meminfo: memFree=1779968/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=2936 CPUtime=0.08
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 633 0 0 0 8 0 0 0 19 0 1 0 96611888 3006464 628 1992294400 134512640 134996440 4294956176 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 734 629 50 118 0 613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4992
[startup+0.102204 s]
/proc/loadavg: 0.92 0.98 1.05 3/64 21912
/proc/meminfo: memFree=1779968/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=3200 CPUtime=0.09
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 693 0 0 0 9 0 0 0 20 0 1 0 96611888 3276800 688 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 800 688 50 118 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5256
[startup+0.302226 s]
/proc/loadavg: 0.92 0.98 1.05 3/64 21912
/proc/meminfo: memFree=1779968/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=6872 CPUtime=0.29
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 3674 0 0 0 28 1 0 0 22 0 1 0 96611888 7036928 1320 1992294400 134512640 134996440 4294956176 18446744073709551615 134542963 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 1718 1322 57 118 0 1597 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8928
[startup+0.702273 s]
/proc/loadavg: 0.92 0.98 1.05 3/64 21912
/proc/meminfo: memFree=1779968/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=12724 CPUtime=0.69
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 7291 0 0 0 67 2 0 0 25 0 1 0 96611888 13029376 2789 1992294400 134512640 134996440 4294956176 18446744073709551615 134560202 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 3181 2789 69 118 0 3060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14780
[startup+1.50136 s]
/proc/loadavg: 0.92 0.98 1.05 2/66 21914
/proc/meminfo: memFree=1768752/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=12916 CPUtime=1.49
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 7857 0 0 0 147 2 0 0 25 0 1 0 96611888 13225984 2843 1992294400 134512640 134996440 4294956176 18446744073709551615 134651564 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 3229 2843 69 118 0 3108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14972
[startup+3.10154 s]
/proc/loadavg: 0.92 0.98 1.05 2/66 21914
/proc/meminfo: memFree=1768432/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=0
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96611888 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 112 96 399 0 111 0
[pid=21913] ppid=21912 vsize=37052 CPUtime=3.09
/proc/21913/stat : 21913 (march_dl2004) R 21912 21912 21598 0 -1 4194304 14505 0 0 0 300 9 0 0 25 0 1 0 96611888 37941248 8431 1992294400 134512640 134996440 4294956176 18446744073709551615 134675049 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21913/statm: 9263 8431 73 118 0 9142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39108
[startup+6.30191 s]
/proc/loadavg: 1.01 1.00 1.06 2/66 21915
/proc/meminfo: memFree=1771632/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=2056 CPUtime=4.99
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 152 19893 0 0 0 0 448 51 19 0 1 0 96611888 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 514 121 104 399 0 111 0
[pid=21915] ppid=21912 vsize=9708 CPUtime=1.28
/proc/21915/stat : 21915 (mxc-sr08) R 21912 21912 21598 0 -1 4194304 2838 0 0 0 127 1 0 0 25 0 1 0 96612389 9940992 2248 1992294400 134512640 135078026 4294956176 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21915/statm: 2427 2248 71 138 0 2286 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11764
[startup+12.7016 s]
/proc/loadavg: 1.01 1.00 1.05 2/65 21916
/proc/meminfo: memFree=1771896/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=8428 CPUtime=12.66
/proc/21912/stat : 21912 (SATzilla2009_C) R 21910 21912 21598 0 -1 4194304 2561 25119 0 0 191 1 1019 55 25 0 1 0 96611888 8630272 1740 1992294400 134512640 136149437 4294956208 18446744073709551615 134532637 0 0 4096 0 0 0 0 17 0 0 0
/proc/21912/statm: 2107 1740 135 399 0 1704 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 8428
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 21918
/proc/meminfo: memFree=1760560/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=45200 CPUtime=3.43
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 2740 0 0 0 333 10 0 0 25 0 1 0 96614094 46284800 2128 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 11300 2128 112 208 0 11072 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 56992
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 21918
/proc/meminfo: memFree=1755056/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=50776 CPUtime=29.02
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 4101 0 0 0 2852 50 0 0 25 0 1 0 96614094 51994624 3489 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 12694 3489 112 208 0 12466 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 62568
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 21918
/proc/meminfo: memFree=1747184/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=60708 CPUtime=80.18
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 6699 0 0 0 7928 90 0 0 25 0 1 0 96614094 62164992 5446 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 15177 5446 112 208 0 14949 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 72500
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 21918
/proc/meminfo: memFree=1737328/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=72044 CPUtime=140.15
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 9136 0 0 0 13897 118 0 0 25 0 1 0 96614094 73773056 7883 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 18011 7883 112 208 0 17783 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 83836
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 21918
/proc/meminfo: memFree=1729520/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=90776 CPUtime=200.13
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 11127 0 0 0 19873 140 0 0 25 0 1 0 96614094 92954624 9874 1992294400 134512640 135365884 4294956160 18446744073709551615 134576801 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 22694 9874 112 208 0 22466 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 102568
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 21924
/proc/meminfo: memFree=1720552/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=98152 CPUtime=260.1
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 14567 0 0 0 25852 158 0 0 25 0 1 0 96614094 100507648 12033 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 24538 12033 112 208 0 24310 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 109944
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 21924
/proc/meminfo: memFree=1714224/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=100072 CPUtime=320.08
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 16178 0 0 0 31836 172 0 0 25 0 1 0 96614094 102473728 13644 1992294400 134512640 135365884 4294956160 18446744073709551615 134544018 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 25018 13644 112 208 0 24790 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 111864
################
# More data... #
################
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1663408/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=145560 CPUtime=799.85
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 28839 0 0 0 79720 265 0 0 25 0 1 0 96614094 149053440 26305 1992294400 134512640 135365884 4294956160 18446744073709551615 134606354 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 36390 26305 112 208 0 36162 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 157352
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1656560/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=212516 CPUtime=859.83
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 30479 0 0 0 85711 272 0 0 25 0 1 0 96614094 217616384 27945 1992294400 134512640 135365884 4294956160 18446744073709551615 134543639 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 53129 27945 112 208 0 52901 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 224308
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1647408/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=224396 CPUtime=919.8
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 35312 0 0 0 91696 284 0 0 25 0 1 0 96614094 229781504 30217 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 56099 30217 112 208 0 55871 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 236188
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1645808/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=225668 CPUtime=979.78
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 35694 0 0 0 97687 291 0 0 25 0 1 0 96614094 231084032 30599 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 56417 30599 112 208 0 56189 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 237460
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1638512/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=226800 CPUtime=1039.76
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 37514 0 0 0 103677 299 0 0 25 0 1 0 96614094 232243200 32419 1992294400 134512640 135365884 4294956160 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 56700 32419 112 208 0 56472 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 238592
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1630576/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=227952 CPUtime=1099.73
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 39491 0 0 0 109665 308 0 0 25 0 1 0 96614094 233422848 34396 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 56988 34396 112 208 0 56760 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 239744
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1628464/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229248 CPUtime=1159.7
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40028 0 0 0 115657 313 0 0 25 0 1 0 96614094 234749952 34933 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57312 34933 112 208 0 57084 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 241040
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1628336/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229312 CPUtime=1167.7
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40053 0 0 0 116456 314 0 0 25 0 1 0 96614094 234815488 34958 1992294400 134512640 135365884 4294956160 18446744073709551615 134544055 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57328 34958 112 208 0 57100 0
Current children cumulated CPU time (s) 1189.71
Current children cumulated vsize (KiB) 241104
[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1628336/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229312 CPUtime=1170.9
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40057 0 0 0 116776 314 0 0 25 0 1 0 96614094 234815488 34962 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57328 34962 112 208 0 57100 0
Current children cumulated CPU time (s) 1192.91
Current children cumulated vsize (KiB) 241104
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1628272/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229376 CPUtime=1174.1
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40078 0 0 0 117095 315 0 0 25 0 1 0 96614094 234881024 34983 1992294400 134512640 135365884 4294956160 18446744073709551615 134553829 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57344 34983 112 208 0 57116 0
Current children cumulated CPU time (s) 1196.11
Current children cumulated vsize (KiB) 241168
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1627952/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229504 CPUtime=1175.7
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40212 0 0 0 117255 315 0 0 25 0 1 0 96614094 235012096 35117 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57376 35117 112 208 0 57148 0
Current children cumulated CPU time (s) 1197.71
Current children cumulated vsize (KiB) 241296
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1627632/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229504 CPUtime=1176.5
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40235 0 0 0 117335 315 0 0 25 0 1 0 96614094 235012096 35140 1992294400 134512640 135365884 4294956160 18446744073709551615 135090403 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57376 35140 112 208 0 57148 0
Current children cumulated CPU time (s) 1198.51
Current children cumulated vsize (KiB) 241296
[startup+1199.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1627632/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229504 CPUtime=1176.7
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40241 0 0 0 117355 315 0 0 25 0 1 0 96614094 235012096 35146 1992294400 134512640 135365884 4294956160 18446744073709551615 134553819 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57376 35146 112 208 0 57148 0
Current children cumulated CPU time (s) 1198.71
Current children cumulated vsize (KiB) 241296
[startup+1199.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21924
/proc/meminfo: memFree=1627632/2055920 swapFree=4180792/4192956
[pid=21912] ppid=21910 vsize=11792 CPUtime=22.01
/proc/21912/stat : 21912 (SATzilla2009_C) S 21910 21912 21598 0 -1 4194304 5661 27820 0 0 919 8 1214 60 25 0 1 0 96611888 12075008 2715 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21912/statm: 2948 2715 220 399 0 2545 0
[pid=21918] ppid=21912 vsize=229504 CPUtime=1176.8
/proc/21918/stat : 21918 (zchaff_rand) R 21912 21912 21598 0 -1 4194304 40241 0 0 0 117365 315 0 0 25 0 1 0 96614094 235012096 35146 1992294400 134512640 135365884 4294956160 18446744073709551615 134553777 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21918/statm: 57376 35146 112 208 0 57148 0
Current children cumulated CPU time (s) 1198.81
Current children cumulated vsize (KiB) 241296
Child status: 17
Real time (s): 1199.44
CPU time (s): 1198.88
CPU user time (s): 1195.01
CPU system time (s): 3.86841
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 241296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.01
system time used= 3.86841
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73738
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= 3416
runsolver used 0.944856 second user time and 3.42448 second system time
The end
Begin job on node23 at 2009-04-25 20:56:24
IDJOB=1723426
IDBENCH=71699
IDSOLVER=527
FILE ID=node23/1723426-1240685783
PBS_JOBID= 9186663
Free space on /tmp= 66320 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723426-1240685783/watcher-1723426-1240685783 -o /tmp/evaluation-result-1723426-1240685783/solver-1723426-1240685783 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1723426-1240685783.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED=2124190978
node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1780456 kB
Buffers: 26560 kB
Cached: 198084 kB
SwapCached: 5944 kB
Active: 105976 kB
Inactive: 127408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1780456 kB
SwapTotal: 4192956 kB
SwapFree: 4180792 kB
Dirty: 33000 kB
Writeback: 0 kB
Mapped: 13956 kB
Slab: 28176 kB
Committed_AS: 398620 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66288 MiB
End job on node23 at 2009-04-25 21:16:23