60.90/61.06 c SATzilla is building models for class 3
60.90/61.06 c run presolver mxc-sr08 for 10 seconds ...
60.90/61.06 c Bin: Executing mxc-sr08
60.90/61.06 c spawning binary file with 10 seconds ...
60.90/61.06 c child exit by a signal
60.90/61.06 c mxc-sr08 returned code 137.
60.90/61.06 c run presolver picosat846 for 5 seconds ...
60.90/61.06 c Bin: Executing picosat846
60.90/61.06 c spawning binary file with 5 seconds ...
60.90/61.06 c child exit by a signal
60.90/61.06 c picosat846 returned code 137.
60.90/61.06 c Orignal number of varibales is 315617, number of clauses is 1522583
60.90/61.06 c predicted feature computation time is 55.520026
60.90/61.06 c Bin: Executing satelite
60.90/61.06 c spawning binary file with 240 seconds ...
60.90/61.06 c child exited successfully
60.90/61.06 c satzilla computing base features
60.90/61.06 c Number of variabe is: 48547, Number of clause is : 506124
60.90/61.06 c Initializing...
60.90/61.06 c satzilla doing clause learning
60.90/61.06 c start clause learning features ...
60.90/61.06 c Bin: Executing zchaff07
60.90/61.06 c spawning binary file with 2 seconds ...
60.90/61.06 c child exit by a signal
60.90/61.06 c satzilla doing survey propogation probe
60.90/61.06 c do survay propogation for 2 second ...
60.90/61.06 c satzilla doing local search probe
60.90/61.06 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 5160 0.932668 4358.5 1.41421 4358.5 0 0 5.64003 1.25338 1.08101 0.120375
60.90/61.06 c satzilla's ranking:
60.90/61.06 c 1) zchaff_rand: 3.120198
60.90/61.06 c 2) picosat846: 2.679127
60.90/61.06 c 3) mxc-sr08: 1.562978
60.90/61.06 c 4) minisat20SAT07: 1.527548
60.90/61.06 c 5) march_dl2004: 0.797985
60.90/61.06 c 6) SATenstein: -10000.000000
60.90/61.06 c 7) gnovelty+: -10000.000000
60.90/61.06 c 8) adaptg2wsat+: -10000.000000
60.90/61.06 c 9) adaptg2wsat0: -10000.000000
60.90/61.06 c 10) tts-4-0: -10000.000000
60.90/61.06 c 11) vallst: -10000.000000
60.90/61.06 c 12) minisat20: -10000.000000
60.90/61.06 c 13) kcnfs04SAT07: -10000.000000
60.90/61.06 c satzilla running zchaff_rand ...
1199.71/1200.40 c Bin: Executing zchaff_rand
1199.71/1200.40 c spawning binary file with 1139 seconds ...
1199.71/1200.40 c child exit by a signal
1199.71/1200.40 c zchaff_rand returned code 137.
1199.71/1200.40 c satzilla running picosat846 ...
1199.71/1200.40 c Bin: Executing picosat846
1199.71/1200.40 c picosat846 returned code 1.
1199.71/1200.40 c satzilla running mxc-sr08 ...
1199.71/1200.40 c Bin: Executing mxc-sr08
1199.71/1200.40 c mxc-sr08 returned code 1.
1199.71/1200.40 c satzilla running minisat20SAT07 ...
1199.71/1200.40 c Bin: Executing minisat20SAT07
1199.71/1200.40 c minisat20SAT07 returned code 1.
1199.71/1200.40 c satzilla running march_dl2004 ...
1199.82/1200.40 c Bin: Executing march_dl2004
1199.82/1200.40 c march_dl2004 returned code 1.
1199.82/1200.40 c satzilla running SATenstein ...
1199.82/1200.40 c Bin: Executing SATenstein
1199.82/1200.40 c SATenstein returned code 1.
1199.82/1200.40 c satzilla running gnovelty+ ...
1199.82/1200.40 c Bin: Executing gnovelty+
1199.82/1200.40 c gnovelty+ returned code 1.
1199.82/1200.40 c satzilla running adaptg2wsat+ ...
1199.82/1200.40 c Bin: Executing adaptg2wsat+
1199.82/1200.40 c adaptg2wsat+ returned code 1.
1199.82/1200.40 c satzilla running adaptg2wsat0 ...
1199.82/1200.40 c Bin: Executing adaptg2wsat0
1199.82/1200.40 c adaptg2wsat0 returned code 1.
1199.82/1200.40 c satzilla running tts-4-0 ...
1199.82/1200.40 c Bin: Executing tts-4-0
1199.82/1200.40 c tts-4-0 returned code 1.
1199.82/1200.40 c satzilla running vallst ...
1199.82/1200.40 c Bin: Executing vallst
1199.82/1200.40 c vallst returned code 1.
1199.82/1200.40 c satzilla running minisat20 ...
1199.82/1200.40 c Bin: Executing minisat20
1199.82/1200.40 c minisat20 returned code 1.
1199.82/1200.40 c satzilla running kcnfs04SAT07 ...
1199.82/1200.40 c Bin: Executing kcnfs04SAT07
1199.82/1200.40 c kcnfs04SAT07 returned code 1.
1199.82/1200.40 c ERROR: All Failed!
1199.82/1200.40 c SATZILLA_TIME=1200.010000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577845-1241005170/watcher-1577845-1241005170 -o /tmp/evaluation-result-1577845-1241005170/solver-1577845-1241005170 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_I HOME/instance-1577845-1241005170.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.98 0.99 3/65 6513
/proc/meminfo: memFree=1323080/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) R 6511 6513 6177 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=30804 CPUtime=0
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 697 0 0 0 0 0 0 0 18 0 1 0 128547630 31543296 693 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 7701 700 44 138 0 7560 0
[startup+0.0115169 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6513
/proc/meminfo: memFree=1323080/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=30804 CPUtime=0.01
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 1843 0 0 0 0 1 0 0 18 0 1 0 128547630 31543296 1839 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 7701 1845 44 138 0 7560 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 32860
[startup+0.101534 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6513
/proc/meminfo: memFree=1323080/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=71376 CPUtime=0.09
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 15493 0 0 0 2 7 0 0 19 0 1 0 128547630 73089024 15465 1992294400 134512640 135078026 4294956176 18446744073709551615 134555327 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 17844 15467 52 138 0 17703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 73432
[startup+0.301573 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6513
/proc/meminfo: memFree=1323080/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=107428 CPUtime=0.29
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 22714 0 0 0 18 11 0 0 21 0 1 0 128547630 110006272 22566 1992294400 134512640 135078026 4294956176 18446744073709551615 134735920 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 26857 22570 54 138 0 26716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 109484
[startup+0.701652 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6513
/proc/meminfo: memFree=1323080/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=135992 CPUtime=0.69
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 29694 0 0 0 56 13 0 0 25 0 1 0 128547630 139255808 29546 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 33998 29547 54 138 0 33857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 138048
[startup+1.50181 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 6515
/proc/meminfo: memFree=1181368/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=150552 CPUtime=1.48
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 40431 0 0 0 129 19 0 0 25 0 1 0 128547630 154165248 32765 1992294400 134512640 135078026 4294956176 18446744073709551615 134553995 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 37638 32765 55 138 0 37497 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 152608
[startup+3.10113 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 6515
/proc/meminfo: memFree=1189304/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=150552 CPUtime=3.08
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 40431 0 0 0 289 19 0 0 25 0 1 0 128547630 154165248 32765 1992294400 134512640 135078026 4294956176 18446744073709551615 134553989 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 37638 32765 55 138 0 37497 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 152608
[startup+6.30176 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 6515
/proc/meminfo: memFree=1189312/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=0
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128547629 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6513/statm: 514 112 96 399 0 111 0
[pid=6514] ppid=6513 vsize=151476 CPUtime=6.28
/proc/6514/stat : 6514 (mxc-sr08) R 6513 6513 6177 0 -1 4194304 40790 0 0 0 609 19 0 0 25 0 1 0 128547630 155111424 33124 1992294400 134512640 135078026 4294956176 18446744073709551615 134553856 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6514/statm: 37869 33124 55 138 0 37728 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 153532
[startup+12.702 s]
/proc/loadavg: 1.25 1.05 1.02 2/67 6516
/proc/meminfo: memFree=1247040/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=10
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 152 40884 0 0 0 0 979 21 16 0 1 0 128547629 2105344 121 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 514 121 104 399 0 111 0
[pid=6516] ppid=6513 vsize=78424 CPUtime=2.66
/proc/6516/stat : 6516 (picosat846) R 6513 6513 6177 0 -1 4194304 18502 0 0 0 257 9 0 0 25 0 1 0 128548632 80306176 18491 1992294400 134512640 134570484 4294956176 18446744073709551615 134522127 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6516/statm: 19606 18491 85 14 0 19272 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 80480
[startup+25.5016 s]
/proc/loadavg: 1.63 1.14 1.05 2/67 6517
/proc/meminfo: memFree=1156864/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=2056 CPUtime=15.01
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 179 59640 0 0 0 0 1470 31 16 0 1 0 128547629 2105344 138 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 514 138 120 399 0 111 0
[pid=6517] ppid=6513 vsize=202480 CPUtime=10.43
/proc/6517/stat : 6517 (satelite) R 6513 6513 6177 0 -1 4194304 41190 0 0 0 1018 25 0 0 25 0 1 0 128549134 207339520 41038 1992294400 134512640 135037501 4294956160 18446744073709551615 134543613 0 0 8392704 3 0 0 0 17 0 0 0
/proc/6517/statm: 50620 41038 66 128 0 50489 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 204536
[startup+51.1016 s]
/proc/loadavg: 1.90 1.25 1.08 2/66 6517
/proc/meminfo: memFree=1262024/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=50484 CPUtime=51.01
/proc/6513/stat : 6513 (SATzilla2009_I) R 6511 6513 6177 0 -1 4194304 12238 110486 0 0 859 6 4162 74 25 0 1 0 128547629 51695616 12189 1992294400 134512640 136149169 4294956208 18446744073709551615 134535467 0 0 4096 0 0 0 0 17 1 0 0
/proc/6513/statm: 12621 12189 135 399 0 12218 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 50484
[startup+102.306 s]
/proc/loadavg: 1.66 1.29 1.11 3/67 6519
/proc/meminfo: memFree=1117696/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1000920 CPUtime=41.19
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 71435 0 0 0 4075 44 0 0 25 0 1 0 128553735 1024942080 34001 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 250230 34001 112 208 0 250002 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 1061124
[startup+162.302 s]
/proc/loadavg: 1.24 1.24 1.09 2/67 6520
/proc/meminfo: memFree=1114752/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1004112 CPUtime=101.15
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 101828 0 0 0 10047 68 0 0 25 0 1 0 128553735 1028210688 34778 1992294400 134512640 135365884 4294956160 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 251028 34778 112 208 0 250800 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 1064316
[startup+222.301 s]
/proc/loadavg: 1.09 1.19 1.09 2/67 6520
/proc/meminfo: memFree=1112128/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1006076 CPUtime=161.13
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 127148 0 0 0 16026 87 0 0 25 0 1 0 128553735 1030221824 35418 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 251519 35418 112 208 0 251291 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 1066280
[startup+282.301 s]
/proc/loadavg: 1.03 1.15 1.08 2/67 6520
/proc/meminfo: memFree=1110080/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1007732 CPUtime=221.11
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 146791 0 0 0 22008 103 0 0 25 0 1 0 128553735 1031917568 35934 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 251933 35934 112 208 0 251705 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 1067936
[startup+342.302 s]
/proc/loadavg: 1.01 1.12 1.07 2/67 6520
/proc/meminfo: memFree=1105408/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1009768 CPUtime=281.08
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 165850 0 0 0 27992 116 0 0 25 0 1 0 128553735 1034002432 37100 1992294400 134512640 135365884 4294956160 18446744073709551615 134556080 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 252442 37100 112 208 0 252214 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 1069972
[startup+402.302 s]
################
# More data... #
################
/proc/6519/statm: 262884 45272 112 208 0 262656 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 1111740
[startup+822.303 s]
/proc/loadavg: 1.04 1.03 1.03 2/67 6520
/proc/meminfo: memFree=1068416/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1052500 CPUtime=760.89
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 285582 0 0 0 75879 210 0 0 25 0 1 0 128553735 1077760000 46389 1992294400 134512640 135365884 4294956160 18446744073709551615 135090418 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 263125 46389 112 208 0 262897 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 1112704
[startup+882.301 s]
/proc/loadavg: 1.01 1.02 1.03 2/67 6520
/proc/meminfo: memFree=1064832/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1053608 CPUtime=820.86
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 296915 0 0 0 81868 218 0 0 25 0 1 0 128553735 1078894592 47233 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 263402 47233 112 208 0 263174 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 1113812
[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.02 2/67 6520
/proc/meminfo: memFree=1060096/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1054780 CPUtime=880.84
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 308587 0 0 0 87857 227 0 0 25 0 1 0 128553735 1080094720 48416 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 263695 48416 112 208 0 263467 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 1114984
[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/67 6520
/proc/meminfo: memFree=1057408/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1055652 CPUtime=940.82
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 320355 0 0 0 93844 238 0 0 25 0 1 0 128553735 1080987648 49078 1992294400 134512640 135365884 4294956160 18446744073709551615 134543594 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 263913 49078 112 208 0 263685 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 1115856
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 6520
/proc/meminfo: memFree=1056384/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1056284 CPUtime=1000.8
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 332950 0 0 0 99834 246 0 0 25 0 1 0 128553735 1081634816 49333 1992294400 134512640 135365884 4294956160 18446744073709551615 134606346 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 264071 49333 112 208 0 263843 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1116488
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1054656/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1057080 CPUtime=1060.78
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 343845 0 0 0 105822 256 0 0 25 0 1 0 128553735 1082449920 49739 1992294400 134512640 135365884 4294956160 18446744073709551615 135075450 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 264270 49739 112 208 0 264042 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 1117284
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049856/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123412 CPUtime=1120.75
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 357385 0 0 0 111810 265 0 0 25 0 1 0 128553735 1150373888 50939 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280853 50939 112 208 0 280625 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 1183616
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049536/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123412 CPUtime=1128.75
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 358744 0 0 0 112608 267 0 0 25 0 1 0 128553735 1150373888 51064 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280853 51064 112 208 0 280625 0
Current children cumulated CPU time (s) 1189.71
Current children cumulated vsize (KiB) 1183616
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049216/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123536 CPUtime=1135.16
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 360012 0 0 0 113248 268 0 0 25 0 1 0 128553735 1150500864 51098 1992294400 134512640 135365884 4294956160 18446744073709551615 134543594 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280884 51098 112 208 0 280656 0
Current children cumulated CPU time (s) 1196.12
Current children cumulated vsize (KiB) 1183740
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049216/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123536 CPUtime=1136.75
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 360019 0 0 0 113407 268 0 0 25 0 1 0 128553735 1150500864 51105 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280884 51105 112 208 0 280656 0
Current children cumulated CPU time (s) 1197.71
Current children cumulated vsize (KiB) 1183740
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049216/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123536 CPUtime=1137.55
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 360022 0 0 0 113487 268 0 0 25 0 1 0 128553735 1150500864 51108 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280884 51108 112 208 0 280656 0
Current children cumulated CPU time (s) 1198.51
Current children cumulated vsize (KiB) 1183740
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049216/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123536 CPUtime=1138.35
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 360643 0 0 0 113567 268 0 0 25 0 1 0 128553735 1150500864 51112 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280884 51112 112 208 0 280656 0
Current children cumulated CPU time (s) 1199.31
Current children cumulated vsize (KiB) 1183740
[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049152/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=60.96
/proc/6513/stat : 6513 (SATzilla2009_I) S 6511 6513 6177 0 -1 4194304 24003 122223 0 0 1640 19 4357 80 25 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
[pid=6519] ppid=6513 vsize=1123536 CPUtime=1138.75
/proc/6519/stat : 6519 (zchaff_rand) R 6513 6513 6177 0 -1 4194304 360645 0 0 0 113607 268 0 0 25 0 1 0 128553735 1150500864 51114 1992294400 134512640 135365884 4294956160 18446744073709551615 134555994 0 0 8392704 0 0 0 0 17 0 0 0
/proc/6519/statm: 280884 51114 112 208 0 280656 0
Current children cumulated CPU time (s) 1199.71
Current children cumulated vsize (KiB) 1183740
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6520
/proc/meminfo: memFree=1049152/2055920 swapFree=4180460/4192956
[pid=6513] ppid=6511 vsize=60204 CPUtime=1199.82
/proc/6513/stat : 6513 (SATzilla2009_I) R 6511 6513 6177 0 -1 4194304 24015 482868 0 0 1640 19 117971 352 16 0 1 0 128547629 61648896 14782 1992294400 134512640 136149169 4294956208 18446744073709551615 135547533 0 0 4096 3 0 0 0 17 0 0 0
/proc/6513/statm: 15051 14782 217 399 0 14648 0
Current children cumulated CPU time (s) 1199.82
Current children cumulated vsize (KiB) 60204
Child status: 17
Real time (s): 1200.42
CPU time (s): 1199.86
CPU user time (s): 1196.12
CPU system time (s): 3.73943
CPU usage (%): 99.9536
Max. virtual memory (cumulated for all children) (KiB): 1186084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.12
system time used= 3.73943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506889
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= 24
involuntary context switches= 4009
runsolver used 1.03184 second user time and 3.33949 second system time
The end
Begin job on node77 at 2009-04-29 13:39:32
IDJOB=1577845
IDBENCH=70967
IDSOLVER=528
FILE ID=node77/1577845-1241005170
PBS_JOBID= 9204795
Free space on /tmp= 66408 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-1577845-1241005170/watcher-1577845-1241005170 -o /tmp/evaluation-result-1577845-1241005170/solver-1577845-1241005170 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_I HOME/instance-1577845-1241005170.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED=427691686
node77.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.270
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.270
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1323496 kB
Buffers: 47764 kB
Cached: 629852 kB
SwapCached: 7076 kB
Active: 261324 kB
Inactive: 425412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1323496 kB
SwapTotal: 4192956 kB
SwapFree: 4180460 kB
Dirty: 61524 kB
Writeback: 0 kB
Mapped: 13972 kB
Slab: 31636 kB
Committed_AS: 580424 kB
PageTables: 1384 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= 66376 MiB
End job on node77 at 2009-04-29 13:59:33