10.64/10.69 c run March_dl for 5 seconds ...
10.64/10.69 c Bin: Executing march_dl
10.64/10.69 c child exit by a signal
10.64/10.69 c march_dl returned code 137.
10.64/10.69 c run saps for 2 seconds ...
10.64/10.69 c Bin: Executing ubcsat2006
10.64/10.69 c child exited successfully
10.64/10.69 c ubcsat2006 returned code 0.
10.64/10.69 c satzilla computing base features
10.64/10.69 c satzilla doing unit-prop probe
10.64/10.69 c satzilla doing local search probe
10.64/10.69 c satzilla doing lobjois search-space size estimate
10.64/10.69 c satzilla's ranking:
10.64/10.69 c 1) march_dl: 4.347827
10.64/10.69 c 2) eureka: 5.342118
10.64/10.69 c 3) kcnfs: 5.657560
10.64/10.69 c 4) vallst: 7.310771
10.64/10.69 c 5) minisat20: 7.526194
10.64/10.69 c 6) zchaff_rand: 9.001950
10.64/10.69 c 7) kcnfs+P: 999.000000
10.64/10.69 c 8) march_dl+P: 999.000000
10.64/10.69 c 9) vallst+P: 999.000000
10.64/10.69 c 10) zchaff_rand+P: 999.000000
10.64/10.69 c 11) rsat+P: 999.000000
10.64/10.69 c 12) eureka+P: 999.000000
10.64/10.69 c 13) minisat20+P: 999.000000
10.64/10.69 c 14) rsat: 999.000000
10.64/10.69 c satzilla running march_dl ...
1199.47/1199.87 c Bin: Executing march_dl
1199.47/1199.87 c child exit by a signal
1199.47/1199.87 c march_dl returned code 137.
1199.47/1199.87 c march_dl returned code 137.
1199.47/1199.87 c satzilla running eureka ...
1199.47/1199.87 c Bin: Executing eureka
1199.47/1199.87 c eureka returned code 1.
1199.47/1199.87 c eureka returned code 1.
1199.47/1199.87 c satzilla running kcnfs ...
1199.47/1199.87 c Bin: Executing kcnfs
1199.47/1199.87 c kcnfs returned code 1.
1199.47/1199.87 c kcnfs returned code 1.
1199.47/1199.87 c satzilla running vallst ...
1199.47/1199.87 c Bin: Executing vallst
1199.47/1199.87 c vallst returned code 1.
1199.47/1199.87 c vallst returned code 1.
1199.47/1199.87 c satzilla running minisat20 ...
1199.47/1199.87 c Bin: Executing minisat20
1199.47/1199.87 c minisat20 returned code 1.
1199.47/1199.87 c minisat20 returned code 1.
1199.47/1199.87 c satzilla running zchaff_rand ...
1199.47/1199.87 c Bin: Executing zchaff_rand
1199.47/1199.87 c zchaff_rand returned code 1.
1199.47/1199.87 c zchaff_rand returned code 1.
1199.47/1199.87 c satzilla running kcnfs with preprocessing ...
1199.47/1199.93 c Preprocessing...
1199.47/1199.93 c Inital problem has 800 variables, 16000 nary clauses (0 binary clauses).
1199.47/1199.93 c Num non-binary clauses 16000, Average non-binary clause length 5.000
1199.47/1199.93 c Theory has no gaps
1199.47/1199.93 c Preprocessor runtime was 0.030 seconds.
1199.47/1199.93 c
1199.47/1199.93 c Satisfiability of theory still undetermined.
1199.47/1199.93 c See file /tmp/aG3y4v for simplified theory.
1199.47/1199.93 c Bin: Executing kcnfs
1199.47/1199.93 c kcnfs returned code 1.
1199.47/1199.93 c kcnfs returned code 1.
1199.47/1199.93 c satzilla running march_dl with preprocessing ...
1199.47/1199.93 c Bin: Executing march_dl
1199.47/1199.93 c march_dl returned code 1.
1199.47/1199.93 c march_dl returned code 1.
1199.47/1199.93 c satzilla running vallst with preprocessing ...
1199.47/1199.93 c Bin: Executing vallst
1199.47/1199.93 c vallst returned code 1.
1199.47/1199.93 c vallst returned code 1.
1199.47/1199.93 c satzilla running zchaff_rand with preprocessing ...
1199.47/1199.93 c Bin: Executing zchaff_rand
1199.47/1199.93 c zchaff_rand returned code 1.
1199.47/1199.93 c zchaff_rand returned code 1.
1199.47/1199.93 c satzilla running rsat with preprocessing ...
1199.47/1199.93 c Bin: Executing rsat
1199.47/1199.93 c rsat returned code 1.
1199.47/1199.93 c rsat returned code 1.
1199.47/1199.93 c satzilla running eureka with preprocessing ...
1199.47/1199.93 c Bin: Executing eureka
1199.47/1199.93 c eureka returned code 1.
1199.47/1199.93 c eureka returned code 1.
1199.47/1199.93 c satzilla running minisat20 with preprocessing ...
1199.47/1199.93 c Bin: Executing minisat20
1199.47/1199.93 c minisat20 returned code 1.
1199.47/1199.93 c minisat20 returned code 1.
1199.47/1199.93 c satzilla running rsat ...
1199.47/1199.94 c Bin: Executing rsat
1199.47/1199.94 c rsat returned code 1.
1199.47/1199.94 c rsat returned code 1.
1199.47/1199.94 c ERROR: All Failed!
1199.47/1199.94 c SATZILLA_TIME=1199.750000
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-300315-1171898910 -o ROOT/results/node10/solver-300315-1171898910 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300315-1171898910/SATzilla2007_F /tmp/evaluation/300315-1171898910/instance-300315-1171898910.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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: 1.00 1.00 1.00 3/77 32614
/proc/meminfo: memFree=1501496/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=1512 CPUtime=0
/proc/32614/stat : 32614 (SATzilla2007_F) R 32612 32614 31381 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 209846023 1548288 125 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135218003 0 0 4096 0 0 0 0 17 1 0 0
/proc/32614/statm: 378 125 110 260 0 84 0
[pid=32615] ppid=32614 vsize=768 CPUtime=0
/proc/32615/stat : 32615 (march_dl) R 32614 32614 31381 0 -1 4194304 104 0 0 0 0 0 0 0 18 0 1 0 209846023 786432 98 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32615/statm: 192 98 50 118 0 71 0
[startup+0.107168 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32614
/proc/meminfo: memFree=1501496/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=1512 CPUtime=0
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 209846023 1548288 125 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/32614/statm: 378 125 110 260 0 84 0
[pid=32615] ppid=32614 vsize=1880 CPUtime=0.09
/proc/32615/stat : 32615 (march_dl) R 32614 32614 31381 0 -1 4194304 1788 0 0 0 9 0 0 0 19 0 1 0 209846023 1925120 357 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134819774 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32615/statm: 470 357 65 118 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3392
[startup+0.515222 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32614
/proc/meminfo: memFree=1501496/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=1512 CPUtime=0
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 209846023 1548288 125 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/32614/statm: 378 125 110 260 0 84 0
[pid=32615] ppid=32614 vsize=3548 CPUtime=0.51
/proc/32615/stat : 32615 (march_dl) R 32614 32614 31381 0 -1 4194304 2252 0 0 0 50 1 0 0 24 0 1 0 209846023 3633152 565 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134583356 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32615/statm: 887 565 67 118 0 766 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 5060
[startup+1.33533 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32616
/proc/meminfo: memFree=1499304/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=1512 CPUtime=0
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 209846023 1548288 125 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/32614/statm: 378 125 110 260 0 84 0
[pid=32615] ppid=32614 vsize=3548 CPUtime=1.33
/proc/32615/stat : 32615 (march_dl) R 32614 32614 31381 0 -1 4194304 2287 0 0 0 132 1 0 0 25 0 1 0 209846023 3633152 600 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134583360 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32615/statm: 887 600 67 118 0 766 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 5060
[startup+2.97155 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32616
/proc/meminfo: memFree=1483496/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=1512 CPUtime=0
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 209846023 1548288 125 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/32614/statm: 378 125 110 260 0 84 0
[pid=32615] ppid=32614 vsize=20736 CPUtime=2.96
/proc/32615/stat : 32615 (march_dl) R 32614 32614 31381 0 -1 4194304 7001 0 0 0 273 23 0 0 25 0 1 0 209846023 21233664 4891 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32615/statm: 5184 4894 72 118 0 5063 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 22248
[startup+6.261 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32617
/proc/meminfo: memFree=1499688/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=1512 CPUtime=5
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 149 8141 0 0 0 0 475 25 16 0 1 0 209846023 1548288 125 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/32614/statm: 378 125 110 260 0 84 0
[pid=32617] ppid=32614 vsize=6188 CPUtime=1.24
/proc/32617/stat : 32617 (ubcsat2006) R 32614 32614 31381 0 -1 4194304 512 0 0 0 118 6 0 0 25 0 1 0 209846523 6336512 494 18446744073709551615 134512640 134777720 4294956496 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32617/statm: 1547 494 156 64 0 1128 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 7700
[startup+12.7129 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1485160/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=19800 CPUtime=2
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 6343 0 0 0 188 12 0 0 25 0 1 0 209847093 20275200 4500 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134675049 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 4950 4500 72 118 0 4829 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23100
[startup+25.5316 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1471976/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=32088 CPUtime=14.82
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 10263 0 0 0 1456 26 0 0 25 0 1 0 209847093 32858112 7002 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526954 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 8022 7002 74 118 0 7901 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 35388
[startup+51.1641 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1466728/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=36824 CPUtime=40.44
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 11462 0 0 0 4017 27 0 0 25 0 1 0 209847093 37707776 8201 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526996 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 9206 8201 74 118 0 9085 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 40124
[startup+102.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1462696/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=40768 CPUtime=91.68
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 12486 0 0 0 9139 29 0 0 25 0 1 0 209847093 41746432 9225 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134527803 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 10192 9225 74 118 0 10071 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 44068
[startup+162.495 s]
/proc/loadavg: 1.07 1.02 1.00 2/79 32618
/proc/meminfo: memFree=1460584/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=42856 CPUtime=151.74
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 12991 0 0 0 15143 31 0 0 25 0 1 0 209847093 43884544 9730 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 10714 9730 74 118 0 10593 0
Current children cumulated CPU time (s) 162.42
Current children cumulated vsize (KiB) 46156
[startup+222.564 s]
/proc/loadavg: 1.02 1.01 1.00 2/79 32618
/proc/meminfo: memFree=1459176/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=44164 CPUtime=211.8
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 13345 0 0 0 21148 32 0 0 25 0 1 0 209847093 45223936 10084 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526942 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 11041 10084 74 118 0 10920 0
Current children cumulated CPU time (s) 222.48
Current children cumulated vsize (KiB) 47464
[startup+282.635 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1457640/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=45616 CPUtime=271.84
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 13706 0 0 0 27152 32 0 0 25 0 1 0 209847093 46710784 10445 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526917 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 11404 10445 74 118 0 11283 0
Current children cumulated CPU time (s) 282.52
Current children cumulated vsize (KiB) 48916
[startup+342.707 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1456744/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=46540 CPUtime=331.9
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 13936 0 0 0 33157 33 0 0 25 0 1 0 209847093 47656960 10675 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526940 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 11635 10675 74 118 0 11514 0
Current children cumulated CPU time (s) 342.58
Current children cumulated vsize (KiB) 49840
[startup+402.786 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1456040/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=47200 CPUtime=391.96
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 14110 0 0 0 39162 34 0 0 25 0 1 0 209847093 48332800 10849 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134551512 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 11800 10849 74 118 0 11679 0
Current children cumulated CPU time (s) 402.64
Current children cumulated vsize (KiB) 50500
[startup+462.856 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32618
/proc/meminfo: memFree=1455208/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=47992 CPUtime=452.02
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 14322 0 0 0 45167 35 0 0 25 0 1 0 209847093 49143808 11061 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 11998 11061 74 118 0 11877 0
Current children cumulated CPU time (s) 462.7
################
# More data... #
################
[startup+763.227 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1452968/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=50240 CPUtime=752.3
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 14880 0 0 0 75193 37 0 0 25 0 1 0 209847093 51445760 11619 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12560 11619 74 118 0 12439 0
Current children cumulated CPU time (s) 762.98
Current children cumulated vsize (KiB) 53540
[startup+823.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1452648/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=50636 CPUtime=812.36
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 14965 0 0 0 81198 38 0 0 25 0 1 0 209847093 51851264 11704 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526940 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12659 11704 74 118 0 12538 0
Current children cumulated CPU time (s) 823.04
Current children cumulated vsize (KiB) 53936
[startup+883.379 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1452264/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=51032 CPUtime=872.41
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15061 0 0 0 87203 38 0 0 25 0 1 0 209847093 52256768 11800 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134537726 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12758 11800 74 118 0 12637 0
Current children cumulated CPU time (s) 883.09
Current children cumulated vsize (KiB) 54332
[startup+943.454 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1451944/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=51296 CPUtime=932.47
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15140 0 0 0 93208 39 0 0 25 0 1 0 209847093 52527104 11879 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134514015 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12824 11879 74 118 0 12703 0
Current children cumulated CPU time (s) 943.15
Current children cumulated vsize (KiB) 54596
[startup+1003.53 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1451688/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=51560 CPUtime=992.53
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15204 0 0 0 99214 39 0 0 25 0 1 0 209847093 52797440 11943 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12890 11943 74 118 0 12769 0
Current children cumulated CPU time (s) 1003.21
Current children cumulated vsize (KiB) 54860
[startup+1063.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1451432/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=51824 CPUtime=1052.59
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15265 0 0 0 105219 40 0 0 25 0 1 0 209847093 53067776 12004 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526942 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12956 12004 74 118 0 12835 0
Current children cumulated CPU time (s) 1063.27
Current children cumulated vsize (KiB) 55124
[startup+1123.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1451240/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=51956 CPUtime=1112.65
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15321 0 0 0 111224 41 0 0 25 0 1 0 209847093 53202944 12060 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134551658 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 12989 12060 74 118 0 12868 0
Current children cumulated CPU time (s) 1123.33
Current children cumulated vsize (KiB) 55256
[startup+1183.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450984/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52220 CPUtime=1172.69
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15380 0 0 0 117228 41 0 0 25 0 1 0 209847093 53473280 12119 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134533033 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13055 12119 74 118 0 12934 0
Current children cumulated CPU time (s) 1183.37
Current children cumulated vsize (KiB) 55520
Solver just ended. Dumping a history of the last processes samples
[startup+1187.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450920/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52220 CPUtime=1176.5
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15385 0 0 0 117609 41 0 0 25 0 1 0 209847093 53473280 12124 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134564684 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13055 12124 74 118 0 12934 0
Current children cumulated CPU time (s) 1187.18
Current children cumulated vsize (KiB) 55520
[startup+1194.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450920/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52352 CPUtime=1183.05
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15395 0 0 0 118264 41 0 0 25 0 1 0 209847093 53608448 12134 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526937 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13088 12134 74 118 0 12967 0
Current children cumulated CPU time (s) 1193.73
Current children cumulated vsize (KiB) 55652
[startup+1197.39 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450856/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52352 CPUtime=1186.33
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15401 0 0 0 118592 41 0 0 25 0 1 0 209847093 53608448 12140 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134573152 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13088 12140 74 118 0 12967 0
Current children cumulated CPU time (s) 1197.01
Current children cumulated vsize (KiB) 55652
[startup+1199.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450856/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52352 CPUtime=1187.97
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15402 0 0 0 118756 41 0 0 25 0 1 0 209847093 53608448 12141 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526942 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13088 12141 74 118 0 12967 0
Current children cumulated CPU time (s) 1198.65
Current children cumulated vsize (KiB) 55652
[startup+1199.44 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450856/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52352 CPUtime=1188.38
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15402 0 0 0 118797 41 0 0 25 0 1 0 209847093 53608448 12141 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13088 12141 74 118 0 12967 0
Current children cumulated CPU time (s) 1199.06
Current children cumulated vsize (KiB) 55652
[startup+1199.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 32620
/proc/meminfo: memFree=1450856/2055920 swapFree=4192812/4192956
[pid=32614] ppid=32612 vsize=3300 CPUtime=10.68
/proc/32614/stat : 32614 (SATzilla2007_F) S 32612 32614 31381 0 -1 4194304 1423 8659 0 0 339 15 678 36 25 0 1 0 209846023 3379200 633 18446744073709551615 134512640 135581085 4294956608 18446744073709551615 135217869 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32614/statm: 825 633 169 260 0 531 0
[pid=32618] ppid=32614 vsize=52352 CPUtime=1188.79
/proc/32618/stat : 32618 (march_dl) R 32614 32614 31381 0 -1 4194304 15403 0 0 0 118838 41 0 0 25 0 1 0 209847093 53608448 12142 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134526930 0 0 8392704 0 0 0 0 17 1 0 0
/proc/32618/statm: 13088 12142 74 118 0 12967 0
Current children cumulated CPU time (s) 1199.47
Current children cumulated vsize (KiB) 55652
Child status: 17
Real time (s): 1199.94
CPU time (s): 1199.59
CPU user time (s): 1198.64
CPU system time (s): 0.949855
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 55652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.64
system time used= 0.949855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26187
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= 25
involuntary context switches= 18163
runsolver used 1.14383 second user time and 3.12252 second system time
The end
Begin job on node10 on Mon Feb 19 15:28:30 UTC 2007
IDJOB= 300315
IDBENCH= 20031
IDSOLVER= 136
FILE ID= node10/300315-1171898910
PBS_JOBID= 3848823
Free space on /tmp= 66540 MiB
SOLVER NAME= SATzilla FULL
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S1059928571-06.cnf
COMMAND LINE= /tmp/evaluation/300315-1171898910/SATzilla2007_F /tmp/evaluation/300315-1171898910/instance-300315-1171898910.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-300315-1171898910 -o ROOT/results/node10/solver-300315-1171898910 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300315-1171898910/SATzilla2007_F /tmp/evaluation/300315-1171898910/instance-300315-1171898910.cnf
META MD5SUM SOLVER= cf97f3a2fd0b75b608f79c1ce3d2be4a
MD5SUM BENCH= 04472b4b6b6792f6a66e445ec1cc3be0
RANDOM SEED= 237543661
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node10.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.232
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.232
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: 1501904 kB
Buffers: 51212 kB
Cached: 386164 kB
SwapCached: 0 kB
Active: 268488 kB
Inactive: 213896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1501904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10508 kB
Writeback: 0 kB
Mapped: 63856 kB
Slab: 57084 kB
Committed_AS: 1214008 kB
PageTables: 1836 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 node10 on Mon Feb 19 15:48:30 UTC 2007