83.72/83.88 c SATzilla is building models for class 3
83.72/83.88 c run presolver mxc-sr08 for 10 seconds ...
83.72/83.88 c Bin: Executing mxc-sr08
83.72/83.88 c spawning binary file with 10 seconds ...
83.72/83.88 c child exit by a signal
83.72/83.88 c mxc-sr08 returned code 137.
83.72/83.88 c run presolver picosat846 for 5 seconds ...
83.72/83.88 c Bin: Executing picosat846
83.72/83.88 c spawning binary file with 5 seconds ...
83.72/83.88 c child exit by a signal
83.72/83.88 c picosat846 returned code 137.
83.72/83.88 c Orignal number of varibales is 234673, number of clauses is 1071339
83.72/83.88 c predicted feature computation time is 30.103491
83.72/83.88 c Bin: Executing satelite
83.72/83.88 c spawning binary file with 240 seconds ...
83.72/83.88 c child exited successfully
83.72/83.88 c satzilla computing base features
83.72/83.88 c Number of variabe is: 113985, Number of clause is : 628528
83.72/83.88 c Initializing...
83.72/83.88 c satzilla doing clause learning
83.72/83.88 c start clause learning features ...
83.72/83.88 c Bin: Executing zchaff07
83.72/83.88 c spawning binary file with 2 seconds ...
83.72/83.88 c child exit by a signal
83.72/83.88 c satzilla doing survey propogation probe
83.72/83.88 c do survay propogation for 2 second ...
83.72/83.88 c satzilla doing local search probe
83.72/83.88 c features are:234673 1.07134e+06 113985 628528 1.05881 0.704521 0.181352 0.393399 0.996344 1.38709 2.40262e-05 0.492894 1.75462e-05 8.77308e-05 1.02512 0.6156 0.867591 2.40262e-05 0.468734 1.11371e-05 5.88677e-05 2.56448 0.266798 0.161553 0 0.777778 2.85632 1.41935e-05 0.474322 4.77306e-06 3.97755e-05 2.27539 0.744435 2.60977e-05 0.466073 6.36408e-06 6.36408e-05 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.59269 0.526279 1.0861e-08 0.964162 0.887292 0.0816258 0.844467 0.300138 0.761883 0.0159658 0.794704 4.38699e-08 0.13415 0.0300223 2.68248e-05 0.0223997 0.00776279 0.015709 28908 0 0 0 0 0 0 3.14078 0 1.32249 0
83.72/83.88 c satzilla's ranking:
83.72/83.88 c 1) mxc-sr08: 2.926739
83.72/83.88 c 2) picosat846: 2.704328
83.72/83.88 c 3) minisat20SAT07: 1.269607
83.72/83.88 c 4) zchaff_rand: 0.764128
83.72/83.88 c 5) march_dl2004: -0.064426
83.72/83.88 c 6) SATenstein: -10000.000000
83.72/83.88 c 7) gnovelty+: -10000.000000
83.72/83.88 c 8) adaptg2wsat+: -10000.000000
83.72/83.88 c 9) adaptg2wsat0: -10000.000000
83.72/83.88 c 10) tts-4-0: -10000.000000
83.72/83.88 c 11) vallst: -10000.000000
83.72/83.88 c 12) minisat20: -10000.000000
83.72/83.88 c 13) kcnfs04SAT07: -10000.000000
83.72/83.88 c satzilla running mxc-sr08 ...
1199.61/1200.19 c Bin: Executing mxc-sr08
1199.61/1200.19 c spawning binary file with 1116 seconds ...
1199.61/1200.19 c child exit by a signal
1199.61/1200.19 c mxc-sr08 returned code 137.
1199.61/1200.19 c satzilla running picosat846 ...
1199.61/1200.19 c Bin: Executing picosat846
1199.61/1200.19 c picosat846 returned code 1.
1199.61/1200.19 c satzilla running minisat20SAT07 ...
1199.61/1200.19 c Bin: Executing minisat20SAT07
1199.61/1200.19 c minisat20SAT07 returned code 1.
1199.61/1200.19 c satzilla running zchaff_rand ...
1199.61/1200.19 c Bin: Executing zchaff_rand
1199.61/1200.19 c zchaff_rand returned code 1.
1199.61/1200.19 c satzilla running march_dl2004 ...
1199.61/1200.19 c Bin: Executing march_dl2004
1199.61/1200.19 c march_dl2004 returned code 1.
1199.61/1200.19 c satzilla running SATenstein ...
1199.61/1200.19 c Bin: Executing SATenstein
1199.61/1200.19 c SATenstein returned code 1.
1199.61/1200.19 c satzilla running gnovelty+ ...
1199.61/1200.19 c Bin: Executing gnovelty+
1199.61/1200.19 c gnovelty+ returned code 1.
1199.61/1200.19 c satzilla running adaptg2wsat+ ...
1199.61/1200.19 c Bin: Executing adaptg2wsat+
1199.61/1200.19 c adaptg2wsat+ returned code 1.
1199.61/1200.19 c satzilla running adaptg2wsat0 ...
1199.61/1200.19 c Bin: Executing adaptg2wsat0
1199.61/1200.19 c adaptg2wsat0 returned code 1.
1199.61/1200.19 c satzilla running tts-4-0 ...
1199.61/1200.19 c Bin: Executing tts-4-0
1199.61/1200.19 c tts-4-0 returned code 1.
1199.61/1200.19 c satzilla running vallst ...
1199.61/1200.19 c Bin: Executing vallst
1199.61/1200.19 c vallst returned code 1.
1199.61/1200.19 c satzilla running minisat20 ...
1199.61/1200.19 c Bin: Executing minisat20
1199.61/1200.19 c minisat20 returned code 1.
1199.61/1200.19 c satzilla running kcnfs04SAT07 ...
1199.61/1200.19 c Bin: Executing kcnfs04SAT07
1199.61/1200.19 c kcnfs04SAT07 returned code 1.
1199.61/1200.19 c ERROR: All Failed!
1199.61/1200.19 c SATZILLA_TIME=1199.890000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1715863-1240608158/watcher-1715863-1240608158 -o /tmp/evaluation-result-1715863-1240608158/solver-1715863-1240608158 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1715863-1240608158.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.97 0.88 3/64 19667
/proc/meminfo: memFree=1029568/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=19860 CPUtime=0
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 641 0 0 0 0 0 0 0 19 0 1 0 88842435 20336640 637 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 4965 643 44 138 0 4824 0
[startup+0.0669569 s]
/proc/loadavg: 0.92 0.97 0.88 3/64 19667
/proc/meminfo: memFree=1029568/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=46852 CPUtime=0.05
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 10010 0 0 0 1 4 0 0 19 0 1 0 88842435 47976448 10006 1992294400 134512640 135078026 4294956192 18446744073709551615 134725658 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 11713 10008 52 138 0 11572 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 48908
[startup+0.101962 s]
/proc/loadavg: 0.92 0.97 0.88 3/64 19667
/proc/meminfo: memFree=1029568/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=60344 CPUtime=0.09
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 12695 0 0 0 4 5 0 0 19 0 1 0 88842435 61792256 12667 1992294400 134512640 135078026 4294956192 18446744073709551615 134555327 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 15086 12668 52 138 0 14945 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62400
[startup+0.302002 s]
/proc/loadavg: 0.92 0.97 0.88 3/64 19667
/proc/meminfo: memFree=1029568/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=83648 CPUtime=0.29
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 17550 0 0 0 22 7 0 0 20 0 1 0 88842435 85655552 17478 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 20912 17479 54 138 0 20771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85704
[startup+0.701079 s]
/proc/loadavg: 0.92 0.97 0.88 3/64 19667
/proc/meminfo: memFree=1029568/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=104656 CPUtime=0.69
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 22526 0 0 0 59 10 0 0 24 0 1 0 88842435 107167744 22454 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 26164 22454 54 138 0 26023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106712
[startup+1.50124 s]
/proc/loadavg: 0.93 0.97 0.88 2/66 19669
/proc/meminfo: memFree=922096/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=116892 CPUtime=1.49
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 29675 0 0 0 136 13 0 0 25 0 1 0 88842435 119697408 24821 1992294400 134512640 135078026 4294956192 18446744073709551615 134560793 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 29223 24821 55 138 0 29082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118948
[startup+3.10155 s]
/proc/loadavg: 0.93 0.97 0.88 2/66 19669
/proc/meminfo: memFree=920496/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=139464 CPUtime=3.09
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 35848 0 0 0 292 17 0 0 25 0 1 0 88842435 142811136 30994 1992294400 134512640 135078026 4294956192 18446744073709551615 134568783 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 34866 30994 55 138 0 34725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141520
[startup+6.30118 s]
/proc/loadavg: 0.93 0.97 0.88 2/66 19669
/proc/meminfo: memFree=912752/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=0
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 88842435 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 112 96 399 0 111 0
[pid=19668] ppid=19667 vsize=127988 CPUtime=6.28
/proc/19668/stat : 19668 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 38472 0 0 0 608 20 0 0 25 0 1 0 88842435 131059712 29268 1992294400 134512640 135078026 4294956192 18446744073709551615 134534011 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19668/statm: 31997 29268 71 138 0 31856 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 130044
[startup+12.7014 s]
/proc/loadavg: 0.94 0.97 0.88 2/66 19670
/proc/meminfo: memFree=977208/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=2056 CPUtime=10
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 152 38475 0 0 0 0 978 22 19 0 1 0 88842435 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 514 121 104 399 0 111 0
[pid=19670] ppid=19667 vsize=58560 CPUtime=2.66
/proc/19670/stat : 19670 (picosat846) R 19667 19667 19566 0 -1 4194304 13270 0 0 0 260 6 0 0 25 0 1 0 88843437 59965440 13259 1992294400 134512640 134570484 4294956192 18446744073709551615 134553070 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19670/statm: 14640 13259 85 14 0 14306 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 60616
[startup+25.5019 s]
/proc/loadavg: 1.10 1.00 0.89 2/65 19671
/proc/meminfo: memFree=961600/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=60392 CPUtime=25.47
/proc/19667/stat : 19667 (SATzilla2009_I) R 19665 19667 19566 0 -1 4194304 14123 97025 0 0 188 6 2289 64 25 0 1 0 88842435 61841408 14074 1992294400 134512640 136149169 4294956224 18446744073709551615 134535477 0 0 4096 0 0 0 0 17 1 0 0
/proc/19667/statm: 15098 14074 135 399 0 14695 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 60392
[startup+51.1019 s]
/proc/loadavg: 1.07 1.00 0.89 2/65 19671
/proc/meminfo: memFree=960512/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=60392 CPUtime=51.05
/proc/19667/stat : 19667 (SATzilla2009_I) R 19665 19667 19566 0 -1 4194304 14408 97025 0 0 2745 7 2289 64 25 0 1 0 88842435 61841408 14359 1992294400 134512640 136149169 4294956224 18446744073709551615 134535477 0 0 4096 0 0 0 0 17 1 0 0
/proc/19667/statm: 15098 14359 135 399 0 14695 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 60392
[startup+102.306 s]
/proc/loadavg: 1.03 1.00 0.90 2/66 19673
/proc/meminfo: memFree=832056/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=127988 CPUtime=18.39
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 38484 0 0 0 1822 17 0 0 25 0 1 0 88850824 131059712 29280 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 31997 29280 71 138 0 31856 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 198936
[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.90 2/66 19673
/proc/meminfo: memFree=830200/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=129844 CPUtime=78.37
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 38939 0 0 0 7819 18 0 0 25 0 1 0 88850824 132960256 29735 1992294400 134512640 135078026 4294956192 18446744073709551615 134523962 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 32461 29735 71 138 0 32320 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 200792
[startup+222.302 s]
/proc/loadavg: 1.07 1.02 0.91 2/66 19673
/proc/meminfo: memFree=816376/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=143532 CPUtime=138.35
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 42369 0 0 0 13814 21 0 0 25 0 1 0 88850824 146976768 33165 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 35883 33165 71 138 0 35742 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 214480
[startup+282.301 s]
/proc/loadavg: 1.02 1.01 0.91 2/66 19673
/proc/meminfo: memFree=801400/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=158416 CPUtime=198.32
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 46097 0 0 0 19807 25 0 0 25 0 1 0 88850824 162217984 36893 1992294400 134512640 135078026 4294956192 18446744073709551615 134523981 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 39604 36893 71 138 0 39463 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 229364
[startup+342.302 s]
/proc/loadavg: 1.01 1.00 0.91 2/66 19673
/proc/meminfo: memFree=781688/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=178188 CPUtime=258.3
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 51010 0 0 0 25800 30 0 0 25 0 1 0 88850824 182464512 41806 1992294400 134512640 135078026 4294956192 18446744073709551615 134523741 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 44547 41806 71 138 0 44406 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 249136
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19673
/proc/meminfo: memFree=781048/2055920 swapFree=4192956/4192956
################
# More data... #
################
/proc/19673/statm: 68819 66110 71 138 0 68678 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 346224
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19673
/proc/meminfo: memFree=684152/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=275276 CPUtime=738.12
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 75314 0 0 0 73758 54 0 0 25 0 1 0 88850824 281882624 66110 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 68819 66110 71 138 0 68678 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 346224
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19673
/proc/meminfo: memFree=684216/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=275276 CPUtime=798.1
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 75314 0 0 0 79756 54 0 0 25 0 1 0 88850824 281882624 66110 1992294400 134512640 135078026 4294956192 18446744073709551615 134523981 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 68819 66110 71 138 0 68678 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 346224
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19673
/proc/meminfo: memFree=660088/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=299796 CPUtime=858.08
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 81429 0 0 0 85748 60 0 0 25 0 1 0 88850824 306991104 72225 1992294400 134512640 135078026 4294956192 18446744073709551615 134523853 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 74949 72225 71 138 0 74808 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 370744
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=633464/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=326068 CPUtime=918.06
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 88020 0 0 0 91739 67 0 0 25 0 1 0 88850824 333893632 78816 1992294400 134512640 135078026 4294956192 18446744073709551615 134534579 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 81517 78816 71 138 0 81376 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 397016
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=605752/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=354300 CPUtime=978.03
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 95020 0 0 0 97730 73 0 0 25 0 1 0 88850824 362803200 85816 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 88575 85816 71 138 0 88434 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 425248
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1038.01
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 103722 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 445220
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1097.99
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 109720 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 445220
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1105.99
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 110520 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134523974 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1189.81
Current children cumulated vsize (KiB) 445220
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1112.39
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 111160 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1196.21
Current children cumulated vsize (KiB) 445220
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1113.98
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 111319 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134523809 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1197.8
Current children cumulated vsize (KiB) 445220
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1114.78
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 111399 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134523813 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1198.6
Current children cumulated vsize (KiB) 445220
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1115.58
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 111479 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134534404 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1199.4
Current children cumulated vsize (KiB) 445220
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=70948 CPUtime=83.82
/proc/19667/stat : 19667 (SATzilla2009_I) S 19665 19667 19566 0 -1 4194304 30203 114808 0 0 5810 19 2479 74 25 0 1 0 88842435 72650752 17404 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19667/statm: 17737 17404 217 399 0 17334 0
[pid=19673] ppid=19667 vsize=374272 CPUtime=1115.79
/proc/19673/stat : 19673 (mxc-sr08) R 19667 19667 19566 0 -1 4194304 99994 0 0 0 111500 79 0 0 25 0 1 0 88850824 383254528 90790 1992294400 134512640 135078026 4294956192 18446744073709551615 134534634 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19673/statm: 93568 90790 71 138 0 93427 0
Current children cumulated CPU time (s) 1199.61
Current children cumulated vsize (KiB) 445220
[startup+1200.2 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 19675
/proc/meminfo: memFree=585336/2055920 swapFree=4192956/4192956
[pid=19667] ppid=19665 vsize=0 CPUtime=1199.71
/proc/19667/stat : 19667 (SATzilla2009_I) R 19665 19667 19566 0 -1 4194308 30225 214802 0 0 5810 19 113983 159 16 0 1 0 88842435 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/19667/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.71
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 1200.21
CPU time (s): 1199.74
CPU user time (s): 1197.93
CPU system time (s): 1.80572
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 445220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.93
system time used= 1.80572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245027
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= 3407
runsolver used 1.42978 second user time and 2.77158 second system time
The end
Begin job on node66 at 2009-04-24 23:22:40
IDJOB=1715863
IDBENCH=20353
IDSOLVER=528
FILE ID=node66/1715863-1240608158
PBS_JOBID= 9186255
Free space on /tmp= 66264 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1715863-1240608158/watcher-1715863-1240608158 -o /tmp/evaluation-result-1715863-1240608158/solver-1715863-1240608158 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1715863-1240608158.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d90571b4b69632567da9d3ebfd25979e
RANDOM SEED=778698379
node66.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.263
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.263
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: 1030048 kB
Buffers: 78184 kB
Cached: 845324 kB
SwapCached: 0 kB
Active: 122708 kB
Inactive: 814684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1030048 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 50704 kB
Writeback: 0 kB
Mapped: 23636 kB
Slab: 74520 kB
Committed_AS: 401584 kB
PageTables: 1360 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= 66232 MiB
End job on node66 at 2009-04-24 23:42:41