85.25/85.33 c SATzilla is building models for class 1
85.25/85.33 c run presolver SATenstein for 30 seconds ...
85.25/85.33 c Bin: Executing SATenstein
85.25/85.33 c spawning binary file with 30 seconds ...
85.25/85.33 c child exit by a signal
85.25/85.33 c SATenstein returned code 137.
85.25/85.33 c run presolver mxc-sr08 for 30 seconds ...
85.25/85.33 c Bin: Executing mxc-sr08
85.25/85.33 c spawning binary file with 30 seconds ...
85.25/85.33 c child exit by a signal
85.25/85.33 c mxc-sr08 returned code 137.
85.25/85.33 c Orignal number of varibales is 187517, number of clauses is 863483
85.25/85.33 c predicted feature computation time is -561.524647
85.25/85.33 c Bin: Executing satelite
85.25/85.33 c spawning binary file with 240 seconds ...
85.25/85.33 c child exited successfully
85.25/85.33 c satzilla computing base features
85.25/85.33 c Number of variabe is: 23167, Number of clause is : 243881
85.25/85.33 c Initializing...
85.25/85.33 c satzilla compute diameter ...
85.25/85.33 c start diameter features ...
85.25/85.33 c satzilla doing clause learning
85.25/85.33 c start clause learning features ...
85.25/85.33 c Bin: Executing zchaff07
85.25/85.33 c spawning binary file with 2 seconds ...
85.25/85.33 c child exit by a signal
85.25/85.33 c satzilla doing survey propogation probe
85.25/85.33 c do survay propogation for 2 second ...
85.25/85.33 c satzilla doing local search probe
85.25/85.33 c satzilla doing lobjois search-space size estimate
85.25/85.33 c features are:187517 863483 23167 243881 7.09414 2.54059 0.094993 0.480086 0.644519 1.45763 0.000164346 0.500467 8.63297e-05 0.000820132 1.29894 0.130383 0.74513 0.000164346 1.95611 4.10036e-06 0.00200098 2.81862 0.37261 0.180876 0 1 2.76637 5.8427e-05 1.65007 0 0.00150073 2.70829 0.486983 0.000123234 2.30888 8.20072e-06 0.00387894 6.0625 0.0399277 6 7 0.233792 263.333 1.38353 11 964 964 11 332 18 66 6.97944 0.713707 3.45455 16.6446 16.6446 3.45455 12.3022 3.5 3.54545 0.621472 0.353146 0.000669655 1 0.923569 0.379143 0.841759 0.531079 0.602969 0.0516353 0.77401 -1.11022e-16 1 0.0929218 4.70339e-05 0.0800313 0.0136049 0.0542672 1120.5 0.149957 3883.25 0.666683 5165 0 5169 1.93177 1.12207 1.00329 0.0308098 0.036701 0.103902
85.25/85.33 c satzilla's ranking:
85.25/85.33 c 1) kcnfs04SAT07: 678.935057
85.25/85.33 c 2) adaptg2wsat+: 426.707268
85.25/85.33 c 3) adaptg2wsat0: 40.572421
85.25/85.33 c 4) picosat846: 1.112809
85.25/85.33 c 5) gnovelty+: -3.021803
85.25/85.33 c 6) march_dl2004: -80.339980
85.25/85.33 c 7) SATenstein: -424.031057
85.25/85.33 c 8) mxc-sr08: -10000.000000
85.25/85.33 c 9) tts-4-0: -10000.000000
85.25/85.33 c 10) zchaff_rand: -10000.000000
85.25/85.33 c 11) vallst: -10000.000000
85.25/85.33 c 12) minisat20: -10000.000000
85.25/85.33 c 13) minisat20SAT07: -10000.000000
85.25/85.33 c satzilla running kcnfs04SAT07 ...
85.25/85.34 c Bin: Executing kcnfs04SAT07
85.25/85.34 c spawning binary file with 1114 seconds ...
85.25/85.34 c child exited successfully
85.25/85.34 c kcnfs04SAT07 returned code 0.
85.25/85.34 c satzilla running adaptg2wsat+ ...
1199.11/1199.62 c Bin: Executing adaptg2wsat+
1199.11/1199.62 c spawning binary file with 1114 seconds ...
1199.11/1199.62 c child exit by a signal
1199.11/1199.62 c adaptg2wsat+ returned code 137.
1199.11/1199.62 c satzilla running adaptg2wsat0 ...
1199.11/1199.62 c Bin: Executing adaptg2wsat0
1199.11/1199.62 c adaptg2wsat0 returned code 1.
1199.11/1199.62 c satzilla running picosat846 ...
1199.11/1199.62 c Bin: Executing picosat846
1199.11/1199.62 c picosat846 returned code 1.
1199.11/1199.62 c satzilla running gnovelty+ ...
1199.11/1199.62 c Bin: Executing gnovelty+
1199.11/1199.62 c gnovelty+ returned code 1.
1199.11/1199.62 c satzilla running march_dl2004 ...
1199.11/1199.62 c Bin: Executing march_dl2004
1199.11/1199.62 c march_dl2004 returned code 1.
1199.11/1199.62 c satzilla running SATenstein ...
1199.11/1199.62 c Bin: Executing SATenstein
1199.11/1199.62 c SATenstein returned code 1.
1199.11/1199.62 c satzilla running mxc-sr08 ...
1199.11/1199.62 c Bin: Executing mxc-sr08
1199.11/1199.62 c mxc-sr08 returned code 1.
1199.11/1199.62 c satzilla running tts-4-0 ...
1199.11/1199.62 c Bin: Executing tts-4-0
1199.11/1199.62 c tts-4-0 returned code 1.
1199.11/1199.62 c satzilla running zchaff_rand ...
1199.11/1199.62 c Bin: Executing zchaff_rand
1199.11/1199.62 c zchaff_rand returned code 1.
1199.11/1199.62 c satzilla running vallst ...
1199.11/1199.62 c Bin: Executing vallst
1199.11/1199.62 c vallst returned code 1.
1199.11/1199.62 c satzilla running minisat20 ...
1199.11/1199.62 c Bin: Executing minisat20
1199.11/1199.62 c minisat20 returned code 1.
1199.11/1199.62 c satzilla running minisat20SAT07 ...
1199.11/1199.62 c Bin: Executing minisat20SAT07
1199.11/1199.62 c minisat20SAT07 returned code 1.
1199.11/1199.62 c ERROR: All Failed!
1199.11/1199.62 c SATZILLA_TIME=1199.320000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577687-1241003772/watcher-1577687-1241003772 -o /tmp/evaluation-result-1577687-1241003772/solver-1577687-1241003772 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577687-1241003772.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 9814
/proc/meminfo: memFree=1319016/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=6372 CPUtime=0
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 266 0 0 0 0 0 0 0 19 0 1 0 128404789 6524928 247 1992294400 134512640 134854740 4294955344 18446744073709551615 4581456 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 1593 249 146 83 0 1154 0
[startup+0.0860691 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 9814
/proc/meminfo: memFree=1319016/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=14708 CPUtime=0.07
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 579 0 0 0 7 0 0 0 19 0 1 0 128404789 15060992 560 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 3677 561 151 83 0 3238 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16764
[startup+0.10107 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 9814
/proc/meminfo: memFree=1319016/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=14708 CPUtime=0.09
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 634 0 0 0 9 0 0 0 19 0 1 0 128404789 15060992 615 1992294400 134512640 134854740 4294955344 18446744073709551615 134782321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 3677 615 151 83 0 3238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16764
[startup+0.301083 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 9814
/proc/meminfo: memFree=1319016/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=14708 CPUtime=0.29
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 1341 0 0 0 28 1 0 0 21 0 1 0 128404789 15060992 1322 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 3677 1322 151 83 0 3238 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16764
[startup+0.701111 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 9814
/proc/meminfo: memFree=1319016/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=18808 CPUtime=0.69
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 2753 0 0 0 67 2 0 0 25 0 1 0 128404789 19259392 2734 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 4702 2734 151 83 0 4263 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20864
[startup+1.50116 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 9816
/proc/meminfo: memFree=1302808/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=111244 CPUtime=1.49
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 9036 0 0 0 145 4 0 0 25 0 1 0 128404789 113913856 9016 1992294400 134512640 134854740 4294955344 18446744073709551615 134772480 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 27811 9016 153 83 0 27372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113300
[startup+3.10127 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 9816
/proc/meminfo: memFree=1280920/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=111244 CPUtime=3.09
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 11361 0 0 0 303 6 0 0 25 0 1 0 128404789 113913856 11341 1992294400 134512640 134854740 4294955344 18446744073709551615 134772482 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 27811 11341 153 83 0 27372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113300
[startup+6.30148 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 9816
/proc/meminfo: memFree=1245272/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=210840 CPUtime=6.29
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 24908 0 0 0 619 10 0 0 25 0 1 0 128404789 215900160 23226 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 52710 23226 173 83 0 52271 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 212896
[startup+12.7029 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 9816
/proc/meminfo: memFree=1226840/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=210840 CPUtime=12.69
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 24934 0 0 0 1258 11 0 0 25 0 1 0 128404789 215900160 23228 1992294400 134512640 134854740 4294955344 18446744073709551615 134524752 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 52710 23228 173 83 0 52271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 212896
[startup+25.5018 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 9816
/proc/meminfo: memFree=1227032/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=0
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128404789 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 112 96 399 0 111 0
[pid=9815] ppid=9814 vsize=210840 CPUtime=25.48
/proc/9815/stat : 9815 (SATenstein) R 9814 9814 9513 0 -1 4194304 24934 0 0 0 2536 12 0 0 25 0 1 0 128404789 215900160 23228 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9815/statm: 52710 23228 173 83 0 52271 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 212896
[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9817
/proc/meminfo: memFree=1221656/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=2056 CPUtime=30
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 152 24936 0 0 0 0 2985 15 16 0 1 0 128404789 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/9814/statm: 514 121 104 399 0 111 0
[pid=9817] ppid=9814 vsize=104208 CPUtime=21.06
/proc/9817/stat : 9817 (mxc-sr08) R 9814 9814 9513 0 -1 4194304 31978 0 0 0 2094 12 0 0 25 0 1 0 128407790 106708992 24480 1992294400 134512640 135078026 4294956176 18446744073709551615 134534259 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9817/statm: 26052 24480 71 138 0 25911 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 106264
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9821
/proc/meminfo: memFree=1205144/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=272908 CPUtime=16.94
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 18858 0 0 0 1687 7 0 0 25 0 1 0 128413323 279457792 18850 1992294400 134512640 134921272 4294956160 18446744073709551615 134546000 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 68227 18850 43 99 0 67734 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 308112
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9821
/proc/meminfo: memFree=1205016/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=272908 CPUtime=76.91
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 18863 0 0 0 7684 7 0 0 25 0 1 0 128413323 279457792 18855 1992294400 134512640 134921272 4294956160 18446744073709551615 134546049 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 68227 18855 43 99 0 67734 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 308112
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9821
/proc/meminfo: memFree=1204952/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=272908 CPUtime=136.88
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 18866 0 0 0 13681 7 0 0 25 0 1 0 128413323 279457792 18858 1992294400 134512640 134921272 4294956160 18446744073709551615 134546143 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 68227 18858 43 99 0 67734 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 308112
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9821
/proc/meminfo: memFree=1204952/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=272908 CPUtime=196.86
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 18868 0 0 0 19679 7 0 0 25 0 1 0 128413323 279457792 18860 1992294400 134512640 134921272 4294956160 18446744073709551615 134546000 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 68227 18860 43 99 0 67734 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 308112
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9821
/proc/meminfo: memFree=1204952/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=272908 CPUtime=256.83
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 18869 0 0 0 25676 7 0 0 25 0 1 0 128413323 279457792 18861 1992294400 134512640 134921272 4294956160 18446744073709551615 134545952 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 68227 18861 43 99 0 67734 0
Current children cumulated CPU time (s) 342.12
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174232/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=736.66
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 73656 10 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 316864
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174232/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=796.63
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 79653 10 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 316864
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174232/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=856.62
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 85652 10 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 316864
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174232/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=916.58
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 91648 10 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134542973 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 316864
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174232/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=976.58
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 97647 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 316864
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174232/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1036.56
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 103645 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134541608 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 316864
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1096.53
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 109642 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134541228 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 316864
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1104.52
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 110441 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134542140 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1189.81
Current children cumulated vsize (KiB) 316864
[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1107.73
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 110762 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134541052 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1193.02
Current children cumulated vsize (KiB) 316864
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1110.93
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 111082 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134542365 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1196.22
Current children cumulated vsize (KiB) 316864
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1112.52
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 111241 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1197.81
Current children cumulated vsize (KiB) 316864
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1113.32
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 111321 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1198.61
Current children cumulated vsize (KiB) 316864
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1113.72
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 111361 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1199.01
Current children cumulated vsize (KiB) 316864
[startup+1199.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 9821
/proc/meminfo: memFree=1174168/2055920 swapFree=4181772/4192956
[pid=9814] ppid=9812 vsize=35204 CPUtime=85.29
/proc/9814/stat : 9814 (SATzilla2009_R) S 9812 9814 9513 0 -1 4194304 13522 92016 0 0 1195 13 7262 59 16 0 1 0 128404789 36048896 8553 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/9814/statm: 8801 8553 220 399 0 8398 0
[pid=9821] ppid=9814 vsize=281660 CPUtime=1113.82
/proc/9821/stat : 9821 (adaptg2wsat+) R 9814 9814 9513 0 -1 4194304 26514 0 0 0 111371 11 0 0 25 0 1 0 128413323 288419840 26504 1992294400 134512640 134921272 4294956160 18446744073709551615 134541090 0 0 8392704 0 0 0 0 17 0 0 0
/proc/9821/statm: 70415 26504 43 99 0 69922 0
Current children cumulated CPU time (s) 1199.11
Current children cumulated vsize (KiB) 316864
Child status: 17
Real time (s): 1199.63
CPU time (s): 1199.16
CPU user time (s): 1198.3
CPU system time (s): 0.863868
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 316864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.3
system time used= 0.863868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132068
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= 27
involuntary context switches= 3127
runsolver used 1.12583 second user time and 3.24651 second system time
The end
Begin job on node52 at 2009-04-29 13:16:13
IDJOB=1577687
IDBENCH=70964
IDSOLVER=526
FILE ID=node52/1577687-1241003772
PBS_JOBID= 9204818
Free space on /tmp= 66416 MiB
SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L60_coli.sat.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577687-1241003772/watcher-1577687-1241003772 -o /tmp/evaluation-result-1577687-1241003772/solver-1577687-1241003772 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577687-1241003772.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 38736d508aa4b137792e18ad6998c963
RANDOM SEED=485731318
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: 1319496 kB
Buffers: 62884 kB
Cached: 580792 kB
SwapCached: 5044 kB
Active: 241344 kB
Inactive: 410228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1319496 kB
SwapTotal: 4192956 kB
SwapFree: 4181772 kB
Dirty: 48112 kB
Writeback: 0 kB
Mapped: 14044 kB
Slab: 70764 kB
Committed_AS: 606984 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= 66384 MiB
End job on node52 at 2009-04-29 13:36:13