71.31/71.46 c SATzilla is building models for class 2
71.31/71.46 c run presolver march_dl2004 for 5 seconds ...
71.31/71.46 c Bin: Executing march_dl2004
71.31/71.46 c spawning binary file with 5 seconds ...
71.31/71.46 c child exit by a signal
71.31/71.46 c march_dl2004 returned code 137.
71.31/71.46 c run presolver mxc-sr08 for 5 seconds ...
71.31/71.46 c Bin: Executing mxc-sr08
71.31/71.46 c spawning binary file with 5 seconds ...
71.31/71.46 c child exit by a signal
71.31/71.46 c mxc-sr08 returned code 137.
71.31/71.46 c Orignal number of varibales is 1448, number of clauses is 720410
71.31/71.46 c predicted feature computation time is 21.713946
71.31/71.46 c Bin: Executing satelite
71.31/71.46 c spawning binary file with 240 seconds ...
71.31/71.46 c child exited successfully
71.31/71.46 c satzilla computing base features
71.31/71.46 c Number of variabe is: 989, Number of clause is : 373673
71.31/71.46 c Initializing...
71.31/71.46 c satzilla compute diameter ...
71.31/71.46 c start diameter features ...
71.31/71.46 c satzilla doing clause learning
71.31/71.46 c start clause learning features ...
71.31/71.46 c Bin: Executing zchaff07
71.31/71.46 c spawning binary file with 2 seconds ...
71.31/71.46 c child exit by a signal
71.31/71.46 c satzilla doing survey propogation probe
71.31/71.46 c do survay propogation for 2 second ...
71.31/71.46 c satzilla doing local search probe
71.31/71.46 c satzilla doing lobjois search-space size estimate
71.31/71.46 c features are:1448 720410 989 373673 0.464105 0.927916 0.0026467 0.403471 0.583299 1.99551 0.00578739 0.376517 0.00202224 0.0303337 1.27053 0.0107072 0.0107099 0.00578739 1.12552 2.67614e-06 0.053025 4.24578 0.164127 0.335319 0 1 1.24812 0.00211475 1.46562 0 0.0512132 4.20268 0.423325 0.000714915 0.771254 5.8875e-05 0.00247275 3.78182 0.10921 3 4 0.524597 256 0 256 256 256 256 256 256 256 12.7617 0 12.7617 12.7617 12.7617 12.7617 12.7617 12.7617 12.7617 0.229905 1.64296 1.25948e-07 1 0.996345 0.000740069 0.11311 0.00454115 0.0212753 0.324041 0.675108 0 1 0.495136 1.37652e-07 0.494128 0.111035 0.491843 21.6667 0.260891 133.6 0.290029 142 123 150 70.9513 0.177751 1.00023 0.000965756 0.206587 0.442055
71.31/71.46 c satzilla's ranking:
71.31/71.46 c 1) vallst: 19.918559
71.31/71.46 c 2) minisat20: 6.388330
71.31/71.46 c 3) minisat20SAT07: 6.367292
71.31/71.46 c 4) zchaff_rand: 5.317813
71.31/71.46 c 5) march_dl2004: 2.369678
71.31/71.46 c 6) mxc-sr08: 1.399407
71.31/71.46 c 7) tts-4-0: 0.194320
71.31/71.46 c 8) SATenstein: -10000.000000
71.31/71.46 c 9) gnovelty+: -10000.000000
71.31/71.46 c 10) adaptg2wsat+: -10000.000000
71.31/71.46 c 11) adaptg2wsat0: -10000.000000
71.31/71.46 c 12) picosat846: -10000.000000
71.31/71.46 c 13) kcnfs04SAT07: -10000.000000
71.31/71.46 c satzilla running vallst ...
4998.56/5000.66 c Bin: Executing vallst
4998.56/5000.66 c spawning binary file with 4928 seconds ...
4998.56/5000.66 c child exit by a signal
4998.56/5000.66 c vallst returned code 137.
4998.56/5000.66 c satzilla running minisat20 ...
4998.56/5000.66 c Bin: Executing minisat20
4998.56/5000.66 c minisat20 returned code 1.
4998.56/5000.66 c satzilla running minisat20SAT07 ...
4998.56/5000.66 c Bin: Executing minisat20SAT07
4998.56/5000.66 c minisat20SAT07 returned code 1.
4998.56/5000.66 c satzilla running zchaff_rand ...
4998.56/5000.66 c Bin: Executing zchaff_rand
4998.56/5000.66 c zchaff_rand returned code 1.
4998.56/5000.66 c satzilla running march_dl2004 ...
4998.56/5000.66 c Bin: Executing march_dl2004
4998.56/5000.66 c march_dl2004 returned code 1.
4998.56/5000.66 c satzilla running mxc-sr08 ...
4998.56/5000.66 c Bin: Executing mxc-sr08
4998.56/5000.66 c mxc-sr08 returned code 1.
4998.56/5000.66 c satzilla running tts-4-0 ...
4998.56/5000.66 c Bin: Executing tts-4-0
4998.56/5000.66 c tts-4-0 returned code 1.
4998.56/5000.66 c satzilla running SATenstein ...
4998.56/5000.66 c Bin: Executing SATenstein
4998.56/5000.66 c SATenstein returned code 1.
4998.56/5000.66 c satzilla running gnovelty+ ...
4998.56/5000.66 c Bin: Executing gnovelty+
4998.56/5000.66 c gnovelty+ returned code 1.
4998.56/5000.66 c satzilla running adaptg2wsat+ ...
4998.56/5000.66 c Bin: Executing adaptg2wsat+
4998.56/5000.66 c adaptg2wsat+ returned code 1.
4998.56/5000.66 c satzilla running adaptg2wsat0 ...
4998.56/5000.66 c Bin: Executing adaptg2wsat0
4998.56/5000.66 c adaptg2wsat0 returned code 1.
4998.56/5000.66 c satzilla running picosat846 ...
4998.56/5000.67 c Bin: Executing picosat846
4998.56/5000.67 c picosat846 returned code 1.
4998.56/5000.67 c satzilla running kcnfs04SAT07 ...
4998.56/5000.67 c Bin: Executing kcnfs04SAT07
4998.56/5000.67 c kcnfs04SAT07 returned code 1.
4998.56/5000.67 c ERROR: All Failed!
4998.56/5000.67 c SATZILLA_TIME=4999.400000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825806-1242512647/watcher-1825806-1242512647 -o /tmp/evaluation-result-1825806-1242512647/solver-1825806-1242512647 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825806-1242512647.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.10 1.02 0.93 3/64 4908
/proc/meminfo: memFree=748608/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) R 4906 4908 4801 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=6268 CPUtime=0
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 793 0 0 0 0 0 0 0 18 0 1 0 279292081 6418432 788 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 1567 788 50 118 0 1446 0
[startup+0.0725219 s]
/proc/loadavg: 1.10 1.02 0.93 3/64 4908
/proc/meminfo: memFree=748608/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=7324 CPUtime=0.06
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 1079 0 0 0 6 0 0 0 19 0 1 0 279292081 7499776 1074 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 1831 1074 50 118 0 1710 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9380
[startup+0.101524 s]
/proc/loadavg: 1.10 1.02 0.93 3/64 4908
/proc/meminfo: memFree=748608/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=7720 CPUtime=0.09
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 1198 0 0 0 9 0 0 0 19 0 1 0 279292081 7905280 1193 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 1930 1193 50 118 0 1809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9776
[startup+0.301541 s]
/proc/loadavg: 1.10 1.02 0.93 3/64 4908
/proc/meminfo: memFree=748608/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=10624 CPUtime=0.29
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 2011 0 0 0 28 1 0 0 21 0 1 0 279292081 10878976 2006 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 2656 2006 50 118 0 2535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12680
[startup+0.701576 s]
/proc/loadavg: 1.10 1.02 0.93 3/64 4908
/proc/meminfo: memFree=748608/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=16036 CPUtime=0.69
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 3546 0 0 0 67 2 0 0 25 0 1 0 279292081 16420864 3541 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 4009 3542 50 118 0 3888 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18092
[startup+1.50165 s]
/proc/loadavg: 1.10 1.02 0.93 2/66 4910
/proc/meminfo: memFree=729840/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=26860 CPUtime=1.49
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 6574 0 0 0 145 4 0 0 25 0 1 0 279292081 27504640 6569 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 6715 6569 50 118 0 6594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28916
[startup+3.10179 s]
/proc/loadavg: 1.18 1.03 0.93 2/66 4910
/proc/meminfo: memFree=718704/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=0
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279292081 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/4908/statm: 514 112 96 399 0 111 0
[pid=4909] ppid=4908 vsize=40356 CPUtime=3.09
/proc/4909/stat : 4909 (march_dl2004) R 4908 4908 4801 0 -1 4194304 28095 0 0 0 293 16 0 0 25 0 1 0 279292081 41324544 7213 1992294400 134512640 134996440 4294956192 18446744073709551615 134542888 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4909/statm: 10089 7213 55 118 0 9968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42412
[startup+6.30107 s]
/proc/loadavg: 1.18 1.03 0.93 2/66 4911
/proc/meminfo: memFree=698096/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=5
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 152 72902 0 0 0 0 465 35 16 0 1 0 279292081 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 514 121 104 399 0 111 0
[pid=4911] ppid=4908 vsize=64208 CPUtime=1.27
/proc/4911/stat : 4911 (mxc-sr08) R 4908 4908 4801 0 -1 4194304 20523 0 0 0 118 9 0 0 25 0 1 0 279292582 65748992 15061 1992294400 134512640 135078026 4294956192 18446744073709551615 134554001 0 0 8392704 0 0 0 0 17 0 0 0
/proc/4911/statm: 16052 15061 55 138 0 15911 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 66264
[startup+12.7016 s]
/proc/loadavg: 1.16 1.03 0.93 2/66 4912
/proc/meminfo: memFree=687024/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=10.01
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 179 93425 0 0 0 0 955 46 16 0 1 0 279292081 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 514 138 120 399 0 111 0
[pid=4912] ppid=4908 vsize=65252 CPUtime=2.67
/proc/4912/stat : 4912 (satelite) R 4908 4908 4801 0 -1 4194304 15586 0 0 0 258 9 0 0 25 0 1 0 279293083 66818048 15571 1992294400 134512640 135037501 4294956176 18446744073709551615 134543062 0 0 8392704 3 0 0 0 17 0 0 0
/proc/4912/statm: 16313 15571 63 128 0 16182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67308
[startup+25.5018 s]
/proc/loadavg: 1.12 1.03 0.93 2/66 4912
/proc/meminfo: memFree=686064/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=10.01
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 179 93425 0 0 0 0 955 46 16 0 1 0 279292081 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 514 138 120 399 0 111 0
[pid=4912] ppid=4908 vsize=66616 CPUtime=15.46
/proc/4912/stat : 4912 (satelite) R 4908 4908 4801 0 -1 4194304 15958 0 0 0 1536 10 0 0 25 0 1 0 279293083 68214784 15836 1992294400 134512640 135037501 4294956176 18446744073709551615 134543046 0 0 8392704 3 0 0 0 17 0 0 0
/proc/4912/statm: 16654 15836 63 128 0 16523 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 68672
[startup+51.103 s]
/proc/loadavg: 1.08 1.03 0.93 2/66 4912
/proc/meminfo: memFree=673648/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=2056 CPUtime=10.01
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 179 93425 0 0 0 0 955 46 16 0 1 0 279292081 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 514 138 120 399 0 111 0
[pid=4912] ppid=4908 vsize=84520 CPUtime=41.02
/proc/4912/stat : 4912 (satelite) R 4908 4908 4801 0 -1 4194304 20706 0 0 0 4090 12 0 0 25 0 1 0 279293083 86548480 18649 1992294400 134512640 135037501 4294956176 18446744073709551615 134573994 0 0 8392704 3 0 0 0 17 0 0 0
/proc/4912/statm: 21130 18649 67 128 0 20999 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 86576
[startup+102.306 s]
/proc/loadavg: 1.03 1.02 0.93 2/66 4914
/proc/meminfo: memFree=646960/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=124092 CPUtime=30.76
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 8403 0 4 0 3034 42 0 0 25 0 1 0 279299228 127070208 8390 1992294400 134512640 134738160 4294956192 18446744073709551615 134589831 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 31023 8390 150 55 0 30613 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 185552
[startup+162.303 s]
/proc/loadavg: 1.01 1.02 0.93 2/66 4914
/proc/meminfo: memFree=645744/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=124644 CPUtime=90.72
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 8742 0 4 0 8978 94 0 0 25 0 1 0 279299228 127635456 8729 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 31161 8729 150 55 0 30751 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 186104
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.93 2/66 4914
/proc/meminfo: memFree=644592/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=125192 CPUtime=150.7
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 9029 0 4 0 14941 129 0 0 25 0 1 0 279299228 128196608 9016 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 31298 9016 150 55 0 30888 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 186652
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 4914
/proc/meminfo: memFree=643504/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=125588 CPUtime=210.69
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 9308 0 4 0 20909 160 0 0 25 0 1 0 279299228 128602112 9295 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 31397 9295 150 55 0 30987 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 187048
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 4914
/proc/meminfo: memFree=642224/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=125856 CPUtime=270.66
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 9636 0 4 0 26883 183 0 0 25 0 1 0 279299228 128876544 9623 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 31464 9623 150 55 0 31054 0
Current children cumulated CPU time (s) 342.03
################
# More data... #
################
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623728/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=137332 CPUtime=4648.98
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14156 0 4 0 463979 919 0 0 25 0 1 0 279299228 140627968 14143 1992294400 134512640 134738160 4294956192 18446744073709551615 134589855 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34333 14143 151 55 0 33923 0
Current children cumulated CPU time (s) 4720.35
Current children cumulated vsize (KiB) 198792
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623792/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=137332 CPUtime=4708.97
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14168 0 4 0 469972 925 0 0 25 0 1 0 279299228 140627968 14155 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34333 14155 151 55 0 33923 0
Current children cumulated CPU time (s) 4780.34
Current children cumulated vsize (KiB) 198792
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=622896/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=139088 CPUtime=4768.94
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14422 0 4 0 475966 928 0 0 25 0 1 0 279299228 142426112 14409 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34772 14409 151 55 0 34362 0
Current children cumulated CPU time (s) 4840.31
Current children cumulated vsize (KiB) 200548
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=621296/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=140876 CPUtime=4828.93
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14825 0 4 0 481958 935 0 0 25 0 1 0 279299228 144257024 14812 1992294400 134512640 134738160 4294956192 18446744073709551615 134575947 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 35219 14812 151 55 0 34809 0
Current children cumulated CPU time (s) 4900.3
Current children cumulated vsize (KiB) 202336
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4888.9
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 487944 946 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134589855 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4960.27
Current children cumulated vsize (KiB) 199528
Solver just ended. Dumping a history of the last processes samples
[startup+4966.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4892.91
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 488344 947 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4964.28
Current children cumulated vsize (KiB) 199528
[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4905.68
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 489621 947 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4977.05
Current children cumulated vsize (KiB) 199528
[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4918.48
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 490899 949 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4989.85
Current children cumulated vsize (KiB) 199528
[startup+4995.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4921.69
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 491219 950 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4993.06
Current children cumulated vsize (KiB) 199528
[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4924.89
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 491539 950 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134586284 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4996.26
Current children cumulated vsize (KiB) 199528
[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4926.48
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 491698 950 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134586185 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4997.85
Current children cumulated vsize (KiB) 199528
[startup+5000.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4926.88
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 491738 950 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4998.25
Current children cumulated vsize (KiB) 199528
[startup+5000.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4927.09
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 491759 950 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4998.46
Current children cumulated vsize (KiB) 199528
[startup+5000.61 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 4924
/proc/meminfo: memFree=623088/2055920 swapFree=4181428/4192956
[pid=4908] ppid=4906 vsize=61460 CPUtime=71.37
/proc/4908/stat : 4908 (SATzilla2009_C) S 4906 4908 4801 0 -1 4194304 22620 126004 0 0 1197 13 5857 70 25 0 1 0 279292081 62935040 14822 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/4908/statm: 15365 14822 219 399 0 14962 0
[pid=4914] ppid=4908 vsize=138068 CPUtime=4927.19
/proc/4914/stat : 4914 (vallst) R 4908 4908 4801 0 -1 4194304 14834 0 4 0 491769 950 0 0 25 0 1 0 279299228 141381632 14327 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/4914/statm: 34517 14327 151 55 0 34107 0
Current children cumulated CPU time (s) 4998.56
Current children cumulated vsize (KiB) 199528
Child status: 17
Real time (s): 5000.68
CPU time (s): 4998.68
CPU user time (s): 4988.3
CPU system time (s): 10.3704
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 202336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4988.3
system time used= 10.3704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163471
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41
involuntary context switches= 10714
runsolver used 4.74628 second user time and 13.447 second system time
The end
Begin job on node58 at 2009-05-17 00:24:08
IDJOB=1825806
IDBENCH=71135
IDSOLVER=668
FILE ID=node58/1825806-1242512647
PBS_JOBID= 9307059
Free space on /tmp= 66040 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_4vars_11gates_b2.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825806-1242512647/watcher-1825806-1242512647 -o /tmp/evaluation-result-1825806-1242512647/solver-1825806-1242512647 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825806-1242512647.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c145d81f1457b6e33e1aa58009001b0a
RANDOM SEED=2111625481
node58.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.233
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.233
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: 749024 kB
Buffers: 97736 kB
Cached: 1099100 kB
SwapCached: 5676 kB
Active: 200376 kB
Inactive: 1005832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 749024 kB
SwapTotal: 4192956 kB
SwapFree: 4181428 kB
Dirty: 53520 kB
Writeback: 0 kB
Mapped: 14764 kB
Slab: 86736 kB
Committed_AS: 956008 kB
PageTables: 1356 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= 66008 MiB
End job on node58 at 2009-05-17 01:47:29