255.69/255.93 c SATzilla is building models for class 1
255.69/255.93 c run presolver SATenstein for 30 seconds ...
255.69/255.93 c Bin: Executing SATenstein
255.69/255.93 c spawning binary file with 30 seconds ...
255.69/255.93 c child exit by a signal
255.69/255.93 c SATenstein returned code 137.
255.69/255.93 c run presolver mxc-sr08 for 30 seconds ...
255.69/255.93 c Bin: Executing mxc-sr08
255.69/255.93 c spawning binary file with 30 seconds ...
255.69/255.93 c child exit by a signal
255.69/255.93 c mxc-sr08 returned code 137.
255.69/255.93 c Orignal number of varibales is 670867, number of clauses is 3513333
255.69/255.93 c predicted feature computation time is -10172.261044
255.69/255.93 c Bin: Executing satelite
255.69/255.93 c spawning binary file with 240 seconds ...
255.69/255.93 c child exited successfully
255.69/255.93 c satzilla computing base features
255.69/255.93 c Number of variabe is: 146997, Number of clause is : 1504771
255.69/255.93 c Initializing...
255.69/255.93 c satzilla compute diameter ...
255.69/255.93 c start diameter features ...
255.69/255.93 c satzilla doing clause learning
255.69/255.93 c start clause learning features ...
255.69/255.93 c Bin: Executing zchaff07
255.69/255.93 c spawning binary file with 2 seconds ...
255.69/255.93 c child exit by a signal
255.69/255.93 c satzilla doing survey propogation probe
255.69/255.93 c do survay propogation for 2 second ...
255.69/255.93 c satzilla doing local search probe
255.69/255.93 c satzilla doing lobjois search-space size estimate
255.69/255.93 c features are:670867 3.51333e+06 146997 1.50477e+06 3.56381 1.3348 0.0976873 0.518419 0.607892 1.17849 2.35951e-05 0.426673 1.36057e-05 0.000129254 0.893035 0.0694052 0.85035 2.35951e-05 3.29382 6.64553e-07 0.0010686 1.95364 0.387687 0.126591 0 1 1.93664 8.04672e-06 3.26341 0 0.000801451 1.90413 0.413196 1.79328e-05 3.8769 1.32911e-06 0.00211727 6 0 6 6 -0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302169 0.887099 0.000626536 1 0.832246 0.109613 0.337162 0.109613 0.125458 0.290041 0.296022 0.000589456 1 0.321277 0.139175 0.321277 0.270618 0.3185 8774 0 0 0 0 0 0 11.9598 0 1.05233 0 0.0138152 0.0320149
255.69/255.93 c satzilla's ranking:
255.69/255.93 c 1) SATenstein: 4478.833317
255.69/255.93 c 2) adaptg2wsat0: 2.440509
255.69/255.93 c 3) adaptg2wsat+: 1.458924
255.69/255.93 c 4) gnovelty+: 1.341322
255.69/255.93 c 5) picosat846: 1.089779
255.69/255.93 c 6) march_dl2004: 0.702483
255.69/255.93 c 7) kcnfs04SAT07: -40.904575
255.69/255.93 c 8) mxc-sr08: -10000.000000
255.69/255.93 c 9) tts-4-0: -10000.000000
255.69/255.93 c 10) zchaff_rand: -10000.000000
255.69/255.93 c 11) vallst: -10000.000000
255.69/255.93 c 12) minisat20: -10000.000000
255.69/255.93 c 13) minisat20SAT07: -10000.000000
255.69/255.93 c satzilla running SATenstein ...
1199.59/1200.25 c Bin: Executing SATenstein
1199.59/1200.25 c spawning binary file with 944 seconds ...
1199.59/1200.25 c child exit by a signal
1199.59/1200.25 c SATenstein returned code 137.
1199.59/1200.25 c satzilla running adaptg2wsat0 ...
1199.59/1200.25 c Bin: Executing adaptg2wsat0
1199.59/1200.25 c adaptg2wsat0 returned code 1.
1199.59/1200.25 c satzilla running adaptg2wsat+ ...
1199.59/1200.25 c Bin: Executing adaptg2wsat+
1199.59/1200.25 c adaptg2wsat+ returned code 1.
1199.59/1200.25 c satzilla running gnovelty+ ...
1199.59/1200.25 c Bin: Executing gnovelty+
1199.59/1200.25 c gnovelty+ returned code 1.
1199.59/1200.25 c satzilla running picosat846 ...
1199.59/1200.25 c Bin: Executing picosat846
1199.59/1200.25 c picosat846 returned code 1.
1199.59/1200.25 c satzilla running march_dl2004 ...
1199.59/1200.25 c Bin: Executing march_dl2004
1199.59/1200.25 c march_dl2004 returned code 1.
1199.59/1200.25 c satzilla running kcnfs04SAT07 ...
1199.59/1200.25 c Bin: Executing kcnfs04SAT07
1199.59/1200.25 c kcnfs04SAT07 returned code 1.
1199.59/1200.25 c satzilla running mxc-sr08 ...
1199.59/1200.25 c Bin: Executing mxc-sr08
1199.59/1200.25 c mxc-sr08 returned code 1.
1199.59/1200.25 c satzilla running tts-4-0 ...
1199.59/1200.25 c Bin: Executing tts-4-0
1199.59/1200.25 c tts-4-0 returned code 1.
1199.59/1200.25 c satzilla running zchaff_rand ...
1199.59/1200.25 c Bin: Executing zchaff_rand
1199.59/1200.25 c zchaff_rand returned code 1.
1199.59/1200.25 c satzilla running vallst ...
1199.59/1200.25 c Bin: Executing vallst
1199.59/1200.25 c vallst returned code 1.
1199.59/1200.25 c satzilla running minisat20 ...
1199.59/1200.25 c Bin: Executing minisat20
1199.59/1200.25 c minisat20 returned code 1.
1199.59/1200.25 c satzilla running minisat20SAT07 ...
1199.59/1200.25 c Bin: Executing minisat20SAT07
1199.59/1200.25 c minisat20SAT07 returned code 1.
1199.59/1200.25 c ERROR: All Failed!
1199.59/1200.25 c SATZILLA_TIME=1199.850000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577739-1241004213/watcher-1577739-1241004213 -o /tmp/evaluation-result-1577739-1241004213/solver-1577739-1241004213 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577739-1241004213.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.83 1.41 3/65 12106
/proc/meminfo: memFree=972288/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) R 12104 12106 11824 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=33956 CPUtime=0
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 128454471 34770944 263 1992294400 134512640 134854740 4294955344 18446744073709551615 134782321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12107/statm: 8489 263 151 83 0 8050 0
[startup+0.0179919 s]
/proc/loadavg: 1.85 1.83 1.41 3/65 12106
/proc/meminfo: memFree=972288/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=33956 CPUtime=0.01
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 333 0 0 0 1 0 0 0 19 0 1 0 128454471 34770944 314 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12107/statm: 8489 314 151 83 0 8050 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 36012
[startup+0.103006 s]
/proc/loadavg: 1.85 1.83 1.41 3/65 12106
/proc/meminfo: memFree=972288/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=33956 CPUtime=0.09
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 614 0 0 0 9 0 0 0 19 0 1 0 128454471 34770944 595 1992294400 134512640 134854740 4294955344 18446744073709551615 9968929 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12107/statm: 8489 595 151 83 0 8050 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36012
[startup+0.302029 s]
/proc/loadavg: 1.85 1.83 1.41 3/65 12106
/proc/meminfo: memFree=972288/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=33956 CPUtime=0.29
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 1271 0 0 0 29 0 0 0 21 0 1 0 128454471 34770944 1252 1992294400 134512640 134854740 4294955344 18446744073709551615 9968916 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12107/statm: 8489 1252 151 83 0 8050 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36012
[startup+0.702076 s]
/proc/loadavg: 1.85 1.83 1.41 3/65 12106
/proc/meminfo: memFree=972288/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=38056 CPUtime=0.68
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 2591 0 0 0 67 1 0 0 25 0 1 0 128454471 38969344 2572 1992294400 134512640 134854740 4294955344 18446744073709551615 10082279 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12107/statm: 9514 2572 151 83 0 9075 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40112
[startup+1.50116 s]
/proc/loadavg: 1.85 1.83 1.41 2/67 12108
/proc/meminfo: memFree=959280/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=46256 CPUtime=1.49
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 5358 0 0 0 146 3 0 0 25 0 1 0 128454471 47366144 5339 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12107/statm: 11564 5339 151 83 0 11125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48312
[startup+3.10135 s]
/proc/loadavg: 1.85 1.83 1.41 2/67 12108
/proc/meminfo: memFree=943536/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=66756 CPUtime=3.08
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 10932 0 0 0 303 5 0 0 25 0 1 0 128454471 68358144 10913 1992294400 134512640 134854740 4294955344 18446744073709551615 10082512 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12107/statm: 16689 10913 151 83 0 16250 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 68812
[startup+6.30171 s]
/proc/loadavg: 1.87 1.83 1.41 2/67 12108
/proc/meminfo: memFree=845872/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=441564 CPUtime=6.27
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 33209 0 0 0 610 17 0 0 25 0 1 0 128454471 452161536 33189 1992294400 134512640 134854740 4294955344 18446744073709551615 134772480 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12107/statm: 110391 33189 153 83 0 109952 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 443620
[startup+12.7015 s]
/proc/loadavg: 1.80 1.82 1.41 2/67 12108
/proc/meminfo: memFree=830960/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=441564 CPUtime=12.67
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 36135 0 0 0 1249 18 0 0 25 0 1 0 128454471 452161536 36115 1992294400 134512640 134854740 4294955344 18446744073709551615 134772480 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12107/statm: 110391 36115 153 83 0 109952 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 443620
[startup+25.5019 s]
/proc/loadavg: 1.62 1.78 1.40 2/67 12108
/proc/meminfo: memFree=806448/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=0
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128454471 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 514 112 96 399 0 111 0
[pid=12107] ppid=12106 vsize=441564 CPUtime=25.47
/proc/12107/stat : 12107 (SATenstein) R 12106 12106 11824 0 -1 4194304 43852 0 0 0 2525 22 0 0 25 0 1 0 128454471 452161536 43832 1992294400 134512640 134854740 4294955344 18446744073709551615 134772482 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12107/statm: 110391 43833 153 83 0 109952 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 443620
[startup+51.1019 s]
/proc/loadavg: 1.41 1.72 1.39 2/67 12109
/proc/meminfo: memFree=676720/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=30.01
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 152 46534 0 0 0 0 2976 25 16 0 1 0 128454471 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 514 121 104 399 0 111 0
[pid=12109] ppid=12106 vsize=326400 CPUtime=21.01
/proc/12109/stat : 12109 (mxc-sr08) R 12106 12106 11824 0 -1 4194304 92774 0 0 0 2058 43 0 0 25 0 1 0 128457476 334233600 74780 1992294400 134512640 135078026 4294956176 18446744073709551615 134553873 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12109/statm: 81600 74780 55 138 0 81459 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 328456
[startup+102.307 s]
/proc/loadavg: 1.17 1.60 1.37 2/67 12110
/proc/meminfo: memFree=610352/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=2056 CPUtime=60.05
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 179 139400 0 0 0 0 5933 72 16 0 1 0 128454471 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 514 138 120 399 0 111 0
[pid=12110] ppid=12106 vsize=427940 CPUtime=42.14
/proc/12110/stat : 12110 (satelite) R 12106 12106 11824 0 -1 4194304 91187 0 0 0 4160 54 0 0 25 0 1 0 128460484 438210560 90846 1992294400 134512640 135037501 4294956160 18446744073709551615 134543614 0 0 8392704 3 0 0 0 17 0 0 0
/proc/12110/statm: 106985 90846 66 128 0 106854 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 429996
[startup+162.302 s]
/proc/loadavg: 1.06 1.49 1.34 2/66 12110
/proc/meminfo: memFree=803256/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=140904 CPUtime=162.17
/proc/12106/stat : 12106 (SATzilla2009_R) R 12104 12106 11824 0 -1 4194304 34213 253942 0 0 393 19 15638 167 25 0 1 0 128454471 144285696 34020 1992294400 134512640 136149437 4294956208 18446744073709551615 134535219 0 0 4096 0 0 0 0 17 0 0 0
/proc/12106/statm: 35226 34020 135 399 0 34823 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 140904
[startup+222.302 s]
/proc/loadavg: 1.02 1.40 1.32 2/66 12110
/proc/meminfo: memFree=802424/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=140904 CPUtime=222.12
/proc/12106/stat : 12106 (SATzilla2009_R) R 12104 12106 11824 0 -1 4194304 34766 253942 0 0 6388 19 15638 167 25 0 1 0 128454471 144285696 34573 1992294400 134512640 136149437 4294956208 18446744073709551615 134535214 0 0 4096 0 0 0 0 17 0 0 0
/proc/12106/statm: 35226 34573 135 399 0 34823 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 140904
[startup+282.302 s]
/proc/loadavg: 1.01 1.32 1.29 2/67 12112
/proc/meminfo: memFree=594928/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=441564 CPUtime=26.33
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 46098 0 0 0 2609 24 0 0 25 0 1 0 128480065 452161536 46081 1992294400 134512640 134854740 4294955840 18446744073709551615 134772478 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 110391 46081 153 83 0 109952 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 608880
[startup+342.301 s]
/proc/loadavg: 1.00 1.26 1.27 2/67 12112
/proc/meminfo: memFree=415792/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=86.3
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 8585 45 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134735123 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 991688
[startup+402.302 s]
/proc/loadavg: 1.00 1.21 1.25 2/67 12112
/proc/meminfo: memFree=415728/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
################
# More data... #
################
[startup+822.303 s]
/proc/loadavg: 1.00 1.04 1.15 2/67 12112
/proc/meminfo: memFree=415536/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=566.09
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 56563 46 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597728 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 991688
[startup+882.303 s]
/proc/loadavg: 1.00 1.03 1.14 2/67 12112
/proc/meminfo: memFree=415536/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=626.07
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 62561 46 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597725 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 991688
[startup+942.303 s]
/proc/loadavg: 1.00 1.02 1.12 2/67 12114
/proc/meminfo: memFree=415280/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=686.05
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 68558 47 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597725 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 991688
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.11 2/67 12114
/proc/meminfo: memFree=415280/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=746.02
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 74555 47 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 991688
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=806
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 80553 47 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597721 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 991688
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=865.97
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 86550 47 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597725 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 991688
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=925.95
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 92547 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134735060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 991688
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=933.95
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 93347 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597721 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1189.69
Current children cumulated vsize (KiB) 991688
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=940.35
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 93987 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597725 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1196.09
Current children cumulated vsize (KiB) 991688
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=941.95
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 94147 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597725 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1197.69
Current children cumulated vsize (KiB) 991688
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=942.75
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 94227 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597721 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1198.49
Current children cumulated vsize (KiB) 991688
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=943.55
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 94307 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597721 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1199.29
Current children cumulated vsize (KiB) 991688
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=943.75
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 94327 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597721 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1199.49
Current children cumulated vsize (KiB) 991688
[startup+1200.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 12114
/proc/meminfo: memFree=415344/2055920 swapFree=4186104/4192956
[pid=12106] ppid=12104 vsize=167316 CPUtime=255.74
/proc/12106/stat : 12106 (SATzilla2009_R) S 12104 12106 11824 0 -1 4194304 80611 272432 0 0 9524 45 15829 176 25 0 1 0 128454471 171331584 41322 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 41829 41322 219 399 0 41426 0
[pid=12112] ppid=12106 vsize=824372 CPUtime=943.85
/proc/12112/stat : 12112 (SATenstein) R 12106 12106 11824 0 -1 4194304 96776 0 0 0 94337 48 0 0 25 0 1 0 128480065 844156928 89898 1992294400 134512640 134854740 4294955840 18446744073709551615 134597771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/12112/statm: 206093 89898 171 83 0 205654 0
Current children cumulated CPU time (s) 1199.59
Current children cumulated vsize (KiB) 991688
Child status: 17
Real time (s): 1200.3
CPU time (s): 1199.72
CPU user time (s): 1196.92
CPU system time (s): 2.79657
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 991688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.92
system time used= 2.79657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449834
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= 37
involuntary context switches= 3159
runsolver used 1.10383 second user time and 3.2715 second system time
The end
Begin job on node74 at 2009-04-29 13:23:38
IDJOB=1577739
IDBENCH=70965
IDSOLVER=526
FILE ID=node74/1577739-1241004213
PBS_JOBID= 9204798
Free space on /tmp= 103104 MiB
SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577739-1241004213/watcher-1577739-1241004213 -o /tmp/evaluation-result-1577739-1241004213/solver-1577739-1241004213 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577739-1241004213.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED=478155857
node74.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: 972704 kB
Buffers: 73436 kB
Cached: 922068 kB
SwapCached: 3008 kB
Active: 394004 kB
Inactive: 613148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 972704 kB
SwapTotal: 4192956 kB
SwapFree: 4186104 kB
Dirty: 102840 kB
Writeback: 0 kB
Mapped: 19880 kB
Slab: 61852 kB
Committed_AS: 603484 kB
PageTables: 1444 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= 103072 MiB
End job on node74 at 2009-04-29 13:43:38