49.65/49.75 c SATzilla is building models for class 2
49.65/49.75 c run presolver march_dl2004 for 5 seconds ...
49.65/49.75 c Bin: Executing march_dl2004
49.65/49.75 c spawning binary file with 5 seconds ...
49.65/49.75 c child exit by a signal
49.65/49.75 c march_dl2004 returned code 137.
49.65/49.75 c run presolver mxc-sr08 for 5 seconds ...
49.65/49.75 c Bin: Executing mxc-sr08
49.65/49.75 c spawning binary file with 5 seconds ...
49.65/49.75 c child exit by a signal
49.65/49.75 c mxc-sr08 returned code 137.
49.65/49.75 c Orignal number of varibales is 219756, number of clauses is 1008653
49.65/49.75 c predicted feature computation time is 39.447372
49.65/49.75 c Bin: Executing satelite
49.65/49.75 c spawning binary file with 240 seconds ...
49.65/49.75 c child exited successfully
49.65/49.75 c satzilla computing base features
49.65/49.75 c Number of variabe is: 72951, Number of clause is : 427478
49.65/49.75 c Initializing...
49.65/49.75 c satzilla compute diameter ...
49.65/49.75 c start diameter features ...
49.65/49.75 c satzilla doing clause learning
49.65/49.75 c start clause learning features ...
49.65/49.75 c Bin: Executing zchaff07
49.65/49.75 c spawning binary file with 2 seconds ...
49.65/49.75 c child exit by a signal
49.65/49.75 c satzilla doing survey propogation probe
49.65/49.75 c do survay propogation for 2 second ...
49.65/49.75 c satzilla doing local search probe
49.65/49.75 c satzilla doing lobjois search-space size estimate
49.65/49.75 c features are:219756 1.00865e+06 72951 427478 2.01238 1.35954 0.170654 0.366299 1.03297 1.36481 3.65553e-05 0.438002 2.74157e-05 0.000164494 1.01711 0.593628 0.898785 3.65553e-05 0.488347 1.40358e-05 7.95363e-05 2.7334 0.248984 0.159637 0 0.789474 3.05628 2.26512e-05 0.480664 7.01791e-06 6.55004e-05 2.50557 0.748467 3.74209e-05 0.481464 9.35721e-06 8.88935e-05 14.9412 0.015748 14 15 0.223718 49 0 49 49 49 49 49 49 49 1.93878 0 1.93878 1.93878 1.93878 1.93878 1.93878 1.93878 1.93878 0.531164 0.58912 1.10009e-10 0.966886 0.864192 0.048238 0.811233 0.213776 0.654421 0.0149686 0.861246 3.08428e-07 0.202119 0.031761 9.40745e-06 0.0251496 0.00182255 0.0132467 7364 0 25043 0 25043 25043 25043 2.49041 0 0.967027 0 0.178673 0.546858
49.65/49.75 c satzilla's ranking:
49.65/49.75 c 1) zchaff_rand: 5.645108
49.65/49.75 c 2) minisat20SAT07: 3.701121
49.65/49.75 c 3) minisat20: 3.034093
49.65/49.75 c 4) mxc-sr08: 2.482790
49.65/49.75 c 5) march_dl2004: 1.571633
49.65/49.75 c 6) vallst: 0.672131
49.65/49.75 c 7) tts-4-0: -0.005265
49.65/49.75 c 8) SATenstein: -10000.000000
49.65/49.75 c 9) gnovelty+: -10000.000000
49.65/49.75 c 10) adaptg2wsat+: -10000.000000
49.65/49.75 c 11) adaptg2wsat0: -10000.000000
49.65/49.75 c 12) picosat846: -10000.000000
49.65/49.75 c 13) kcnfs04SAT07: -10000.000000
49.65/49.75 c satzilla running zchaff_rand ...
1199.52/1199.92 c Bin: Executing zchaff_rand
1199.52/1199.92 c spawning binary file with 1150 seconds ...
1199.52/1199.92 c child exit by a signal
1199.52/1199.92 c zchaff_rand returned code 137.
1199.52/1199.92 c satzilla running minisat20SAT07 ...
1199.52/1199.92 c Bin: Executing minisat20SAT07
1199.52/1199.92 c minisat20SAT07 returned code 1.
1199.52/1199.92 c satzilla running minisat20 ...
1199.52/1199.92 c Bin: Executing minisat20
1199.52/1199.92 c minisat20 returned code 1.
1199.52/1199.92 c satzilla running mxc-sr08 ...
1199.52/1199.92 c Bin: Executing mxc-sr08
1199.52/1199.92 c mxc-sr08 returned code 1.
1199.52/1199.92 c satzilla running march_dl2004 ...
1199.52/1199.92 c Bin: Executing march_dl2004
1199.52/1199.92 c march_dl2004 returned code 1.
1199.52/1199.92 c satzilla running vallst ...
1199.52/1199.92 c Bin: Executing vallst
1199.52/1199.92 c vallst returned code 1.
1199.52/1199.92 c satzilla running tts-4-0 ...
1199.52/1199.92 c Bin: Executing tts-4-0
1199.52/1199.92 c tts-4-0 returned code 1.
1199.52/1199.92 c satzilla running SATenstein ...
1199.52/1199.92 c Bin: Executing SATenstein
1199.52/1199.92 c SATenstein returned code 1.
1199.52/1199.92 c satzilla running gnovelty+ ...
1199.52/1199.92 c Bin: Executing gnovelty+
1199.52/1199.92 c gnovelty+ returned code 1.
1199.52/1199.92 c satzilla running adaptg2wsat+ ...
1199.52/1199.92 c Bin: Executing adaptg2wsat+
1199.52/1199.92 c adaptg2wsat+ returned code 1.
1199.52/1199.92 c satzilla running adaptg2wsat0 ...
1199.52/1199.92 c Bin: Executing adaptg2wsat0
1199.52/1199.92 c adaptg2wsat0 returned code 1.
1199.52/1199.92 c satzilla running picosat846 ...
1199.52/1199.92 c Bin: Executing picosat846
1199.52/1199.92 c picosat846 returned code 1.
1199.52/1199.92 c satzilla running kcnfs04SAT07 ...
1199.52/1199.92 c Bin: Executing kcnfs04SAT07
1199.52/1199.92 c kcnfs04SAT07 returned code 1.
1199.52/1199.92 c ERROR: All Failed!
1199.52/1199.92 c SATZILLA_TIME=1199.740000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1716122-1240611459/watcher-1716122-1240611459 -o /tmp/evaluation-result-1716122-1240611459/solver-1716122-1240611459 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1716122-1240611459.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.96 3/65 31663
/proc/meminfo: memFree=1288600/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=5440 CPUtime=0
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 884 0 0 0 0 0 0 0 21 0 1 0 89175107 5570560 879 1992294400 134512640 134996440 4294956192 18446744073709551615 134549401 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 1360 886 49 118 0 1239 0
[startup+0.0280621 s]
/proc/loadavg: 0.92 0.98 0.96 3/65 31663
/proc/meminfo: memFree=1288600/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=17576 CPUtime=0.01
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 2837 0 0 0 1 0 0 0 21 0 1 0 89175107 17997824 2832 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 4394 2836 49 118 0 4273 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19632
[startup+0.101068 s]
/proc/loadavg: 0.92 0.98 0.96 3/65 31663
/proc/meminfo: memFree=1288600/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=23060 CPUtime=0.09
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 4547 0 0 0 8 1 0 0 21 0 1 0 89175107 23613440 4542 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 5765 4542 50 118 0 5644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25116
[startup+0.30109 s]
/proc/loadavg: 0.92 0.98 0.96 3/65 31663
/proc/meminfo: memFree=1288600/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=25964 CPUtime=0.29
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 5456 0 0 0 28 1 0 0 23 0 1 0 89175107 26587136 5451 1992294400 134512640 134996440 4294956192 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 6491 5451 50 118 0 6370 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28020
[startup+0.701142 s]
/proc/loadavg: 0.92 0.98 0.96 3/65 31663
/proc/meminfo: memFree=1288600/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=31244 CPUtime=0.69
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 7083 0 0 0 66 3 0 0 25 0 1 0 89175107 31993856 7078 1992294400 134512640 134996440 4294956192 18446744073709551615 134777091 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 7844 7079 50 118 0 7723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33300
[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.96 2/67 31665
/proc/meminfo: memFree=1252936/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=82452 CPUtime=1.49
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 16853 0 0 0 142 7 0 0 25 0 1 0 89175107 84430848 16416 1992294400 134512640 134996440 4294956192 18446744073709551615 134650634 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 20613 16416 52 118 0 20492 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84508
[startup+3.1014 s]
/proc/loadavg: 0.92 0.98 0.96 2/67 31665
/proc/meminfo: memFree=1227016/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=0
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 132 0 0 0 0 0 0 0 20 0 1 0 89175106 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 112 96 399 0 111 0
[pid=31664] ppid=31663 vsize=89712 CPUtime=3.09
/proc/31664/stat : 31664 (march_dl2004) R 31663 31663 31468 0 -1 4194304 23544 0 0 0 299 10 0 0 25 0 1 0 89175107 91865088 18199 1992294400 134512640 134996440 4294956192 18446744073709551615 134819774 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31664/statm: 22428 18199 55 118 0 22307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91768
[startup+6.30176 s]
/proc/loadavg: 1.09 1.02 0.97 2/67 31666
/proc/meminfo: memFree=1212744/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=5
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 152 28169 0 0 0 0 487 13 19 0 1 0 89175106 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 121 104 399 0 111 0
[pid=31666] ppid=31663 vsize=104392 CPUtime=1.27
/proc/31666/stat : 31666 (mxc-sr08) R 31663 31663 31468 0 -1 4194304 27877 0 0 0 115 12 0 0 25 0 1 0 89175608 106897408 23306 1992294400 134512640 135078026 4294956192 18446744073709551615 134560545 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31666/statm: 26098 23306 55 138 0 25957 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 106448
[startup+12.7015 s]
/proc/loadavg: 1.16 1.03 0.98 2/67 31667
/proc/meminfo: memFree=1181320/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=2056 CPUtime=10.02
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 179 63984 0 0 0 0 969 33 16 0 1 0 89175106 2105344 138 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 514 138 120 399 0 111 0
[pid=31667] ppid=31663 vsize=112648 CPUtime=2.66
/proc/31667/stat : 31667 (satelite) R 31663 31663 31468 0 -1 4194304 28740 0 0 0 249 17 0 0 25 0 1 0 89176110 115351552 26478 1992294400 134512640 135037501 4294956176 18446744073709551615 134582061 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31667/statm: 28162 26478 67 128 0 28031 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 114704
[startup+25.5019 s]
/proc/loadavg: 1.34 1.08 0.99 2/66 31667
/proc/meminfo: memFree=1240784/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=41600 CPUtime=25.46
/proc/31663/stat : 31663 (SATzilla2009_C) R 31661 31663 31468 0 -1 4194304 9790 107571 0 0 783 4 1697 62 25 0 1 0 89175106 42598400 9741 1992294400 134512640 136149437 4294956224 18446744073709551615 134535653 0 0 4096 0 0 0 0 17 1 0 0
/proc/31663/statm: 10400 9741 135 399 0 9997 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41600
[startup+51.1018 s]
/proc/loadavg: 1.41 1.12 1.01 2/67 31669
/proc/meminfo: memFree=1188488/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=663792 CPUtime=1.33
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 19816 0 0 0 125 8 0 0 25 0 1 0 89180082 679723008 14494 1992294400 134512640 135365884 4294956176 18446744073709551615 134843188 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 165948 14494 108 208 0 165720 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 715624
[startup+102.306 s]
/proc/loadavg: 1.18 1.10 1.00 2/67 31669
/proc/meminfo: memFree=1134024/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=706680 CPUtime=52.51
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 40136 0 0 0 5227 24 0 0 25 0 1 0 89180082 723640320 24377 1992294400 134512640 135365884 4294956176 18446744073709551615 134542751 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 176670 24377 112 208 0 176442 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 758512
[startup+162.301 s]
/proc/loadavg: 1.06 1.08 1.00 2/67 31669
/proc/meminfo: memFree=1130440/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=730308 CPUtime=112.49
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 63817 0 0 0 11208 41 0 0 25 0 1 0 89180082 747835392 25307 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 182577 25307 112 208 0 182349 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 782140
[startup+222.302 s]
/proc/loadavg: 1.02 1.06 1.00 2/67 31669
/proc/meminfo: memFree=1127048/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=732632 CPUtime=172.47
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 80959 0 0 0 17192 55 0 0 25 0 1 0 89180082 750215168 26109 1992294400 134512640 135365884 4294956176 18446744073709551615 134544119 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 183158 26109 112 208 0 182930 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 784464
[startup+282.302 s]
/proc/loadavg: 1.01 1.05 1.00 2/67 31669
/proc/meminfo: memFree=1120392/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=735008 CPUtime=232.46
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 96884 0 0 0 23177 69 0 0 25 0 1 0 89180082 752648192 27844 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 183752 27844 112 208 0 183524 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 786840
[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/67 31669
/proc/meminfo: memFree=1114696/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=736712 CPUtime=292.44
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 111147 0 0 0 29164 80 0 0 25 0 1 0 89180082 754393088 29207 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 184178 29207 112 208 0 183950 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 788544
################
# More data... #
################
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1084296/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=779452 CPUtime=712.34
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 190510 0 0 0 71078 156 0 0 25 0 1 0 89180082 798158848 36760 1992294400 134512640 135365884 4294956176 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 194863 36760 112 208 0 194635 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 831284
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1081672/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=780800 CPUtime=772.32
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 200198 0 0 0 77070 162 0 0 25 0 1 0 89180082 799539200 37418 1992294400 134512640 135365884 4294956176 18446744073709551615 135090403 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 195200 37418 112 208 0 194972 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 832632
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1077768/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=782196 CPUtime=832.31
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 209361 0 0 0 83061 170 0 0 25 0 1 0 89180082 800968704 38411 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 195549 38411 112 208 0 195321 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 834028
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1073544/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=783336 CPUtime=892.29
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 218608 0 0 0 89050 179 0 0 25 0 1 0 89180082 802136064 39488 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 195834 39488 112 208 0 195606 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 835168
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1070472/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=784384 CPUtime=952.28
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 227068 0 0 0 95041 187 0 0 25 0 1 0 89180082 803209216 40208 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196096 40208 112 208 0 195868 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 836216
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1066760/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=785560 CPUtime=1012.25
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 236203 0 0 0 101030 195 0 0 25 0 1 0 89180082 804413440 41173 1992294400 134512640 135365884 4294956176 18446744073709551615 134544119 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196390 41173 112 208 0 196162 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 837392
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1063304/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=786860 CPUtime=1072.24
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 245215 0 0 0 107020 204 0 0 25 0 1 0 89180082 805744640 42015 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196715 42015 112 208 0 196487 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 838692
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1060296/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=787508 CPUtime=1132.22
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 253278 0 0 0 113010 212 0 0 25 0 1 0 89180082 806408192 42768 1992294400 134512640 135365884 4294956176 18446744073709551615 134543954 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196877 42768 112 208 0 196649 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 839340
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1060232/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=787668 CPUtime=1140.22
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 254173 0 0 0 113809 213 0 0 25 0 1 0 89180082 806572032 42803 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196917 42803 112 208 0 196689 0
Current children cumulated CPU time (s) 1189.92
Current children cumulated vsize (KiB) 839500
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1060040/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=787828 CPUtime=1146.62
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 255052 0 0 0 114448 214 0 0 25 0 1 0 89180082 806735872 42822 1992294400 134512640 135365884 4294956176 18446744073709551615 134542751 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196957 42822 112 208 0 196729 0
Current children cumulated CPU time (s) 1196.32
Current children cumulated vsize (KiB) 839660
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1060040/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=787828 CPUtime=1148.22
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 255064 0 0 0 114608 214 0 0 25 0 1 0 89180082 806735872 42834 1992294400 134512640 135365884 4294956176 18446744073709551615 134577061 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196957 42834 112 208 0 196729 0
Current children cumulated CPU time (s) 1197.92
Current children cumulated vsize (KiB) 839660
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1059976/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=787828 CPUtime=1149.02
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 255498 0 0 0 114687 215 0 0 25 0 1 0 89180082 806735872 42838 1992294400 134512640 135365884 4294956176 18446744073709551615 134543639 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196957 42838 112 208 0 196729 0
Current children cumulated CPU time (s) 1198.72
Current children cumulated vsize (KiB) 839660
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1059976/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=787828 CPUtime=1149.42
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4194304 255499 0 0 0 114727 215 0 0 25 0 1 0 89180082 806735872 42839 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 196957 42839 112 208 0 196729 0
Current children cumulated CPU time (s) 1199.12
Current children cumulated vsize (KiB) 839660
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31669
/proc/meminfo: memFree=1059976/2055920 swapFree=4192956/4192956
[pid=31663] ppid=31661 vsize=51832 CPUtime=49.7
/proc/31663/stat : 31663 (SATzilla2009_C) S 31661 31663 31468 0 -1 4194304 23548 118840 0 0 2996 14 1892 68 25 0 1 0 89175106 53075968 12597 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/31663/statm: 12958 12597 220 399 0 12555 0
[pid=31669] ppid=31663 vsize=0 CPUtime=1149.82
/proc/31669/stat : 31669 (zchaff_rand) R 31663 31663 31468 0 -1 4195332 255500 0 0 0 114767 215 0 0 25 0 1 0 89180082 0 0 1992294400 0 0 0 0 0 256 0 8392704 0 0 0 0 17 1 0 0
/proc/31669/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.52
Current children cumulated vsize (KiB) 51832
Child status: 17
Real time (s): 1199.93
CPU time (s): 1199.58
CPU user time (s): 1196.57
CPU system time (s): 3.01454
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 841220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.57
system time used= 3.01454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397902
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= 2418
runsolver used 1.40279 second user time and 2.96455 second system time
The end
Begin job on node91 at 2009-04-25 00:17:41
IDJOB=1716122
IDBENCH=20368
IDSOLVER=527
FILE ID=node91/1716122-1240611459
PBS_JOBID= 9186235
Free space on /tmp= 66504 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716122-1240611459/watcher-1716122-1240611459 -o /tmp/evaluation-result-1716122-1240611459/solver-1716122-1240611459 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1716122-1240611459.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED=1814605224
node91.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.241
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.241
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: 1289080 kB
Buffers: 83924 kB
Cached: 585196 kB
SwapCached: 0 kB
Active: 314304 kB
Inactive: 369320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1289080 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 49444 kB
Writeback: 0 kB
Mapped: 24316 kB
Slab: 69088 kB
Committed_AS: 167216 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66472 MiB
End job on node91 at 2009-04-25 00:37:41