49.02/49.15 c SATzilla is building models for class 3
49.02/49.15 c run presolver mxc-sr08 for 10 seconds ...
49.02/49.15 c Bin: Executing mxc-sr08
49.02/49.15 c spawning binary file with 10 seconds ...
49.02/49.15 c child exit by a signal
49.02/49.15 c mxc-sr08 returned code 137.
49.02/49.15 c run presolver picosat846 for 5 seconds ...
49.02/49.15 c Bin: Executing picosat846
49.02/49.15 c spawning binary file with 5 seconds ...
49.02/49.15 c child exit by a signal
49.02/49.15 c picosat846 returned code 137.
49.02/49.15 c Orignal number of varibales is 66, number of clauses is 831600
49.02/49.15 c predicted feature computation time is 7.852023
49.02/49.15 c Bin: Executing satelite
49.02/49.15 c spawning binary file with 240 seconds ...
49.02/49.15 c child exited successfully
49.02/49.15 c satzilla computing base features
49.02/49.15 c Number of variabe is: 66, Number of clause is : 831600
49.02/49.15 c Initializing...
49.02/49.15 c satzilla doing clause learning
49.02/49.15 c start clause learning features ...
49.02/49.15 c Bin: Executing zchaff07
49.02/49.15 c spawning binary file with 2 seconds ...
49.02/49.15 c child exit by a signal
49.02/49.15 c satzilla doing survey propogation probe
49.02/49.15 c do survay propogation for 2 second ...
49.02/49.15 c satzilla doing local search probe
49.02/49.15 c features are:66 831600 66 831600 0 0 7.93651e-05 1 0 -0 0.181818 9.15934e-16 0.181818 0.181818 -0 0 0 0.181818 0 0.181818 0.181818 -0 0 0 0 0 -0 0.0909091 0 0.0909091 0.0909091 -0 0.5 7.81626e-05 0 7.81626e-05 7.81626e-05 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499243 0.00351887 0.490848 0.5 0.5 0.497182 0.5 0.499606 0.5 9.44444 2.31015 8.11111 0.471261 8 0 11 8.38162 0.579562 0.85368 0.377637
49.02/49.15 c satzilla's ranking:
49.02/49.15 c 1) march_dl2004: 7.522864
49.02/49.15 c 2) picosat846: 2.167083
49.02/49.15 c 3) mxc-sr08: 1.519962
49.02/49.15 c 4) zchaff_rand: 0.389889
49.02/49.15 c 5) minisat20SAT07: -361.764728
49.02/49.15 c 6) SATenstein: -10000.000000
49.02/49.15 c 7) gnovelty+: -10000.000000
49.02/49.15 c 8) adaptg2wsat+: -10000.000000
49.02/49.15 c 9) adaptg2wsat0: -10000.000000
49.02/49.15 c 10) tts-4-0: -10000.000000
49.02/49.15 c 11) vallst: -10000.000000
49.02/49.15 c 12) minisat20: -10000.000000
49.02/49.15 c 13) kcnfs04SAT07: -10000.000000
49.02/49.15 c satzilla running march_dl2004 ...
1198.88/1199.54 c Bin: Executing march_dl2004
1198.88/1199.54 c spawning binary file with 1150 seconds ...
1198.88/1199.54 c child exit by a signal
1198.88/1199.54 c march_dl2004 returned code 137.
1198.88/1199.54 c satzilla running picosat846 ...
1198.88/1199.54 c Bin: Executing picosat846
1198.88/1199.54 c picosat846 returned code 1.
1198.88/1199.54 c satzilla running mxc-sr08 ...
1198.88/1199.54 c Bin: Executing mxc-sr08
1198.88/1199.54 c mxc-sr08 returned code 1.
1198.88/1199.54 c satzilla running zchaff_rand ...
1198.88/1199.54 c Bin: Executing zchaff_rand
1198.88/1199.54 c zchaff_rand returned code 1.
1198.88/1199.54 c satzilla running minisat20SAT07 ...
1198.88/1199.54 c Bin: Executing minisat20SAT07
1198.88/1199.54 c minisat20SAT07 returned code 1.
1198.88/1199.54 c satzilla running SATenstein ...
1198.88/1199.54 c Bin: Executing SATenstein
1198.88/1199.54 c SATenstein returned code 1.
1198.88/1199.54 c satzilla running gnovelty+ ...
1198.88/1199.54 c Bin: Executing gnovelty+
1198.88/1199.54 c gnovelty+ returned code 1.
1198.88/1199.54 c satzilla running adaptg2wsat+ ...
1198.88/1199.54 c Bin: Executing adaptg2wsat+
1198.88/1199.54 c adaptg2wsat+ returned code 1.
1198.88/1199.54 c satzilla running adaptg2wsat0 ...
1198.88/1199.54 c Bin: Executing adaptg2wsat0
1198.88/1199.54 c adaptg2wsat0 returned code 1.
1198.88/1199.54 c satzilla running tts-4-0 ...
1198.88/1199.54 c Bin: Executing tts-4-0
1198.88/1199.54 c tts-4-0 returned code 1.
1198.88/1199.54 c satzilla running vallst ...
1198.88/1199.54 c Bin: Executing vallst
1198.88/1199.54 c vallst returned code 1.
1198.88/1199.54 c satzilla running minisat20 ...
1198.88/1199.54 c Bin: Executing minisat20
1198.88/1199.54 c minisat20 returned code 1.
1198.88/1199.54 c satzilla running kcnfs04SAT07 ...
1198.88/1199.54 c Bin: Executing kcnfs04SAT07
1198.88/1199.54 c kcnfs04SAT07 returned code 1.
1198.88/1199.54 c ERROR: All Failed!
1198.88/1199.54 c SATZILLA_TIME=1199.130000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1732917-1240784056/watcher-1732917-1240784056 -o /tmp/evaluation-result-1732917-1240784056/solver-1732917-1240784056 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1732917-1240784056.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.99 0.98 0.99 3/65 29377
/proc/meminfo: memFree=1591800/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=35136 CPUtime=0
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 764 0 0 0 0 0 0 0 19 0 1 0 106439069 35979264 760 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 8784 767 44 138 0 8643 0
[startup+0.0377379 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 29377
/proc/meminfo: memFree=1591800/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=35136 CPUtime=0.03
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 6496 0 0 0 0 3 0 0 19 0 1 0 106439069 35979264 6492 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 8784 6498 44 138 0 8643 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 37192
[startup+0.101747 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 29377
/proc/meminfo: memFree=1591800/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=39576 CPUtime=0.09
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 9707 0 0 0 4 5 0 0 19 0 1 0 106439069 40525824 9703 1992294400 134512640 135078026 4294956176 18446744073709551615 134735920 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 9894 9709 54 138 0 9753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41632
[startup+0.301769 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 29377
/proc/meminfo: memFree=1591800/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=55312 CPUtime=0.29
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 13409 0 0 0 23 6 0 0 21 0 1 0 106439069 56639488 13405 1992294400 134512640 135078026 4294956176 18446744073709551615 134573746 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 13828 13405 54 138 0 13687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57368
[startup+0.701813 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 29377
/proc/meminfo: memFree=1591800/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=83652 CPUtime=0.69
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 19843 0 0 0 60 9 0 0 25 0 1 0 106439069 85659648 19839 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 20913 19840 54 138 0 20772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85708
[startup+1.50191 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 29379
/proc/meminfo: memFree=1492264/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=142900 CPUtime=1.49
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 33125 0 0 0 134 15 0 0 25 0 1 0 106439069 146329600 33121 1992294400 134512640 135078026 4294956176 18446744073709551615 134566636 0 0 8392704 0 0 0 0 17 1 0 0
/proc/29378/statm: 35725 33121 54 138 0 35584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144956
[startup+3.10208 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 29379
/proc/meminfo: memFree=1484840/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=122672 CPUtime=3.08
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 34747 0 0 0 290 18 0 0 25 0 1 0 106439069 125616128 26142 1992294400 134512640 135078026 4294956176 18446744073709551615 134560885 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 30668 26142 55 138 0 30527 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 124728
[startup+6.30145 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 29379
/proc/meminfo: memFree=1487592/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=0
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106439069 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 112 96 399 0 111 0
[pid=29378] ppid=29377 vsize=122672 CPUtime=6.28
/proc/29378/stat : 29378 (mxc-sr08) R 29377 29377 28848 0 -1 4194304 34747 0 0 0 610 18 0 0 25 0 1 0 106439069 125616128 26142 1992294400 134512640 135078026 4294956176 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29378/statm: 30668 26142 55 138 0 30527 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124728
[startup+12.7022 s]
/proc/loadavg: 1.07 1.00 1.00 2/67 29380
/proc/meminfo: memFree=1535144/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=2056 CPUtime=10.01
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 152 34747 0 0 0 0 981 20 16 0 1 0 106439069 2105344 121 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 514 121 104 399 0 111 0
[pid=29380] ppid=29377 vsize=63960 CPUtime=2.65
/proc/29380/stat : 29380 (picosat846) R 29377 29377 28848 0 -1 4194304 15544 0 0 0 256 9 0 0 25 0 1 0 106440072 65495040 15533 1992294400 134512640 134570484 4294956176 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 1 0 0
/proc/29380/statm: 15990 15533 85 14 0 15656 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66016
[startup+25.5016 s]
/proc/loadavg: 1.14 1.02 1.01 2/67 29382
/proc/meminfo: memFree=1446056/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=127868 CPUtime=24.51
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 37224 77278 0 0 470 20 1902 59 25 0 1 0 106439069 130936832 26102 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 31967 26102 137 399 0 31564 0
[pid=29382] ppid=29377 vsize=14120 CPUtime=0.92
/proc/29382/stat : 29382 (zchaff07) R 29377 29377 28848 0 -1 4194304 3491 0 0 0 91 1 0 0 25 0 1 0 106441525 14458880 2757 1992294400 134512640 135538726 4294956240 18446744073709551615 134580696 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29382/statm: 3530 2757 103 250 0 3277 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 141988
[startup+51.1015 s]
/proc/loadavg: 1.08 1.01 1.00 2/67 29383
/proc/meminfo: memFree=1427112/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=36180 CPUtime=1.92
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 8684 0 0 0 187 5 0 0 25 0 1 0 106443984 37048320 8679 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 9045 8679 50 118 0 8924 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 165060
[startup+102.305 s]
/proc/loadavg: 1.10 1.03 1.00 2/67 29383
/proc/meminfo: memFree=1236200/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=403592 CPUtime=53.11
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 305649 0 0 0 5184 127 0 0 25 0 1 0 106443984 413278208 53744 1992294400 134512640 134996440 4294956176 18446744073709551615 134583376 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 100898 53744 67 118 0 100777 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 532472
[startup+162.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 29383
/proc/meminfo: memFree=1230696/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=409492 CPUtime=113.08
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 307100 0 0 0 11180 128 0 0 25 0 1 0 106443984 419319808 55195 1992294400 134512640 134996440 4294956176 18446744073709551615 134584245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 102373 55195 67 118 0 102252 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 538372
[startup+222.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 29383
/proc/meminfo: memFree=1225448/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=414556 CPUtime=173.06
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 308391 0 0 0 17177 129 0 0 25 0 1 0 106443984 424505344 56486 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 103639 56486 67 118 0 103518 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 543436
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 29383
/proc/meminfo: memFree=1223272/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=416700 CPUtime=233.03
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 308929 0 0 0 23174 129 0 0 25 0 1 0 106443984 426700800 57024 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 104175 57024 67 118 0 104054 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 545580
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1221480/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=418560 CPUtime=293
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 309378 0 0 0 29170 130 0 0 25 0 1 0 106443984 428605440 57473 1992294400 134512640 134996440 4294956176 18446744073709551615 134583376 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 104640 57473 67 118 0 104519 0
################
# More data... #
################
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1216744/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=423056 CPUtime=712.82
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310531 0 0 0 71150 132 0 0 25 0 1 0 106443984 433209344 58626 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 105764 58626 67 118 0 105643 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 551936
[startup+822.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/67 29383
/proc/meminfo: memFree=1216424/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=423452 CPUtime=772.78
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310606 0 0 0 77146 132 0 0 25 0 1 0 106443984 433614848 58701 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 105863 58701 67 118 0 105742 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 552332
[startup+882.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 29383
/proc/meminfo: memFree=1216232/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=423584 CPUtime=832.76
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310659 0 0 0 83144 132 0 0 25 0 1 0 106443984 433750016 58754 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 105896 58754 67 118 0 105775 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 552464
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215912/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=423848 CPUtime=892.72
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310718 0 0 0 89140 132 0 0 25 0 1 0 106443984 434020352 58813 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 105962 58813 67 118 0 105841 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 552728
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215720/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=423980 CPUtime=952.7
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310763 0 0 0 95138 132 0 0 25 0 1 0 106443984 434155520 58858 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 105995 58858 67 118 0 105874 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 552860
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215528/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424244 CPUtime=1012.67
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310818 0 0 0 101135 132 0 0 25 0 1 0 106443984 434425856 58913 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106061 58913 67 118 0 105940 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 553124
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215272/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424376 CPUtime=1072.64
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310864 0 0 0 107132 132 0 0 25 0 1 0 106443984 434561024 58959 1992294400 134512640 134996440 4294956176 18446744073709551615 134583376 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106094 58959 67 118 0 105973 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 553256
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424508 CPUtime=1132.62
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310913 0 0 0 113130 132 0 0 25 0 1 0 106443984 434696192 59008 1992294400 134512640 134996440 4294956176 18446744073709551615 134583424 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106127 59008 67 118 0 106006 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 553388
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424640 CPUtime=1140.61
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310918 0 0 0 113929 132 0 0 25 0 1 0 106443984 434831360 59013 1992294400 134512640 134996440 4294956176 18446744073709551615 134583376 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106160 59013 67 118 0 106039 0
Current children cumulated CPU time (s) 1189.69
Current children cumulated vsize (KiB) 553520
[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424640 CPUtime=1143.81
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310919 0 0 0 114249 132 0 0 25 0 1 0 106443984 434831360 59014 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106160 59014 67 118 0 106039 0
Current children cumulated CPU time (s) 1192.89
Current children cumulated vsize (KiB) 553520
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424640 CPUtime=1147.01
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310921 0 0 0 114569 132 0 0 25 0 1 0 106443984 434831360 59016 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106160 59016 67 118 0 106039 0
Current children cumulated CPU time (s) 1196.09
Current children cumulated vsize (KiB) 553520
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424640 CPUtime=1148.6
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310922 0 0 0 114728 132 0 0 25 0 1 0 106443984 434831360 59017 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106160 59017 67 118 0 106039 0
Current children cumulated CPU time (s) 1197.68
Current children cumulated vsize (KiB) 553520
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424640 CPUtime=1149.4
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310922 0 0 0 114808 132 0 0 25 0 1 0 106443984 434831360 59017 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106160 59017 67 118 0 106039 0
Current children cumulated CPU time (s) 1198.48
Current children cumulated vsize (KiB) 553520
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29383
/proc/meminfo: memFree=1215080/2055920 swapFree=4180008/4192956
[pid=29377] ppid=29375 vsize=128880 CPUtime=49.08
/proc/29377/stat : 29377 (SATzilla2009_I) S 29375 29377 28848 0 -1 4194304 86832 86256 0 0 2700 48 2097 63 25 0 1 0 106439069 131973120 26496 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29377/statm: 32220 26496 216 399 0 31817 0
[pid=29383] ppid=29377 vsize=424640 CPUtime=1149.8
/proc/29383/stat : 29383 (march_dl2004) R 29377 29377 28848 0 -1 4194304 310922 0 0 0 114848 132 0 0 25 0 1 0 106443984 434831360 59017 1992294400 134512640 134996440 4294956176 18446744073709551615 134583368 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29383/statm: 106160 59017 67 118 0 106039 0
Current children cumulated CPU time (s) 1198.88
Current children cumulated vsize (KiB) 553520
Child status: 17
Real time (s): 1199.58
CPU time (s): 1199
CPU user time (s): 1196.48
CPU system time (s): 2.52562
CPU usage (%): 99.952
Max. virtual memory (cumulated for all children) (KiB): 587608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.48
system time used= 2.52562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484034
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= 3703
runsolver used 1.17282 second user time and 3.19651 second system time
The end
Begin job on node32 at 2009-04-27 00:14:19
IDJOB=1732917
IDBENCH=71130
IDSOLVER=528
FILE ID=node32/1732917-1240784056
PBS_JOBID= 9187227
Free space on /tmp= 66360 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK12.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1732917-1240784056/watcher-1732917-1240784056 -o /tmp/evaluation-result-1732917-1240784056/solver-1732917-1240784056 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1732917-1240784056.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bcbdfe82209aa971e7a6ff7bba833b95
RANDOM SEED=347634887
node32.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.216
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.216
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: 1592280 kB
Buffers: 45248 kB
Cached: 359576 kB
SwapCached: 6168 kB
Active: 168216 kB
Inactive: 245540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1592280 kB
SwapTotal: 4192956 kB
SwapFree: 4180008 kB
Dirty: 65848 kB
Writeback: 0 kB
Mapped: 14348 kB
Slab: 35692 kB
Committed_AS: 385760 kB
PageTables: 1488 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66332 MiB
End job on node32 at 2009-04-27 00:34:19