49.14/49.30 c SATzilla is building models for class 3
49.14/49.30 c run presolver mxc-sr08 for 10 seconds ...
49.14/49.30 c Bin: Executing mxc-sr08
49.14/49.30 c spawning binary file with 10 seconds ...
49.14/49.30 c child exit by a signal
49.14/49.30 c mxc-sr08 returned code 137.
49.14/49.30 c run presolver picosat846 for 5 seconds ...
49.14/49.30 c Bin: Executing picosat846
49.14/49.30 c spawning binary file with 5 seconds ...
49.14/49.30 c child exit by a signal
49.14/49.30 c picosat846 returned code 137.
49.14/49.30 c Orignal number of varibales is 246502, number of clauses is 1169243
49.14/49.30 c predicted feature computation time is 33.997344
49.14/49.30 c Bin: Executing satelite
49.14/49.30 c spawning binary file with 240 seconds ...
49.14/49.30 c child exited successfully
49.14/49.30 c satzilla computing base features
49.14/49.30 c Number of variabe is: 68668, Number of clause is : 447274
49.14/49.30 c Initializing...
49.14/49.30 c satzilla doing clause learning
49.14/49.30 c start clause learning features ...
49.14/49.30 c Bin: Executing zchaff07
49.14/49.30 c spawning binary file with 2 seconds ...
49.14/49.30 c child exit by a signal
49.14/49.30 c satzilla doing survey propogation probe
49.14/49.30 c do survay propogation for 2 second ...
49.14/49.30 c satzilla doing local search probe
49.14/49.30 c features are:246502 1.16924e+06 68668 447274 2.58977 1.61415 0.153526 0.344772 1.03672 1.29828 3.8241e-05 0.375329 2.91256e-05 0.000174754 0.97598 0.550309 0.928066 3.8241e-05 0.599449 1.34146e-05 9.39022e-05 2.92248 0.238811 0.157752 0 0.826087 3.15225 2.42105e-05 0.543754 6.7073e-06 6.26014e-05 2.62465 0.737284 3.74436e-05 0.596051 8.94306e-06 8.94306e-05 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504081 0.604929 8.49865e-12 0.979168 0.848154 0.0480859 0.784734 0.196516 0.608375 0.0144121 0.898725 1.66108e-07 0.205235 0.0310607 1.19802e-06 0.0245269 0.000126546 0.0139669 6623 0 22778 0 22778 22778 22778 2.56408 0 0.959329 0
49.14/49.30 c satzilla's ranking:
49.14/49.30 c 1) mxc-sr08: 3.373123
49.14/49.30 c 2) picosat846: 2.919443
49.14/49.30 c 3) zchaff_rand: 2.554764
49.14/49.30 c 4) minisat20SAT07: 1.170819
49.14/49.30 c 5) march_dl2004: 0.350896
49.14/49.30 c 6) SATenstein: -10000.000000
49.14/49.30 c 7) gnovelty+: -10000.000000
49.14/49.30 c 8) adaptg2wsat+: -10000.000000
49.14/49.30 c 9) adaptg2wsat0: -10000.000000
49.14/49.30 c 10) tts-4-0: -10000.000000
49.14/49.30 c 11) vallst: -10000.000000
49.14/49.30 c 12) minisat20: -10000.000000
49.14/49.30 c 13) kcnfs04SAT07: -10000.000000
49.14/49.30 c satzilla running mxc-sr08 ...
1198.97/1199.72 c Bin: Executing mxc-sr08
1198.97/1199.72 c spawning binary file with 1150 seconds ...
1198.97/1199.72 c child exit by a signal
1198.97/1199.72 c mxc-sr08 returned code 137.
1198.97/1199.72 c satzilla running picosat846 ...
1198.97/1199.72 c Bin: Executing picosat846
1198.97/1199.72 c picosat846 returned code 1.
1198.97/1199.72 c satzilla running zchaff_rand ...
1198.97/1199.72 c Bin: Executing zchaff_rand
1198.97/1199.72 c zchaff_rand returned code 1.
1198.97/1199.72 c satzilla running minisat20SAT07 ...
1198.97/1199.72 c Bin: Executing minisat20SAT07
1198.97/1199.72 c minisat20SAT07 returned code 1.
1198.97/1199.72 c satzilla running march_dl2004 ...
1198.97/1199.72 c Bin: Executing march_dl2004
1198.97/1199.72 c march_dl2004 returned code 1.
1198.97/1199.72 c satzilla running SATenstein ...
1198.97/1199.72 c Bin: Executing SATenstein
1198.97/1199.72 c SATenstein returned code 1.
1198.97/1199.72 c satzilla running gnovelty+ ...
1198.97/1199.72 c Bin: Executing gnovelty+
1198.97/1199.72 c gnovelty+ returned code 1.
1198.97/1199.72 c satzilla running adaptg2wsat+ ...
1198.97/1199.72 c Bin: Executing adaptg2wsat+
1198.97/1199.72 c adaptg2wsat+ returned code 1.
1198.97/1199.72 c satzilla running adaptg2wsat0 ...
1198.97/1199.72 c Bin: Executing adaptg2wsat0
1198.97/1199.72 c adaptg2wsat0 returned code 1.
1198.97/1199.72 c satzilla running tts-4-0 ...
1198.97/1199.72 c Bin: Executing tts-4-0
1198.97/1199.72 c tts-4-0 returned code 1.
1198.97/1199.72 c satzilla running vallst ...
1198.97/1199.72 c Bin: Executing vallst
1198.97/1199.72 c vallst returned code 1.
1198.97/1199.72 c satzilla running minisat20 ...
1198.97/1199.72 c Bin: Executing minisat20
1198.97/1199.72 c minisat20 returned code 1.
1198.97/1199.72 c satzilla running kcnfs04SAT07 ...
1198.97/1199.72 c Bin: Executing kcnfs04SAT07
1198.97/1199.72 c kcnfs04SAT07 returned code 1.
1198.97/1199.72 c ERROR: All Failed!
1198.97/1199.72 c SATZILLA_TIME=1199.190000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1716227-1240612978/watcher-1716227-1240612978 -o /tmp/evaluation-result-1716227-1240612978/solver-1716227-1240612978 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1716227-1240612978.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: 0.92 0.98 0.92 3/64 11129
/proc/meminfo: memFree=1482824/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=21944 CPUtime=0
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 710 0 0 0 0 0 0 0 19 0 1 0 89330819 22470656 706 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11130/statm: 5486 713 44 138 0 5345 0
[startup+0.0601259 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 11129
/proc/meminfo: memFree=1482824/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=42420 CPUtime=0.04
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 9838 0 0 0 0 4 0 0 19 0 1 0 89330819 43438080 9834 1992294400 134512640 135078026 4294956192 18446744073709551615 134536247 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11130/statm: 10605 9840 50 138 0 10464 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 44476
[startup+0.10113 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 11129
/proc/meminfo: memFree=1482824/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=63724 CPUtime=0.09
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 13449 0 0 0 3 6 0 0 19 0 1 0 89330819 65253376 13421 1992294400 134512640 135078026 4294956192 18446744073709551615 134554568 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11130/statm: 15931 13424 52 138 0 15790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65780
[startup+0.301169 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 11129
/proc/meminfo: memFree=1482824/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=87320 CPUtime=0.28
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 18597 0 0 0 20 8 0 0 21 0 1 0 89330819 89415680 18525 1992294400 134512640 135078026 4294956192 18446744073709551615 134566421 0 0 8392704 0 0 0 0 17 1 0 0
/proc/11130/statm: 21830 18525 54 138 0 21689 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 89376
[startup+0.701232 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 11129
/proc/meminfo: memFree=1482824/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=108724 CPUtime=0.68
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 23709 0 0 0 58 10 0 0 25 0 1 0 89330819 111333376 23637 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 1 0 0
/proc/11130/statm: 27181 23637 54 138 0 27040 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 110780
[startup+1.50133 s]
/proc/loadavg: 0.92 0.98 0.92 2/66 11131
/proc/meminfo: memFree=1369976/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=123236 CPUtime=1.48
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 32119 0 0 0 134 14 0 0 25 0 1 0 89330819 126193664 26744 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11130/statm: 30809 26744 55 138 0 30668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 125292
[startup+3.10256 s]
/proc/loadavg: 0.92 0.98 0.92 2/66 11131
/proc/meminfo: memFree=1373688/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=141528 CPUtime=3.07
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 36588 0 0 0 291 16 0 0 25 0 1 0 89330819 144924672 31213 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11130/statm: 35382 31213 55 138 0 35241 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 143584
[startup+6.30201 s]
/proc/loadavg: 0.93 0.98 0.92 2/66 11131
/proc/meminfo: memFree=1359416/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=0
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89330819 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 112 96 399 0 111 0
[pid=11130] ppid=11129 vsize=132356 CPUtime=6.27
/proc/11130/stat : 11130 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 40833 0 0 0 609 18 0 0 25 0 1 0 89330819 135532544 30535 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11130/statm: 33089 30535 71 138 0 32948 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 134412
[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.92 2/66 11132
/proc/meminfo: memFree=1425656/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=2056 CPUtime=10
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 152 40851 0 0 0 0 980 20 19 0 1 0 89330819 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 514 121 104 399 0 111 0
[pid=11132] ppid=11129 vsize=62384 CPUtime=2.57
/proc/11132/stat : 11132 (picosat846) R 11129 11129 10877 0 -1 4194304 14336 0 9 0 250 7 0 0 25 0 1 0 89331822 63881216 14334 1992294400 134512640 134570484 4294956192 18446744073709551615 134526498 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11132/statm: 15596 14334 85 14 0 15262 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 64440
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.92 2/65 11133
/proc/meminfo: memFree=1435200/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=42372 CPUtime=25.37
/proc/11129/stat : 11129 (SATzilla2009_I) R 11127 11129 10877 0 -1 4194304 9898 106002 0 9 186 5 2284 62 25 0 1 0 89330819 43388928 9849 1992294400 134512640 136149169 4294956224 18446744073709551615 134535038 0 0 4096 0 0 0 0 17 0 0 0
/proc/11129/statm: 10593 9849 135 399 0 10190 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 42372
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.92 2/66 11135
/proc/meminfo: memFree=1306040/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=123236 CPUtime=1.77
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 32179 0 0 0 163 14 0 0 25 0 1 0 89335749 126193664 26804 1992294400 134512640 135078026 4294956192 18446744073709551615 134561260 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 30809 26804 55 138 0 30668 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 173860
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.92 2/66 11135
/proc/meminfo: memFree=1303160/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=132356 CPUtime=52.94
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 40858 0 0 0 5276 18 0 0 25 0 1 0 89335749 135532544 30560 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 33089 30560 71 138 0 32948 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 182980
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/66 11135
/proc/meminfo: memFree=1303160/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=132356 CPUtime=112.9
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 40858 0 0 0 11272 18 0 0 25 0 1 0 89335749 135532544 30560 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 33089 30560 71 138 0 32948 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 182980
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/66 11135
/proc/meminfo: memFree=1303160/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=132356 CPUtime=172.88
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 40858 0 0 0 17270 18 0 0 25 0 1 0 89335749 135532544 30560 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 33089 30560 71 138 0 32948 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 182980
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/66 11135
/proc/meminfo: memFree=1303096/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=132616 CPUtime=232.85
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 40902 0 0 0 23267 18 0 0 25 0 1 0 89335749 135798784 30604 1992294400 134512640 135078026 4294956192 18446744073709551615 134533760 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 33154 30604 71 138 0 33013 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 183240
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/66 11135
/proc/meminfo: memFree=1301880/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=133976 CPUtime=292.82
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 41231 0 0 0 29264 18 0 0 25 0 1 0 89335749 137191424 30933 1992294400 134512640 135078026 4294956192 18446744073709551615 134523872 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 33494 30933 71 138 0 33353 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 184600
################
# More data... #
################
[startup+762.306 s]
/proc/loadavg: 1.03 1.00 0.93 2/66 11135
/proc/meminfo: memFree=1277112/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=159212 CPUtime=712.62
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 47394 0 0 0 71235 27 0 0 25 0 1 0 89335749 163033088 37096 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 39803 37096 71 138 0 39662 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 209836
[startup+822.301 s]
/proc/loadavg: 1.01 1.00 0.93 2/66 11135
/proc/meminfo: memFree=1270840/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=166128 CPUtime=772.58
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 48976 0 0 0 77229 29 0 0 25 0 1 0 89335749 170115072 38678 1992294400 134512640 135078026 4294956192 18446744073709551615 134523225 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 41532 38678 71 138 0 41391 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 216752
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11135
/proc/meminfo: memFree=1266232/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=170712 CPUtime=832.55
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 50123 0 0 0 83225 30 0 0 25 0 1 0 89335749 174809088 39825 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 42678 39825 71 138 0 42537 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 221336
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11135
/proc/meminfo: memFree=1266168/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=170712 CPUtime=892.53
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 50126 0 0 0 89223 30 0 0 25 0 1 0 89335749 174809088 39828 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 42678 39828 71 138 0 42537 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 221336
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11135
/proc/meminfo: memFree=1266168/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=170712 CPUtime=952.5
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 50134 0 0 0 95220 30 0 0 25 0 1 0 89335749 174809088 39836 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 42678 39836 71 138 0 42537 0
Current children cumulated CPU time (s) 1001.65
Current children cumulated vsize (KiB) 221336
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11135
/proc/meminfo: memFree=1266040/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=170712 CPUtime=1012.48
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 50155 0 0 0 101217 31 0 0 25 0 1 0 89335749 174809088 39857 1992294400 134512640 135078026 4294956192 18446744073709551615 134523627 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 42678 39857 71 138 0 42537 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 221336
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1264688/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=171900 CPUtime=1072.45
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 50450 0 0 0 107214 31 0 0 25 0 1 0 89335749 176025600 40152 1992294400 134512640 135078026 4294956192 18446744073709551615 134534954 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 42975 40152 71 138 0 42834 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 222524
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1258416/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=178420 CPUtime=1132.42
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 52052 0 0 0 113209 33 0 0 25 0 1 0 89335749 182702080 41754 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 44605 41754 71 138 0 44464 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 229044
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1257712/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=179080 CPUtime=1140.41
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 52214 0 0 0 114008 33 0 0 25 0 1 0 89335749 183377920 41916 1992294400 134512640 135078026 4294956192 18446744073709551615 134533851 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 44770 41916 71 138 0 44629 0
Current children cumulated CPU time (s) 1189.56
Current children cumulated vsize (KiB) 229704
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1257072/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=179608 CPUtime=1146.82
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 52365 0 0 0 114649 33 0 0 25 0 1 0 89335749 183918592 42067 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 44902 42067 71 138 0 44761 0
Current children cumulated CPU time (s) 1195.97
Current children cumulated vsize (KiB) 230232
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1257008/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=179880 CPUtime=1148.42
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 52408 0 0 0 114808 34 0 0 25 0 1 0 89335749 184197120 42110 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 44970 42110 71 138 0 44829 0
Current children cumulated CPU time (s) 1197.57
Current children cumulated vsize (KiB) 230504
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1256880/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=179880 CPUtime=1149.22
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 52428 0 0 0 114888 34 0 0 25 0 1 0 89335749 184197120 42130 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 44970 42130 71 138 0 44829 0
Current children cumulated CPU time (s) 1198.37
Current children cumulated vsize (KiB) 230504
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1256880/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=180072 CPUtime=1149.62
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4194304 52444 0 0 0 114928 34 0 0 25 0 1 0 89335749 184393728 42146 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 45018 42146 71 138 0 44877 0
Current children cumulated CPU time (s) 1198.77
Current children cumulated vsize (KiB) 230696
[startup+1199.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 11141
/proc/meminfo: memFree=1256880/2055920 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=50624 CPUtime=49.15
/proc/11129/stat : 11129 (SATzilla2009_I) S 11127 11129 10877 0 -1 4194304 21190 117616 0 9 2355 14 2477 69 25 0 1 0 89330819 51838976 12367 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11129/statm: 12656 12367 217 399 0 12253 0
[pid=11135] ppid=11129 vsize=0 CPUtime=1149.82
/proc/11135/stat : 11135 (mxc-sr08) R 11129 11129 10877 0 -1 4195332 52445 0 0 0 114948 34 0 0 25 0 1 0 89335749 0 0 1992294400 0 0 0 0 0 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1198.97
Current children cumulated vsize (KiB) 50624
Child status: 17
Real time (s): 1199.74
CPU time (s): 1199.03
CPU user time (s): 1197.82
CPU system time (s): 1.21581
CPU usage (%): 99.9411
Max. virtual memory (cumulated for all children) (KiB): 230696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.82
system time used= 1.21582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191268
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 3866
runsolver used 0.991849 second user time and 3.37749 second system time
The end
Begin job on node29 at 2009-04-25 00:42:59
IDJOB=1716227
IDBENCH=20372
IDSOLVER=528
FILE ID=node29/1716227-1240612978
PBS_JOBID= 9186285
Free space on /tmp= 66396 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716227-1240612978/watcher-1716227-1240612978 -o /tmp/evaluation-result-1716227-1240612978/solver-1716227-1240612978 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1716227-1240612978.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1f049803198bb32ab05476465773cc39
RANDOM SEED=617879866
node29.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.281
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.281
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: 1483304 kB
Buffers: 64500 kB
Cached: 414356 kB
SwapCached: 0 kB
Active: 174744 kB
Inactive: 318028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1483304 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 52664 kB
Writeback: 0 kB
Mapped: 23692 kB
Slab: 65804 kB
Committed_AS: 327440 kB
PageTables: 1468 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= 66368 MiB
End job on node29 at 2009-04-25 01:02:59