12.97/13.05 c run March_dl for 5 seconds ...
12.97/13.05 c Bin: Executing march_dl
12.97/13.05 c child exit by a signal
12.97/13.05 c march_dl returned code 137.
12.97/13.05 c run saps for 2 seconds ...
12.97/13.05 c Bin: Executing ubcsat2006
12.97/13.05 c child exited successfully
12.97/13.05 c ubcsat2006 returned code 0.
12.97/13.05 c satzilla computing base features
12.97/13.05 c satzilla doing unit-prop probe
12.97/13.05 c satzilla doing local search probe
12.97/13.05 c satzilla doing lobjois search-space size estimate
12.97/13.05 c satzilla's ranking:
12.97/13.05 c 1) eureka: 1.642800
12.97/13.05 c 2) zchaff_rand: 1.785896
12.97/13.05 c 3) vallst: 1.947210
12.97/13.05 c 4) minisat20: 1.950484
12.97/13.05 c 5) march_dl: 3.021900
12.97/13.05 c 6) kcnfs: 4.676183
12.97/13.05 c 7) kcnfs+P: 999.000000
12.97/13.05 c 8) march_dl+P: 999.000000
12.97/13.05 c 9) vallst+P: 999.000000
12.97/13.05 c 10) zchaff_rand+P: 999.000000
12.97/13.05 c 11) rsat+P: 999.000000
12.97/13.05 c 12) eureka+P: 999.000000
12.97/13.05 c 13) minisat20+P: 999.000000
12.97/13.05 c 14) rsat: 999.000000
12.97/13.05 c satzilla running eureka ...
1198.82/1199.40 c Bin: Executing eureka
1198.82/1199.40 c child exit by a signal
1198.82/1199.40 c eureka returned code 137.
1198.82/1199.40 c eureka returned code 137.
1198.82/1199.40 c satzilla running zchaff_rand ...
1198.82/1199.40 c Bin: Executing zchaff_rand
1198.82/1199.40 c zchaff_rand returned code 1.
1198.82/1199.40 c zchaff_rand returned code 1.
1198.82/1199.40 c satzilla running vallst ...
1198.82/1199.40 c Bin: Executing vallst
1198.82/1199.40 c vallst returned code 1.
1198.82/1199.40 c vallst returned code 1.
1198.82/1199.40 c satzilla running minisat20 ...
1198.82/1199.40 c Bin: Executing minisat20
1198.82/1199.40 c minisat20 returned code 1.
1198.82/1199.40 c minisat20 returned code 1.
1198.82/1199.40 c satzilla running march_dl ...
1198.82/1199.40 c Bin: Executing march_dl
1198.82/1199.40 c march_dl returned code 1.
1198.82/1199.40 c march_dl returned code 1.
1198.82/1199.40 c satzilla running kcnfs ...
1198.82/1199.40 c Bin: Executing kcnfs
1198.82/1199.40 c kcnfs returned code 1.
1198.82/1199.40 c kcnfs returned code 1.
1198.82/1199.40 c satzilla running kcnfs with preprocessing ...
1198.82/1199.47 c Preprocessing...
1198.82/1199.47 c Inital problem has 1587 variables, 7730 nary clauses (283 binary clauses).
1198.82/1199.47 c Num non-binary clauses 7697, Average non-binary clause length 8.786
1198.82/1199.47 c Theory has no gaps
1198.82/1199.47 c Preprocessor runtime was 0.040 seconds.
1198.82/1199.47 c
1198.82/1199.47 c Satisfiability of theory still undetermined.
1198.82/1199.47 c See file /tmp/UfFFpi for simplified theory.
1198.82/1199.47 c Bin: Executing kcnfs
1198.82/1199.47 c kcnfs returned code 1.
1198.82/1199.47 c kcnfs returned code 1.
1198.82/1199.47 c satzilla running march_dl with preprocessing ...
1198.82/1199.47 c Bin: Executing march_dl
1198.82/1199.47 c march_dl returned code 1.
1198.82/1199.47 c march_dl returned code 1.
1198.82/1199.47 c satzilla running vallst with preprocessing ...
1198.82/1199.47 c Bin: Executing vallst
1198.82/1199.47 c vallst returned code 1.
1198.82/1199.47 c vallst returned code 1.
1198.82/1199.47 c satzilla running zchaff_rand with preprocessing ...
1198.82/1199.47 c Bin: Executing zchaff_rand
1198.82/1199.47 c zchaff_rand returned code 1.
1198.82/1199.47 c zchaff_rand returned code 1.
1198.82/1199.47 c satzilla running rsat with preprocessing ...
1198.82/1199.47 c Bin: Executing rsat
1198.82/1199.47 c rsat returned code 1.
1198.82/1199.47 c rsat returned code 1.
1198.82/1199.47 c satzilla running eureka with preprocessing ...
1198.82/1199.47 c Bin: Executing eureka
1198.82/1199.47 c eureka returned code 1.
1198.82/1199.47 c eureka returned code 1.
1198.82/1199.47 c satzilla running minisat20 with preprocessing ...
1198.82/1199.47 c Bin: Executing minisat20
1198.82/1199.47 c minisat20 returned code 1.
1198.82/1199.47 c minisat20 returned code 1.
1198.82/1199.47 c satzilla running rsat ...
1198.82/1199.47 c Bin: Executing rsat
1198.82/1199.47 c rsat returned code 1.
1198.82/1199.47 c rsat returned code 1.
1198.82/1199.47 c ERROR: All Failed!
1198.82/1199.47 c SATZILLA_TIME=1199.110000
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-338220-1173682304 -o ROOT/results/node39/solver-338220-1173682304 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/338220-1173682304/SATzilla2007_F /tmp/evaluation/338220-1173682304/instance-338220-1173682304.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): 2400 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.99 0.97 0.99 3/64 19173
/proc/meminfo: memFree=1796544/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) R 19171 19173 17268 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135218003 0 0 4096 0 0 0 0 17 1 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=768 CPUtime=0
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 107 0 0 0 0 0 0 0 18 0 1 0 388186256 786432 101 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 192 101 50 118 0 71 0
[startup+0.094778 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 19173
/proc/meminfo: memFree=1796544/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=2216 CPUtime=0.09
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 509 0 0 0 9 0 0 0 19 0 1 0 388186256 2269184 463 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134543103 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 554 464 65 118 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3728
[startup+0.101778 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 19173
/proc/meminfo: memFree=1796544/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=2084 CPUtime=0.09
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 511 0 0 0 9 0 0 0 19 0 1 0 388186256 2134016 440 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134544344 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 521 440 65 118 0 400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3596
[startup+0.301811 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 19173
/proc/meminfo: memFree=1796544/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=3796 CPUtime=0.29
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 760 0 0 0 29 0 0 0 20 0 1 0 388186256 3887104 605 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134583572 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 949 605 67 118 0 828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5308
[startup+0.70188 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 19173
/proc/meminfo: memFree=1796544/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=5420 CPUtime=0.69
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 1527 0 0 0 69 0 0 0 24 0 1 0 388186256 5550080 1274 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134533484 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 1355 1274 72 118 0 1234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6932
[startup+1.50202 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19175
/proc/meminfo: memFree=1791216/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=6004 CPUtime=1.49
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 1778 0 0 0 149 0 0 0 25 0 1 0 388186256 6148096 1353 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134526998 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 1501 1353 74 118 0 1380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7516
[startup+3.10129 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19175
/proc/meminfo: memFree=1791152/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=0
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19174] ppid=19173 vsize=6004 CPUtime=3.08
/proc/19174/stat : 19174 (march_dl) R 19173 19173 17268 0 -1 4194304 1778 0 0 0 308 0 0 0 25 0 1 0 388186256 6148096 1353 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134526958 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19174/statm: 1501 1353 74 118 0 1380 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7516
[startup+6.30184 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19176
/proc/meminfo: memFree=1795120/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=1512 CPUtime=4.99
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 149 1778 0 0 0 0 499 0 16 0 1 0 388186256 1548288 125 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19173/statm: 378 125 110 260 0 84 0
[pid=19176] ppid=19173 vsize=6188 CPUtime=1.29
/proc/19176/stat : 19176 (ubcsat2006) R 19173 19173 17268 0 -1 4194304 446 0 0 0 119 10 0 0 25 0 1 0 388186757 6336512 428 18446744073709551615 134512640 134777720 4294956592 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19176/statm: 1547 428 156 64 0 1128 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7700
[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19176
/proc/meminfo: memFree=1793912/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=12.67
/proc/19173/stat : 19173 (SATzilla2007_F) R 19171 19173 17268 0 -1 4194304 1211 2230 0 0 538 13 701 15 25 0 1 0 388186256 2658304 470 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 134543347 0 0 4096 0 0 0 0 17 1 0 0
/proc/19173/statm: 649 470 168 260 0 355 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2596
[startup+25.5011 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19179
/proc/meminfo: memFree=1788344/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=9064 CPUtime=12.42
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 2600 16 0 0 1241 1 0 0 25 0 1 0 388187562 9281536 1865 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 2266 1865 177 116 0 1805 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 11660
[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19179
/proc/meminfo: memFree=1783608/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=14004 CPUtime=38.02
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 4990 16 0 0 3797 5 0 0 25 0 1 0 388187562 14340096 3043 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134562408 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 3501 3043 177 116 0 3040 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 16600
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19179
/proc/meminfo: memFree=1779320/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=18340 CPUtime=89.2
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 8318 16 0 0 8912 8 0 0 25 0 1 0 388187562 18780160 4067 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 4585 4067 177 116 0 4124 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 20936
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19179
/proc/meminfo: memFree=1777016/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=20220 CPUtime=149.18
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 11677 16 0 0 14908 10 0 0 25 0 1 0 388187562 20705280 4585 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584322 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 5055 4585 177 116 0 4594 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 22816
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19179
/proc/meminfo: memFree=1776248/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=22100 CPUtime=209.16
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 14583 16 0 0 20904 12 0 0 25 0 1 0 388187562 22630400 4877 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134610343 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 5525 4877 177 116 0 5064 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 24696
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19179
/proc/meminfo: memFree=1775416/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=21836 CPUtime=269.13
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 17381 16 0 0 26899 14 0 0 25 0 1 0 388187562 22360064 4967 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 5459 4967 177 116 0 4998 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 24432
[startup+342.301 s]
/proc/loadavg: 1.05 0.99 0.99 2/66 19179
/proc/meminfo: memFree=1775032/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=22664 CPUtime=329.11
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 20251 16 0 0 32895 16 0 0 25 0 1 0 388187562 23207936 5066 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 5666 5066 177 116 0 5205 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 25260
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 19377
/proc/meminfo: memFree=1772088/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=24096 CPUtime=808.84
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 41663 16 0 0 80854 30 0 0 25 0 1 0 388187562 24674304 5517 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6024 5517 177 116 0 5563 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 26692
[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 19377
/proc/meminfo: memFree=1771960/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=24096 CPUtime=868.81
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 44187 16 0 0 86850 31 0 0 25 0 1 0 388187562 24674304 5536 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6024 5536 177 116 0 5563 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 26692
[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 19377
/proc/meminfo: memFree=1771896/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=24096 CPUtime=928.8
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 46930 16 0 0 92847 33 0 0 25 0 1 0 388187562 24674304 5544 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6024 5544 177 116 0 5563 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 26692
[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 19377
/proc/meminfo: memFree=1771704/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=24844 CPUtime=988.78
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 49255 16 0 0 98843 35 0 0 25 0 1 0 388187562 25440256 5581 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6211 5581 177 116 0 5750 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 27440
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771640/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=24844 CPUtime=1048.76
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 51778 16 0 0 104840 36 0 0 25 0 1 0 388187562 25440256 5583 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6211 5583 177 116 0 5750 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 27440
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771576/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25000 CPUtime=1108.74
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 54561 16 0 0 110837 37 0 0 25 0 1 0 388187562 25600000 5600 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6250 5600 177 116 0 5789 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 27596
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771448/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25000 CPUtime=1168.71
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57111 16 0 0 116832 39 0 0 25 0 1 0 388187562 25600000 5617 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6250 5617 177 116 0 5789 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 27596
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771448/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25000 CPUtime=1176.71
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57344 16 0 0 117632 39 0 0 25 0 1 0 388187562 25600000 5619 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134562493 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6250 5619 177 116 0 5789 0
Current children cumulated CPU time (s) 1189.73
Current children cumulated vsize (KiB) 27596
[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771448/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25136 CPUtime=1179.91
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57578 16 0 0 117952 39 0 0 25 0 1 0 388187562 25739264 5622 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6284 5622 177 116 0 5823 0
Current children cumulated CPU time (s) 1192.93
Current children cumulated vsize (KiB) 27732
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771384/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25136 CPUtime=1183.11
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57810 16 0 0 118272 39 0 0 25 0 1 0 388187562 25739264 5622 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6284 5622 177 116 0 5823 0
Current children cumulated CPU time (s) 1196.13
Current children cumulated vsize (KiB) 27732
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771384/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25136 CPUtime=1184.7
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57811 16 0 0 118431 39 0 0 25 0 1 0 388187562 25739264 5623 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134562947 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6284 5623 177 116 0 5823 0
Current children cumulated CPU time (s) 1197.72
Current children cumulated vsize (KiB) 27732
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771384/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25136 CPUtime=1185.5
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57812 16 0 0 118511 39 0 0 25 0 1 0 388187562 25739264 5624 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6284 5624 177 116 0 5823 0
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (KiB) 27732
[startup+1199.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771384/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25136 CPUtime=1185.7
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57812 16 0 0 118531 39 0 0 25 0 1 0 388187562 25739264 5624 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6284 5624 177 116 0 5823 0
Current children cumulated CPU time (s) 1198.72
Current children cumulated vsize (KiB) 27732
[startup+1199.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19377
/proc/meminfo: memFree=1771384/2055920 swapFree=4181136/4192956
[pid=19173] ppid=19171 vsize=2596 CPUtime=13.02
/proc/19173/stat : 19173 (SATzilla2007_F) S 19171 19173 17268 0 -1 4194304 1216 2230 0 0 573 13 701 15 25 0 1 0 388186256 2658304 472 18446744073709551615 134512640 135581085 4294956704 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19173/statm: 649 472 170 260 0 355 0
[pid=19177] ppid=19173 vsize=25136 CPUtime=1185.8
/proc/19177/stat : 19177 (eureka) R 19173 19173 17268 0 -1 0 57812 16 0 0 118541 39 0 0 25 0 1 0 388187562 25739264 5624 18446744073709551615 134512640 134990004 4294956736 18446744073709551615 134584297 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19177/statm: 6284 5624 177 116 0 5823 0
Current children cumulated CPU time (s) 1198.82
Current children cumulated vsize (KiB) 27732
Child status: 17
Real time (s): 1199.48
CPU time (s): 1198.94
CPU user time (s): 1198.24
CPU system time (s): 0.702893
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 28356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.24
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61907
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= 36
involuntary context switches= 1736
runsolver used 1.26781 second user time and 2.70159 second system time
The end
Begin job on node39 on Mon Mar 12 06:51:44 UTC 2007
IDJOB= 338220
IDBENCH= 24717
IDSOLVER= 136
FILE ID= node39/338220-1173682304
PBS_JOBID= 4101461
Free space on /tmp= 66540 MiB
SOLVER NAME= SATzilla FULL
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/338220-1173682304/SATzilla2007_F /tmp/evaluation/338220-1173682304/instance-338220-1173682304.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-338220-1173682304 -o ROOT/results/node39/solver-338220-1173682304 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/338220-1173682304/SATzilla2007_F /tmp/evaluation/338220-1173682304/instance-338220-1173682304.cnf
META MD5SUM SOLVER= cf97f3a2fd0b75b608f79c1ce3d2be4a
MD5SUM BENCH= 178c0646166b92c20ce876c724294ca1
RANDOM SEED= 846110266
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.285
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.285
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: 1796952 kB
Buffers: 26376 kB
Cached: 181364 kB
SwapCached: 6052 kB
Active: 117116 kB
Inactive: 103556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1796952 kB
SwapTotal: 4192956 kB
SwapFree: 4181136 kB
Dirty: 10468 kB
Writeback: 0 kB
Mapped: 15536 kB
Slab: 24272 kB
Committed_AS: 808524 kB
PageTables: 1412 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= 66540 MiB
End job on node39 on Mon Mar 12 07:11:43 UTC 2007