22.66/22.74 c SATzilla is building models for class 3
22.66/22.74 c run presolver mxc-sr08 for 10 seconds ...
22.66/22.74 c Bin: Executing mxc-sr08
22.66/22.74 c spawning binary file with 10 seconds ...
22.66/22.74 c child exit by a signal
22.66/22.74 c mxc-sr08 returned code 137.
22.66/22.74 c run presolver picosat846 for 5 seconds ...
22.66/22.74 c Bin: Executing picosat846
22.66/22.74 c spawning binary file with 5 seconds ...
22.66/22.74 c child exit by a signal
22.66/22.74 c picosat846 returned code 137.
22.66/22.74 c Orignal number of varibales is 1740, number of clauses is 104640
22.66/22.74 c predicted feature computation time is 1.552896
22.66/22.74 c Bin: Executing satelite
22.66/22.74 c spawning binary file with 240 seconds ...
22.66/22.74 c child exited successfully
22.66/22.74 c satzilla computing base features
22.66/22.74 c Number of variabe is: 1091, Number of clause is : 103841
22.66/22.74 c Initializing...
22.66/22.74 c satzilla doing clause learning
22.66/22.74 c start clause learning features ...
22.66/22.74 c Bin: Executing zchaff07
22.66/22.74 c spawning binary file with 2 seconds ...
22.66/22.74 c child exit by a signal
22.66/22.74 c satzilla doing survey propogation probe
22.66/22.74 c do survay propogation for 2 second ...
22.66/22.74 c satzilla doing local search probe
22.66/22.74 c features are:1740 104640 1091 103841 0.594867 0.00769446 0.0105064 0.4349 0.551715 0.610214 0.00389942 1.10197 0.00183318 0.0302475 0.481047 0.0248264 0.91799 0.00389942 1.07878 6.74108e-05 0.0135303 3.89983 0.259072 0.294142 0 0.9 2.60148 0.00250151 0.832333 5.77806e-05 0.00688553 3.8091 0.91799 0.00195621 0.953674 5.77806e-05 0.00581658 653.333 0.0423131 629 692 692 629 692 629 639 66.6545 0.0721517 59.8555 70.2066 70.2066 59.8555 70.2066 59.8555 69.9014 0.507007 0.572273 0.000586871 0.982099 0.945839 0.0670722 0.750848 0.336416 0.481603 0.00697386 2.8518 -1.17961e-16 0.207425 0.0232153 0 0.00143585 6.93889e-17 1.18966e-05 189 1.17268 318.4 0.559647 393 0 397 26.8648 0.866381 1.00909 0.0263942
22.66/22.74 c satzilla's ranking:
22.66/22.74 c 1) picosat846: 3.165850
22.66/22.74 c 2) mxc-sr08: 2.382007
22.66/22.74 c 3) zchaff_rand: 2.041232
22.66/22.74 c 4) minisat20SAT07: 1.461226
22.66/22.74 c 5) march_dl2004: 0.631867
22.66/22.74 c 6) SATenstein: -10000.000000
22.66/22.74 c 7) gnovelty+: -10000.000000
22.66/22.74 c 8) adaptg2wsat+: -10000.000000
22.66/22.74 c 9) adaptg2wsat0: -10000.000000
22.66/22.74 c 10) tts-4-0: -10000.000000
22.66/22.74 c 11) vallst: -10000.000000
22.66/22.74 c 12) minisat20: -10000.000000
22.66/22.74 c 13) kcnfs04SAT07: -10000.000000
22.66/22.74 c satzilla running picosat846 ...
9998.16/10000.42 c Bin: Executing picosat846
9998.16/10000.42 c spawning binary file with 9977 seconds ...
9998.16/10000.42 c child exit by a signal
9998.16/10000.42 c picosat846 returned code 137.
9998.16/10000.42 c satzilla running mxc-sr08 ...
9998.16/10000.42 c Bin: Executing mxc-sr08
9998.16/10000.42 c mxc-sr08 returned code 1.
9998.16/10000.42 c satzilla running zchaff_rand ...
9998.16/10000.42 c Bin: Executing zchaff_rand
9998.16/10000.42 c zchaff_rand returned code 1.
9998.16/10000.42 c satzilla running minisat20SAT07 ...
9998.16/10000.42 c Bin: Executing minisat20SAT07
9998.16/10000.42 c minisat20SAT07 returned code 1.
9998.16/10000.42 c satzilla running march_dl2004 ...
9998.16/10000.42 c Bin: Executing march_dl2004
9998.16/10000.42 c march_dl2004 returned code 1.
9998.16/10000.42 c satzilla running SATenstein ...
9998.16/10000.42 c Bin: Executing SATenstein
9998.16/10000.42 c SATenstein returned code 1.
9998.16/10000.42 c satzilla running gnovelty+ ...
9998.16/10000.42 c Bin: Executing gnovelty+
9998.16/10000.42 c gnovelty+ returned code 1.
9998.16/10000.42 c satzilla running adaptg2wsat+ ...
9998.16/10000.42 c Bin: Executing adaptg2wsat+
9998.16/10000.42 c adaptg2wsat+ returned code 1.
9998.16/10000.42 c satzilla running adaptg2wsat0 ...
9998.16/10000.42 c Bin: Executing adaptg2wsat0
9998.16/10000.42 c adaptg2wsat0 returned code 1.
9998.16/10000.42 c satzilla running tts-4-0 ...
9998.16/10000.42 c Bin: Executing tts-4-0
9998.16/10000.42 c tts-4-0 returned code 1.
9998.16/10000.42 c satzilla running vallst ...
9998.16/10000.42 c Bin: Executing vallst
9998.16/10000.42 c vallst returned code 1.
9998.16/10000.42 c satzilla running minisat20 ...
9998.16/10000.42 c Bin: Executing minisat20
9998.16/10000.42 c minisat20 returned code 1.
9998.16/10000.42 c satzilla running kcnfs04SAT07 ...
9998.16/10000.42 c Bin: Executing kcnfs04SAT07
9998.16/10000.42 c kcnfs04SAT07 returned code 1.
9998.16/10000.42 c ERROR: All Failed!
9998.16/10000.42 c SATZILLA_TIME=9999.740000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774940-1241356312/watcher-1774940-1241356312 -o /tmp/evaluation-result-1774940-1241356312/solver-1774940-1241356312 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774940-1241356312.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/64 1168
/proc/meminfo: memFree=1334952/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) R 1166 1168 938 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=2788 CPUtime=0
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 576 0 0 0 0 0 0 0 18 0 1 0 163658751 2854912 572 1992294400 134512640 135078026 4294956192 18446744073709551615 134543934 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 697 572 54 138 0 556 0
[startup+0.00771701 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1168
/proc/meminfo: memFree=1334952/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=2920 CPUtime=0
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 628 0 0 0 0 0 0 0 18 0 1 0 163658751 2990080 624 1992294400 134512640 135078026 4294956192 18446744073709551615 134565915 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 730 624 54 138 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4976
[startup+0.101723 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1168
/proc/meminfo: memFree=1334952/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=7152 CPUtime=0.09
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 2027 0 0 0 8 1 0 0 20 0 1 0 163658751 7323648 1613 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 1788 1613 55 138 0 1647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9208
[startup+0.301735 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1168
/proc/meminfo: memFree=1334952/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=7152 CPUtime=0.29
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 2027 0 0 0 28 1 0 0 21 0 1 0 163658751 7323648 1613 1992294400 134512640 135078026 4294956192 18446744073709551615 134560885 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 1788 1613 55 138 0 1647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9208
[startup+0.701761 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1168
/proc/meminfo: memFree=1334952/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=9144 CPUtime=0.69
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 2539 0 0 0 67 2 0 0 25 0 1 0 163658751 9363456 2125 1992294400 134512640 135078026 4294956192 18446744073709551615 134560885 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 2286 2125 55 138 0 2145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11200
[startup+1.50181 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 1170
/proc/meminfo: memFree=1324632/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=10480 CPUtime=1.49
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 2836 0 0 0 146 3 0 0 25 0 1 0 163658751 10731520 2422 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 2620 2422 55 138 0 2479 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12536
[startup+3.10292 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 1170
/proc/meminfo: memFree=1323800/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=12204 CPUtime=3.09
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 3528 0 0 0 306 3 0 0 25 0 1 0 163658751 12496896 2898 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 3051 2898 71 138 0 2910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14260
[startup+6.30113 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 1170
/proc/meminfo: memFree=1322712/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=0
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163658751 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1168/statm: 514 112 96 399 0 111 0
[pid=1169] ppid=1168 vsize=13392 CPUtime=6.29
/proc/1169/stat : 1169 (mxc-sr08) R 1168 1168 938 0 -1 4194304 3848 0 0 0 625 4 0 0 25 0 1 0 163658751 13713408 3218 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1169/statm: 3348 3218 71 138 0 3207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15448
[startup+12.7016 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 1171
/proc/meminfo: memFree=1328472/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=2056 CPUtime=9.99
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 152 4007 0 0 0 0 995 4 16 0 1 0 163658751 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 514 121 104 399 0 111 0
[pid=1171] ppid=1168 vsize=9096 CPUtime=2.68
/proc/1171/stat : 1171 (picosat846) R 1168 1168 938 0 -1 4194304 1994 0 0 0 267 1 0 0 25 0 1 0 163659751 9314304 1983 1992294400 134512640 134570484 4294956192 18446744073709551615 134553040 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1171/statm: 2274 1983 85 14 0 1940 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11152
[startup+25.5014 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 1174
/proc/meminfo: memFree=1311320/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=9096 CPUtime=2.75
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 2006 0 0 0 274 1 0 0 25 0 1 0 163661025 9314304 1995 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 2274 1995 85 14 0 1940 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 25372
[startup+51.1011 s]
/proc/loadavg: 1.09 1.03 1.01 2/66 1174
/proc/meminfo: memFree=1296920/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=23736 CPUtime=28.33
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 5623 0 0 0 2829 4 0 0 25 0 1 0 163661025 24305664 5612 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 5934 5612 85 14 0 5600 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 40012
[startup+102.306 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 1174
/proc/meminfo: memFree=1288152/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=32304 CPUtime=79.53
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 7764 0 0 0 7947 6 0 0 25 0 1 0 163661025 33079296 7742 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 8076 7742 85 14 0 7742 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 48580
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 1174
/proc/meminfo: memFree=1286616/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=33756 CPUtime=139.52
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 8127 0 0 0 13945 7 0 0 25 0 1 0 163661025 34566144 8105 1992294400 134512640 134570484 4294956192 18446744073709551615 134553027 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 8439 8105 85 14 0 8105 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 50032
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 1174
/proc/meminfo: memFree=1284696/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=35604 CPUtime=199.5
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 8616 0 0 0 19942 8 0 0 25 0 1 0 163661025 36458496 8594 1992294400 134512640 134570484 4294956192 18446744073709551615 134552059 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 8901 8594 85 14 0 8567 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 51880
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 1174
/proc/meminfo: memFree=1284696/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=35604 CPUtime=259.49
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 8616 0 0 0 25941 8 0 0 25 0 1 0 163661025 36458496 8594 1992294400 134512640 134570484 4294956192 18446744073709551615 134552985 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 8901 8594 85 14 0 8567 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 51880
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1174
/proc/meminfo: memFree=1283096/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=38212 CPUtime=319.47
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 9033 0 0 0 31939 8 0 0 25 0 1 0 163661025 39129088 9011 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 9553 9011 85 14 0 9219 0
Current children cumulated CPU time (s) 342.17
################
# More data... #
################
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228248/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9677.43
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 967707 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134553046 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9700.13
Current children cumulated vsize (KiB) 108636
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228184/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9737.42
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 973706 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9760.12
Current children cumulated vsize (KiB) 108636
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228248/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9797.4
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 979704 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134553120 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9820.1
Current children cumulated vsize (KiB) 108636
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9857.39
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 985703 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9880.09
Current children cumulated vsize (KiB) 108636
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9917.38
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 991702 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9940.08
Current children cumulated vsize (KiB) 108636
Solver just ended. Dumping a history of the last processes samples
[startup+9958.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228248/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9933.38
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 993302 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9956.08
Current children cumulated vsize (KiB) 108636
[startup+9983.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228248/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9958.97
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 995861 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9981.67
Current children cumulated vsize (KiB) 108636
[startup+9990.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228248/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9965.37
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 996501 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134553126 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9988.07
Current children cumulated vsize (KiB) 108636
[startup+9996.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9971.77
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 997141 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9994.47
Current children cumulated vsize (KiB) 108636
[startup+9998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9973.37
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 997301 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9996.07
Current children cumulated vsize (KiB) 108636
[startup+9999.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9974.16
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 997380 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9996.86
Current children cumulated vsize (KiB) 108636
[startup+9999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9974.96
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 997460 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134553015 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9997.66
Current children cumulated vsize (KiB) 108636
[startup+10000.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9975.36
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 997500 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9998.06
Current children cumulated vsize (KiB) 108636
[startup+10000.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1192
/proc/meminfo: memFree=1228312/2055920 swapFree=4181812/4192956
[pid=1168] ppid=1166 vsize=16276 CPUtime=22.7
/proc/1168/stat : 1168 (SATzilla2009_I) S 1166 1168 938 0 -1 4194304 5809 12181 0 0 477 2 1779 12 25 0 1 0 163658751 16666624 3821 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1168/statm: 4069 3821 217 399 0 3666 0
[pid=1174] ppid=1168 vsize=92360 CPUtime=9975.46
/proc/1174/stat : 1174 (picosat846) R 1168 1168 938 0 -1 4194304 23863 0 0 0 997510 36 0 0 25 0 1 0 163661025 94576640 22441 1992294400 134512640 134570484 4294956192 18446744073709551615 134526699 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1174/statm: 23090 22441 85 14 0 22756 0
Current children cumulated CPU time (s) 9998.16
Current children cumulated vsize (KiB) 108636
Child status: 17
Real time (s): 10000.4
CPU time (s): 9998.23
CPU user time (s): 9997.69
CPU system time (s): 0.537918
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 108636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.69
system time used= 0.537918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41870
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= 10283
runsolver used 9.00563 second user time and 27.3668 second system time
The end
Begin job on node52 at 2009-05-03 15:11:53
IDJOB=1774940
IDBENCH=71064
IDSOLVER=616
FILE ID=node52/1774940-1241356312
PBS_JOBID= 9225578
Free space on /tmp= 66528 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774940-1241356312/watcher-1774940-1241356312 -o /tmp/evaluation-result-1774940-1241356312/solver-1774940-1241356312 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774940-1241356312.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED=1015709871
node52.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.214
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.214
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: 1335432 kB
Buffers: 75580 kB
Cached: 530792 kB
SwapCached: 5288 kB
Active: 56332 kB
Inactive: 558304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1335432 kB
SwapTotal: 4192956 kB
SwapFree: 4181812 kB
Dirty: 33156 kB
Writeback: 0 kB
Mapped: 14220 kB
Slab: 91800 kB
Committed_AS: 789236 kB
PageTables: 1488 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= 66496 MiB
End job on node52 at 2009-05-03 17:58:33