30.52/30.64 c SATzilla is building models for class 3
30.52/30.64 c run presolver mxc-sr08 for 10 seconds ...
30.52/30.64 c Bin: Executing mxc-sr08
30.52/30.64 c spawning binary file with 10 seconds ...
30.52/30.64 c child exit by a signal
30.52/30.64 c mxc-sr08 returned code 137.
30.52/30.64 c run presolver picosat846 for 5 seconds ...
30.52/30.64 c Bin: Executing picosat846
30.52/30.64 c spawning binary file with 5 seconds ...
30.52/30.64 c child exit by a signal
30.52/30.64 c picosat846 returned code 137.
30.52/30.64 c Orignal number of varibales is 24356, number of clauses is 347216
30.52/30.64 c predicted feature computation time is 2.760713
30.52/30.64 c Bin: Executing satelite
30.52/30.64 c spawning binary file with 240 seconds ...
30.52/30.64 c child exited successfully
30.52/30.64 c satzilla computing base features
30.52/30.64 c Number of variabe is: 24352, Number of clause is : 347216
30.52/30.64 c Initializing...
30.52/30.64 c satzilla doing clause learning
30.52/30.64 c start clause learning features ...
30.52/30.64 c Bin: Executing zchaff07
30.52/30.64 c spawning binary file with 2 seconds ...
30.52/30.64 c child exit by a signal
30.52/30.64 c satzilla doing survey propogation probe
30.52/30.64 c do survay propogation for 2 second ...
30.52/30.64 c satzilla doing local search probe
30.52/30.64 c features are:24356 347216 24352 347216 0.000164258 0 0.070135 0.568061 0.546821 1.18327 0.00012346 1.40186 8.21288e-05 0.00591327 1.09865 0.34253 0.854373 0.00012346 2.74444 1.44003e-05 0.00194403 2.72393 0.723982 0.196487 0 0.857143 2.59202 6.73699e-05 2.38319 5.7601e-06 0.000973457 2.73689 0.637816 0.000788743 0.24624 2.59205e-05 0.000875536 5.25 0.389779 3 12 7 3 5 4 5 216.579 0.316659 87.8 285.667 285.6 88.6 285.5 191.333 229 0.922485 0.125301 0.0355672 0.993336 0.989075 0.762578 0.984735 0.935325 0.958584 0.0469788 1.41458 4.62188e-07 0.298327 0.170984 0.00198251 0.0590879 0.00455827 0.0381098 838.714 0.109797 10298.4 0.0158801 10277 10072 10498 1.45325 0.233642 0.992078 0.000974882
30.52/30.64 c satzilla's ranking:
30.52/30.64 c 1) zchaff_rand: 2.693308
30.52/30.64 c 2) picosat846: 2.372755
30.52/30.64 c 3) mxc-sr08: 1.726246
30.52/30.64 c 4) minisat20SAT07: 1.392577
30.52/30.64 c 5) march_dl2004: 0.183449
30.52/30.64 c 6) SATenstein: -10000.000000
30.52/30.64 c 7) gnovelty+: -10000.000000
30.52/30.64 c 8) adaptg2wsat+: -10000.000000
30.52/30.64 c 9) adaptg2wsat0: -10000.000000
30.52/30.64 c 10) tts-4-0: -10000.000000
30.52/30.64 c 11) vallst: -10000.000000
30.52/30.64 c 12) minisat20: -10000.000000
30.52/30.64 c 13) kcnfs04SAT07: -10000.000000
30.52/30.64 c satzilla running zchaff_rand ...
1199.35/1200.16 c Bin: Executing zchaff_rand
1199.35/1200.16 c spawning binary file with 1169 seconds ...
1199.35/1200.16 c child exit by a signal
1199.35/1200.16 c zchaff_rand returned code 137.
1199.35/1200.16 c satzilla running picosat846 ...
1199.35/1200.16 c Bin: Executing picosat846
1199.35/1200.16 c picosat846 returned code 1.
1199.35/1200.16 c satzilla running mxc-sr08 ...
1199.35/1200.16 c Bin: Executing mxc-sr08
1199.35/1200.16 c mxc-sr08 returned code 1.
1199.35/1200.16 c satzilla running minisat20SAT07 ...
1199.35/1200.16 c Bin: Executing minisat20SAT07
1199.35/1200.16 c minisat20SAT07 returned code 1.
1199.35/1200.16 c satzilla running march_dl2004 ...
1199.35/1200.16 c Bin: Executing march_dl2004
1199.35/1200.16 c march_dl2004 returned code 1.
1199.35/1200.16 c satzilla running SATenstein ...
1199.35/1200.16 c Bin: Executing SATenstein
1199.35/1200.16 c SATenstein returned code 1.
1199.35/1200.16 c satzilla running gnovelty+ ...
1199.35/1200.16 c Bin: Executing gnovelty+
1199.35/1200.16 c gnovelty+ returned code 1.
1199.35/1200.16 c satzilla running adaptg2wsat+ ...
1199.35/1200.16 c Bin: Executing adaptg2wsat+
1199.35/1200.16 c adaptg2wsat+ returned code 1.
1199.35/1200.16 c satzilla running adaptg2wsat0 ...
1199.35/1200.16 c Bin: Executing adaptg2wsat0
1199.35/1200.16 c adaptg2wsat0 returned code 1.
1199.35/1200.16 c satzilla running tts-4-0 ...
1199.35/1200.16 c Bin: Executing tts-4-0
1199.35/1200.16 c tts-4-0 returned code 1.
1199.35/1200.16 c satzilla running vallst ...
1199.35/1200.16 c Bin: Executing vallst
1199.35/1200.16 c vallst returned code 1.
1199.35/1200.16 c satzilla running minisat20 ...
1199.35/1200.16 c Bin: Executing minisat20
1199.35/1200.16 c minisat20 returned code 1.
1199.35/1200.16 c satzilla running kcnfs04SAT07 ...
1199.35/1200.16 c Bin: Executing kcnfs04SAT07
1199.35/1200.16 c kcnfs04SAT07 returned code 1.
1199.35/1200.16 c ERROR: All Failed!
1199.35/1200.16 c SATZILLA_TIME=1199.620000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562325-1238773565/watcher-1562325-1238773565 -o /tmp/evaluation-result-1562325-1238773565/solver-1562325-1238773565 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1562325-1238773565.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.84 1.83 1.45 3/64 30665
/proc/meminfo: memFree=1710832/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) R 30663 30665 30325 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=7896 CPUtime=0
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 657 0 0 0 0 0 0 0 18 0 1 0 1150019080 8085504 653 1992294400 134512640 135078026 4294956176 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 1974 660 45 138 0 1833 0
[startup+0.0510839 s]
/proc/loadavg: 1.84 1.83 1.45 3/64 30665
/proc/meminfo: memFree=1710832/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=14812 CPUtime=0.04
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 3361 0 0 0 3 1 0 0 19 0 1 0 1150019080 15167488 3357 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 3703 3358 54 138 0 3562 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16868
[startup+0.101092 s]
/proc/loadavg: 1.84 1.83 1.45 3/64 30665
/proc/meminfo: memFree=1710832/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=18576 CPUtime=0.09
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 4316 0 0 0 7 2 0 0 19 0 1 0 1150019080 19021824 4312 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 4644 4314 54 138 0 4503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20632
[startup+0.301131 s]
/proc/loadavg: 1.84 1.83 1.45 3/64 30665
/proc/meminfo: memFree=1710832/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=26608 CPUtime=0.28
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 7889 0 0 0 25 3 0 0 21 0 1 0 1150019080 27246592 6094 1992294400 134512640 135078026 4294956176 18446744073709551615 134560887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 6652 6094 55 138 0 6511 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28664
[startup+0.70121 s]
/proc/loadavg: 1.84 1.83 1.45 3/64 30665
/proc/meminfo: memFree=1710832/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=26608 CPUtime=0.68
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 7892 0 0 0 65 3 0 0 25 0 1 0 1150019080 27246592 6097 1992294400 134512640 135078026 4294956176 18446744073709551615 134569256 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 6652 6097 55 138 0 6511 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 28664
[startup+1.50137 s]
/proc/loadavg: 1.84 1.83 1.45 2/66 30667
/proc/meminfo: memFree=1685152/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=30572 CPUtime=1.49
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 9849 0 0 0 145 4 0 0 25 0 1 0 1150019080 31305728 7219 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 7643 7219 71 138 0 7502 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32628
[startup+3.10168 s]
/proc/loadavg: 1.84 1.83 1.45 2/66 30667
/proc/meminfo: memFree=1680032/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=33080 CPUtime=3.08
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 10502 0 0 0 302 6 0 0 25 0 1 0 1150019080 33873920 7872 1992294400 134512640 135078026 4294956176 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 8270 7872 71 138 0 8129 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35136
[startup+6.30131 s]
/proc/loadavg: 1.85 1.83 1.46 2/66 30667
/proc/meminfo: memFree=1676320/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=0
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1150019080 2105344 112 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30665/statm: 514 112 96 399 0 111 0
[pid=30666] ppid=30665 vsize=36664 CPUtime=6.27
/proc/30666/stat : 30666 (mxc-sr08) R 30665 30665 30325 0 -1 4194304 11381 0 0 0 620 7 0 0 25 0 1 0 1150019080 37543936 8751 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30666/statm: 9166 8751 71 138 0 9025 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 38720
[startup+12.7016 s]
/proc/loadavg: 1.78 1.82 1.45 2/66 30668
/proc/meminfo: memFree=1696608/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=2056 CPUtime=9.99
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 152 13029 0 0 0 0 991 8 16 0 1 0 1150019080 2105344 121 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 514 121 104 399 0 111 0
[pid=30668] ppid=30665 vsize=16336 CPUtime=2.66
/proc/30668/stat : 30668 (picosat846) R 30665 30665 30325 0 -1 4194304 3658 0 0 0 264 2 0 0 25 0 1 0 1150020083 16728064 3647 1992294400 134512640 134570484 4294956176 18446744073709551615 134526498 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30668/statm: 4084 3647 85 14 0 3750 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18392
[startup+25.5011 s]
/proc/loadavg: 1.61 1.78 1.45 2/65 30670
/proc/meminfo: memFree=1663400/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=43248 CPUtime=25.42
/proc/30665/stat : 30665 (SATzilla2009_I) R 30663 30665 30325 0 -1 4194304 13797 33022 0 0 401 8 2104 29 25 0 1 0 1150019080 44285952 10310 1992294400 134512640 136149169 4294956208 18446744073709551615 134846588 0 0 4096 3 0 0 0 17 0 0 0
/proc/30665/statm: 10812 10310 152 399 0 10409 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 43248
[startup+51.1012 s]
/proc/loadavg: 1.40 1.71 1.43 2/66 30673
/proc/meminfo: memFree=1629920/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=125748 CPUtime=20.43
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 18765 0 0 0 2027 16 0 0 25 0 1 0 1150022145 128765952 13015 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 31437 13015 112 208 0 31209 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 150592
[startup+102.305 s]
/proc/loadavg: 1.17 1.60 1.41 2/66 30673
/proc/meminfo: memFree=1591840/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=166572 CPUtime=71.6
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 32223 0 0 0 7123 37 0 0 25 0 1 0 1150022145 170569728 22345 1992294400 134512640 135365884 4294956160 18446744073709551615 134606495 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 41643 22345 112 208 0 41415 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 191416
[startup+162.301 s]
/proc/loadavg: 1.06 1.49 1.38 2/66 30673
/proc/meminfo: memFree=1566560/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=237728 CPUtime=131.56
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 41904 0 0 0 13105 51 0 0 25 0 1 0 1150022145 243433472 28762 1992294400 134512640 135365884 4294956160 18446744073709551615 134543607 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 59432 28762 112 208 0 59204 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 262572
[startup+222.302 s]
/proc/loadavg: 1.02 1.40 1.35 2/66 30673
/proc/meminfo: memFree=1545568/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=252400 CPUtime=191.53
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 52126 0 0 0 19087 66 0 0 25 0 1 0 1150022145 258457600 33831 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 63100 33831 112 208 0 62872 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 277244
[startup+282.302 s]
/proc/loadavg: 1.01 1.32 1.33 2/66 30673
/proc/meminfo: memFree=1530336/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=256240 CPUtime=251.51
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 58235 0 0 0 25073 78 0 0 25 0 1 0 1150022145 262389760 37636 1992294400 134512640 135365884 4294956160 18446744073709551615 134553799 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 64060 37636 112 208 0 63832 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 281084
[startup+342.303 s]
/proc/loadavg: 1.00 1.26 1.31 2/66 30673
/proc/meminfo: memFree=1514400/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=259696 CPUtime=311.47
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 64367 0 0 0 31057 90 0 0 25 0 1 0 1150022145 265928704 41656 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 64924 41656 112 208 0 64696 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 284540
################
# More data... #
################
[startup+762.305 s]
/proc/loadavg: 1.00 1.05 1.18 2/66 30673
/proc/meminfo: memFree=1452640/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=407188 CPUtime=731.23
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 91179 0 0 0 72979 144 0 0 25 0 1 0 1150022145 416960512 56948 1992294400 134512640 135365884 4294956160 18446744073709551615 134543654 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 101797 56948 112 208 0 101569 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 432032
[startup+822.301 s]
/proc/loadavg: 1.00 1.04 1.16 2/66 30673
/proc/meminfo: memFree=1445344/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=409048 CPUtime=791.2
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 94329 0 0 0 78969 151 0 0 25 0 1 0 1150022145 418865152 58706 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 102262 58706 112 208 0 102034 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 433892
[startup+882.301 s]
/proc/loadavg: 1.00 1.03 1.15 2/66 30673
/proc/meminfo: memFree=1437280/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=411040 CPUtime=851.16
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 97657 0 0 0 84958 158 0 0 25 0 1 0 1150022145 420904960 60738 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 102760 60738 112 208 0 102532 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 435884
[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.14 2/66 30679
/proc/meminfo: memFree=1429344/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=412072 CPUtime=911.11
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 100870 0 0 0 90946 165 0 0 25 0 1 0 1150022145 421961728 62655 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 103018 62655 112 208 0 102790 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 436916
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/66 30679
/proc/meminfo: memFree=1423136/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=413932 CPUtime=971.09
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 103619 0 0 0 96937 172 0 0 25 0 1 0 1150022145 423866368 64204 1992294400 134512640 135365884 4294956160 18446744073709551615 134553762 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 103483 64204 112 208 0 103255 0
Current children cumulated CPU time (s) 1001.65
Current children cumulated vsize (KiB) 438776
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/66 30679
/proc/meminfo: memFree=1416032/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=415348 CPUtime=1031.05
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 106643 0 0 0 102927 178 0 0 25 0 1 0 1150022145 425316352 65980 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 103837 65980 112 208 0 103609 0
Current children cumulated CPU time (s) 1061.61
Current children cumulated vsize (KiB) 440192
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/66 30679
/proc/meminfo: memFree=1408800/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=416896 CPUtime=1091.03
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 109609 0 0 0 108918 185 0 0 25 0 1 0 1150022145 426901504 67794 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104224 67794 112 208 0 103996 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 441740
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1403040/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=417988 CPUtime=1151
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 112255 0 0 0 114909 191 0 0 25 0 1 0 1150022145 428019712 69240 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104497 69240 112 208 0 104269 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 442832
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1401184/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=418372 CPUtime=1159
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 112856 0 0 0 115708 192 0 0 25 0 1 0 1150022145 428412928 69697 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104593 69697 112 208 0 104365 0
Current children cumulated CPU time (s) 1189.56
Current children cumulated vsize (KiB) 443216
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1401056/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=418372 CPUtime=1165.4
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 113017 0 0 0 116347 193 0 0 25 0 1 0 1150022145 428412928 69714 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104593 69714 112 208 0 104365 0
Current children cumulated CPU time (s) 1195.96
Current children cumulated vsize (KiB) 443216
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1401056/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=418372 CPUtime=1166.99
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 113068 0 0 0 116506 193 0 0 25 0 1 0 1150022145 428412928 69717 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104593 69717 112 208 0 104365 0
Current children cumulated CPU time (s) 1197.55
Current children cumulated vsize (KiB) 443216
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1400992/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=418372 CPUtime=1167.79
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 113069 0 0 0 116586 193 0 0 25 0 1 0 1150022145 428412928 69718 1992294400 134512640 135365884 4294956160 18446744073709551615 134543607 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104593 69718 112 208 0 104365 0
Current children cumulated CPU time (s) 1198.35
Current children cumulated vsize (KiB) 443216
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1400992/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=418372 CPUtime=1168.59
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 113071 0 0 0 116666 193 0 0 25 0 1 0 1150022145 428412928 69720 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104593 69720 112 208 0 104365 0
Current children cumulated CPU time (s) 1199.15
Current children cumulated vsize (KiB) 443216
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30679
/proc/meminfo: memFree=1400992/2055920 swapFree=4176304/4192956
[pid=30665] ppid=30663 vsize=24844 CPUtime=30.56
/proc/30665/stat : 30665 (SATzilla2009_I) S 30663 30665 30325 0 -1 4194304 17770 33022 0 0 899 24 2104 29 25 0 1 0 1150019080 25440256 5958 1992294400 134512640 136149169 4294956208 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/30665/statm: 6211 5958 217 399 0 5808 0
[pid=30671] ppid=30665 vsize=418372 CPUtime=1168.79
/proc/30671/stat : 30671 (zchaff_rand) R 30665 30665 30325 0 -1 4194304 113071 0 0 0 116686 193 0 0 25 0 1 0 1150022145 428412928 69720 1992294400 134512640 135365884 4294956160 18446744073709551615 134543594 0 0 8392704 0 0 0 0 17 0 0 0
/proc/30671/statm: 104593 69720 112 208 0 104365 0
Current children cumulated CPU time (s) 1199.35
Current children cumulated vsize (KiB) 443216
Child status: 17
Real time (s): 1200.18
CPU time (s): 1199.47
CPU user time (s): 1196.93
CPU system time (s): 2.53161
CPU usage (%): 99.9409
Max. virtual memory (cumulated for all children) (KiB): 443216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.94
system time used= 2.53161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163885
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= 4265
runsolver used 1.45578 second user time and 2.90656 second system time
The end
Begin job on node53 at 2009-04-03 17:46:05
IDJOB=1562325
IDBENCH=70932
IDSOLVER=528
FILE ID=node53/1562325-1238773565
PBS_JOBID= 9085517
Free space on /tmp= 66440 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_14_7_3_fbc.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562325-1238773565/watcher-1562325-1238773565 -o /tmp/evaluation-result-1562325-1238773565/solver-1562325-1238773565 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1562325-1238773565.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4fe2719d54370e06a454523e5441fbad
RANDOM SEED=1021247413
node53.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.264
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.264
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1711312 kB
Buffers: 38796 kB
Cached: 216960 kB
SwapCached: 10600 kB
Active: 103044 kB
Inactive: 164860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1711312 kB
SwapTotal: 4192956 kB
SwapFree: 4176304 kB
Dirty: 38624 kB
Writeback: 0 kB
Mapped: 17856 kB
Slab: 62820 kB
Committed_AS: 2837068 kB
PageTables: 1384 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= 66408 MiB
End job on node53 at 2009-04-03 18:06:06