16.38/16.48 c SATzilla is building models for class 2
16.38/16.48 c run presolver march_dl2004 for 5 seconds ...
16.38/16.48 c Bin: Executing march_dl2004
16.38/16.48 c spawning binary file with 5 seconds ...
16.38/16.48 c child exit by a signal
16.38/16.48 c march_dl2004 returned code 137.
16.38/16.48 c run presolver mxc-sr08 for 5 seconds ...
16.38/16.48 c Bin: Executing mxc-sr08
16.38/16.48 c spawning binary file with 5 seconds ...
16.38/16.48 c child exit by a signal
16.38/16.48 c mxc-sr08 returned code 137.
16.38/16.48 c Orignal number of varibales is 300, number of clauses is 720
16.38/16.48 c predicted feature computation time is 6.915733
16.38/16.48 c Bin: Executing satelite
16.38/16.48 c spawning binary file with 240 seconds ...
16.38/16.48 c child exited successfully
16.38/16.48 c satzilla computing base features
16.38/16.48 c Number of variabe is: 300, Number of clause is : 720
16.38/16.48 c Initializing...
16.38/16.48 c satzilla compute diameter ...
16.38/16.48 c start diameter features ...
16.38/16.48 c satzilla doing clause learning
16.38/16.48 c start clause learning features ...
16.38/16.48 c Bin: Executing zchaff07
16.38/16.48 c spawning binary file with 2 seconds ...
16.38/16.48 c child exit by a signal
16.38/16.48 c satzilla doing survey propogation probe
16.38/16.48 c do survay propogation for 2 second ...
16.38/16.48 c satzilla doing local search probe
16.38/16.48 c satzilla doing lobjois search-space size estimate
16.38/16.48 c features are:300 720 300 720 0 0 0.416667 1 0 -0 0.00833333 0.447214 0.00666667 0.0166667 0.450561 0.833333 0.833333 0.00833333 0 0.00833333 0.00833333 -0 0.333333 0 0.333333 0.333333 -0 0.00555556 0 0.00555556 0.00555556 -0 0.833333 0.0165556 0.0227595 0.0152778 0.0166667 4.99666 0.0115547 4 5 0.0224039 4408.5 0.014875 4320 4475 4475 4320 4475 4371 4468 46.8833 0.0444989 43.7932 49.0678 49.0678 43.7932 49.0678 46.1787 48.4934 0.583177 9.9076e-05 0.582994 0.583349 0.583249 0.583102 0.583213 0.58314 0.583173 0.229507 0.000114522 0.229466 0.229598 0.229546 0.229477 0.229524 0.229487 0.229501 9.49921 0.237077 77.3332 0.101662 77 67 88 0.947526 0.221753 0.924766 0.0256409 0.64172 0.810888
16.38/16.48 c satzilla's ranking:
16.38/16.48 c 1) tts-4-0: 2.016623
16.38/16.48 c 2) march_dl2004: 0.803076
16.38/16.48 c 3) vallst: 0.524562
16.38/16.48 c 4) zchaff_rand: 0.443516
16.38/16.48 c 5) minisat20: 0.358166
16.38/16.48 c 6) minisat20SAT07: -1.134113
16.38/16.48 c 7) mxc-sr08: -1.663136
16.38/16.48 c 8) SATenstein: -10000.000000
16.38/16.48 c 9) gnovelty+: -10000.000000
16.38/16.48 c 10) adaptg2wsat+: -10000.000000
16.38/16.48 c 11) adaptg2wsat0: -10000.000000
16.38/16.48 c 12) picosat846: -10000.000000
16.38/16.48 c 13) kcnfs04SAT07: -10000.000000
16.38/16.48 c satzilla running tts-4-0 ...
4998.73/5001.32 c Bin: Executing tts-4-0
4998.73/5001.32 c spawning binary file with 4983 seconds ...
4998.73/5001.32 c child exit by a signal
4998.73/5001.32 c tts-4-0 returned code 137.
4998.73/5001.32 c satzilla running march_dl2004 ...
4998.73/5001.32 c Bin: Executing march_dl2004
4998.73/5001.32 c march_dl2004 returned code 1.
4998.73/5001.32 c satzilla running vallst ...
4998.73/5001.32 c Bin: Executing vallst
4998.73/5001.32 c vallst returned code 1.
4998.73/5001.32 c satzilla running zchaff_rand ...
4998.73/5001.32 c Bin: Executing zchaff_rand
4998.73/5001.32 c zchaff_rand returned code 1.
4998.73/5001.32 c satzilla running minisat20 ...
4998.73/5001.32 c Bin: Executing minisat20
4998.73/5001.32 c minisat20 returned code 1.
4998.73/5001.32 c satzilla running minisat20SAT07 ...
4998.73/5001.32 c Bin: Executing minisat20SAT07
4998.73/5001.32 c minisat20SAT07 returned code 1.
4998.73/5001.32 c satzilla running mxc-sr08 ...
4998.73/5001.32 c Bin: Executing mxc-sr08
4998.73/5001.32 c mxc-sr08 returned code 1.
4998.73/5001.32 c satzilla running SATenstein ...
4998.73/5001.32 c Bin: Executing SATenstein
4998.73/5001.32 c SATenstein returned code 1.
4998.73/5001.32 c satzilla running gnovelty+ ...
4998.73/5001.32 c Bin: Executing gnovelty+
4998.73/5001.32 c gnovelty+ returned code 1.
4998.73/5001.32 c satzilla running adaptg2wsat+ ...
4998.73/5001.32 c Bin: Executing adaptg2wsat+
4998.73/5001.32 c adaptg2wsat+ returned code 1.
4998.73/5001.32 c satzilla running adaptg2wsat0 ...
4998.73/5001.32 c Bin: Executing adaptg2wsat0
4998.73/5001.32 c adaptg2wsat0 returned code 1.
4998.73/5001.32 c satzilla running picosat846 ...
4998.73/5001.32 c Bin: Executing picosat846
4998.73/5001.32 c picosat846 returned code 1.
4998.73/5001.32 c satzilla running kcnfs04SAT07 ...
4998.73/5001.32 c Bin: Executing kcnfs04SAT07
4998.73/5001.32 c kcnfs04SAT07 returned code 1.
4998.73/5001.32 c ERROR: All Failed!
4998.73/5001.32 c SATZILLA_TIME=4999.530000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825794-1242511600/watcher-1825794-1242511600 -o /tmp/evaluation-result-1825794-1242511600/solver-1825794-1242511600 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825794-1242511600.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32078
/proc/meminfo: memFree=1560256/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) R 32076 32078 31978 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=772 CPUtime=0
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 130 0 0 0 0 0 0 0 18 0 1 0 279193982 790528 122 1992294400 134512640 134996440 4294956192 18446744073709551615 134559448 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 193 122 65 118 0 72 0
[startup+0.061339 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32078
/proc/meminfo: memFree=1560256/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=1172 CPUtime=0.05
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 227 0 0 0 5 0 0 0 19 0 1 0 279193982 1200128 219 1992294400 134512640 134996440 4294956192 18446744073709551615 134532805 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 293 219 74 118 0 172 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3228
[startup+0.102345 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32078
/proc/meminfo: memFree=1560256/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=1172 CPUtime=0.1
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 229 0 0 0 10 0 0 0 19 0 1 0 279193982 1200128 221 1992294400 134512640 134996440 4294956192 18446744073709551615 134527911 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 293 221 74 118 0 172 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3228
[startup+0.30138 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32078
/proc/meminfo: memFree=1560256/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=1172 CPUtime=0.29
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 233 0 0 0 29 0 0 0 21 0 1 0 279193982 1200128 225 1992294400 134512640 134996440 4294956192 18446744073709551615 134527899 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 293 225 74 118 0 172 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3228
[startup+0.70245 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32078
/proc/meminfo: memFree=1560256/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=1172 CPUtime=0.7
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 235 0 0 0 70 0 0 0 25 0 1 0 279193982 1200128 227 1992294400 134512640 134996440 4294956192 18446744073709551615 134528077 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 293 227 74 118 0 172 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3228
[startup+1.50159 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 32080
/proc/meminfo: memFree=1559472/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=1172 CPUtime=1.49
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 237 0 0 0 149 0 0 0 25 0 1 0 279193982 1200128 229 1992294400 134512640 134996440 4294956192 18446744073709551615 134533013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 293 229 74 118 0 172 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3228
[startup+3.10187 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 32080
/proc/meminfo: memFree=1559344/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=0
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279193982 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/32078/statm: 514 112 96 399 0 111 0
[pid=32079] ppid=32078 vsize=1172 CPUtime=3.09
/proc/32079/stat : 32079 (march_dl2004) R 32078 32078 31978 0 -1 4194304 239 0 0 0 309 0 0 0 25 0 1 0 279193982 1200128 231 1992294400 134512640 134996440 4294956192 18446744073709551615 134551380 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32079/statm: 293 231 74 118 0 172 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3228
[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 32081
/proc/meminfo: memFree=1558448/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=2056 CPUtime=4.99
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 156 242 0 0 0 0 499 0 16 0 1 0 279193982 2105344 125 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 514 125 107 399 0 111 0
[pid=32081] ppid=32078 vsize=1924 CPUtime=1.28
/proc/32081/stat : 32081 (mxc-sr08) R 32078 32078 31978 0 -1 4194304 404 0 0 0 128 0 0 0 25 0 1 0 279194482 1970176 400 1992294400 134512640 135078026 4294956192 18446744073709551615 134533764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32081/statm: 481 400 71 138 0 340 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 3980
[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 32083
/proc/meminfo: memFree=1555568/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=7312 CPUtime=12.67
/proc/32078/stat : 32078 (SATzilla2009_C) R 32076 32078 31978 0 -1 4194304 411 2363 0 0 56 12 1197 2 24 0 1 0 279193982 7487488 337 1992294400 134512640 136149437 4294956224 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 0 0 0
/proc/32078/statm: 1828 337 207 399 0 1425 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 7312
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1551472/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=9340 CPUtime=9
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 2261 0 0 0 900 0 0 0 25 0 1 0 279195631 9564160 2256 1992294400 134512640 134965848 4294956208 18446744073709551615 134534080 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 2335 2256 68 110 0 2222 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12536
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1541680/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=19192 CPUtime=34.58
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 4698 0 0 0 3456 2 0 0 25 0 1 0 279195631 19652608 4693 1992294400 134512640 134965848 4294956208 18446744073709551615 134534096 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 4798 4693 68 110 0 4685 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 22388
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1518192/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=42416 CPUtime=85.75
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 10520 0 0 0 8569 6 0 0 25 0 1 0 279195631 43433984 10515 1992294400 134512640 134965848 4294956208 18446744073709551615 134534116 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 10604 10515 68 110 0 10491 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 45612
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1497584/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=63280 CPUtime=145.72
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 15727 0 0 0 14562 10 0 0 25 0 1 0 279195631 64798720 15722 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 15820 15722 68 110 0 15707 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 66476
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1478320/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=82268 CPUtime=205.69
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 20484 0 0 0 20555 14 0 0 25 0 1 0 279195631 84242432 20479 1992294400 134512640 134965848 4294956208 18446744073709551615 134537795 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 20567 20479 68 110 0 20454 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 85464
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1464816/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=95864 CPUtime=265.66
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 23912 0 0 0 26550 16 0 0 25 0 1 0 279195631 98164736 23907 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 23966 23907 68 110 0 23853 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 99060
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 32084
/proc/meminfo: memFree=1455216/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=105472 CPUtime=325.63
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 26259 0 0 0 32544 19 0 0 25 0 1 0 279195631 108003328 26254 1992294400 134512640 134965848 4294956208 18446744073709551615 134534179 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 26368 26254 68 110 0 26255 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 108668
[startup+402.303 s]
################
# More data... #
################
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1128112/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=431280 CPUtime=4643.45
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 107719 0 0 0 464254 91 0 0 25 0 1 0 279195631 441630720 107714 1992294400 134512640 134965848 4294956208 18446744073709551615 134534173 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 107820 107714 68 110 0 107707 0
Current children cumulated CPU time (s) 4659.91
Current children cumulated vsize (KiB) 434476
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1125552/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=433860 CPUtime=4703.42
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 108367 0 0 0 470250 92 0 0 25 0 1 0 279195631 444272640 108362 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 108465 108362 68 110 0 108352 0
Current children cumulated CPU time (s) 4719.88
Current children cumulated vsize (KiB) 437056
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1121968/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=437376 CPUtime=4763.38
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 109280 0 0 0 476246 92 0 0 25 0 1 0 279195631 447873024 109275 1992294400 134512640 134965848 4294956208 18446744073709551615 134534047 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 109344 109275 68 110 0 109231 0
Current children cumulated CPU time (s) 4779.84
Current children cumulated vsize (KiB) 440572
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1117488/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=441828 CPUtime=4823.35
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 110399 0 0 0 482242 93 0 0 25 0 1 0 279195631 452431872 110394 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 110457 110394 68 110 0 110344 0
Current children cumulated CPU time (s) 4839.81
Current children cumulated vsize (KiB) 445024
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1113328/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=446284 CPUtime=4883.32
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 111462 0 0 0 488238 94 0 0 25 0 1 0 279195631 456994816 111457 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 111571 111457 68 110 0 111458 0
Current children cumulated CPU time (s) 4899.78
Current children cumulated vsize (KiB) 449480
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1110064/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=449328 CPUtime=4943.3
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112231 0 0 0 494235 95 0 0 25 0 1 0 279195631 460111872 112226 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112332 112226 68 110 0 112219 0
Current children cumulated CPU time (s) 4959.76
Current children cumulated vsize (KiB) 452524
Solver just ended. Dumping a history of the last processes samples
[startup+4966.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1110000/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=449328 CPUtime=4947.3
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112264 0 0 0 494635 95 0 0 25 0 1 0 279195631 460111872 112259 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112332 112259 68 110 0 112219 0
Current children cumulated CPU time (s) 4963.76
Current children cumulated vsize (KiB) 452524
[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1108912/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=450500 CPUtime=4960.09
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112531 0 0 0 495913 96 0 0 25 0 1 0 279195631 461312000 112526 1992294400 134512640 134965848 4294956208 18446744073709551615 134534080 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112625 112526 68 110 0 112512 0
Current children cumulated CPU time (s) 4976.55
Current children cumulated vsize (KiB) 453696
[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1108336/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=450972 CPUtime=4972.88
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112684 0 0 0 497192 96 0 0 25 0 1 0 279195631 461795328 112679 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112743 112679 68 110 0 112630 0
Current children cumulated CPU time (s) 4989.34
Current children cumulated vsize (KiB) 454168
[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1107824/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=451672 CPUtime=4979.29
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112812 0 0 0 497833 96 0 0 25 0 1 0 279195631 462512128 112807 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112918 112807 68 110 0 112805 0
Current children cumulated CPU time (s) 4995.75
Current children cumulated vsize (KiB) 454868
[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1107696/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=451672 CPUtime=4980.88
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112836 0 0 0 497992 96 0 0 25 0 1 0 279195631 462512128 112831 1992294400 134512640 134965848 4294956208 18446744073709551615 134534173 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112918 112831 68 110 0 112805 0
Current children cumulated CPU time (s) 4997.34
Current children cumulated vsize (KiB) 454868
[startup+5000.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1107696/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=451672 CPUtime=4981.68
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112843 0 0 0 498072 96 0 0 25 0 1 0 279195631 462512128 112838 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112918 112838 68 110 0 112805 0
Current children cumulated CPU time (s) 4998.14
Current children cumulated vsize (KiB) 454868
[startup+5001.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1107696/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=451672 CPUtime=4982.08
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4194304 112848 0 0 0 498112 96 0 0 25 0 1 0 279195631 462512128 112843 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 112918 112843 68 110 0 112805 0
Current children cumulated CPU time (s) 4998.54
Current children cumulated vsize (KiB) 454868
[startup+5001.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32092
/proc/meminfo: memFree=1107696/2055920 swapFree=4180872/4192956
[pid=32078] ppid=32076 vsize=3196 CPUtime=16.46
/proc/32078/stat : 32078 (SATzilla2009_C) S 32076 32078 31978 0 -1 4194304 457 2363 0 0 402 45 1197 2 25 0 1 0 279193982 3272704 329 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/32078/statm: 799 329 219 399 0 396 0
[pid=32084] ppid=32078 vsize=0 CPUtime=4982.27
/proc/32084/stat : 32084 (tts-4-0) R 32078 32078 31978 0 -1 4195332 112853 0 0 0 498127 100 0 0 25 0 1 0 279195631 0 0 1992294400 0 0 0 0 0 256 0 8392704 0 0 0 0 17 0 0 0
/proc/32084/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4998.73
Current children cumulated vsize (KiB) 3196
Child status: 17
Real time (s): 5001.32
CPU time (s): 4998.79
CPU user time (s): 4997.27
CPU system time (s): 1.51477
CPU usage (%): 99.9493
Max. virtual memory (cumulated for all children) (KiB): 454868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.27
system time used= 1.51477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115690
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= 12062
runsolver used 4.19936 second user time and 13.9939 second system time
The end
Begin job on node4 at 2009-05-17 00:06:40
IDJOB=1825794
IDBENCH=71121
IDSOLVER=668
FILE ID=node4/1825794-1242511600
PBS_JOBID= 9307065
Free space on /tmp= 66176 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-300-100.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825794-1242511600/watcher-1825794-1242511600 -o /tmp/evaluation-result-1825794-1242511600/solver-1825794-1242511600 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825794-1242511600.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cda4bb923e6fa0cab57f8920411a2abd
RANDOM SEED=1798663980
node4.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.265
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.265
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: 1560800 kB
Buffers: 78188 kB
Cached: 325060 kB
SwapCached: 5908 kB
Active: 175612 kB
Inactive: 235460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1560800 kB
SwapTotal: 4192956 kB
SwapFree: 4180872 kB
Dirty: 31540 kB
Writeback: 0 kB
Mapped: 13548 kB
Slab: 70108 kB
Committed_AS: 1158248 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= 66148 MiB
End job on node4 at 2009-05-17 01:30:02