23.51/24.15 c SATzilla is building models for class 3
23.51/24.15 c run presolver mxc-sr08 for 10 seconds ...
23.51/24.15 c Bin: Executing mxc-sr08
23.51/24.15 c spawning binary file with 10 seconds ...
23.51/24.15 c child exit by a signal
23.51/24.15 c mxc-sr08 returned code 137.
23.51/24.15 c run presolver picosat846 for 5 seconds ...
23.51/24.15 c Bin: Executing picosat846
23.51/24.15 c spawning binary file with 5 seconds ...
23.51/24.15 c child exit by a signal
23.51/24.15 c picosat846 returned code 137.
23.51/24.15 c Orignal number of varibales is 32465, number of clauses is 97748
23.51/24.15 c predicted feature computation time is 1.884030
23.51/24.15 c Bin: Executing satelite
23.51/24.15 c spawning binary file with 240 seconds ...
23.51/24.15 c child exited successfully
23.51/24.15 c satzilla computing base features
23.51/24.15 c Number of variabe is: 14617, Number of clause is : 60741
23.51/24.15 c Initializing...
23.51/24.15 c satzilla doing clause learning
23.51/24.15 c start clause learning features ...
23.51/24.15 c Bin: Executing zchaff07
23.51/24.15 c spawning binary file with 2 seconds ...
23.51/24.15 c child exit by a signal
23.51/24.15 c satzilla doing survey propogation probe
23.51/24.15 c do survay propogation for 2 second ...
23.51/24.15 c satzilla doing local search probe
23.51/24.15 c features are:32465 97748 14617 60741 1.22104 0.609259 0.240645 0.195728 1.52256 1.15064 0.000204439 1.07477 0.000136827 0.00225765 0.994988 0.652656 0.93874 0.000204439 0.790507 0.000115243 0.00172865 2.46778 0.182841 0.153253 0 0.777778 2.36707 0.000138528 0.919628 4.939e-05 0.00143231 1.87925 0.886024 0.000374495 0.758469 8.23167e-05 0.00200853 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.74623 0.348763 2.36924e-05 0.967281 0.925023 0.213318 0.900618 0.737822 0.848882 0.0330022 0.563011 1.06264e-10 0.171884 0.05619 0.0135198 0.0427283 0.0214525 0.0308971 1172.75 0.597186 4044.56 0.266965 4299 4240 4366 0.976305 0.7638 0.969583 0.128668
23.51/24.15 c satzilla's ranking:
23.51/24.15 c 1) mxc-sr08: 3.565083
23.51/24.15 c 2) picosat846: 2.812080
23.51/24.15 c 3) minisat20SAT07: 2.218946
23.51/24.15 c 4) zchaff_rand: 2.014548
23.51/24.15 c 5) march_dl2004: 0.246177
23.51/24.15 c 6) SATenstein: -10000.000000
23.51/24.15 c 7) gnovelty+: -10000.000000
23.51/24.15 c 8) adaptg2wsat+: -10000.000000
23.51/24.15 c 9) adaptg2wsat0: -10000.000000
23.51/24.15 c 10) tts-4-0: -10000.000000
23.51/24.15 c 11) vallst: -10000.000000
23.51/24.15 c 12) minisat20: -10000.000000
23.51/24.15 c 13) kcnfs04SAT07: -10000.000000
23.51/24.15 c satzilla running mxc-sr08 ...
9998.04/10003.32 c Bin: Executing mxc-sr08
9998.04/10003.32 c spawning binary file with 9976 seconds ...
9998.04/10003.32 c child exit by a signal
9998.04/10003.32 c mxc-sr08 returned code 137.
9998.04/10003.32 c satzilla running picosat846 ...
9998.04/10003.32 c Bin: Executing picosat846
9998.04/10003.32 c picosat846 returned code 1.
9998.04/10003.32 c satzilla running minisat20SAT07 ...
9998.04/10003.32 c Bin: Executing minisat20SAT07
9998.04/10003.32 c minisat20SAT07 returned code 1.
9998.04/10003.32 c satzilla running zchaff_rand ...
9998.04/10003.32 c Bin: Executing zchaff_rand
9998.04/10003.32 c zchaff_rand returned code 1.
9998.04/10003.32 c satzilla running march_dl2004 ...
9998.04/10003.32 c Bin: Executing march_dl2004
9998.04/10003.32 c march_dl2004 returned code 1.
9998.04/10003.32 c satzilla running SATenstein ...
9998.04/10003.32 c Bin: Executing SATenstein
9998.04/10003.32 c SATenstein returned code 1.
9998.04/10003.32 c satzilla running gnovelty+ ...
9998.04/10003.32 c Bin: Executing gnovelty+
9998.04/10003.32 c gnovelty+ returned code 1.
9998.04/10003.32 c satzilla running adaptg2wsat+ ...
9998.04/10003.32 c Bin: Executing adaptg2wsat+
9998.04/10003.32 c adaptg2wsat+ returned code 1.
9998.04/10003.32 c satzilla running adaptg2wsat0 ...
9998.04/10003.32 c Bin: Executing adaptg2wsat0
9998.04/10003.32 c adaptg2wsat0 returned code 1.
9998.04/10003.32 c satzilla running tts-4-0 ...
9998.04/10003.32 c Bin: Executing tts-4-0
9998.04/10003.32 c tts-4-0 returned code 1.
9998.04/10003.32 c satzilla running vallst ...
9998.04/10003.32 c Bin: Executing vallst
9998.04/10003.32 c vallst returned code 1.
9998.04/10003.32 c satzilla running minisat20 ...
9998.04/10003.32 c Bin: Executing minisat20
9998.04/10003.32 c minisat20 returned code 1.
9998.04/10003.32 c satzilla running kcnfs04SAT07 ...
9998.04/10003.32 c Bin: Executing kcnfs04SAT07
9998.04/10003.32 c kcnfs04SAT07 returned code 1.
9998.04/10003.32 c ERROR: All Failed!
9998.04/10003.32 c SATZILLA_TIME=9999.580000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774090-1241352142/watcher-1774090-1241352142 -o /tmp/evaluation-result-1774090-1241352142/solver-1774090-1241352142 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774090-1241352142.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 29529
/proc/meminfo: memFree=1332760/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=4832 CPUtime=0
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 1019 0 0 0 0 0 0 0 18 0 1 0 163243958 4947968 1015 1992294400 134512640 135078026 4294956192 18446744073709551615 134535898 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29530/statm: 1208 1017 50 138 0 1067 0
[startup+0.0341031 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 29529
/proc/meminfo: memFree=1332760/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=10540 CPUtime=0.02
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 2105 0 0 0 2 0 0 0 18 0 1 0 163243958 10792960 2100 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29530/statm: 2635 2102 54 138 0 2494 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12596
[startup+0.101109 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 29529
/proc/meminfo: memFree=1332760/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=13368 CPUtime=0.09
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 3147 0 0 0 8 1 0 0 18 0 1 0 163243958 13688832 2752 1992294400 134512640 135078026 4294956192 18446744073709551615 134561110 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29530/statm: 3342 2752 55 138 0 3201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424
[startup+0.30114 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 29529
/proc/meminfo: memFree=1332760/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=18788 CPUtime=0.28
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 4450 0 0 0 27 1 0 0 19 0 1 0 163243958 19238912 4055 1992294400 134512640 135078026 4294956192 18446744073709551615 134560972 0 0 8392704 0 0 0 0 17 1 0 0
/proc/29530/statm: 4697 4055 55 138 0 4556 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20844
[startup+0.701189 s]
/proc/loadavg: 0.93 0.98 0.99 3/65 29529
/proc/meminfo: memFree=1332760/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=18956 CPUtime=0.69
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5191 0 0 0 67 2 0 0 23 0 1 0 163243958 19410944 4327 1992294400 134512640 135078026 4294956192 18446744073709551615 134534204 0 0 8392704 0 0 0 0 17 1 0 0
/proc/29530/statm: 4739 4327 71 138 0 4598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21012
[startup+1.50127 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 29531
/proc/meminfo: memFree=1315336/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=18956 CPUtime=1.49
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5196 0 0 0 147 2 0 0 25 0 1 0 163243958 19410944 4332 1992294400 134512640 135078026 4294956192 18446744073709551615 134539468 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29530/statm: 4739 4332 71 138 0 4598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21012
[startup+3.10245 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 29531
/proc/meminfo: memFree=1315336/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=18956 CPUtime=3.09
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5197 0 0 0 307 2 0 0 25 0 1 0 163243958 19410944 4333 1992294400 134512640 135078026 4294956192 18446744073709551615 134534640 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29530/statm: 4739 4333 71 138 0 4598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21012
[startup+6.30181 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 29531
/proc/meminfo: memFree=1314376/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=0
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 163243958 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/29529/statm: 514 112 96 399 0 111 0
[pid=29530] ppid=29529 vsize=18956 CPUtime=6.28
/proc/29530/stat : 29530 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5198 0 0 0 626 2 0 0 25 0 1 0 163243958 19410944 4334 1992294400 134512640 135078026 4294956192 18446744073709551615 134522135 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29530/statm: 4739 4334 71 138 0 4598 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21012
[startup+12.7015 s]
/proc/loadavg: 1.09 1.02 1.01 2/67 29532
/proc/meminfo: memFree=1326344/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=2056 CPUtime=9.99
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 152 5199 0 0 0 0 996 3 16 0 1 0 163243958 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 514 121 104 399 0 111 0
[pid=29532] ppid=29529 vsize=7564 CPUtime=2.14
/proc/29532/stat : 29532 (picosat846) R 29529 29529 29492 0 -1 4194304 1548 0 9 0 213 1 0 0 25 0 1 0 163244959 7745536 1535 1992294400 134512640 134570484 4294956192 18446744073709551615 134523457 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29532/statm: 1891 1535 85 14 0 1557 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 9620
[startup+25.502 s]
/proc/loadavg: 1.14 1.03 1.01 2/67 29535
/proc/meminfo: memFree=1305160/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=18956 CPUtime=1.33
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5196 0 0 0 131 2 0 0 25 0 1 0 163246373 19410944 4332 1992294400 134512640 135078026 4294956192 18446744073709551615 134522144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 4739 4332 71 138 0 4598 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 29192
[startup+51.1019 s]
/proc/loadavg: 1.09 1.03 1.01 2/67 29535
/proc/meminfo: memFree=1305352/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=18956 CPUtime=26.9
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5203 0 0 0 2688 2 0 0 25 0 1 0 163246373 19410944 4339 1992294400 134512640 135078026 4294956192 18446744073709551615 134534944 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 4739 4339 71 138 0 4598 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 29192
[startup+102.306 s]
/proc/loadavg: 1.04 1.02 1.00 2/67 29535
/proc/meminfo: memFree=1305416/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=18956 CPUtime=78.08
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5204 0 0 0 7805 3 0 0 25 0 1 0 163246373 19410944 4340 1992294400 134512640 135078026 4294956192 18446744073709551615 134533705 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 4739 4340 71 138 0 4598 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 29192
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 29535
/proc/meminfo: memFree=1304904/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=19676 CPUtime=138.04
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5380 0 0 0 13801 3 0 0 25 0 1 0 163246373 20148224 4516 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 4919 4516 71 138 0 4778 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 29912
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 29535
/proc/meminfo: memFree=1303688/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=20864 CPUtime=198.02
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5670 0 0 0 19798 4 0 0 25 0 1 0 163246373 21364736 4806 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 5216 4806 71 138 0 5075 0
Current children cumulated CPU time (s) 221.59
Current children cumulated vsize (KiB) 31100
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 29535
/proc/meminfo: memFree=1303112/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=21536 CPUtime=257.98
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 5826 0 0 0 25794 4 0 0 25 0 1 0 163246373 22052864 4962 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 5384 4962 71 138 0 5243 0
Current children cumulated CPU time (s) 281.55
Current children cumulated vsize (KiB) 31772
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29535
/proc/meminfo: memFree=1302152/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=22460 CPUtime=317.96
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 6045 0 0 0 31792 4 0 0 25 0 1 0 163246373 22999040 5181 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 5615 5181 71 138 0 5474 0
Current children cumulated CPU time (s) 341.53
################
# More data... #
################
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29551
/proc/meminfo: memFree=1271176/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9313.82
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13051 0 0 0 931362 20 0 0 25 0 1 0 163246373 53649408 12187 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12187 71 138 0 12957 0
Current children cumulated CPU time (s) 9337.39
Current children cumulated vsize (KiB) 62628
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29551
/proc/meminfo: memFree=1271112/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9373.78
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13053 0 0 0 937358 20 0 0 25 0 1 0 163246373 53649408 12189 1992294400 134512640 135078026 4294956192 18446744073709551615 134534559 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12189 71 138 0 12957 0
Current children cumulated CPU time (s) 9397.35
Current children cumulated vsize (KiB) 62628
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29551
/proc/meminfo: memFree=1271048/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9433.75
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13053 0 0 0 943355 20 0 0 25 0 1 0 163246373 53649408 12189 1992294400 134512640 135078026 4294956192 18446744073709551615 134522526 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12189 71 138 0 12957 0
Current children cumulated CPU time (s) 9457.32
Current children cumulated vsize (KiB) 62628
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270856/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9493.73
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13053 0 0 0 949353 20 0 0 25 0 1 0 163246373 53649408 12189 1992294400 134512640 135078026 4294956192 18446744073709551615 134522804 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12189 71 138 0 12957 0
Current children cumulated CPU time (s) 9517.3
Current children cumulated vsize (KiB) 62628
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270856/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9553.7
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13053 0 0 0 955350 20 0 0 25 0 1 0 163246373 53649408 12189 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12189 71 138 0 12957 0
Current children cumulated CPU time (s) 9577.27
Current children cumulated vsize (KiB) 62628
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270856/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9613.66
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13053 0 0 0 961346 20 0 0 25 0 1 0 163246373 53649408 12189 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12189 71 138 0 12957 0
Current children cumulated CPU time (s) 9637.23
Current children cumulated vsize (KiB) 62628
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270856/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52392 CPUtime=9673.64
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13054 0 0 0 967344 20 0 0 25 0 1 0 163246373 53649408 12190 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13098 12190 71 138 0 12957 0
Current children cumulated CPU time (s) 9697.21
Current children cumulated vsize (KiB) 62628
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270792/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52552 CPUtime=9733.61
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13070 0 0 0 973341 20 0 0 25 0 1 0 163246373 53813248 12206 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13138 12206 71 138 0 12997 0
Current children cumulated CPU time (s) 9757.18
Current children cumulated vsize (KiB) 62788
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270792/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52552 CPUtime=9793.56
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13071 0 0 0 979336 20 0 0 25 0 1 0 163246373 53813248 12207 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13138 12207 71 138 0 12997 0
Current children cumulated CPU time (s) 9817.13
Current children cumulated vsize (KiB) 62788
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270792/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52552 CPUtime=9853.53
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13077 0 0 0 985332 21 0 0 25 0 1 0 163246373 53813248 12213 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13138 12213 71 138 0 12997 0
Current children cumulated CPU time (s) 9877.1
Current children cumulated vsize (KiB) 62788
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270664/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52744 CPUtime=9913.49
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13134 0 0 0 991328 21 0 0 25 0 1 0 163246373 54009856 12270 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13186 12270 71 138 0 13045 0
Current children cumulated CPU time (s) 9937.06
Current children cumulated vsize (KiB) 62980
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270600/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=52744 CPUtime=9973.47
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13157 0 0 0 997326 21 0 0 25 0 1 0 163246373 54009856 12293 1992294400 134512640 135078026 4294956192 18446744073709551615 134534679 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13186 12293 71 138 0 13045 0
Current children cumulated CPU time (s) 9997.04
Current children cumulated vsize (KiB) 62980
Solver just ended. Dumping a history of the last processes samples
[startup+10003.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270600/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=53004 CPUtime=9974.26
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13190 0 0 0 997405 21 0 0 25 0 1 0 163246373 54276096 12326 1992294400 134512640 135078026 4294956192 18446744073709551615 134522816 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13251 12326 71 138 0 13110 0
Current children cumulated CPU time (s) 9997.83
Current children cumulated vsize (KiB) 63240
[startup+10003.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29553
/proc/meminfo: memFree=1270472/2055920 swapFree=4192812/4192956
[pid=29529] ppid=29527 vsize=10236 CPUtime=23.57
/proc/29529/stat : 29529 (SATzilla2009_I) S 29527 29529 29492 0 -1 4194304 4477 13147 0 9 511 12 1823 11 25 0 1 0 163243958 10481664 2323 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29529/statm: 2559 2323 217 399 0 2156 0
[pid=29535] ppid=29529 vsize=53004 CPUtime=9974.47
/proc/29535/stat : 29535 (mxc-sr08) R 29529 29529 29492 0 -1 4194304 13190 0 0 0 997426 21 0 0 25 0 1 0 163246373 54276096 12326 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29535/statm: 13251 12326 71 138 0 13110 0
Current children cumulated CPU time (s) 9998.04
Current children cumulated vsize (KiB) 63240
Child status: 17
Real time (s): 10003.3
CPU time (s): 9998.08
CPU user time (s): 9997.62
CPU system time (s): 0.463929
CPU usage (%): 99.9476
Max. virtual memory (cumulated for all children) (KiB): 63240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.62
system time used= 0.463929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30832
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 26954
runsolver used 9.12461 second user time and 27.2549 second system time
The end
Begin job on node85 at 2009-05-03 14:02:23
IDJOB=1774090
IDBENCH=70864
IDSOLVER=616
FILE ID=node85/1774090-1241352142
PBS_JOBID= 9225573
Free space on /tmp= 126688 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774090-1241352142/watcher-1774090-1241352142 -o /tmp/evaluation-result-1774090-1241352142/solver-1774090-1241352142 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774090-1241352142.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED=465409847
node85.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: 1333176 kB
Buffers: 42652 kB
Cached: 590224 kB
SwapCached: 136 kB
Active: 101232 kB
Inactive: 545512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1333176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 33132 kB
Writeback: 0 kB
Mapped: 23448 kB
Slab: 61968 kB
Committed_AS: 681400 kB
PageTables: 1372 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= 126660 MiB
End job on node85 at 2009-05-03 16:49:06