30.44/30.52 c SATzilla is building models for class 3
30.44/30.52 c run presolver mxc-sr08 for 10 seconds ...
30.44/30.52 c Bin: Executing mxc-sr08
30.44/30.52 c spawning binary file with 10 seconds ...
30.44/30.52 c child exit by a signal
30.44/30.52 c mxc-sr08 returned code 137.
30.44/30.52 c run presolver picosat846 for 5 seconds ...
30.44/30.52 c Bin: Executing picosat846
30.44/30.52 c spawning binary file with 5 seconds ...
30.44/30.52 c child exit by a signal
30.44/30.52 c picosat846 returned code 137.
30.44/30.52 c Orignal number of varibales is 3152, number of clauses is 330948
30.44/30.52 c predicted feature computation time is 2.467644
30.44/30.52 c Bin: Executing satelite
30.44/30.52 c spawning binary file with 240 seconds ...
30.44/30.52 c child exited successfully
30.44/30.52 c satzilla computing base features
30.44/30.52 c Number of variabe is: 2029, Number of clause is : 329509
30.44/30.52 c Initializing...
30.44/30.52 c satzilla doing clause learning
30.44/30.52 c start clause learning features ...
30.44/30.52 c Bin: Executing zchaff07
30.44/30.52 c spawning binary file with 2 seconds ...
30.44/30.52 c child exit by a signal
30.44/30.52 c satzilla doing survey propogation probe
30.44/30.52 c do survay propogation for 2 second ...
30.44/30.52 c satzilla doing local search probe
30.44/30.52 c features are:3152 330948 2029 329509 0.553475 0.0043671 0.00615765 0.44441 0.559612 0.586897 0.00216468 1.36429 0.000985707 0.0221784 0.373644 0.0146916 0.937883 0.00216468 1.1443 2.42785e-05 0.00826685 4.06145 0.24708 0.30589 0 0.916418 2.2962 0.00137948 0.883182 1.82089e-05 0.00417591 4.10855 0.937883 0.0010011 1.03226 2.12437e-05 0.00331706 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505574 0.618 7.87288e-06 0.982899 0.955565 0.0882542 0.774056 0.24974 0.450694 0.0091057 2.36006 -1.17961e-16 0.184644 0.0396908 0 0.00414434 6.36602e-13 5.69772e-05 494 0 0 0 0 0 0 81.3077 0 1.01168 0
30.44/30.52 c satzilla's ranking:
30.44/30.52 c 1) mxc-sr08: 3.702493
30.44/30.52 c 2) picosat846: 3.125622
30.44/30.52 c 3) zchaff_rand: 2.551038
30.44/30.52 c 4) minisat20SAT07: 1.241391
30.44/30.52 c 5) march_dl2004: 0.198418
30.44/30.52 c 6) SATenstein: -10000.000000
30.44/30.52 c 7) gnovelty+: -10000.000000
30.44/30.52 c 8) adaptg2wsat+: -10000.000000
30.44/30.52 c 9) adaptg2wsat0: -10000.000000
30.44/30.52 c 10) tts-4-0: -10000.000000
30.44/30.52 c 11) vallst: -10000.000000
30.44/30.52 c 12) minisat20: -10000.000000
30.44/30.52 c 13) kcnfs04SAT07: -10000.000000
30.44/30.52 c satzilla running mxc-sr08 ...
9997.87/10001.59 c Bin: Executing mxc-sr08
9997.87/10001.59 c spawning binary file with 9969 seconds ...
9997.87/10001.59 c child exit by a signal
9997.87/10001.59 c mxc-sr08 returned code 137.
9997.87/10001.59 c satzilla running picosat846 ...
9997.87/10001.59 c Bin: Executing picosat846
9997.87/10001.59 c picosat846 returned code 1.
9997.87/10001.59 c satzilla running zchaff_rand ...
9997.87/10001.59 c Bin: Executing zchaff_rand
9997.87/10001.59 c zchaff_rand returned code 1.
9997.87/10001.59 c satzilla running minisat20SAT07 ...
9997.87/10001.59 c Bin: Executing minisat20SAT07
9997.87/10001.59 c minisat20SAT07 returned code 1.
9997.87/10001.59 c satzilla running march_dl2004 ...
9997.87/10001.59 c Bin: Executing march_dl2004
9997.87/10001.59 c march_dl2004 returned code 1.
9997.87/10001.59 c satzilla running SATenstein ...
9997.87/10001.59 c Bin: Executing SATenstein
9997.87/10001.59 c SATenstein returned code 1.
9997.87/10001.59 c satzilla running gnovelty+ ...
9997.87/10001.59 c Bin: Executing gnovelty+
9997.87/10001.59 c gnovelty+ returned code 1.
9997.87/10001.59 c satzilla running adaptg2wsat+ ...
9997.87/10001.59 c Bin: Executing adaptg2wsat+
9997.87/10001.59 c adaptg2wsat+ returned code 1.
9997.87/10001.59 c satzilla running adaptg2wsat0 ...
9997.87/10001.59 c Bin: Executing adaptg2wsat0
9997.87/10001.59 c adaptg2wsat0 returned code 1.
9997.87/10001.59 c satzilla running tts-4-0 ...
9997.87/10001.59 c Bin: Executing tts-4-0
9997.87/10001.59 c tts-4-0 returned code 1.
9997.87/10001.59 c satzilla running vallst ...
9997.87/10001.59 c Bin: Executing vallst
9997.87/10001.59 c vallst returned code 1.
9997.87/10001.59 c satzilla running minisat20 ...
9997.87/10001.59 c Bin: Executing minisat20
9997.87/10001.59 c minisat20 returned code 1.
9997.87/10001.59 c satzilla running kcnfs04SAT07 ...
9997.87/10001.59 c Bin: Executing kcnfs04SAT07
9997.87/10001.59 c kcnfs04SAT07 returned code 1.
9997.87/10001.59 c ERROR: All Failed!
9997.87/10001.59 c SATZILLA_TIME=9999.520000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775040-1241356901/watcher-1775040-1241356901 -o /tmp/evaluation-result-1775040-1241356901/solver-1775040-1241356901 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1775040-1241356901.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: 1.00 1.00 1.00 3/65 1361
/proc/meminfo: memFree=1663928/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) R 1359 1361 1260 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=6244 CPUtime=0
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 670 0 0 0 0 0 0 0 18 0 1 0 163723885 6393856 666 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 1561 672 44 138 0 1420 0
[startup+0.0843301 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1361
/proc/meminfo: memFree=1663928/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=12840 CPUtime=0.07
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 3037 0 0 0 6 1 0 0 19 0 1 0 163723885 13148160 3033 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 3210 3033 54 138 0 3069 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14896
[startup+0.10133 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1361
/proc/meminfo: memFree=1663928/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=14028 CPUtime=0.09
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 3382 0 0 0 8 1 0 0 19 0 1 0 163723885 14364672 3378 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 3507 3378 54 138 0 3366 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16084
[startup+0.301349 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1361
/proc/meminfo: memFree=1663928/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=20736 CPUtime=0.29
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 6194 0 0 0 27 2 0 0 21 0 1 0 163723885 21233664 4812 1992294400 134512640 135078026 4294956192 18446744073709551615 134560762 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 5184 4812 55 138 0 5043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22792
[startup+0.701385 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1361
/proc/meminfo: memFree=1663928/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=20736 CPUtime=0.69
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 6194 0 0 0 67 2 0 0 25 0 1 0 163723885 21233664 4812 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 5184 4812 55 138 0 5043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22792
[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1363
/proc/meminfo: memFree=1644512/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=20736 CPUtime=1.49
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 6194 0 0 0 147 2 0 0 25 0 1 0 163723885 21233664 4812 1992294400 134512640 135078026 4294956192 18446744073709551615 134560885 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 5184 4812 55 138 0 5043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22792
[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1363
/proc/meminfo: memFree=1643424/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=20736 CPUtime=3.09
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 6194 0 0 0 305 4 0 0 25 0 1 0 163723885 21233664 4812 1992294400 134512640 135078026 4294956192 18446744073709551615 134560885 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 5184 4812 55 138 0 5043 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22792
[startup+6.30191 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1363
/proc/meminfo: memFree=1633512/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=0
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163723885 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1361/statm: 514 112 96 399 0 111 0
[pid=1362] ppid=1361 vsize=31548 CPUtime=6.29
/proc/1362/stat : 1362 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 9026 0 0 0 624 5 0 0 25 0 1 0 163723885 32305152 7644 1992294400 134512640 135078026 4294956192 18446744073709551615 134560913 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1362/statm: 7887 7644 55 138 0 7746 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33604
[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1364
/proc/meminfo: memFree=1649520/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=2056 CPUtime=9.99
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 152 9026 0 0 0 0 994 5 16 0 1 0 163723885 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 514 121 104 399 0 111 0
[pid=1364] ppid=1361 vsize=17820 CPUtime=2.68
/proc/1364/stat : 1364 (picosat846) R 1361 1361 1260 0 -1 4194304 3992 0 0 0 266 2 0 0 25 0 1 0 163724886 18247680 3981 1992294400 134512640 134570484 4294956192 18446744073709551615 134551733 0 0 8392704 0 0 0 0 17 1 0 0
/proc/1364/statm: 4455 3981 85 14 0 4121 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19876
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1366
/proc/meminfo: memFree=1612088/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=47044 CPUtime=25.43
/proc/1361/stat : 1361 (SATzilla2009_I) R 1359 1361 1260 0 -1 4194304 15198 30867 0 0 319 7 2195 22 25 0 1 0 163723885 48173056 11302 1992294400 134512640 136149169 4294956224 18446744073709551615 134872462 0 0 4096 3 0 0 0 17 0 0 0
/proc/1361/statm: 11761 11302 152 399 0 11358 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 47044
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1367
/proc/meminfo: memFree=1576496/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=38720 CPUtime=20.55
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 11332 0 0 0 2050 5 0 0 25 0 1 0 163726938 39649280 9275 1992294400 134512640 135078026 4294956192 18446744073709551615 134534292 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 9680 9275 71 138 0 9539 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 83940
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1367
/proc/meminfo: memFree=1559728/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=56076 CPUtime=71.73
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 15551 0 0 0 7163 10 0 0 25 0 1 0 163726938 57421824 13494 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 14019 13494 71 138 0 13878 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 101296
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1367
/proc/meminfo: memFree=1549552/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=66572 CPUtime=131.71
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 18072 0 0 0 13159 12 0 0 25 0 1 0 163726938 68169728 16015 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 16643 16015 71 138 0 16502 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 111792
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1367
/proc/meminfo: memFree=1540080/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=76760 CPUtime=191.69
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 20447 0 0 0 19154 15 0 0 25 0 1 0 163726938 78602240 18390 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 19190 18390 71 138 0 19049 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 121980
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1367
/proc/meminfo: memFree=1534128/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=83080 CPUtime=251.68
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 21906 0 0 0 25150 18 0 0 25 0 1 0 163726938 85073920 19849 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 20770 19849 71 138 0 20629 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 128300
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1367
/proc/meminfo: memFree=1533232/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=84400 CPUtime=311.66
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 22129 0 0 0 31148 18 0 0 25 0 1 0 163726938 86425600 20072 1992294400 134512640 135078026 4294956192 18446744073709551615 134534601 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 21100 20072 71 138 0 20959 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 129620
[startup+402.301 s]
################
# More data... #
################
/proc/1367/statm: 59772 53752 71 138 0 59631 0
Current children cumulated CPU time (s) 9638.79
Current children cumulated vsize (KiB) 284308
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1394288/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=239088 CPUtime=9668.31
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 55834 0 0 0 966763 68 0 0 25 0 1 0 163726938 244826112 53752 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 59772 53752 71 138 0 59631 0
Current children cumulated CPU time (s) 9698.77
Current children cumulated vsize (KiB) 284308
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1394160/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=239348 CPUtime=9728.29
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 55900 0 0 0 972761 68 0 0 25 0 1 0 163726938 245092352 53818 1992294400 134512640 135078026 4294956192 18446744073709551615 134534321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 59837 53818 71 138 0 59696 0
Current children cumulated CPU time (s) 9758.75
Current children cumulated vsize (KiB) 284568
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393776/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=239864 CPUtime=9788.27
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56001 0 0 0 978759 68 0 0 25 0 1 0 163726938 245620736 53919 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 59966 53919 71 138 0 59825 0
Current children cumulated CPU time (s) 9818.73
Current children cumulated vsize (KiB) 285084
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393776/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=239864 CPUtime=9848.26
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56005 0 0 0 984758 68 0 0 25 0 1 0 163726938 245620736 53923 1992294400 134512640 135078026 4294956192 18446744073709551615 134534547 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 59966 53923 71 138 0 59825 0
Current children cumulated CPU time (s) 9878.72
Current children cumulated vsize (KiB) 285084
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393584/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240128 CPUtime=9908.23
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56060 0 0 0 990755 68 0 0 25 0 1 0 163726938 245891072 53978 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60032 53978 71 138 0 59891 0
Current children cumulated CPU time (s) 9938.69
Current children cumulated vsize (KiB) 285348
Solver just ended. Dumping a history of the last processes samples
[startup+9958.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393520/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240260 CPUtime=9924.23
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56083 0 0 0 992355 68 0 0 25 0 1 0 163726938 246026240 54001 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60065 54001 71 138 0 59924 0
Current children cumulated CPU time (s) 9954.69
Current children cumulated vsize (KiB) 285480
[startup+9983.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9949.82
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56125 0 0 0 994914 68 0 0 25 0 1 0 163726938 246292480 54043 1992294400 134512640 135078026 4294956192 18446744073709551615 134534457 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54043 71 138 0 59989 0
Current children cumulated CPU time (s) 9980.28
Current children cumulated vsize (KiB) 285740
[startup+9990.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9956.22
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56129 0 0 0 995554 68 0 0 25 0 1 0 163726938 246292480 54047 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54047 71 138 0 59989 0
Current children cumulated CPU time (s) 9986.68
Current children cumulated vsize (KiB) 285740
[startup+9996.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9962.62
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56133 0 0 0 996194 68 0 0 25 0 1 0 163726938 246292480 54051 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54051 71 138 0 59989 0
Current children cumulated CPU time (s) 9993.08
Current children cumulated vsize (KiB) 285740
[startup+9999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9965.81
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56134 0 0 0 996513 68 0 0 25 0 1 0 163726938 246292480 54052 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54052 71 138 0 59989 0
Current children cumulated CPU time (s) 9996.27
Current children cumulated vsize (KiB) 285740
[startup+10000.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9966.61
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56135 0 0 0 996593 68 0 0 25 0 1 0 163726938 246292480 54053 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54053 71 138 0 59989 0
Current children cumulated CPU time (s) 9997.07
Current children cumulated vsize (KiB) 285740
[startup+10001.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9967.02
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56137 0 0 0 996634 68 0 0 25 0 1 0 163726938 246292480 54055 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54055 71 138 0 59989 0
Current children cumulated CPU time (s) 9997.48
Current children cumulated vsize (KiB) 285740
[startup+10001.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=45220 CPUtime=30.46
/proc/1361/stat : 1361 (SATzilla2009_I) S 1359 1361 1260 0 -1 4194304 15960 30867 0 0 821 8 2195 22 25 0 1 0 163723885 46305280 11081 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1361/statm: 11305 11081 217 399 0 10902 0
[pid=1367] ppid=1361 vsize=240520 CPUtime=9967.41
/proc/1367/stat : 1367 (mxc-sr08) R 1361 1361 1260 0 -1 4194304 56137 0 0 0 996673 68 0 0 25 0 1 0 163726938 246292480 54055 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1367/statm: 60130 54055 71 138 0 59989 0
Current children cumulated CPU time (s) 9997.87
Current children cumulated vsize (KiB) 285740
[startup+10001.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1391
/proc/meminfo: memFree=1393264/2055920 swapFree=4181396/4192956
[pid=1361] ppid=1359 vsize=0 CPUtime=9997.99
/proc/1361/stat : 1361 (SATzilla2009_I) R 1359 1361 1260 0 -1 4194308 15981 87004 0 0 821 9 998875 94 16 0 1 0 163723885 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/1361/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9997.99
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 10001.6
CPU time (s): 9998.01
CPU user time (s): 9996.97
CPU system time (s): 1.04984
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 285740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.97
system time used= 1.04984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102985
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= 25840
runsolver used 8.33373 second user time and 28.0387 second system time
The end
Begin job on node8 at 2009-05-03 15:21:42
IDJOB=1775040
IDBENCH=71077
IDSOLVER=616
FILE ID=node8/1775040-1241356901
PBS_JOBID= 9225603
Free space on /tmp= 65936 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775040-1241356901/watcher-1775040-1241356901 -o /tmp/evaluation-result-1775040-1241356901/solver-1775040-1241356901 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1775040-1241356901.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED=1368783994
node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1664472 kB
Buffers: 43016 kB
Cached: 264336 kB
SwapCached: 4768 kB
Active: 118168 kB
Inactive: 197888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1664472 kB
SwapTotal: 4192956 kB
SwapFree: 4181396 kB
Dirty: 36960 kB
Writeback: 0 kB
Mapped: 15184 kB
Slab: 61272 kB
Committed_AS: 806108 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65904 MiB
End job on node8 at 2009-05-03 18:08:23