29.56/29.65 c SATzilla is building models for class 2
29.56/29.65 c run presolver march_dl2004 for 5 seconds ...
29.56/29.65 c Bin: Executing march_dl2004
29.56/29.65 c spawning binary file with 5 seconds ...
29.56/29.65 c child exit by a signal
29.56/29.65 c march_dl2004 returned code 137.
29.56/29.65 c run presolver mxc-sr08 for 5 seconds ...
29.56/29.65 c Bin: Executing mxc-sr08
29.56/29.65 c spawning binary file with 5 seconds ...
29.56/29.65 c child exit by a signal
29.56/29.65 c mxc-sr08 returned code 137.
29.56/29.65 c Orignal number of varibales is 3152, number of clauses is 330948
29.56/29.65 c predicted feature computation time is 14.446621
29.56/29.65 c Bin: Executing satelite
29.56/29.65 c spawning binary file with 240 seconds ...
29.56/29.65 c child exited successfully
29.56/29.65 c satzilla computing base features
29.56/29.65 c Number of variabe is: 2029, Number of clause is : 329509
29.56/29.65 c Initializing...
29.56/29.65 c satzilla compute diameter ...
29.56/29.65 c start diameter features ...
29.56/29.65 c satzilla doing clause learning
29.56/29.65 c start clause learning features ...
29.56/29.65 c Bin: Executing zchaff07
29.56/29.65 c spawning binary file with 2 seconds ...
29.56/29.65 c child exit by a signal
29.56/29.65 c satzilla doing survey propogation probe
29.56/29.65 c do survay propogation for 2 second ...
29.56/29.65 c satzilla doing local search probe
29.56/29.65 c satzilla doing lobjois search-space size estimate
29.56/29.65 c features are:3152 330948 2029 329509 0.553475 0.0043671 0.00615765 0.44441 0.559612 0.586897 0.00216468 1.36429 0.000985707 0.0221784 0.373644 0.0146916 0.937883 0.00216468 1.1443 2.42785e-05 0.00826685 4.06145 0.24708 0.30589 0 0.916418 2.2962 0.00137948 0.883182 1.82089e-05 0.00417591 4.10855 0.937883 0.0010011 1.03226 2.12437e-05 0.00331706 4 0 4 4 -0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505574 0.618 7.87288e-06 0.982899 0.955565 0.0882542 0.774056 0.24974 0.450694 0.0091057 2.36006 -1.17961e-16 0.184644 0.0396908 0 0.00414434 6.36602e-13 5.69772e-05 487 0 0 0 0 0 0 82.5682 0 1.01102 0 0.554009 0.691684
29.56/29.65 c satzilla's ranking:
29.56/29.65 c 1) mxc-sr08: 5.085260
29.56/29.65 c 2) zchaff_rand: 4.666640
29.56/29.65 c 3) minisat20SAT07: 4.043064
29.56/29.65 c 4) minisat20: 2.378275
29.56/29.65 c 5) march_dl2004: 1.692639
29.56/29.65 c 6) vallst: 1.672960
29.56/29.65 c 7) tts-4-0: 0.140532
29.56/29.65 c 8) SATenstein: -10000.000000
29.56/29.65 c 9) gnovelty+: -10000.000000
29.56/29.65 c 10) adaptg2wsat+: -10000.000000
29.56/29.65 c 11) adaptg2wsat0: -10000.000000
29.56/29.65 c 12) picosat846: -10000.000000
29.56/29.65 c 13) kcnfs04SAT07: -10000.000000
29.56/29.65 c satzilla running mxc-sr08 ...
1199.38/1199.95 c Bin: Executing mxc-sr08
1199.38/1199.95 c spawning binary file with 1170 seconds ...
1199.38/1199.95 c child exit by a signal
1199.38/1199.95 c mxc-sr08 returned code 137.
1199.38/1199.95 c satzilla running zchaff_rand ...
1199.38/1199.95 c Bin: Executing zchaff_rand
1199.38/1199.95 c zchaff_rand returned code 1.
1199.38/1199.95 c satzilla running minisat20SAT07 ...
1199.38/1199.95 c Bin: Executing minisat20SAT07
1199.38/1199.95 c minisat20SAT07 returned code 1.
1199.38/1199.95 c satzilla running minisat20 ...
1199.38/1199.95 c Bin: Executing minisat20
1199.38/1199.95 c minisat20 returned code 1.
1199.38/1199.95 c satzilla running march_dl2004 ...
1199.38/1199.95 c Bin: Executing march_dl2004
1199.38/1199.95 c march_dl2004 returned code 1.
1199.38/1199.95 c satzilla running vallst ...
1199.38/1199.95 c Bin: Executing vallst
1199.38/1199.95 c vallst returned code 1.
1199.38/1199.95 c satzilla running tts-4-0 ...
1199.38/1199.95 c Bin: Executing tts-4-0
1199.38/1199.95 c tts-4-0 returned code 1.
1199.38/1199.95 c satzilla running SATenstein ...
1199.38/1199.95 c Bin: Executing SATenstein
1199.38/1199.95 c SATenstein returned code 1.
1199.38/1199.95 c satzilla running gnovelty+ ...
1199.38/1199.95 c Bin: Executing gnovelty+
1199.38/1199.95 c gnovelty+ returned code 1.
1199.38/1199.95 c satzilla running adaptg2wsat+ ...
1199.38/1199.95 c Bin: Executing adaptg2wsat+
1199.38/1199.95 c adaptg2wsat+ returned code 1.
1199.38/1199.95 c satzilla running adaptg2wsat0 ...
1199.38/1199.95 c Bin: Executing adaptg2wsat0
1199.38/1199.95 c adaptg2wsat0 returned code 1.
1199.38/1199.95 c satzilla running picosat846 ...
1199.38/1199.95 c Bin: Executing picosat846
1199.38/1199.95 c picosat846 returned code 1.
1199.38/1199.95 c satzilla running kcnfs04SAT07 ...
1199.38/1199.95 c Bin: Executing kcnfs04SAT07
1199.38/1199.95 c kcnfs04SAT07 returned code 1.
1199.38/1199.95 c ERROR: All Failed!
1199.38/1199.95 c SATZILLA_TIME=1199.630000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1721816-1240669922/watcher-1721816-1240669922 -o /tmp/evaluation-result-1721816-1240669922/solver-1721816-1240669922 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1721816-1240669922.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 1.08 3/65 24986
/proc/meminfo: memFree=1489024/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) R 24984 24986 24676 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=3360 CPUtime=0
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 443 0 0 0 0 0 0 0 18 0 1 0 95026018 3440640 438 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24987/statm: 840 438 50 118 0 719 0
[startup+0.00989705 s]
/proc/loadavg: 0.92 1.00 1.08 3/65 24986
/proc/meminfo: memFree=1489024/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=3492 CPUtime=0
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 95026018 3575808 459 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24987/statm: 873 461 50 118 0 752 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5548
[startup+0.102905 s]
/proc/loadavg: 0.92 1.00 1.08 3/65 24986
/proc/meminfo: memFree=1489024/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=4548 CPUtime=0.09
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 807 0 0 0 9 0 0 0 20 0 1 0 95026018 4657152 802 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24987/statm: 1137 803 50 118 0 1016 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6604
[startup+0.302923 s]
/proc/loadavg: 0.92 1.00 1.08 3/65 24986
/proc/meminfo: memFree=1489024/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=6924 CPUtime=0.29
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 1556 0 0 0 29 0 0 0 21 0 1 0 95026018 7090176 1551 1992294400 134512640 134996440 4294956176 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24987/statm: 1731 1551 50 118 0 1610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8980
[startup+0.702962 s]
/proc/loadavg: 0.92 1.00 1.08 3/65 24986
/proc/meminfo: memFree=1489024/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=16416 CPUtime=0.69
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 4367 0 0 0 68 1 0 0 25 0 1 0 95026018 16809984 2746 1992294400 134512640 134996440 4294956176 18446744073709551615 134545971 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24987/statm: 4104 2746 53 118 0 3983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18472
[startup+1.50104 s]
/proc/loadavg: 0.92 1.00 1.08 2/67 24988
/proc/meminfo: memFree=1474096/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=17964 CPUtime=1.48
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 13171 0 0 0 143 5 0 0 25 0 1 0 95026018 18395136 3135 1992294400 134512640 134996440 4294956176 18446744073709551615 134546877 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24987/statm: 4491 3135 55 118 0 4370 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20020
[startup+3.1012 s]
/proc/loadavg: 0.92 1.00 1.08 2/67 24988
/proc/meminfo: memFree=1476080/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=0
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 95026018 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24986/statm: 514 112 96 399 0 111 0
[pid=24987] ppid=24986 vsize=28004 CPUtime=3.09
/proc/24987/stat : 24987 (march_dl2004) R 24986 24986 24676 0 -1 4194304 34479 0 0 0 295 14 0 0 25 0 1 0 95026018 28676096 5639 1992294400 134512640 134996440 4294956176 18446744073709551615 134559350 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24987/statm: 7001 5639 65 118 0 6880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30060
[startup+6.30149 s]
/proc/loadavg: 1.01 1.01 1.09 2/67 24989
/proc/meminfo: memFree=1469872/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=4.99
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 152 41647 0 0 0 0 473 26 16 0 1 0 95026018 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 514 121 104 399 0 111 0
[pid=24989] ppid=24986 vsize=20736 CPUtime=1.27
/proc/24989/stat : 24989 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 6194 0 0 0 125 2 0 0 25 0 1 0 95026519 21233664 4812 1992294400 134512640 135078026 4294956176 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24989/statm: 5184 4812 55 138 0 5043 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22792
[startup+12.7011 s]
/proc/loadavg: 1.01 1.01 1.09 2/67 24990
/proc/meminfo: memFree=1455152/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=2056 CPUtime=10
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 179 50673 0 0 0 0 969 31 16 0 1 0 95026018 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 514 138 120 399 0 111 0
[pid=24990] ppid=24986 vsize=36780 CPUtime=2.67
/proc/24990/stat : 24990 (satelite) R 24986 24986 24676 0 -1 4194304 8192 0 0 0 261 6 0 0 25 0 1 0 95027020 37662720 8187 1992294400 134512640 135037501 4294956160 18446744073709551615 134573588 0 0 8392704 3 0 0 0 17 0 0 0
/proc/24990/statm: 9195 8187 67 128 0 9064 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 38836
[startup+25.5013 s]
/proc/loadavg: 1.00 1.01 1.09 2/66 24991
/proc/meminfo: memFree=1437176/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=50620 CPUtime=25.45
/proc/24986/stat : 24986 (SATzilla2009_C) R 24984 24986 24676 0 -1 4194304 17681 67702 0 0 816 9 1674 46 25 0 1 0 95026018 51834880 12039 1992294400 134512640 136149437 4294956208 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 0 0 0
/proc/24986/statm: 12655 12039 207 399 0 12252 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 50620
[startup+51.1017 s]
/proc/loadavg: 1.00 1.01 1.08 2/67 24992
/proc/meminfo: memFree=1400240/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=38852 CPUtime=21.42
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 11374 0 0 0 2138 4 0 0 25 0 1 0 95028983 39784448 9317 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 9713 9317 71 138 0 9572 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 85372
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 24992
/proc/meminfo: memFree=1383216/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=56344 CPUtime=72.6
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 15604 0 0 0 7252 8 0 0 25 0 1 0 95028983 57696256 13547 1992294400 134512640 135078026 4294956176 18446744073709551615 134534294 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 14086 13547 71 138 0 13945 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 102864
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 24992
/proc/meminfo: memFree=1373296/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=66572 CPUtime=132.58
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 18073 0 0 0 13248 10 0 0 25 0 1 0 95028983 68169728 16016 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 16643 16016 71 138 0 16502 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 113092
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 24992
/proc/meminfo: memFree=1363760/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=76892 CPUtime=192.55
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 20466 0 0 0 19243 12 0 0 25 0 1 0 95028983 78737408 18409 1992294400 134512640 135078026 4294956176 18446744073709551615 134533894 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 19223 18409 71 138 0 19082 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 123412
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 24992
/proc/meminfo: memFree=1357872/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=83080 CPUtime=252.54
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 21906 0 0 0 25240 14 0 0 25 0 1 0 95028983 85073920 19849 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 20770 19849 71 138 0 20629 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 129600
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 24994
/proc/meminfo: memFree=1356648/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=84400 CPUtime=312.51
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 22129 0 0 0 31237 14 0 0 25 0 1 0 95028983 86425600 20072 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 21100 20072 71 138 0 20959 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 130920
################
# More data... #
################
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.02 2/67 24994
/proc/meminfo: memFree=1334896/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=108412 CPUtime=732.33
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 27589 0 0 0 73211 22 0 0 25 0 1 0 95028983 111013888 25532 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27103 25532 71 138 0 26962 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 154932
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 24994
/proc/meminfo: memFree=1334128/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=109584 CPUtime=792.31
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 27770 0 0 0 79208 23 0 0 25 0 1 0 95028983 112214016 25713 1992294400 134512640 135078026 4294956176 18446744073709551615 134534579 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27396 25713 71 138 0 27255 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 156104
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1333936/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=109712 CPUtime=852.29
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 27808 0 0 0 85206 23 0 0 25 0 1 0 95028983 112345088 25751 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27428 25751 71 138 0 27287 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 156232
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1333808/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=109968 CPUtime=912.27
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 27853 0 0 0 91204 23 0 0 25 0 1 0 95028983 112607232 25796 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27492 25796 71 138 0 27351 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 156488
[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/67 24994
/proc/meminfo: memFree=1333360/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=110224 CPUtime=972.24
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 27950 0 0 0 97201 23 0 0 25 0 1 0 95028983 112869376 25893 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27556 25893 71 138 0 27415 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 156744
[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 24994
/proc/meminfo: memFree=1332976/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=110608 CPUtime=1032.22
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28022 0 0 0 103199 23 0 0 25 0 1 0 95028983 113262592 25965 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27652 25965 71 138 0 27511 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 157128
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1332656/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=110736 CPUtime=1092.2
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28095 0 0 0 109197 23 0 0 25 0 1 0 95028983 113393664 26038 1992294400 134512640 135078026 4294956176 18446744073709551615 134534382 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 27684 26038 71 138 0 27543 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 157256
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1330864/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=112580 CPUtime=1152.18
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28561 0 0 0 115194 24 0 0 25 0 1 0 95028983 115281920 26504 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28145 26504 71 138 0 28004 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 159100
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1330288/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=113240 CPUtime=1160.18
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28702 0 0 0 115994 24 0 0 25 0 1 0 95028983 115957760 26645 1992294400 134512640 135078026 4294956176 18446744073709551615 134534371 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28310 26645 71 138 0 28169 0
Current children cumulated CPU time (s) 1189.79
Current children cumulated vsize (KiB) 159760
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1329584/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=114024 CPUtime=1166.57
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28870 0 0 0 116633 24 0 0 25 0 1 0 95028983 116760576 26813 1992294400 134512640 135078026 4294956176 18446744073709551615 134534329 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28506 26813 71 138 0 28365 0
Current children cumulated CPU time (s) 1196.18
Current children cumulated vsize (KiB) 160544
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1329520/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=114288 CPUtime=1168.17
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28911 0 0 0 116793 24 0 0 25 0 1 0 95028983 117030912 26854 1992294400 134512640 135078026 4294956176 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28572 26854 71 138 0 28431 0
Current children cumulated CPU time (s) 1197.78
Current children cumulated vsize (KiB) 160808
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1329392/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=114288 CPUtime=1168.97
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28929 0 0 0 116873 24 0 0 25 0 1 0 95028983 117030912 26872 1992294400 134512640 135078026 4294956176 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28572 26872 71 138 0 28431 0
Current children cumulated CPU time (s) 1198.58
Current children cumulated vsize (KiB) 160808
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1329392/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=114288 CPUtime=1169.37
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28936 0 0 0 116913 24 0 0 25 0 1 0 95028983 117030912 26879 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28572 26879 71 138 0 28431 0
Current children cumulated CPU time (s) 1198.98
Current children cumulated vsize (KiB) 160808
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 24994
/proc/meminfo: memFree=1329392/2055920 swapFree=4188716/4192956
[pid=24986] ppid=24984 vsize=46520 CPUtime=29.61
/proc/24986/stat : 24986 (SATzilla2009_C) S 24984 24986 24676 0 -1 4194304 18352 67702 0 0 1231 10 1674 46 25 0 1 0 95026018 47636480 11407 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/24986/statm: 11630 11407 219 399 0 11227 0
[pid=24992] ppid=24986 vsize=114420 CPUtime=1169.77
/proc/24992/stat : 24992 (mxc-sr08) R 24986 24986 24676 0 -1 4194304 28948 0 0 0 116953 24 0 0 25 0 1 0 95028983 117166080 26891 1992294400 134512640 135078026 4294956176 18446744073709551615 134722807 0 0 8392704 0 0 0 0 17 0 0 0
/proc/24992/statm: 28605 26891 71 138 0 28464 0
Current children cumulated CPU time (s) 1199.38
Current children cumulated vsize (KiB) 160940
Child status: 17
Real time (s): 1199.97
CPU time (s): 1199.48
CPU user time (s): 1198.63
CPU system time (s): 0.844871
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 160940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.63
system time used= 0.844871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115017
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= 3685
runsolver used 1.03884 second user time and 3.33249 second system time
The end
Begin job on node8 at 2009-04-25 16:32:03
IDJOB=1721816
IDBENCH=71077
IDSOLVER=527
FILE ID=node8/1721816-1240669922
PBS_JOBID= 9186607
Free space on /tmp= 65876 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1721816-1240669922/watcher-1721816-1240669922 -o /tmp/evaluation-result-1721816-1240669922/solver-1721816-1240669922 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1721816-1240669922.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED=1191413127
node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1489568 kB
Buffers: 15900 kB
Cached: 480204 kB
SwapCached: 1928 kB
Active: 127900 kB
Inactive: 380880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1489568 kB
SwapTotal: 4192956 kB
SwapFree: 4188716 kB
Dirty: 36964 kB
Writeback: 0 kB
Mapped: 21064 kB
Slab: 43432 kB
Committed_AS: 472408 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65844 MiB
End job on node8 at 2009-04-25 16:52:03