96.70/101.17 c SATzilla is building models for class 2
96.70/101.17 c run presolver march_dl2004 for 5 seconds ...
96.70/101.17 c Bin: Executing march_dl2004
96.70/101.17 c spawning binary file with 5 seconds ...
96.70/101.17 c child exit by a signal
96.70/101.17 c march_dl2004 returned code 137.
96.70/101.17 c run presolver mxc-sr08 for 5 seconds ...
96.70/101.17 c Bin: Executing mxc-sr08
96.70/101.17 c spawning binary file with 5 seconds ...
96.70/101.17 c child exit by a signal
96.70/101.17 c mxc-sr08 returned code 137.
96.70/101.17 c Orignal number of varibales is 78, number of clauses is 2162160
96.70/101.17 c predicted feature computation time is 41.054550
96.70/101.17 c Bin: Executing satelite
96.70/101.17 c spawning binary file with 240 seconds ...
96.70/101.17 c child exited successfully
96.70/101.17 c satzilla computing base features
96.70/101.17 c Number of variabe is: 78, Number of clause is : 2162160
96.70/101.17 c Initializing...
96.70/101.17 c satzilla compute diameter ...
96.70/101.17 c start diameter features ...
96.70/101.17 c satzilla doing clause learning
96.70/101.17 c start clause learning features ...
96.70/101.17 c Bin: Executing zchaff07
96.70/101.17 c spawning binary file with 2 seconds ...
96.70/101.17 c child exit by a signal
96.70/101.17 c satzilla doing survey propogation probe
96.70/101.17 c do survay propogation for 2 second ...
96.70/101.17 c satzilla doing local search probe
96.70/101.17 c satzilla doing lobjois search-space size estimate
96.70/101.17 c features are:78 2.16216e+06 78 2.16216e+06 0 0 3.6075e-05 1 0 -0 0.153846 2.45359e-14 0.153846 0.153846 -0 0 0 0.153846 0 0.153846 0.153846 -0 0 0 0 0 -0 0.0769231 0 0.0769231 0.0769231 -0 0.5 3.56125e-05 0 3.56125e-05 3.56125e-05 2 0 2 2 -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 0.498315 0.00772236 0.479436 0.5 0.5 0.493674 0.5 0.498925 0.499983 16 0.353553 13.5 0.261891 13.5 11 11 13.4314 0.410845 0.940693 0.0149195 0.762821 0.76391
96.70/101.17 c satzilla's ranking:
96.70/101.17 c 1) vallst: 151.512179
96.70/101.17 c 2) minisat20: 21.144261
96.70/101.17 c 3) tts-4-0: 4.489701
96.70/101.17 c 4) minisat20SAT07: 2.030468
96.70/101.17 c 5) zchaff_rand: 1.889244
96.70/101.17 c 6) mxc-sr08: 1.787604
96.70/101.17 c 7) march_dl2004: -1.196183
96.70/101.17 c 8) SATenstein: -10000.000000
96.70/101.17 c 9) gnovelty+: -10000.000000
96.70/101.17 c 10) adaptg2wsat+: -10000.000000
96.70/101.17 c 11) adaptg2wsat0: -10000.000000
96.70/101.17 c 12) picosat846: -10000.000000
96.70/101.17 c 13) kcnfs04SAT07: -10000.000000
96.70/101.17 c satzilla running vallst ...
4998.97/5051.97 c Bin: Executing vallst
4998.97/5051.97 c spawning binary file with 4903 seconds ...
4998.97/5051.97 c child exit by a signal
4998.97/5051.97 c vallst returned code 137.
4998.97/5051.97 c satzilla running minisat20 ...
4998.97/5051.97 c Bin: Executing minisat20
4998.97/5051.97 c minisat20 returned code 1.
4998.97/5051.97 c satzilla running tts-4-0 ...
4998.97/5051.97 c Bin: Executing tts-4-0
4998.97/5051.97 c tts-4-0 returned code 1.
4998.97/5051.97 c satzilla running minisat20SAT07 ...
4998.97/5051.97 c Bin: Executing minisat20SAT07
4998.97/5051.97 c minisat20SAT07 returned code 1.
4998.97/5051.97 c satzilla running zchaff_rand ...
4998.97/5051.97 c Bin: Executing zchaff_rand
4998.97/5051.97 c zchaff_rand returned code 1.
4998.97/5051.97 c satzilla running mxc-sr08 ...
4998.97/5051.97 c Bin: Executing mxc-sr08
4998.97/5051.97 c mxc-sr08 returned code 1.
4998.97/5051.97 c satzilla running march_dl2004 ...
4998.97/5051.97 c Bin: Executing march_dl2004
4998.97/5051.97 c march_dl2004 returned code 1.
4998.97/5051.97 c satzilla running SATenstein ...
4998.97/5051.97 c Bin: Executing SATenstein
4998.97/5051.97 c SATenstein returned code 1.
4998.97/5051.97 c satzilla running gnovelty+ ...
4998.97/5051.97 c Bin: Executing gnovelty+
4998.97/5051.97 c gnovelty+ returned code 1.
4998.97/5051.97 c satzilla running adaptg2wsat+ ...
4998.97/5051.97 c Bin: Executing adaptg2wsat+
4998.97/5051.97 c adaptg2wsat+ returned code 1.
4998.97/5051.97 c satzilla running adaptg2wsat0 ...
4998.97/5051.97 c Bin: Executing adaptg2wsat0
4998.97/5051.97 c adaptg2wsat0 returned code 1.
4998.97/5051.97 c satzilla running picosat846 ...
4998.97/5051.97 c Bin: Executing picosat846
4998.97/5051.97 c picosat846 returned code 1.
4998.97/5051.97 c satzilla running kcnfs04SAT07 ...
4998.97/5051.97 c Bin: Executing kcnfs04SAT07
4998.97/5051.97 c kcnfs04SAT07 returned code 1.
4998.97/5051.97 c ERROR: All Failed!
4998.97/5051.97 c SATZILLA_TIME=4999.820000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825798-1242512243/watcher-1825798-1242512243 -o /tmp/evaluation-result-1825798-1242512243/solver-1825798-1242512243 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825798-1242512243.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: 1.81 1.24 1.08 3/65 18655
/proc/meminfo: memFree=1294176/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=9084 CPUtime=0
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 844 0 0 0 0 0 0 0 19 0 1 0 279256965 9302016 840 1992294400 134512640 134996440 4294956192 18446744073709551615 134549441 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 2271 847 49 118 0 2150 0
[startup+0.066698 s]
/proc/loadavg: 1.81 1.24 1.08 3/65 18655
/proc/meminfo: memFree=1294176/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=18324 CPUtime=0.06
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 2398 0 0 0 5 1 0 0 19 0 1 0 279256965 18763776 2393 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 4581 2393 50 118 0 4460 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20380
[startup+0.102702 s]
/proc/loadavg: 1.81 1.24 1.08 3/65 18655
/proc/meminfo: memFree=1294176/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=18852 CPUtime=0.09
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 2544 0 0 0 8 1 0 0 20 0 1 0 279256965 19304448 2539 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 4713 2539 50 118 0 4592 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20908
[startup+0.301741 s]
/proc/loadavg: 1.81 1.24 1.08 3/65 18655
/proc/meminfo: memFree=1294176/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=21888 CPUtime=0.29
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 3350 0 0 0 28 1 0 0 21 0 1 0 279256965 22413312 3345 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 5472 3345 50 118 0 5351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23944
[startup+0.70282 s]
/proc/loadavg: 1.81 1.24 1.08 3/65 18655
/proc/meminfo: memFree=1294176/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=27960 CPUtime=0.69
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 4979 0 0 0 67 2 0 0 25 0 1 0 279256965 28631040 4974 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 6990 4974 50 118 0 6869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30016
[startup+1.50198 s]
/proc/loadavg: 1.81 1.24 1.08 2/67 18657
/proc/meminfo: memFree=1269384/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=40104 CPUtime=1.49
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 8223 0 0 0 145 4 0 0 25 0 1 0 279256965 41066496 8218 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 10026 8218 50 118 0 9905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42160
[startup+3.10129 s]
/proc/loadavg: 1.83 1.25 1.08 2/67 18657
/proc/meminfo: memFree=1251464/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=0
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279256965 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 112 96 399 0 111 0
[pid=18656] ppid=18655 vsize=64260 CPUtime=3.08
/proc/18656/stat : 18656 (march_dl2004) R 18655 18655 18453 0 -1 4194304 14724 0 0 0 301 7 0 0 25 0 1 0 279256965 65802240 14719 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18656/statm: 16065 14719 50 118 0 15944 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66316
[startup+6.30292 s]
/proc/loadavg: 1.83 1.25 1.08 2/67 18658
/proc/meminfo: memFree=1186248/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=5
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 152 22505 0 0 0 0 487 13 16 0 1 0 279256965 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 121 104 399 0 111 0
[pid=18658] ppid=18655 vsize=173020 CPUtime=1.27
/proc/18658/stat : 18658 (mxc-sr08) R 18655 18655 18453 0 -1 4194304 41628 0 0 0 106 21 0 0 25 0 1 0 279257467 177172480 41624 1992294400 134512640 135078026 4294956192 18446744073709551615 134566028 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18658/statm: 43255 41625 54 138 0 43114 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 175076
[startup+12.7012 s]
/proc/loadavg: 1.92 1.28 1.10 2/67 18659
/proc/meminfo: memFree=1182344/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=10.05
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 179 112736 0 0 0 0 943 62 19 0 1 0 279256965 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 138 120 399 0 111 0
[pid=18659] ppid=18655 vsize=161660 CPUtime=2.62
/proc/18659/stat : 18659 (satelite) R 18655 18655 18453 0 -1 4194304 38071 0 0 0 237 25 0 0 25 0 1 0 279257972 165539840 38066 1992294400 134512640 135037501 4294956176 18446744073709551615 134681051 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18659/statm: 40415 38066 48 128 0 40284 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 163716
[startup+25.5017 s]
/proc/loadavg: 2.01 1.33 1.11 2/67 18659
/proc/meminfo: memFree=926600/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=2056 CPUtime=10.05
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 179 112736 0 0 0 0 943 62 19 0 1 0 279256965 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 514 138 120 399 0 111 0
[pid=18659] ppid=18655 vsize=296396 CPUtime=11.13
/proc/18659/stat : 18659 (satelite) R 18655 18655 18453 0 -1 4194304 69924 0 0 0 1046 67 0 0 25 0 1 0 279257972 303509504 69919 1992294400 134512640 135037501 4294956176 18446744073709551615 134764539 0 0 8392704 3 0 0 0 17 1 0 0
/proc/18659/statm: 74099 69919 66 128 0 73968 0
Current children cumulated CPU time (s) 21.18
Current children cumulated vsize (KiB) 298452
[startup+51.1018 s]
/proc/loadavg: 2.23 1.43 1.15 2/66 18660
/proc/meminfo: memFree=789656/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=481764 CPUtime=46.73
/proc/18655/stat : 18655 (SATzilla2009_C) R 18653 18655 18453 0 -1 4194304 165530 191806 0 0 2243 85 2204 141 25 0 1 0 279256965 493326336 103586 1992294400 134512640 136149437 4294956224 18446744073709551615 134876677 0 0 4096 3 0 0 0 17 0 0 0
/proc/18655/statm: 120441 103586 149 399 0 120038 0
Current children cumulated CPU time (s) 46.73
Current children cumulated vsize (KiB) 481764
[startup+102.306 s]
/proc/loadavg: 2.74 1.71 1.26 1/67 18661
/proc/meminfo: memFree=921936/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=330272 CPUtime=0
/proc/18661/stat : 18661 (SATzilla2009_C) D 18655 18655 18453 0 -1 4194368 5 0 0 0 0 0 0 0 25 0 1 0 279267082 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135720916 0 0 8392704 3 18446744071563608240 0 0 17 1 0 0
/proc/18661/statm: 82568 68294 218 399 0 82165 0
Current children cumulated CPU time (s) 96.78
Current children cumulated vsize (KiB) 660544
[startup+162.302 s]
/proc/loadavg: 2.97 1.95 1.37 2/67 18661
/proc/meminfo: memFree=777232/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=224032 CPUtime=14.74
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 37267 0 14 0 1444 30 0 0 25 0 1 0 279267082 229408768 37060 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 56008 37060 135 55 0 55598 0
Current children cumulated CPU time (s) 111.52
Current children cumulated vsize (KiB) 554304
heavy processes:
[startup+222.302 s]
/proc/loadavg: 2.86 2.13 1.47 2/67 18661
/proc/meminfo: memFree=765776/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=640208 CPUtime=74.64
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 39765 0 14 0 7431 33 0 0 25 0 1 0 279267082 655572992 39558 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 1 0 0
/proc/18661/statm: 160052 39558 149 55 0 159642 0
Current children cumulated CPU time (s) 171.42
Current children cumulated vsize (KiB) 970480
heavy processes:
[startup+282.301 s]
/proc/loadavg: 2.40 2.12 1.50 2/67 18661
/proc/meminfo: memFree=762640/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=645244 CPUtime=134.54
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 40756 0 14 0 13417 37 0 0 25 0 1 0 279267082 660729856 40549 1992294400 134512640 134738160 4294956192 18446744073709551615 134589945 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 161311 40549 149 55 0 160901 0
Current children cumulated CPU time (s) 231.32
Current children cumulated vsize (KiB) 975516
[startup+342.301 s]
/proc/loadavg: 1.64 1.97 1.49 2/67 18661
/proc/meminfo: memFree=765968/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=646796 CPUtime=194.52
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 41175 0 14 0 19413 39 0 0 25 0 1 0 279267082 662319104 40968 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 161699 40968 149 55 0 161289 0
Current children cumulated CPU time (s) 291.3
Current children cumulated vsize (KiB) 977068
################
# More data... #
################
/proc/18661/statm: 166700 44469 149 55 0 166290 0
Current children cumulated CPU time (s) 4609.52
Current children cumulated vsize (KiB) 997072
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=750416/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4572.73
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 44901 0 14 0 457179 94 0 0 25 0 1 0 279267082 682803200 44470 1992294400 134512640 134738160 4294956192 18446744073709551615 134575977 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44470 149 55 0 166290 0
Current children cumulated CPU time (s) 4669.51
Current children cumulated vsize (KiB) 997072
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=750416/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4632.7
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 44905 0 14 0 463176 94 0 0 25 0 1 0 279267082 682803200 44474 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44474 149 55 0 166290 0
Current children cumulated CPU time (s) 4729.48
Current children cumulated vsize (KiB) 997072
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=750416/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4692.68
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 44906 0 14 0 469173 95 0 0 25 0 1 0 279267082 682803200 44475 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44475 149 55 0 166290 0
Current children cumulated CPU time (s) 4789.46
Current children cumulated vsize (KiB) 997072
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=750352/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4752.65
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 44921 0 14 0 475169 96 0 0 25 0 1 0 279267082 682803200 44490 1992294400 134512640 134738160 4294956192 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44490 149 55 0 166290 0
Current children cumulated CPU time (s) 4849.43
Current children cumulated vsize (KiB) 997072
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=750224/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4812.63
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 44959 0 14 0 481166 97 0 0 25 0 1 0 279267082 682803200 44528 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44528 149 55 0 166290 0
Current children cumulated CPU time (s) 4909.41
Current children cumulated vsize (KiB) 997072
[startup+5022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749968/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4872.61
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45024 0 14 0 487163 98 0 0 25 0 1 0 279267082 682803200 44593 1992294400 134512640 134738160 4294956192 18446744073709551615 134578502 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44593 149 55 0 166290 0
Current children cumulated CPU time (s) 4969.39
Current children cumulated vsize (KiB) 997072
Solver just ended. Dumping a history of the last processes samples
[startup+5030.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4880.61
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45024 0 14 0 487963 98 0 0 25 0 1 0 279267082 682803200 44593 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44593 149 55 0 166290 0
Current children cumulated CPU time (s) 4977.39
Current children cumulated vsize (KiB) 997072
[startup+5043.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4893.4
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45027 0 14 0 489242 98 0 0 25 0 1 0 279267082 682803200 44596 1992294400 134512640 134738160 4294956192 18446744073709551615 134586190 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44596 149 55 0 166290 0
Current children cumulated CPU time (s) 4990.18
Current children cumulated vsize (KiB) 997072
[startup+5046.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4896.6
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45028 0 14 0 489562 98 0 0 25 0 1 0 279267082 682803200 44597 1992294400 134512640 134738160 4294956192 18446744073709551615 134575972 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44597 149 55 0 166290 0
Current children cumulated CPU time (s) 4993.38
Current children cumulated vsize (KiB) 997072
[startup+5049.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4899.8
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45029 0 14 0 489882 98 0 0 25 0 1 0 279267082 682803200 44598 1992294400 134512640 134738160 4294956192 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44598 149 55 0 166290 0
Current children cumulated CPU time (s) 4996.58
Current children cumulated vsize (KiB) 997072
[startup+5051.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4901.4
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45030 0 14 0 490042 98 0 0 25 0 1 0 279267082 682803200 44599 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44599 149 55 0 166290 0
Current children cumulated CPU time (s) 4998.18
Current children cumulated vsize (KiB) 997072
[startup+5051.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4901.79
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45030 0 14 0 490081 98 0 0 25 0 1 0 279267082 682803200 44599 1992294400 134512640 134738160 4294956192 18446744073709551615 134586215 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44599 149 55 0 166290 0
Current children cumulated CPU time (s) 4998.57
Current children cumulated vsize (KiB) 997072
[startup+5051.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=330272 CPUtime=96.78
/proc/18655/stat : 18655 (SATzilla2009_C) S 18653 18655 18453 0 -1 4194304 260657 191806 0 0 7191 142 2204 141 25 0 1 0 279256965 338198528 68294 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/18655/statm: 82568 68294 218 399 0 82165 0
[pid=18661] ppid=18655 vsize=666800 CPUtime=4902.19
/proc/18661/stat : 18661 (vallst) R 18655 18655 18453 0 -1 4194304 45030 0 14 0 490121 98 0 0 25 0 1 0 279267082 682803200 44599 1992294400 134512640 134738160 4294956192 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/18661/statm: 166700 44599 149 55 0 166290 0
Current children cumulated CPU time (s) 4998.97
Current children cumulated vsize (KiB) 997072
[startup+5052 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18669
/proc/meminfo: memFree=749904/2055920 swapFree=4176332/4192956
[pid=18655] ppid=18653 vsize=0 CPUtime=4999.08
/proc/18655/stat : 18655 (SATzilla2009_C) R 18653 18655 18453 0 -1 4194308 260673 236836 0 14 7191 144 492331 242 19 0 1 0 279256965 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/18655/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4999.08
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 5052.06
CPU time (s): 4999.17
CPU user time (s): 4995.23
CPU system time (s): 3.9404
CPU usage (%): 98.9529
Max. virtual memory (cumulated for all children) (KiB): 997072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4995.23
system time used= 3.9404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497509
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 17510
runsolver used 4.33434 second user time and 14.0429 second system time
The end
Begin job on node77 at 2009-05-17 00:17:33
IDJOB=1825798
IDBENCH=71127
IDSOLVER=668
FILE ID=node77/1825798-1242512243
PBS_JOBID= 9307026
Free space on /tmp= 65908 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK13.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825798-1242512243/watcher-1825798-1242512243 -o /tmp/evaluation-result-1825798-1242512243/solver-1825798-1242512243 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825798-1242512243.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ee4a2d6030f643cfa5b109579b0e5c45
RANDOM SEED=1658853180
node77.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.270
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.270
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: 1294528 kB
Buffers: 44088 kB
Cached: 628336 kB
SwapCached: 10636 kB
Active: 177588 kB
Inactive: 507652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1294528 kB
SwapTotal: 4192956 kB
SwapFree: 4176332 kB
Dirty: 121660 kB
Writeback: 0 kB
Mapped: 14252 kB
Slab: 61920 kB
Committed_AS: 1039008 kB
PageTables: 1372 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= 65880 MiB
End job on node77 at 2009-05-17 01:41:58