16.36/16.46 c SATzilla is building models for class 2
16.36/16.46 c run presolver march_dl2004 for 5 seconds ...
16.36/16.46 c Bin: Executing march_dl2004
16.36/16.46 c spawning binary file with 5 seconds ...
16.36/16.46 c child exit by a signal
16.36/16.46 c march_dl2004 returned code 137.
16.36/16.46 c run presolver mxc-sr08 for 5 seconds ...
16.36/16.46 c Bin: Executing mxc-sr08
16.36/16.46 c spawning binary file with 5 seconds ...
16.36/16.46 c child exit by a signal
16.36/16.46 c mxc-sr08 returned code 137.
16.36/16.46 c Orignal number of varibales is 60, number of clauses is 5340
16.36/16.46 c predicted feature computation time is 6.980748
16.36/16.46 c Bin: Executing satelite
16.36/16.46 c spawning binary file with 240 seconds ...
16.36/16.46 c child exited successfully
16.36/16.46 c satzilla computing base features
16.36/16.46 c Number of variabe is: 60, Number of clause is : 5340
16.36/16.46 c Initializing...
16.36/16.46 c satzilla compute diameter ...
16.36/16.46 c start diameter features ...
16.36/16.46 c satzilla doing clause learning
16.36/16.46 c start clause learning features ...
16.36/16.46 c Bin: Executing zchaff07
16.36/16.46 c spawning binary file with 2 seconds ...
16.36/16.46 c child exit by a signal
16.36/16.46 c satzilla doing survey propogation probe
16.36/16.46 c do survay propogation for 2 second ...
16.36/16.46 c satzilla doing local search probe
16.36/16.46 c satzilla doing lobjois search-space size estimate
16.36/16.46 c features are:60 5340 60 5340 0 0 0.011236 0.310487 0.684983 0.998807 0.116667 0 0.116667 0.116667 -0 0 0 0.116667 0.0374448 0.107678 0.125281 3.70417 0.0305662 0.0208157 0 0.0937997 1.92391 0.00751561 0.124208 0.00543071 0.00955056 2.8491 0.0644195 0.0110487 0 0.0110487 0.0110487 2 0 2 2 -0 4516 0.012325 4443 4578 4578 4443 4578 4443 4527 22.5838 0.0131419 22.2107 22.9368 22.9368 22.2107 22.9368 22.2107 22.604 0.0618266 0.661824 0.000716113 0.179839 0.112265 0.00973184 0.0889218 0.0306485 0.0608367 6.40937e-05 0.385932 2.94419e-05 0.000130183 0.000106687 3.8657e-05 7.53529e-05 4.57795e-05 5.95373e-05 8.48873 0.270198 10.4795 0.220541 10 8 13 2.3697 0.295275 0.903458 0.104997 0.691205 0.768316
16.36/16.46 c satzilla's ranking:
16.36/16.46 c 1) march_dl2004: 4.984653
16.36/16.46 c 2) mxc-sr08: 3.283425
16.36/16.46 c 3) minisat20SAT07: 3.160392
16.36/16.46 c 4) minisat20: 2.958172
16.36/16.46 c 5) tts-4-0: 1.363619
16.36/16.46 c 6) vallst: 0.400430
16.36/16.46 c 7) zchaff_rand: 0.125103
16.36/16.46 c 8) SATenstein: -10000.000000
16.36/16.46 c 9) gnovelty+: -10000.000000
16.36/16.46 c 10) adaptg2wsat+: -10000.000000
16.36/16.46 c 11) adaptg2wsat0: -10000.000000
16.36/16.46 c 12) picosat846: -10000.000000
16.36/16.46 c 13) kcnfs04SAT07: -10000.000000
16.36/16.46 c satzilla running march_dl2004 ...
1199.22/1199.82 c Bin: Executing march_dl2004
1199.22/1199.82 c spawning binary file with 1183 seconds ...
1199.22/1199.82 c child exit by a signal
1199.22/1199.82 c march_dl2004 returned code 137.
1199.22/1199.82 c satzilla running mxc-sr08 ...
1199.22/1199.82 c Bin: Executing mxc-sr08
1199.22/1199.82 c mxc-sr08 returned code 1.
1199.22/1199.82 c satzilla running minisat20SAT07 ...
1199.22/1199.82 c Bin: Executing minisat20SAT07
1199.22/1199.82 c minisat20SAT07 returned code 1.
1199.22/1199.82 c satzilla running minisat20 ...
1199.22/1199.82 c Bin: Executing minisat20
1199.22/1199.82 c minisat20 returned code 1.
1199.22/1199.82 c satzilla running tts-4-0 ...
1199.22/1199.82 c Bin: Executing tts-4-0
1199.22/1199.82 c tts-4-0 returned code 1.
1199.22/1199.82 c satzilla running vallst ...
1199.22/1199.82 c Bin: Executing vallst
1199.22/1199.82 c vallst returned code 1.
1199.22/1199.82 c satzilla running zchaff_rand ...
1199.22/1199.82 c Bin: Executing zchaff_rand
1199.22/1199.82 c zchaff_rand returned code 1.
1199.22/1199.82 c satzilla running SATenstein ...
1199.22/1199.82 c Bin: Executing SATenstein
1199.22/1199.82 c SATenstein returned code 1.
1199.22/1199.82 c satzilla running gnovelty+ ...
1199.22/1199.82 c Bin: Executing gnovelty+
1199.22/1199.82 c gnovelty+ returned code 1.
1199.22/1199.82 c satzilla running adaptg2wsat+ ...
1199.22/1199.82 c Bin: Executing adaptg2wsat+
1199.22/1199.82 c adaptg2wsat+ returned code 1.
1199.22/1199.82 c satzilla running adaptg2wsat0 ...
1199.22/1199.82 c Bin: Executing adaptg2wsat0
1199.22/1199.82 c adaptg2wsat0 returned code 1.
1199.22/1199.82 c satzilla running picosat846 ...
1199.22/1199.82 c Bin: Executing picosat846
1199.22/1199.82 c picosat846 returned code 1.
1199.22/1199.82 c satzilla running kcnfs04SAT07 ...
1199.22/1199.82 c Bin: Executing kcnfs04SAT07
1199.22/1199.82 c kcnfs04SAT07 returned code 1.
1199.22/1199.82 c ERROR: All Failed!
1199.22/1199.82 c SATZILLA_TIME=1199.440000
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1539156-1238475611/watcher-1539156-1238475611 -o /tmp/evaluation-result-1539156-1238475611/solver-1539156-1238475611 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1539156-1238475611.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 18616
/proc/meminfo: memFree=1494072/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=636 CPUtime=0
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 86 0 0 0 0 0 0 0 19 0 1 0 1120222729 651264 81 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18617/statm: 159 81 50 118 0 38 0
[startup+0.0880901 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 18616
/proc/meminfo: memFree=1494072/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=2064 CPUtime=0.08
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 822 0 0 0 8 0 0 0 19 0 1 0 1120222729 2113536 300 1992294400 134512640 134996440 4294956176 18446744073709551615 134583495 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18617/statm: 516 300 67 118 0 395 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4120
[startup+0.101089 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 18616
/proc/meminfo: memFree=1494072/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=2064 CPUtime=0.09
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 824 0 0 0 9 0 0 0 19 0 1 0 1120222729 2113536 302 1992294400 134512640 134996440 4294956176 18446744073709551615 134583416 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18617/statm: 516 302 67 118 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4120
[startup+0.301109 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 18616
/proc/meminfo: memFree=1494072/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=2064 CPUtime=0.29
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 838 0 0 0 29 0 0 0 21 0 1 0 1120222729 2113536 316 1992294400 134512640 134996440 4294956176 18446744073709551615 134583431 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18617/statm: 516 316 67 118 0 395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4120
[startup+0.701159 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 18616
/proc/meminfo: memFree=1494072/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=5932 CPUtime=0.69
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 2001 0 0 0 69 0 0 0 25 0 1 0 1120222729 6074368 1377 1992294400 134512640 134996440 4294956176 18446744073709551615 134559737 0 0 8392704 0 0 0 0 17 1 0 0
/proc/18617/statm: 1483 1377 72 118 0 1362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7988
[startup+1.50124 s]
/proc/loadavg: 1.08 1.02 1.01 2/70 18618
/proc/meminfo: memFree=1487912/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=6660 CPUtime=1.48
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 2094 0 0 0 148 0 0 0 25 0 1 0 1120222729 6819840 1462 1992294400 134512640 134996440 4294956176 18446744073709551615 134528141 0 0 8392704 0 0 0 0 17 1 0 0
/proc/18617/statm: 1665 1462 74 118 0 1544 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8716
[startup+3.10139 s]
/proc/loadavg: 1.08 1.02 1.01 2/70 18618
/proc/meminfo: memFree=1488424/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=0
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1120222728 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 112 96 399 0 111 0
[pid=18617] ppid=18616 vsize=6660 CPUtime=3.07
/proc/18617/stat : 18617 (march_dl2004) R 18616 18616 18426 0 -1 4194304 2095 0 0 0 307 0 0 0 25 0 1 0 1120222729 6819840 1463 1992294400 134512640 134996440 4294956176 18446744073709551615 134514060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18617/statm: 1665 1463 74 118 0 1544 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 8716
[startup+6.30271 s]
/proc/loadavg: 1.07 1.02 1.00 2/70 18619
/proc/meminfo: memFree=1492968/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=2056 CPUtime=4.99
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 156 2095 0 0 0 0 499 0 19 0 1 0 1120222728 2105344 125 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 514 125 107 399 0 111 0
[pid=18619] ppid=18616 vsize=1876 CPUtime=1.28
/proc/18619/stat : 18619 (mxc-sr08) R 18616 18616 18426 0 -1 4194304 425 0 0 0 128 0 0 0 25 0 1 0 1120223230 1921024 387 1992294400 134512640 135078026 4294956176 18446744073709551615 134534605 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18619/statm: 469 387 71 138 0 328 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 3932
[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/70 18621
/proc/meminfo: memFree=1490736/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=7872 CPUtime=12.66
/proc/18616/stat : 18616 (SATzilla2009_C) R 18614 18616 18426 0 -1 4194304 855 3745 0 0 65 0 1199 2 23 0 1 0 1120222728 8060928 610 1992294400 134512640 136149437 4294956208 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 0 0 0
/proc/18616/statm: 1968 610 207 399 0 1565 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 7872
[startup+25.5016 s]
/proc/loadavg: 1.05 1.01 1.00 2/70 18622
/proc/meminfo: memFree=1487408/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=6660 CPUtime=9.01
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 2095 0 0 0 900 1 0 0 25 0 1 0 1120224375 6819840 1463 1992294400 134512640 134996440 4294956176 18446744073709551615 134526992 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 1665 1463 74 118 0 1544 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 10432
[startup+51.1012 s]
/proc/loadavg: 1.03 1.01 1.00 2/70 18628
/proc/meminfo: memFree=1487216/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=6660 CPUtime=34.59
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 2095 0 0 0 3458 1 0 0 25 0 1 0 1120224375 6819840 1463 1992294400 134512640 134996440 4294956176 18446744073709551615 134514015 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 1665 1463 74 118 0 1544 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 10432
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/70 18628
/proc/meminfo: memFree=1487280/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=6660 CPUtime=85.77
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 2095 0 0 0 8576 1 0 0 25 0 1 0 1120224375 6819840 1463 1992294400 134512640 134996440 4294956176 18446744073709551615 134526930 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 1665 1463 74 118 0 1544 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 10432
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1477808/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=16672 CPUtime=145.73
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 4512 0 0 0 14570 3 0 0 25 0 1 0 1120224375 17072128 3880 1992294400 134512640 134996440 4294956176 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 4168 3880 74 118 0 4047 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 20444
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1476016/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=18520 CPUtime=205.7
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 4965 0 0 0 20567 3 0 0 25 0 1 0 1120224375 18964480 4333 1992294400 134512640 134996440 4294956176 18446744073709551615 134528306 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 4630 4333 74 118 0 4509 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 22292
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1474928/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=19576 CPUtime=265.68
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5230 0 0 0 26564 4 0 0 25 0 1 0 1120224375 20045824 4598 1992294400 134512640 134996440 4294956176 18446744073709551615 134527835 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 4894 4598 74 118 0 4773 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 23348
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1474416/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=20104 CPUtime=325.65
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5364 0 0 0 32561 4 0 0 25 0 1 0 1120224375 20586496 4732 1992294400 134512640 134996440 4294956176 18446744073709551615 134565049 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5026 4732 74 118 0 4905 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 23876
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1472496/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=21952 CPUtime=805.46
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5840 0 0 0 80541 5 0 0 25 0 1 0 1120224375 22478848 5208 1992294400 134512640 134996440 4294956176 18446744073709551615 134551655 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5488 5208 74 118 0 5367 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 25724
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1472368/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22084 CPUtime=865.42
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5867 0 0 0 86537 5 0 0 25 0 1 0 1120224375 22614016 5235 1992294400 134512640 134996440 4294956176 18446744073709551615 134526992 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5521 5235 74 118 0 5400 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 25856
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1472304/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22216 CPUtime=925.4
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5896 0 0 0 92535 5 0 0 25 0 1 0 1120224375 22749184 5264 1992294400 134512640 134996440 4294956176 18446744073709551615 134533016 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5554 5264 74 118 0 5433 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 25988
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1472240/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22332 CPUtime=985.39
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5923 0 0 0 98533 6 0 0 25 0 1 0 1120224375 22867968 5291 1992294400 134512640 134996440 4294956176 18446744073709551615 134526917 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5583 5291 74 118 0 5462 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 26104
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471984/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22596 CPUtime=1045.36
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 5997 0 0 0 104530 6 0 0 25 0 1 0 1120224375 23138304 5365 1992294400 134512640 134996440 4294956176 18446744073709551615 134551557 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5649 5365 74 118 0 5528 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 26368
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471728/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1105.33
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6054 0 0 0 110527 6 0 0 25 0 1 0 1120224375 23408640 5422 1992294400 134512640 134996440 4294956176 18446744073709551615 134551415 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5422 74 118 0 5594 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 26632
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471664/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1165.3
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6073 0 0 0 116524 6 0 0 25 0 1 0 1120224375 23408640 5441 1992294400 134512640 134996440 4294956176 18446744073709551615 134527835 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5441 74 118 0 5594 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 26632
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471664/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1173.3
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6077 0 0 0 117324 6 0 0 25 0 1 0 1120224375 23408640 5445 1992294400 134512640 134996440 4294956176 18446744073709551615 134526956 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5445 74 118 0 5594 0
Current children cumulated CPU time (s) 1189.72
Current children cumulated vsize (KiB) 26632
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471600/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1179.7
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6078 0 0 0 117964 6 0 0 25 0 1 0 1120224375 23408640 5446 1992294400 134512640 134996440 4294956176 18446744073709551615 134568492 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5446 74 118 0 5594 0
Current children cumulated CPU time (s) 1196.12
Current children cumulated vsize (KiB) 26632
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471600/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1181.3
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6079 0 0 0 118124 6 0 0 25 0 1 0 1120224375 23408640 5447 1992294400 134512640 134996440 4294956176 18446744073709551615 134531796 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5447 74 118 0 5594 0
Current children cumulated CPU time (s) 1197.72
Current children cumulated vsize (KiB) 26632
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471600/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1182.1
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6079 0 0 0 118204 6 0 0 25 0 1 0 1120224375 23408640 5447 1992294400 134512640 134996440 4294956176 18446744073709551615 134568009 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5447 74 118 0 5594 0
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (KiB) 26632
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471600/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1182.5
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6079 0 0 0 118244 6 0 0 25 0 1 0 1120224375 23408640 5447 1992294400 134512640 134996440 4294956176 18446744073709551615 134564464 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5447 74 118 0 5594 0
Current children cumulated CPU time (s) 1198.92
Current children cumulated vsize (KiB) 26632
[startup+1199.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471600/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1182.7
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6079 0 0 0 118264 6 0 0 25 0 1 0 1120224375 23408640 5447 1992294400 134512640 134996440 4294956176 18446744073709551615 134533016 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5447 74 118 0 5594 0
Current children cumulated CPU time (s) 1199.12
Current children cumulated vsize (KiB) 26632
[startup+1199.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 18628
/proc/meminfo: memFree=1471600/2055920 swapFree=4175244/4192956
[pid=18616] ppid=18614 vsize=3772 CPUtime=16.42
/proc/18616/stat : 18616 (SATzilla2009_C) S 18614 18616 18426 0 -1 4194304 895 3745 0 0 438 3 1199 2 25 0 1 0 1120222728 3862528 504 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18616/statm: 943 504 219 399 0 540 0
[pid=18622] ppid=18616 vsize=22860 CPUtime=1182.8
/proc/18622/stat : 18622 (march_dl2004) R 18616 18616 18426 0 -1 4194304 6079 0 0 0 118274 6 0 0 25 0 1 0 1120224375 23408640 5447 1992294400 134512640 134996440 4294956176 18446744073709551615 134528042 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18622/statm: 5715 5447 74 118 0 5594 0
Current children cumulated CPU time (s) 1199.22
Current children cumulated vsize (KiB) 26632
Child status: 17
Real time (s): 1199.82
CPU time (s): 1199.27
CPU user time (s): 1199.14
CPU system time (s): 0.132979
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (KiB): 26632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.14
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 4413
runsolver used 0.969852 second user time and 3.41148 second system time
The end
Begin job on node60 at 2009-03-31 07:00:11
IDJOB=1539156
IDBENCH=70498
IDSOLVER=527
FILE ID=node60/1539156-1238475611
PBS_JOBID= 9061809
Free space on /tmp= 66548 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/60/unif-k7-r89-v60-c5340-S1514821049-021.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1539156-1238475611/watcher-1539156-1238475611 -o /tmp/evaluation-result-1539156-1238475611/solver-1539156-1238475611 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1539156-1238475611.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f4161d2880fd7bbc6678916071117669
RANDOM SEED=357092388
node60.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.202
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.202
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: 1494616 kB
Buffers: 91488 kB
Cached: 377960 kB
SwapCached: 11040 kB
Active: 198960 kB
Inactive: 283648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1494616 kB
SwapTotal: 4192956 kB
SwapFree: 4175244 kB
Dirty: 31588 kB
Writeback: 0 kB
Mapped: 18476 kB
Slab: 64340 kB
Committed_AS: 3309808 kB
PageTables: 1712 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= 66516 MiB
End job on node60 at 2009-03-31 07:20:11