73.13/73.29 c SATzilla is building models for class 1
73.13/73.29 c run presolver SATenstein for 30 seconds ...
73.13/73.29 c Bin: Executing SATenstein
73.13/73.29 c spawning binary file with 30 seconds ...
73.13/73.29 c child exit by a signal
73.13/73.29 c SATenstein returned code 137.
73.13/73.29 c run presolver mxc-sr08 for 30 seconds ...
73.13/73.29 c Bin: Executing mxc-sr08
73.13/73.29 c spawning binary file with 30 seconds ...
73.13/73.29 c child exit by a signal
73.13/73.29 c mxc-sr08 returned code 137.
73.13/73.29 c Orignal number of varibales is 14628, number of clauses is 161477
73.13/73.29 c predicted feature computation time is 15.780827
73.13/73.29 c Bin: Executing satelite
73.13/73.29 c spawning binary file with 240 seconds ...
73.13/73.29 c child exited successfully
73.13/73.29 c satzilla computing base features
73.13/73.29 c Number of variabe is: 11514, Number of clause is : 154193
73.13/73.29 c Initializing...
73.13/73.29 c satzilla compute diameter ...
73.13/73.29 c start diameter features ...
73.13/73.29 c satzilla doing clause learning
73.13/73.29 c start clause learning features ...
73.13/73.29 c Bin: Executing zchaff07
73.13/73.29 c spawning binary file with 2 seconds ...
73.13/73.29 c child exit by a signal
73.13/73.29 c satzilla doing survey propogation probe
73.13/73.29 c do survay propogation for 2 second ...
73.13/73.29 c satzilla doing local search probe
73.13/73.29 c satzilla doing lobjois search-space size estimate
73.13/73.29 c features are:14628 161477 11514 154193 0.270453 0.0472395 0.0746727 0.568858 0.790228 1.50017 0.000267297 1.1887 0.000173702 0.00764287 1.04231 0.767117 0.881071 0.000267297 2.80459 4.53977e-05 0.0156622 4.00001 0.323916 0.214989 0 1 4.03452 0.000161989 2.52289 0 0.00904062 3.75505 0.874741 0.000411676 1.72128 3.24269e-05 0.0130032 4.83146 0.0774806 4 5 0.453563 703.667 0.215663 552 911 911 552 911 552 648 55.9604 0.582473 23.0018 100.35 100.35 23.0018 100.35 23.0018 44.5293 0.798551 0.289555 4.09062e-12 1 0.969906 0.452557 0.953419 0.738147 0.902098 0.0184991 2.61802 -1.11022e-16 0.473494 0.0558367 7.20342e-06 0.0118413 0.000114081 0.00118267 2320.5 1.12107 2439.5 1.41421 2439.5 0 0 8.6006 0.898708 1.06384 0.0931958 0.299903 0.562219
73.13/73.29 c satzilla's ranking:
73.13/73.29 c 1) gnovelty+: 34.005807
73.13/73.29 c 2) adaptg2wsat+: 14.869995
73.13/73.29 c 3) march_dl2004: 5.052268
73.13/73.29 c 4) adaptg2wsat0: 4.527460
73.13/73.29 c 5) picosat846: -2.315167
73.13/73.29 c 6) SATenstein: -51.316723
73.13/73.29 c 7) kcnfs04SAT07: -729.840818
73.13/73.29 c 8) mxc-sr08: -10000.000000
73.13/73.29 c 9) tts-4-0: -10000.000000
73.13/73.29 c 10) zchaff_rand: -10000.000000
73.13/73.29 c 11) vallst: -10000.000000
73.13/73.29 c 12) minisat20: -10000.000000
73.13/73.29 c 13) minisat20SAT07: -10000.000000
73.13/73.29 c satzilla running gnovelty+ ...
1199.00/1199.64 c Bin: Executing gnovelty+
1199.00/1199.64 c spawning binary file with 1126 seconds ...
1199.00/1199.64 c child exit by a signal
1199.00/1199.64 c gnovelty+ returned code 137.
1199.00/1199.64 c satzilla running adaptg2wsat+ ...
1199.00/1199.64 c Bin: Executing adaptg2wsat+
1199.00/1199.64 c adaptg2wsat+ returned code 1.
1199.00/1199.64 c satzilla running march_dl2004 ...
1199.00/1199.64 c Bin: Executing march_dl2004
1199.00/1199.64 c march_dl2004 returned code 1.
1199.00/1199.64 c satzilla running adaptg2wsat0 ...
1199.00/1199.64 c Bin: Executing adaptg2wsat0
1199.00/1199.64 c adaptg2wsat0 returned code 1.
1199.00/1199.64 c satzilla running picosat846 ...
1199.00/1199.64 c Bin: Executing picosat846
1199.00/1199.64 c picosat846 returned code 1.
1199.00/1199.64 c satzilla running SATenstein ...
1199.00/1199.64 c Bin: Executing SATenstein
1199.00/1199.64 c SATenstein returned code 1.
1199.00/1199.64 c satzilla running kcnfs04SAT07 ...
1199.00/1199.64 c Bin: Executing kcnfs04SAT07
1199.00/1199.64 c kcnfs04SAT07 returned code 1.
1199.00/1199.64 c satzilla running mxc-sr08 ...
1199.00/1199.64 c Bin: Executing mxc-sr08
1199.00/1199.64 c mxc-sr08 returned code 1.
1199.00/1199.64 c satzilla running tts-4-0 ...
1199.00/1199.64 c Bin: Executing tts-4-0
1199.00/1199.64 c tts-4-0 returned code 1.
1199.00/1199.64 c satzilla running zchaff_rand ...
1199.00/1199.64 c Bin: Executing zchaff_rand
1199.00/1199.64 c zchaff_rand returned code 1.
1199.00/1199.64 c satzilla running vallst ...
1199.00/1199.64 c Bin: Executing vallst
1199.00/1199.64 c vallst returned code 1.
1199.00/1199.64 c satzilla running minisat20 ...
1199.00/1199.64 c Bin: Executing minisat20
1199.00/1199.64 c minisat20 returned code 1.
1199.00/1199.64 c satzilla running minisat20SAT07 ...
1199.00/1199.64 c Bin: Executing minisat20SAT07
1199.00/1199.64 c minisat20SAT07 returned code 1.
1199.00/1199.64 c ERROR: All Failed!
1199.00/1199.64 c SATZILLA_TIME=1199.230000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1723685-1240688272/watcher-1723685-1240688272 -o /tmp/evaluation-result-1723685-1240688272/solver-1723685-1240688272 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_R HOME/instance-1723685-1240688272.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.03 1.08 1.01 3/64 19755
/proc/meminfo: memFree=1711272/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) R 19753 19755 19345 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=6508 CPUtime=0
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 96860465 6664192 262 1992294400 134512640 134854740 4294955360 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 1627 262 151 83 0 1188 0
[startup+0.0544179 s]
/proc/loadavg: 1.03 1.08 1.01 3/64 19755
/proc/meminfo: memFree=1711272/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=6508 CPUtime=0.05
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 478 0 0 0 5 0 0 0 19 0 1 0 96860465 6664192 459 1992294400 134512640 134854740 4294955360 18446744073709551615 134782313 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 1627 459 151 83 0 1188 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8564
[startup+0.101422 s]
/proc/loadavg: 1.03 1.08 1.01 3/64 19755
/proc/meminfo: memFree=1711272/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=6508 CPUtime=0.09
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 659 0 0 0 9 0 0 0 19 0 1 0 96860465 6664192 640 1992294400 134512640 134854740 4294955360 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 1627 640 151 83 0 1188 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8564
[startup+0.301444 s]
/proc/loadavg: 1.03 1.08 1.01 3/64 19755
/proc/meminfo: memFree=1711272/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=331624 CPUtime=0.29
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 2047 0 0 0 29 0 0 0 21 0 1 0 96860465 339582976 2027 1992294400 134512640 134854740 4294955360 18446744073709551615 134772508 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 82906 2027 153 83 0 82467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 333680
[startup+0.701491 s]
/proc/loadavg: 1.03 1.08 1.01 3/64 19755
/proc/meminfo: memFree=1711272/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=331624 CPUtime=0.69
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 2970 0 0 0 68 1 0 0 25 0 1 0 96860465 339582976 2950 1992294400 134512640 134854740 4294955360 18446744073709551615 134772480 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 82906 2950 153 83 0 82467 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 333680
[startup+1.50158 s]
/proc/loadavg: 1.03 1.08 1.01 2/66 19757
/proc/meminfo: memFree=1692120/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=343924 CPUtime=1.49
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 5240 0 0 0 147 2 0 0 25 0 1 0 96860465 352178176 4903 1992294400 134512640 134854740 4294955360 18446744073709551615 134761224 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 85981 4903 174 83 0 85542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 345980
[startup+3.10177 s]
/proc/loadavg: 1.03 1.08 1.01 2/66 19757
/proc/meminfo: memFree=1691992/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=343924 CPUtime=3.09
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 5240 0 0 0 307 2 0 0 25 0 1 0 96860465 352178176 4903 1992294400 134512640 134854740 4294955360 18446744073709551615 134761047 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 85981 4903 174 83 0 85542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 345980
[startup+6.30114 s]
/proc/loadavg: 1.03 1.08 1.01 2/66 19759
/proc/meminfo: memFree=1691992/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=343924 CPUtime=6.28
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 5240 0 0 0 625 3 0 0 25 0 1 0 96860465 352178176 4903 1992294400 134512640 134854740 4294955360 18446744073709551615 134760607 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 85981 4903 174 83 0 85542 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 345980
[startup+12.7019 s]
/proc/loadavg: 1.03 1.08 1.01 2/66 19759
/proc/meminfo: memFree=1692056/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=343924 CPUtime=12.68
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 5240 0 0 0 1265 3 0 0 25 0 1 0 96860465 352178176 4903 1992294400 134512640 134854740 4294955360 18446744073709551615 134760127 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 85981 4903 174 83 0 85542 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 345980
[startup+25.5014 s]
/proc/loadavg: 1.02 1.07 1.01 2/66 19759
/proc/meminfo: memFree=1692256/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=0
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 96860464 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19755/statm: 514 112 96 399 0 111 0
[pid=19756] ppid=19755 vsize=343924 CPUtime=25.47
/proc/19756/stat : 19756 (SATenstein) R 19755 19755 19345 0 -1 4194304 5240 0 0 0 2544 3 0 0 25 0 1 0 96860465 352178176 4903 1992294400 134512640 134854740 4294955360 18446744073709551615 134760012 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19756/statm: 85981 4903 174 83 0 85542 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 345980
[startup+51.1013 s]
/proc/loadavg: 1.01 1.06 1.01 2/66 19760
/proc/meminfo: memFree=1688544/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=2056 CPUtime=29.99
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 152 5240 0 0 0 0 2995 4 16 0 1 0 96860464 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 514 121 104 399 0 111 0
[pid=19760] ppid=19755 vsize=24368 CPUtime=21.05
/proc/19760/stat : 19760 (mxc-sr08) R 19755 19755 19345 0 -1 4194304 7112 0 0 0 2100 5 0 0 25 0 1 0 96863466 24952832 5795 1992294400 134512640 135078026 4294956192 18446744073709551615 134533826 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19760/statm: 6092 5795 71 138 0 5951 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 26424
[startup+102.305 s]
/proc/loadavg: 1.00 1.05 1.00 2/66 19763
/proc/meminfo: memFree=1671392/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=28.97
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 2896 1 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 271088
[startup+162.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/66 19763
/proc/meminfo: memFree=1671328/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=88.93
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 8892 1 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514748 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 271088
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 19763
/proc/meminfo: memFree=1671264/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=148.91
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 14889 2 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514629 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 271088
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 19763
/proc/meminfo: memFree=1671328/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=208.88
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 20886 2 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514480 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 271088
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 19763
/proc/meminfo: memFree=1671328/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=268.86
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 26884 2 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134513853 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1671008/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=748.63
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 74861 2 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514687 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 271088
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1671008/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=808.6
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 80858 2 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514234 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 271088
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670944/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=868.58
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 86856 2 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514611 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 271088
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670880/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=928.56
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 92853 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514719 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 271088
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670880/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=988.54
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 98851 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514698 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 271088
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1048.51
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 104848 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514620 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 271088
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1108.49
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 110846 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514687 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 271088
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 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1116.49
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 111646 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514611 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1189.71
Current children cumulated vsize (KiB) 271088
[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1119.69
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 111966 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514719 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1192.91
Current children cumulated vsize (KiB) 271088
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1122.89
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 112286 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134513938 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1196.11
Current children cumulated vsize (KiB) 271088
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1124.49
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 112446 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514620 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1197.71
Current children cumulated vsize (KiB) 271088
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1125.28
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 112525 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514698 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1198.5
Current children cumulated vsize (KiB) 271088
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1125.68
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 112565 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514719 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1198.9
Current children cumulated vsize (KiB) 271088
[startup+1199.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19763
/proc/meminfo: memFree=1670816/2055920 swapFree=4192812/4192956
[pid=19755] ppid=19753 vsize=18584 CPUtime=73.22
/proc/19755/stat : 19755 (SATzilla2009_R) S 19753 19755 19345 0 -1 4194304 9592 22109 0 0 965 5 6334 18 25 0 1 0 96860464 19030016 4406 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/19755/statm: 4646 4406 220 399 0 4243 0
[pid=19763] ppid=19755 vsize=252504 CPUtime=1125.78
/proc/19763/stat : 19763 (gnovelty+) R 19755 19755 19345 0 -1 4194304 5085 0 0 0 112575 3 0 0 25 0 1 0 96867794 258564096 5079 1992294400 134512640 134911512 4294956192 18446744073709551615 134514046 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19763/statm: 63126 5079 48 97 0 63026 0
Current children cumulated CPU time (s) 1199
Current children cumulated vsize (KiB) 271088
Child status: 17
Real time (s): 1199.65
CPU time (s): 1199.08
CPU user time (s): 1198.79
CPU system time (s): 0.283956
CPU usage (%): 99.9527
Max. virtual memory (cumulated for all children) (KiB): 345980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.79
system time used= 0.283956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36803
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= 2996
runsolver used 1.20782 second user time and 3.16252 second system time
The end
Begin job on node20 at 2009-04-25 21:37:52
IDJOB=1723685
IDBENCH=71731
IDSOLVER=526
FILE ID=node20/1723685-1240688272
PBS_JOBID= 9186661
Free space on /tmp= 66244 MiB
SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT_RACE06/velev-live-uns-2.0-ebuf.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723685-1240688272/watcher-1723685-1240688272 -o /tmp/evaluation-result-1723685-1240688272/solver-1723685-1240688272 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_R HOME/instance-1723685-1240688272.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 67de5cf23f11aa400b48f4451ee5f362
RANDOM SEED=1085679003
node20.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.214
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 : 5931.00
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.214
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: 1711760 kB
Buffers: 29668 kB
Cached: 239680 kB
SwapCached: 0 kB
Active: 139768 kB
Inactive: 143500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1711760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 34248 kB
Writeback: 0 kB
Mapped: 23704 kB
Slab: 46980 kB
Committed_AS: 398140 kB
PageTables: 1396 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= 66212 MiB
End job on node20 at 2009-04-25 21:57:52