61.03/61.16 c SATzilla is building models for class 3
61.03/61.16 c run presolver mxc-sr08 for 10 seconds ...
61.03/61.16 c Bin: Executing mxc-sr08
61.03/61.16 c spawning binary file with 10 seconds ...
61.03/61.16 c child exit by a signal
61.03/61.16 c mxc-sr08 returned code 137.
61.03/61.16 c run presolver picosat846 for 5 seconds ...
61.03/61.16 c Bin: Executing picosat846
61.03/61.16 c spawning binary file with 5 seconds ...
61.03/61.16 c child exit by a signal
61.03/61.16 c picosat846 returned code 137.
61.03/61.16 c Orignal number of varibales is 315617, number of clauses is 1522583
61.03/61.16 c predicted feature computation time is 55.520026
61.03/61.16 c Bin: Executing satelite
61.03/61.16 c spawning binary file with 240 seconds ...
61.03/61.16 c child exited successfully
61.03/61.16 c satzilla computing base features
61.03/61.16 c Number of variabe is: 48547, Number of clause is : 506124
61.03/61.16 c Initializing...
61.03/61.16 c satzilla doing clause learning
61.03/61.16 c start clause learning features ...
61.03/61.16 c Bin: Executing zchaff07
61.03/61.16 c spawning binary file with 2 seconds ...
61.03/61.16 c child exit by a signal
61.03/61.16 c satzilla doing survey propogation probe
61.03/61.16 c do survay propogation for 2 second ...
61.03/61.16 c satzilla doing local search probe
61.03/61.16 c features are:315617 1.52258e+06 48547 506124 5.50127 2.00832 0.0959192 0.496284 0.628915 1.34889 7.55519e-05 0.476805 4.11972e-05 0.000391373 1.14315 0.103822 0.789119 7.55519e-05 2.37384 1.9758e-06 0.00159645 2.47328 0.379646 0.159899 0 1 2.44754 2.63862e-05 2.1941 0 0.00119734 2.39239 0.455373 5.69227e-05 2.89249 3.9516e-06 0.00313362 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637707 0.301067 2.25478e-05 1 0.91049 0.419 0.691476 0.605162 0.632304 0.0611749 0.64371 -2.22045e-16 1 0.101884 0.00289199 0.0962859 0.0230259 0.0724528 7782 1.13053 4371.5 1.41421 4371.5 0 0 7.60915 1.27777 1.15367 0.202239
61.03/61.16 c satzilla's ranking:
61.03/61.16 c 1) zchaff_rand: 3.120650
61.03/61.16 c 2) picosat846: 2.641123
61.03/61.16 c 3) mxc-sr08: 1.577545
61.03/61.16 c 4) minisat20SAT07: 1.449308
61.03/61.16 c 5) march_dl2004: 0.843301
61.03/61.16 c 6) SATenstein: -10000.000000
61.03/61.16 c 7) gnovelty+: -10000.000000
61.03/61.16 c 8) adaptg2wsat+: -10000.000000
61.03/61.16 c 9) adaptg2wsat0: -10000.000000
61.03/61.16 c 10) tts-4-0: -10000.000000
61.03/61.16 c 11) vallst: -10000.000000
61.03/61.16 c 12) minisat20: -10000.000000
61.03/61.16 c 13) kcnfs04SAT07: -10000.000000
61.03/61.16 c satzilla running zchaff_rand ...
9997.63/10002.13 c Bin: Executing zchaff_rand
9997.63/10002.13 c spawning binary file with 9938 seconds ...
9997.63/10002.13 c child exit by a signal
9997.63/10002.13 c zchaff_rand returned code 137.
9997.63/10002.13 c satzilla running picosat846 ...
9997.63/10002.13 c Bin: Executing picosat846
9997.63/10002.13 c picosat846 returned code 1.
9997.63/10002.13 c satzilla running mxc-sr08 ...
9997.63/10002.13 c Bin: Executing mxc-sr08
9997.63/10002.13 c mxc-sr08 returned code 1.
9997.63/10002.13 c satzilla running minisat20SAT07 ...
9997.63/10002.13 c Bin: Executing minisat20SAT07
9997.63/10002.13 c minisat20SAT07 returned code 1.
9997.63/10002.13 c satzilla running march_dl2004 ...
9997.63/10002.13 c Bin: Executing march_dl2004
9997.63/10002.13 c march_dl2004 returned code 1.
9997.63/10002.13 c satzilla running SATenstein ...
9997.63/10002.13 c Bin: Executing SATenstein
9997.63/10002.13 c SATenstein returned code 1.
9997.63/10002.13 c satzilla running gnovelty+ ...
9997.63/10002.13 c Bin: Executing gnovelty+
9997.63/10002.13 c gnovelty+ returned code 1.
9997.63/10002.13 c satzilla running adaptg2wsat+ ...
9997.63/10002.13 c Bin: Executing adaptg2wsat+
9997.63/10002.13 c adaptg2wsat+ returned code 1.
9997.63/10002.13 c satzilla running adaptg2wsat0 ...
9997.63/10002.13 c Bin: Executing adaptg2wsat0
9997.63/10002.13 c adaptg2wsat0 returned code 1.
9997.63/10002.13 c satzilla running tts-4-0 ...
9997.63/10002.13 c Bin: Executing tts-4-0
9997.63/10002.13 c tts-4-0 returned code 1.
9997.63/10002.13 c satzilla running vallst ...
9997.63/10002.13 c Bin: Executing vallst
9997.63/10002.13 c vallst returned code 1.
9997.63/10002.13 c satzilla running minisat20 ...
9997.63/10002.13 c Bin: Executing minisat20
9997.63/10002.13 c minisat20 returned code 1.
9997.63/10002.13 c satzilla running kcnfs04SAT07 ...
9997.63/10002.13 c Bin: Executing kcnfs04SAT07
9997.63/10002.13 c kcnfs04SAT07 returned code 1.
9997.63/10002.13 c ERROR: All Failed!
9997.63/10002.13 c SATZILLA_TIME=9999.200000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774640-1241354532/watcher-1774640-1241354532 -o /tmp/evaluation-result-1774640-1241354532/solver-1774640-1241354532 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774640-1241354532.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.85 0.97 0.99 3/64 23184
/proc/meminfo: memFree=1694192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) R 23182 23184 23147 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=30804 CPUtime=0
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 708 0 0 0 0 0 0 0 18 0 1 0 163486787 31543296 704 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 7701 711 44 138 0 7560 0
[startup+0.00794598 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23184
/proc/meminfo: memFree=1694192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=30804 CPUtime=0
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 1168 0 0 0 0 0 0 0 18 0 1 0 163486787 31543296 1164 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 7701 1170 44 138 0 7560 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 32860
[startup+0.101953 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23184
/proc/meminfo: memFree=1694192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=71376 CPUtime=0.09
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 15408 0 0 0 2 7 0 0 19 0 1 0 163486787 73089024 15380 1992294400 134512640 135078026 4294956192 18446744073709551615 134554568 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 17844 15383 52 138 0 17703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 73432
[startup+0.301969 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23184
/proc/meminfo: memFree=1694192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=107296 CPUtime=0.29
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 22677 0 0 0 19 10 0 0 21 0 1 0 163486787 109871104 22529 1992294400 134512640 135078026 4294956192 18446744073709551615 134565915 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 26824 22529 54 138 0 26683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 109352
[startup+0.702002 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23184
/proc/meminfo: memFree=1694192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=135596 CPUtime=0.69
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 29575 0 0 0 56 13 0 0 25 0 1 0 163486787 138850304 29427 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 33899 29428 54 138 0 33758 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 137652
[startup+1.50107 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 23186
/proc/meminfo: memFree=1555104/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=150552 CPUtime=1.49
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 40431 0 0 0 130 19 0 0 25 0 1 0 163486787 154165248 32765 1992294400 134512640 135078026 4294956192 18446744073709551615 134554006 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 37638 32765 55 138 0 37497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152608
[startup+3.10121 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 23186
/proc/meminfo: memFree=1562464/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=150552 CPUtime=3.09
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 40431 0 0 0 290 19 0 0 25 0 1 0 163486787 154165248 32765 1992294400 134512640 135078026 4294956192 18446744073709551615 134553865 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23185/statm: 37638 32765 55 138 0 37497 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152608
[startup+6.30148 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 23186
/proc/meminfo: memFree=1563232/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=0
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163486787 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23184/statm: 514 112 96 399 0 111 0
[pid=23185] ppid=23184 vsize=151476 CPUtime=6.28
/proc/23185/stat : 23185 (mxc-sr08) R 23184 23184 23147 0 -1 4194304 40789 0 0 0 608 20 0 0 25 0 1 0 163486787 155111424 33123 1992294400 134512640 135078026 4294956192 18446744073709551615 134558572 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23185/statm: 37869 33123 55 138 0 37728 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 153532
[startup+12.701 s]
/proc/loadavg: 0.88 0.97 0.99 2/66 23187
/proc/meminfo: memFree=1621104/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=10.01
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 152 40884 0 0 0 0 979 22 16 0 1 0 163486787 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 514 121 104 399 0 111 0
[pid=23187] ppid=23184 vsize=78424 CPUtime=2.66
/proc/23187/stat : 23187 (picosat846) R 23184 23184 23147 0 -1 4194304 18502 0 0 0 257 9 0 0 25 0 1 0 163487790 80306176 18491 1992294400 134512640 134570484 4294956192 18446744073709551615 134522495 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23187/statm: 19606 18491 85 14 0 19272 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 80480
[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/66 23188
/proc/meminfo: memFree=1530736/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=2056 CPUtime=15.02
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 179 59640 0 0 0 0 1469 33 16 0 1 0 163486787 2105344 138 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 514 138 120 399 0 111 0
[pid=23188] ppid=23184 vsize=202480 CPUtime=10.44
/proc/23188/stat : 23188 (satelite) R 23184 23184 23147 0 -1 4194304 41190 0 0 0 1020 24 0 0 25 0 1 0 163488292 207339520 41038 1992294400 134512640 135037501 4294956176 18446744073709551615 134543614 0 0 8392704 3 0 0 0 17 0 0 0
/proc/23188/statm: 50620 41038 66 128 0 50489 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 204536
[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 23188
/proc/meminfo: memFree=1635064/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=50484 CPUtime=51.05
/proc/23184/stat : 23184 (SATzilla2009_I) R 23182 23184 23147 0 -1 4194304 12233 110486 0 0 852 5 4173 75 25 0 1 0 163486787 51695616 12184 1992294400 134512640 136149169 4294956224 18446744073709551615 134535031 0 0 4096 0 0 0 0 17 0 0 0
/proc/23184/statm: 12621 12184 135 399 0 12218 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 50484
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 23190
/proc/meminfo: memFree=1491504/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=996176 CPUtime=41.11
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 69795 0 0 0 4074 37 0 0 25 0 1 0 163492904 1020084224 33342 1992294400 134512640 135365884 4294956176 18446744073709551615 134544005 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 249044 33342 112 208 0 248816 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1056380
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23190
/proc/meminfo: memFree=1488816/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=999196 CPUtime=101.08
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 100737 0 0 0 10049 59 0 0 25 0 1 0 163492904 1023176704 34051 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 249799 34051 112 208 0 249571 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 1059400
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23190
/proc/meminfo: memFree=1486256/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1001400 CPUtime=161.05
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 125440 0 0 0 16028 77 0 0 25 0 1 0 163492904 1025433600 34691 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 250350 34691 112 208 0 250122 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 1061604
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23190
/proc/meminfo: memFree=1483888/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1003260 CPUtime=221.03
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 145764 0 0 0 22010 93 0 0 25 0 1 0 163492904 1027338240 35271 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 250815 35271 112 208 0 250587 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 1063464
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23190
/proc/meminfo: memFree=1480624/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1004756 CPUtime=281.02
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 164540 0 0 0 27995 107 0 0 25 0 1 0 163492904 1028870144 36154 1992294400 134512640 135365884 4294956176 18446744073709551615 134556014 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 251189 36154 112 208 0 250961 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 1064960
[startup+402.301 s]
################
# More data... #
################
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1104496/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1486112 CPUtime=9576.9
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1306738 0 0 0 956665 1025 0 0 25 0 1 0 163492904 1521778688 128727 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371528 128727 112 208 0 371300 0
Current children cumulated CPU time (s) 9638
Current children cumulated vsize (KiB) 1546316
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1103984/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1486552 CPUtime=9636.87
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1311171 0 0 0 962659 1028 0 0 25 0 1 0 163492904 1522229248 128841 1992294400 134512640 135365884 4294956176 18446744073709551615 134544055 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371638 128841 112 208 0 371410 0
Current children cumulated CPU time (s) 9697.97
Current children cumulated vsize (KiB) 1546756
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1103344/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1486804 CPUtime=9696.83
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1316837 0 0 0 968650 1033 0 0 25 0 1 0 163492904 1522487296 128954 1992294400 134512640 135365884 4294956176 18446744073709551615 134536567 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371701 128954 112 208 0 371473 0
Current children cumulated CPU time (s) 9757.93
Current children cumulated vsize (KiB) 1547008
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1103152/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1486916 CPUtime=9756.81
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1322457 0 0 0 974643 1038 0 0 25 0 1 0 163492904 1522601984 129021 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371729 129021 112 208 0 371501 0
Current children cumulated CPU time (s) 9817.91
Current children cumulated vsize (KiB) 1547120
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102832/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487044 CPUtime=9816.79
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1327469 0 0 0 980637 1042 0 0 25 0 1 0 163492904 1522733056 129097 1992294400 134512640 135365884 4294956176 18446744073709551615 134543625 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371761 129097 112 208 0 371533 0
Current children cumulated CPU time (s) 9877.89
Current children cumulated vsize (KiB) 1547248
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102576/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487344 CPUtime=9876.75
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1333110 0 0 0 986627 1048 0 0 25 0 1 0 163492904 1523040256 129185 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371836 129185 112 208 0 371608 0
Current children cumulated CPU time (s) 9937.85
Current children cumulated vsize (KiB) 1547548
Solver just ended. Dumping a history of the last processes samples
[startup+9958.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102384/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487344 CPUtime=9892.74
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1334988 0 0 0 988225 1049 0 0 25 0 1 0 163492904 1523040256 129212 1992294400 134512640 135365884 4294956176 18446744073709551615 135090403 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371836 129212 112 208 0 371608 0
Current children cumulated CPU time (s) 9953.84
Current children cumulated vsize (KiB) 1547548
[startup+9983.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487492 CPUtime=9918.33
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1336879 0 0 0 990782 1051 0 0 25 0 1 0 163492904 1523191808 129252 1992294400 134512640 135365884 4294956176 18446744073709551615 134543594 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371873 129252 112 208 0 371645 0
Current children cumulated CPU time (s) 9979.43
Current children cumulated vsize (KiB) 1547696
[startup+9990.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487492 CPUtime=9924.73
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1337504 0 0 0 991422 1051 0 0 25 0 1 0 163492904 1523191808 129260 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371873 129260 112 208 0 371645 0
Current children cumulated CPU time (s) 9985.83
Current children cumulated vsize (KiB) 1547696
[startup+9996.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102192/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487492 CPUtime=9931.14
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1337514 0 0 0 992062 1052 0 0 25 0 1 0 163492904 1523191808 129270 1992294400 134512640 135365884 4294956176 18446744073709551615 134543011 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371873 129270 112 208 0 371645 0
Current children cumulated CPU time (s) 9992.24
Current children cumulated vsize (KiB) 1547696
[startup+9999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102128/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487492 CPUtime=9934.33
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1338140 0 0 0 992381 1052 0 0 25 0 1 0 163492904 1523191808 129279 1992294400 134512640 135365884 4294956176 18446744073709551615 134543628 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371873 129279 112 208 0 371645 0
Current children cumulated CPU time (s) 9995.43
Current children cumulated vsize (KiB) 1547696
[startup+10001.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102128/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487492 CPUtime=9935.93
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1338141 0 0 0 992540 1053 0 0 25 0 1 0 163492904 1523191808 129280 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371873 129280 112 208 0 371645 0
Current children cumulated CPU time (s) 9997.03
Current children cumulated vsize (KiB) 1547696
[startup+10001.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102128/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=1487492 CPUtime=9936.33
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4194304 1338141 0 0 0 992580 1053 0 0 25 0 1 0 163492904 1523191808 129280 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 371873 129280 112 208 0 371645 0
Current children cumulated CPU time (s) 9997.43
Current children cumulated vsize (KiB) 1547696
[startup+10002.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23212
/proc/meminfo: memFree=1102128/2055920 swapFree=4179764/4192956
[pid=23184] ppid=23182 vsize=60204 CPUtime=61.1
/proc/23184/stat : 23184 (SATzilla2009_I) S 23182 23184 23147 0 -1 4194304 24003 122223 0 0 1645 17 4367 81 25 0 1 0 163486787 61648896 14782 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 15051 14782 217 399 0 14648 0
[pid=23190] ppid=23184 vsize=0 CPUtime=9936.53
/proc/23190/stat : 23190 (zchaff_rand) R 23184 23184 23147 0 -1 4195332 1338141 0 0 0 992595 1058 0 0 25 0 1 0 163492904 0 0 1992294400 0 0 0 0 0 256 0 8392704 0 0 0 0 17 0 0 0
/proc/23190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9997.63
Current children cumulated vsize (KiB) 60204
Child status: 17
Real time (s): 10002.1
CPU time (s): 9997.71
CPU user time (s): 9986.09
CPU system time (s): 11.6152
CPU usage (%): 99.9556
Max. virtual memory (cumulated for all children) (KiB): 1550164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9986.09
system time used= 11.6152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1484385
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= 22766
runsolver used 9.92449 second user time and 26.454 second system time
The end
Begin job on node15 at 2009-05-03 14:42:14
IDJOB=1774640
IDBENCH=70967
IDSOLVER=616
FILE ID=node15/1774640-1241354532
PBS_JOBID= 9225589
Free space on /tmp= 66516 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L100_coli.sat.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774640-1241354532/watcher-1774640-1241354532 -o /tmp/evaluation-result-1774640-1241354532/solver-1774640-1241354532 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774640-1241354532.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED=1610709371
node15.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.220
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 : 5931.00
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.220
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: 1694608 kB
Buffers: 39860 kB
Cached: 242404 kB
SwapCached: 7008 kB
Active: 139920 kB
Inactive: 151360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1694608 kB
SwapTotal: 4192956 kB
SwapFree: 4179764 kB
Dirty: 61628 kB
Writeback: 0 kB
Mapped: 14460 kB
Slab: 55952 kB
Committed_AS: 672380 kB
PageTables: 1464 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= 66488 MiB
End job on node15 at 2009-05-03 17:28:56