41.05/41.10 c SATzilla is building models for class 3
41.05/41.10 c run presolver mxc-sr08 for 10 seconds ...
41.05/41.10 c Bin: Executing mxc-sr08
41.05/41.10 c spawning binary file with 10 seconds ...
41.05/41.10 c child exit by a signal
41.05/41.10 c mxc-sr08 returned code 137.
41.05/41.10 c run presolver picosat846 for 5 seconds ...
41.05/41.10 c Bin: Executing picosat846
41.05/41.10 c spawning binary file with 5 seconds ...
41.05/41.10 c child exit by a signal
41.05/41.10 c picosat846 returned code 137.
41.05/41.10 c Orignal number of varibales is 218792, number of clauses is 1020908
41.05/41.10 c predicted feature computation time is 26.769268
41.05/41.10 c Bin: Executing satelite
41.05/41.10 c spawning binary file with 240 seconds ...
41.05/41.10 c child exited successfully
41.05/41.10 c satzilla computing base features
41.05/41.10 c Number of variabe is: 28762, Number of clause is : 302084
41.05/41.10 c Initializing...
41.05/41.10 c satzilla doing clause learning
41.05/41.10 c start clause learning features ...
41.05/41.10 c Bin: Executing zchaff07
41.05/41.10 c spawning binary file with 2 seconds ...
41.05/41.10 c child exit by a signal
41.05/41.10 c satzilla doing survey propogation probe
41.05/41.10 c do survay propogation for 2 second ...
41.05/41.10 c satzilla doing local search probe
41.05/41.10 c features are:218792 1.02091e+06 28762 302084 6.60698 2.37955 0.0952119 0.484827 0.639853 1.42703 0.000130995 0.494413 6.95362e-05 0.000660594 1.25559 0.12241 0.757839 0.000130995 2.06302 3.31034e-06 0.00188027 2.72032 0.37483 0.174913 0 1 2.66603 4.63192e-05 1.79608 0 0.0014102 2.61944 0.477629 9.83445e-05 2.47317 6.62068e-06 0.00366123 339 0.430264 126 478 478 126 478 282 470 13.4746 0.435768 8.40167 23.3968 23.3968 8.40167 23.3968 10.0574 12.0426 0.626096 0.337934 0.000267734 1 0.921048 0.380621 0.828344 0.542104 0.612787 0.0542149 0.730737 -1.11022e-16 1 0.0955862 0.000116687 0.0847326 0.0147507 0.0625769 1305 0.227908 4015 0.866275 5939 0 5939 2.38242 1.1202 1.00748 0.0365461
41.05/41.11 c satzilla's ranking:
41.05/41.11 c 1) zchaff_rand: 3.480127
41.05/41.11 c 2) picosat846: 2.627559
41.05/41.11 c 3) minisat20SAT07: 2.563210
41.05/41.11 c 4) mxc-sr08: 1.506831
41.05/41.11 c 5) march_dl2004: 0.702678
41.05/41.11 c 6) SATenstein: -10000.000000
41.05/41.11 c 7) gnovelty+: -10000.000000
41.05/41.11 c 8) adaptg2wsat+: -10000.000000
41.05/41.11 c 9) adaptg2wsat0: -10000.000000
41.05/41.11 c 10) tts-4-0: -10000.000000
41.05/41.11 c 11) vallst: -10000.000000
41.05/41.11 c 12) minisat20: -10000.000000
41.05/41.11 c 13) kcnfs04SAT07: -10000.000000
41.05/41.11 c satzilla running zchaff_rand ...
1198.85/1199.44 c Bin: Executing zchaff_rand
1198.85/1199.44 c spawning binary file with 1158 seconds ...
1198.85/1199.44 c child exit by a signal
1198.85/1199.44 c zchaff_rand returned code 137.
1198.85/1199.44 c satzilla running picosat846 ...
1198.85/1199.44 c Bin: Executing picosat846
1198.85/1199.44 c picosat846 returned code 1.
1198.85/1199.44 c satzilla running minisat20SAT07 ...
1198.85/1199.44 c Bin: Executing minisat20SAT07
1198.85/1199.44 c minisat20SAT07 returned code 1.
1198.85/1199.44 c satzilla running mxc-sr08 ...
1198.85/1199.44 c Bin: Executing mxc-sr08
1198.85/1199.44 c mxc-sr08 returned code 1.
1198.85/1199.44 c satzilla running march_dl2004 ...
1198.85/1199.44 c Bin: Executing march_dl2004
1198.85/1199.44 c march_dl2004 returned code 1.
1198.85/1199.44 c satzilla running SATenstein ...
1198.85/1199.44 c Bin: Executing SATenstein
1198.85/1199.44 c SATenstein returned code 1.
1198.85/1199.44 c satzilla running gnovelty+ ...
1198.85/1199.44 c Bin: Executing gnovelty+
1198.85/1199.44 c gnovelty+ returned code 1.
1198.85/1199.44 c satzilla running adaptg2wsat+ ...
1198.85/1199.44 c Bin: Executing adaptg2wsat+
1198.85/1199.44 c adaptg2wsat+ returned code 1.
1198.85/1199.44 c satzilla running adaptg2wsat0 ...
1198.85/1199.44 c Bin: Executing adaptg2wsat0
1198.85/1199.44 c adaptg2wsat0 returned code 1.
1198.85/1199.44 c satzilla running tts-4-0 ...
1198.85/1199.44 c Bin: Executing tts-4-0
1198.85/1199.44 c tts-4-0 returned code 1.
1198.85/1199.44 c satzilla running vallst ...
1198.85/1199.44 c Bin: Executing vallst
1198.85/1199.44 c vallst returned code 1.
1198.85/1199.44 c satzilla running minisat20 ...
1198.85/1199.44 c Bin: Executing minisat20
1198.85/1199.44 c minisat20 returned code 1.
1198.85/1199.44 c satzilla running kcnfs04SAT07 ...
1198.85/1199.44 c Bin: Executing kcnfs04SAT07
1198.85/1199.44 c kcnfs04SAT07 returned code 1.
1198.85/1199.44 c ERROR: All Failed!
1198.85/1199.44 c SATZILLA_TIME=1199.100000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577637-1241003314/watcher-1577637-1241003314 -o /tmp/evaluation-result-1577637-1241003314/solver-1577637-1241003314 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_I HOME/instance-1577637-1241003314.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14325
/proc/meminfo: memFree=846776/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=20540 CPUtime=0
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 731 0 0 0 0 0 0 0 19 0 1 0 128364685 21032960 727 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 5135 733 44 138 0 4994 0
[startup+0.0191141 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14325
/proc/meminfo: memFree=846776/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=20540 CPUtime=0.01
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 3155 0 0 0 0 1 0 0 19 0 1 0 128364685 21032960 3152 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 5135 3159 44 138 0 4994 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 22596
[startup+0.101082 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14325
/proc/meminfo: memFree=846776/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=61640 CPUtime=0.09
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 12966 0 0 0 3 6 0 0 19 0 1 0 128364685 63119360 12938 1992294400 134512640 135078026 4294956192 18446744073709551615 134554568 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 15410 12940 52 138 0 15269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63696
[startup+0.301104 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14325
/proc/meminfo: memFree=846776/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=78884 CPUtime=0.29
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 17067 0 0 0 22 7 0 0 21 0 1 0 128364685 80777216 16995 1992294400 134512640 135078026 4294956192 18446744073709551615 134735920 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 19721 16995 54 138 0 19580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80940
[startup+0.701147 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14325
/proc/meminfo: memFree=846776/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=107144 CPUtime=0.69
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 23983 0 0 0 59 10 0 0 25 0 1 0 128364685 109715456 23911 1992294400 134512640 135078026 4294956192 18446744073709551615 134722807 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 26786 23911 54 138 0 26645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109200
[startup+1.50124 s]
/proc/loadavg: 0.92 0.95 0.90 2/66 14327
/proc/meminfo: memFree=757544/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=101416 CPUtime=1.49
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 27238 0 0 0 137 12 0 0 25 0 1 0 128364685 103849984 22214 1992294400 134512640 135078026 4294956192 18446744073709551615 134553335 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 25354 22214 55 138 0 25213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103472
[startup+3.10141 s]
/proc/loadavg: 1.01 0.97 0.91 2/66 14327
/proc/meminfo: memFree=756136/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=101416 CPUtime=3.09
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 27238 0 0 0 297 12 0 0 25 0 1 0 128364685 103849984 22214 1992294400 134512640 135078026 4294956192 18446744073709551615 134560933 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 25354 22214 55 138 0 25213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103472
[startup+6.30175 s]
/proc/loadavg: 1.01 0.97 0.91 2/66 14327
/proc/meminfo: memFree=756904/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128364685 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 112 96 399 0 111 0
[pid=14326] ppid=14325 vsize=104124 CPUtime=6.28
/proc/14326/stat : 14326 (mxc-sr08) R 14325 14325 14033 0 -1 4194304 27604 0 0 0 616 12 0 0 25 0 1 0 128364685 106622976 22580 1992294400 134512640 135078026 4294956192 18446744073709551615 134558566 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14326/statm: 26031 22580 55 138 0 25890 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 106180
[startup+12.7014 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14328
/proc/meminfo: memFree=796904/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=10
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 152 37778 0 0 0 0 982 18 19 0 1 0 128364685 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 121 104 399 0 111 0
[pid=14328] ppid=14325 vsize=52868 CPUtime=2.66
/proc/14328/stat : 14328 (picosat846) R 14325 14325 14033 0 -1 4194304 12773 0 0 0 260 6 0 0 25 0 1 0 128365688 54136832 12737 1992294400 134512640 134570484 4294956192 18446744073709551615 134526467 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14328/statm: 13217 12737 85 14 0 12883 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 54924
[startup+25.5018 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14329
/proc/meminfo: memFree=735976/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=2056 CPUtime=15.01
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 179 50615 0 0 0 0 1476 25 16 0 1 0 128364685 2105344 138 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 514 138 120 399 0 111 0
[pid=14329] ppid=14325 vsize=121176 CPUtime=10.45
/proc/14329/stat : 14329 (satelite) R 14325 14325 14033 0 -1 4194304 27983 0 0 0 1028 17 0 0 25 0 1 0 128366189 124084224 27901 1992294400 134512640 135037501 4294956176 18446744073709551615 134543602 0 0 8392704 3 0 0 0 17 0 0 0
/proc/14329/statm: 30294 27901 66 128 0 30163 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 123232
[startup+51.1016 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=711144/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=691752 CPUtime=9.97
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 32350 0 0 0 979 18 0 0 25 0 1 0 128368796 708354048 22600 1992294400 134512640 135365884 4294956176 18446744073709551615 134542751 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 172938 22600 112 208 0 172710 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 732992
[startup+102.305 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=702696/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=721064 CPUtime=61.15
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 63661 0 0 0 6071 44 0 0 25 0 1 0 128368796 738369536 24600 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 180266 24600 112 208 0 180038 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 762304
[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=694952/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=730904 CPUtime=121.12
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 86626 0 0 0 12047 65 0 0 25 0 1 0 128368796 748445696 26591 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 182726 26591 112 208 0 182498 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 772144
[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=693096/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=732624 CPUtime=181.1
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 106345 0 0 0 18027 83 0 0 25 0 1 0 128368796 750206976 27050 1992294400 134512640 135365884 4294956176 18446744073709551615 134543590 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 183156 27050 112 208 0 182928 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 773864
[startup+282.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=686888/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=734204 CPUtime=241.07
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 122883 0 0 0 24011 96 0 0 25 0 1 0 128368796 751824896 28608 1992294400 134512640 135365884 4294956176 18446744073709551615 134535719 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 183551 28608 112 208 0 183323 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 775444
[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=678696/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=735768 CPUtime=301.04
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 138250 0 0 0 29994 110 0 0 25 0 1 0 128368796 753426432 30641 1992294400 134512640 135365884 4294956176 18446744073709551615 134556019 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 183942 30641 112 208 0 183714 0
Current children cumulated CPU time (s) 342.1
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=658792/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=776300 CPUtime=780.84
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 236542 0 0 0 77889 195 0 0 25 0 1 0 128368796 794931200 35596 1992294400 134512640 135365884 4294956176 18446744073709551615 134542751 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 194075 35596 112 208 0 193847 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 817540
[startup+882.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=655208/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=778464 CPUtime=840.83
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 247294 0 0 0 83877 206 0 0 25 0 1 0 128368796 797147136 36504 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 194616 36504 112 208 0 194388 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 819704
[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=649576/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=779780 CPUtime=900.8
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 258572 0 0 0 89864 216 0 0 25 0 1 0 128368796 798494720 37938 1992294400 134512640 135365884 4294956176 18446744073709551615 134576751 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 194945 37938 112 208 0 194717 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 821020
[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=643432/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=781088 CPUtime=960.77
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 268753 0 0 0 95849 228 0 0 25 0 1 0 128368796 799834112 39526 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 195272 39526 112 208 0 195044 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 822328
[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=639464/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=782240 CPUtime=1020.75
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 281264 0 0 0 101837 238 0 0 25 0 1 0 128368796 801013760 40448 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 195560 40448 112 208 0 195332 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 823480
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=638312/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=782996 CPUtime=1080.73
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 290550 0 0 0 107826 247 0 0 25 0 1 0 128368796 801787904 40746 1992294400 134512640 135365884 4294956176 18446744073709551615 134544055 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 195749 40746 112 208 0 195521 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 824236
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=634472/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784040 CPUtime=1140.7
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 300944 0 0 0 113814 256 0 0 25 0 1 0 128368796 802856960 41724 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196010 41724 112 208 0 195782 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 825280
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=633192/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784160 CPUtime=1148.7
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 302550 0 0 0 114612 258 0 0 25 0 1 0 128368796 802979840 42046 1992294400 134512640 135365884 4294956176 18446744073709551615 134544281 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196040 42046 112 208 0 195812 0
Current children cumulated CPU time (s) 1189.76
Current children cumulated vsize (KiB) 825400
[startup+1193.51 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=632744/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784292 CPUtime=1151.91
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 303082 0 0 0 114932 259 0 0 25 0 1 0 128368796 803115008 42150 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196073 42150 112 208 0 195845 0
Current children cumulated CPU time (s) 1192.97
Current children cumulated vsize (KiB) 825532
[startup+1196.7 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=632488/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784292 CPUtime=1155.1
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 303962 0 0 0 115251 259 0 0 25 0 1 0 128368796 803115008 42174 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196073 42174 112 208 0 195845 0
Current children cumulated CPU time (s) 1196.16
Current children cumulated vsize (KiB) 825532
[startup+1198.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=632232/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784292 CPUtime=1156.69
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 304512 0 0 0 115410 259 0 0 25 0 1 0 128368796 803115008 42296 1992294400 134512640 135365884 4294956176 18446744073709551615 134542924 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196073 42296 112 208 0 195845 0
Current children cumulated CPU time (s) 1197.75
Current children cumulated vsize (KiB) 825532
[startup+1199.1 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=631976/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784292 CPUtime=1157.49
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 304548 0 0 0 115490 259 0 0 25 0 1 0 128368796 803115008 42332 1992294400 134512640 135365884 4294956176 18446744073709551615 134543566 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196073 42332 112 208 0 195845 0
Current children cumulated CPU time (s) 1198.55
Current children cumulated vsize (KiB) 825532
[startup+1199.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=631976/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784292 CPUtime=1157.69
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 304558 0 0 0 115510 259 0 0 25 0 1 0 128368796 803115008 42342 1992294400 134512640 135365884 4294956176 18446744073709551615 134543601 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196073 42342 112 208 0 195845 0
Current children cumulated CPU time (s) 1198.75
Current children cumulated vsize (KiB) 825532
[startup+1199.4 s]
/proc/loadavg: 1.00 0.97 0.91 2/66 14331
/proc/meminfo: memFree=631976/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=41240 CPUtime=41.06
/proc/14325/stat : 14325 (SATzilla2009_I) S 14323 14325 14033 0 -1 4194304 14117 93252 0 0 927 12 3107 60 25 0 1 0 128364685 42229760 10060 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 10310 10060 217 399 0 9907 0
[pid=14331] ppid=14325 vsize=784292 CPUtime=1157.79
/proc/14331/stat : 14331 (zchaff_rand) R 14325 14325 14033 0 -1 4194304 304562 0 0 0 115520 259 0 0 25 0 1 0 128368796 803115008 42346 1992294400 134512640 135365884 4294956176 18446744073709551615 134542816 0 0 8392704 0 0 0 0 17 0 0 0
/proc/14331/statm: 196073 42346 112 208 0 195845 0
Current children cumulated CPU time (s) 1198.85
Current children cumulated vsize (KiB) 825532
Child status: 17
Real time (s): 1199.45
CPU time (s): 1198.94
CPU user time (s): 1195.58
CPU system time (s): 3.36749
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 827244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.58
system time used= 3.36749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411950
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= 2618
runsolver used 1.12683 second user time and 3.24451 second system time
The end
Begin job on node21 at 2009-04-29 13:08:35
IDJOB=1577637
IDBENCH=70963
IDSOLVER=528
FILE ID=node21/1577637-1241003314
PBS_JOBID= 9204846
Free space on /tmp= 66412 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L70_coli.sat.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577637-1241003314/watcher-1577637-1241003314 -o /tmp/evaluation-result-1577637-1241003314/solver-1577637-1241003314 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_I HOME/instance-1577637-1241003314.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7fc9b20f0efe1e9457bd61eba8178674
RANDOM SEED=1785310108
node21.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.233
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.233
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: 847192 kB
Buffers: 79396 kB
Cached: 1024176 kB
SwapCached: 0 kB
Active: 428540 kB
Inactive: 688944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 847192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 51256 kB
Writeback: 0 kB
Mapped: 23716 kB
Slab: 77276 kB
Committed_AS: 610256 kB
PageTables: 1376 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= 66384 MiB
End job on node21 at 2009-04-29 13:28:35