17.48/17.53 c SATzilla is building models for class 2
17.48/17.53 c run presolver march_dl2004 for 5 seconds ...
17.48/17.53 c Bin: Executing march_dl2004
17.48/17.53 c spawning binary file with 5 seconds ...
17.48/17.53 c child exit by a signal
17.48/17.53 c march_dl2004 returned code 137.
17.48/17.53 c run presolver mxc-sr08 for 5 seconds ...
17.48/17.53 c Bin: Executing mxc-sr08
17.48/17.53 c spawning binary file with 5 seconds ...
17.48/17.53 c child exit by a signal
17.48/17.53 c mxc-sr08 returned code 137.
17.48/17.53 c Orignal number of varibales is 2754, number of clauses is 9154
17.48/17.53 c predicted feature computation time is 7.514513
17.48/17.53 c Bin: Executing satelite
17.48/17.53 c spawning binary file with 240 seconds ...
17.48/17.53 c child exited successfully
17.48/17.53 c satzilla computing base features
17.48/17.53 c Number of variabe is: 1323, Number of clause is : 7910
17.48/17.53 c Initializing...
17.48/17.53 c satzilla compute diameter ...
17.48/17.53 c start diameter features ...
17.48/17.53 c satzilla doing clause learning
17.48/17.53 c start clause learning features ...
17.48/17.53 c Bin: Executing zchaff07
17.48/17.53 c spawning binary file with 2 seconds ...
17.48/17.53 c child exit by a signal
17.48/17.53 c satzilla doing survey propogation probe
17.48/17.53 c do survay propogation for 2 second ...
17.48/17.53 c satzilla doing local search probe
17.48/17.53 c satzilla doing lobjois search-space size estimate
17.48/17.53 c features are:2754 9154 1323 7910 1.08163 0.157269 0.167257 0.446443 0.708357 1.4049 0.00264311 0.751233 0.00151172 0.0634921 0.875625 0.0212389 0.590139 0.00264311 1.01337 0.00139064 0.0123894 1.40966 0.048315 0.133435 0 0.666667 0.898066 0.00104396 1.01113 0.000126422 0.005689 2.4349 0.423894 0.00211812 1.37821 0.000632111 0.0108723 5.91831 0.0668895 5 7 0.537126 957.857 0.45772 511 1975 1662 512 1172 566 819 27.4178 0.167556 21.7319 35.9723 35.6415 21.9784 30.0168 22.4863 27.9423 0.113367 1.20751 2.08435e-05 0.655756 0.327787 0.00557023 0.103956 0.012519 0.0362591 0.0692144 0.747196 1.3416e-07 0.313486 0.134396 4.3619e-06 0.0697327 0.0453572 0.0670203 94.3574 0.23715 212.393 0.0703952 213 201 225 0.598186 0.475125 0.844045 0.0965122 0.283511 0.590842
17.48/17.53 c satzilla's ranking:
17.48/17.53 c 1) mxc-sr08: 2.894619
17.48/17.53 c 2) minisat20SAT07: 2.287977
17.48/17.53 c 3) minisat20: 1.791030
17.48/17.53 c 4) march_dl2004: 1.384376
17.48/17.53 c 5) vallst: 0.894050
17.48/17.53 c 6) zchaff_rand: 0.880368
17.48/17.53 c 7) tts-4-0: -0.055713
17.48/17.53 c 8) SATenstein: -10000.000000
17.48/17.53 c 9) gnovelty+: -10000.000000
17.48/17.53 c 10) adaptg2wsat+: -10000.000000
17.48/17.53 c 11) adaptg2wsat0: -10000.000000
17.48/17.53 c 12) picosat846: -10000.000000
17.48/17.53 c 13) kcnfs04SAT07: -10000.000000
17.48/17.53 c satzilla running mxc-sr08 ...
1199.28/1199.83 c Bin: Executing mxc-sr08
1199.28/1199.83 c spawning binary file with 1182 seconds ...
1199.28/1199.83 c child exit by a signal
1199.28/1199.83 c mxc-sr08 returned code 137.
1199.28/1199.83 c satzilla running minisat20SAT07 ...
1199.28/1199.83 c Bin: Executing minisat20SAT07
1199.28/1199.83 c minisat20SAT07 returned code 1.
1199.28/1199.83 c satzilla running minisat20 ...
1199.28/1199.83 c Bin: Executing minisat20
1199.28/1199.83 c minisat20 returned code 1.
1199.28/1199.83 c satzilla running march_dl2004 ...
1199.28/1199.83 c Bin: Executing march_dl2004
1199.28/1199.83 c march_dl2004 returned code 1.
1199.28/1199.83 c satzilla running vallst ...
1199.28/1199.83 c Bin: Executing vallst
1199.28/1199.83 c vallst returned code 1.
1199.28/1199.83 c satzilla running zchaff_rand ...
1199.28/1199.83 c Bin: Executing zchaff_rand
1199.28/1199.83 c zchaff_rand returned code 1.
1199.28/1199.83 c satzilla running tts-4-0 ...
1199.28/1199.83 c Bin: Executing tts-4-0
1199.28/1199.83 c tts-4-0 returned code 1.
1199.28/1199.83 c satzilla running SATenstein ...
1199.28/1199.83 c Bin: Executing SATenstein
1199.28/1199.83 c SATenstein returned code 1.
1199.28/1199.83 c satzilla running gnovelty+ ...
1199.28/1199.83 c Bin: Executing gnovelty+
1199.28/1199.83 c gnovelty+ returned code 1.
1199.28/1199.83 c satzilla running adaptg2wsat+ ...
1199.28/1199.83 c Bin: Executing adaptg2wsat+
1199.28/1199.83 c adaptg2wsat+ returned code 1.
1199.28/1199.83 c satzilla running adaptg2wsat0 ...
1199.28/1199.83 c Bin: Executing adaptg2wsat0
1199.28/1199.83 c adaptg2wsat0 returned code 1.
1199.28/1199.83 c satzilla running picosat846 ...
1199.28/1199.83 c Bin: Executing picosat846
1199.28/1199.83 c picosat846 returned code 1.
1199.28/1199.83 c satzilla running kcnfs04SAT07 ...
1199.28/1199.83 c Bin: Executing kcnfs04SAT07
1199.28/1199.83 c kcnfs04SAT07 returned code 1.
1199.28/1199.83 c ERROR: All Failed!
1199.28/1199.83 c SATZILLA_TIME=1199.500000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1728334-1240735624/watcher-1728334-1240735624 -o /tmp/evaluation-result-1728334-1240735624/solver-1728334-1240735624 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1728334-1240735624.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.83 1.68 1.31 3/64 21464
/proc/meminfo: memFree=1784872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=900 CPUtime=0
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 126 0 0 0 0 0 0 0 19 0 1 0 101589611 921600 121 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 225 122 50 118 0 104 0
[startup+0.066835 s]
/proc/loadavg: 1.83 1.68 1.31 3/64 21464
/proc/meminfo: memFree=1784872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=3236 CPUtime=0.06
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 743 0 0 0 6 0 0 0 19 0 1 0 101589611 3313664 723 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 809 724 73 118 0 688 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5292
[startup+0.101837 s]
/proc/loadavg: 1.83 1.68 1.31 3/64 21464
/proc/meminfo: memFree=1784872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=3412 CPUtime=0.09
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 789 0 0 0 9 0 0 0 19 0 1 0 101589611 3493888 768 1992294400 134512640 134996440 4294956176 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 853 768 75 118 0 732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5468
[startup+0.301854 s]
/proc/loadavg: 1.83 1.68 1.31 3/64 21464
/proc/meminfo: memFree=1784872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=3740 CPUtime=0.29
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 881 0 0 0 29 0 0 0 21 0 1 0 101589611 3829760 860 1992294400 134512640 134996440 4294956176 18446744073709551615 134552092 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 935 860 75 118 0 814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5796
[startup+0.70189 s]
/proc/loadavg: 1.83 1.68 1.31 3/64 21464
/proc/meminfo: memFree=1784872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=3872 CPUtime=0.69
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 887 0 0 0 69 0 0 0 25 0 1 0 101589611 3964928 866 1992294400 134512640 134996440 4294956176 18446744073709551615 134532980 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 968 866 75 118 0 847 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5928
[startup+1.50196 s]
/proc/loadavg: 1.83 1.68 1.31 2/66 21466
/proc/meminfo: memFree=1782168/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=4004 CPUtime=1.49
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 929 0 0 0 149 0 0 0 25 0 1 0 101589611 4100096 908 1992294400 134512640 134996440 4294956176 18446744073709551615 134564684 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 1001 908 75 118 0 880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6060
[startup+3.1011 s]
/proc/loadavg: 1.83 1.68 1.31 2/66 21466
/proc/meminfo: memFree=1782616/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=0
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 101589611 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 112 96 399 0 111 0
[pid=21465] ppid=21464 vsize=4136 CPUtime=3.09
/proc/21465/stat : 21465 (march_dl2004) R 21464 21464 21331 0 -1 4194304 960 0 0 0 309 0 0 0 25 0 1 0 101589611 4235264 939 1992294400 134512640 134996440 4294956176 18446744073709551615 134568199 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21465/statm: 1034 939 75 118 0 913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6192
[startup+6.30238 s]
/proc/loadavg: 1.77 1.66 1.31 2/66 21467
/proc/meminfo: memFree=1783832/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2056 CPUtime=4.99
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 156 971 0 0 0 0 499 0 19 0 1 0 101589611 2105344 125 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 514 125 107 399 0 111 0
[pid=21467] ppid=21464 vsize=3460 CPUtime=1.29
/proc/21467/stat : 21467 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 793 0 0 0 129 0 0 0 25 0 1 0 101590111 3543040 753 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21467/statm: 865 753 71 138 0 724 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 5516
[startup+12.7019 s]
/proc/loadavg: 1.71 1.65 1.31 2/66 21469
/proc/meminfo: memFree=1782872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=2800 CPUtime=11.1
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 433 2335 0 0 103 0 1007 0 25 0 1 0 101589611 2867200 334 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 700 334 136 399 0 297 0
[pid=21469] ppid=21464 vsize=5200 CPUtime=1.56
/proc/21469/stat : 21469 (zchaff07) R 21464 21464 21331 0 -1 4194304 995 0 0 0 153 3 0 0 25 0 1 0 101590724 5324800 836 1992294400 134512640 135538726 4294956240 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21469/statm: 1300 836 126 250 0 1047 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 8000
[startup+25.5011 s]
/proc/loadavg: 1.55 1.62 1.30 2/66 21470
/proc/meminfo: memFree=1781152/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=4120 CPUtime=7.95
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 963 0 0 0 795 0 0 0 25 0 1 0 101591364 4218880 923 1992294400 134512640 135078026 4294956176 18446744073709551615 134524338 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 1030 923 71 138 0 889 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 8456
[startup+51.1013 s]
/proc/loadavg: 1.36 1.57 1.29 2/66 21470
/proc/meminfo: memFree=1779872/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=5304 CPUtime=33.54
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 1263 0 0 0 3353 1 0 0 25 0 1 0 101591364 5431296 1223 1992294400 134512640 135078026 4294956176 18446744073709551615 134534294 0 0 8392704 0 0 0 0 17 1 0 0
/proc/21470/statm: 1326 1223 71 138 0 1185 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 9640
[startup+102.306 s]
/proc/loadavg: 1.15 1.48 1.27 2/66 21470
/proc/meminfo: memFree=1779424/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=5840 CPUtime=84.72
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 1375 0 0 0 8471 1 0 0 25 0 1 0 101591364 5980160 1335 1992294400 134512640 135078026 4294956176 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 1460 1335 71 138 0 1319 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 10176
[startup+162.301 s]
/proc/loadavg: 1.06 1.39 1.25 2/66 21470
/proc/meminfo: memFree=1778976/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=6240 CPUtime=144.69
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 1476 0 0 0 14468 1 0 0 25 0 1 0 101591364 6389760 1436 1992294400 134512640 135078026 4294956176 18446744073709551615 134534276 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 1560 1436 71 138 0 1419 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 10576
[startup+222.301 s]
/proc/loadavg: 1.02 1.32 1.24 2/66 21470
/proc/meminfo: memFree=1778592/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=6648 CPUtime=204.66
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 1578 0 0 0 20465 1 0 0 25 0 1 0 101591364 6807552 1538 1992294400 134512640 135078026 4294956176 18446744073709551615 134523686 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 1662 1538 71 138 0 1521 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 10984
[startup+282.302 s]
/proc/loadavg: 1.00 1.26 1.22 2/66 21470
/proc/meminfo: memFree=1778336/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=6916 CPUtime=264.64
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 1636 0 0 0 26463 1 0 0 25 0 1 0 101591364 7081984 1596 1992294400 134512640 135078026 4294956176 18446744073709551615 134534321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 1729 1596 71 138 0 1588 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 11252
[startup+342.302 s]
/proc/loadavg: 1.00 1.21 1.20 2/66 21470
/proc/meminfo: memFree=1777952/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=7316 CPUtime=324.62
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 1730 0 0 0 32461 1 0 0 25 0 1 0 101591364 7491584 1690 1992294400 134512640 135078026 4294956176 18446744073709551615 134534640 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 1829 1690 71 138 0 1688 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.00 1.03 1.10 2/66 21470
/proc/meminfo: memFree=1776352/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=8600 CPUtime=804.42
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2071 0 0 0 80440 2 0 0 25 0 1 0 101591364 8806400 2031 1992294400 134512640 135078026 4294956176 18446744073709551615 134534559 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2150 2031 71 138 0 2009 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 12936
[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.09 2/66 21476
/proc/meminfo: memFree=1776160/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=8732 CPUtime=864.4
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2097 0 0 0 86437 3 0 0 25 0 1 0 101591364 8941568 2057 1992294400 134512640 135078026 4294956176 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2183 2057 71 138 0 2042 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 13068
[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.08 2/66 21476
/proc/meminfo: memFree=1776160/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=8732 CPUtime=924.38
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2097 0 0 0 92435 3 0 0 25 0 1 0 101591364 8941568 2057 1992294400 134512640 135078026 4294956176 18446744073709551615 134534584 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2183 2057 71 138 0 2042 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 13068
[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/66 21476
/proc/meminfo: memFree=1775904/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=8996 CPUtime=984.36
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2162 0 0 0 98433 3 0 0 25 0 1 0 101591364 9211904 2122 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2249 2122 71 138 0 2108 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 13332
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/66 21476
/proc/meminfo: memFree=1775904/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=8996 CPUtime=1044.33
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2162 0 0 0 104430 3 0 0 25 0 1 0 101591364 9211904 2122 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2249 2122 71 138 0 2108 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 13332
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 21476
/proc/meminfo: memFree=1775840/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=8996 CPUtime=1104.3
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2163 0 0 0 110427 3 0 0 25 0 1 0 101591364 9211904 2123 1992294400 134512640 135078026 4294956176 18446744073709551615 134522108 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2249 2123 71 138 0 2108 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 13332
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775776/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1164.28
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 116425 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534219 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 13476
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1172.28
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 117225 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1189.78
Current children cumulated vsize (KiB) 13476
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1178.68
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 117865 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534559 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1196.18
Current children cumulated vsize (KiB) 13476
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1180.28
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 118025 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1197.78
Current children cumulated vsize (KiB) 13476
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1181.08
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 118105 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534329 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1198.58
Current children cumulated vsize (KiB) 13476
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1181.48
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 118145 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534301 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1198.98
Current children cumulated vsize (KiB) 13476
[startup+1199.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1181.68
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 118165 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134533760 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1199.18
Current children cumulated vsize (KiB) 13476
[startup+1199.8 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 21476
/proc/meminfo: memFree=1775712/2055920 swapFree=4192812/4192956
[pid=21464] ppid=21462 vsize=4336 CPUtime=17.5
/proc/21464/stat : 21464 (SATzilla2009_C) S 21462 21464 21331 0 -1 4194304 993 3388 0 0 519 23 1203 5 25 0 1 0 101589611 4440064 625 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21464/statm: 1084 625 219 399 0 681 0
[pid=21470] ppid=21464 vsize=9140 CPUtime=1181.78
/proc/21470/stat : 21470 (mxc-sr08) R 21464 21464 21331 0 -1 4194304 2180 0 0 0 118175 3 0 0 25 0 1 0 101591364 9359360 2140 1992294400 134512640 135078026 4294956176 18446744073709551615 134534287 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21470/statm: 2285 2140 71 138 0 2144 0
Current children cumulated CPU time (s) 1199.28
Current children cumulated vsize (KiB) 13476
Child status: 17
Real time (s): 1199.84
CPU time (s): 1199.34
CPU user time (s): 1199.02
CPU system time (s): 0.32395
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (KiB): 13476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.02
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6577
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= 2992
runsolver used 1.10583 second user time and 3.2655 second system time
The end
Begin job on node58 at 2009-04-26 10:47:04
IDJOB=1728334
IDBENCH=24668
IDSOLVER=527
FILE ID=node58/1728334-1240735624
PBS_JOBID= 9186982
Free space on /tmp= 65940 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest05/others/linvrinv9.sat05-568.reshuffled-07.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1728334-1240735624/watcher-1728334-1240735624 -o /tmp/evaluation-result-1728334-1240735624/solver-1728334-1240735624 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1728334-1240735624.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0457634d4b446c9bbce48df93abd0143
RANDOM SEED=603254582
node58.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.233
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.233
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: 1785416 kB
Buffers: 14060 kB
Cached: 185316 kB
SwapCached: 0 kB
Active: 72752 kB
Inactive: 140540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 31588 kB
Writeback: 0 kB
Mapped: 23644 kB
Slab: 43360 kB
Committed_AS: 367140 kB
PageTables: 1356 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= 65912 MiB
End job on node58 at 2009-04-26 11:07:04