102.30/102.47 c SATzilla is building models for class 1
102.30/102.47 c run presolver SATenstein for 30 seconds ...
102.30/102.47 c Bin: Executing SATenstein
102.30/102.47 c spawning binary file with 30 seconds ...
102.30/102.47 c child exit by a signal
102.30/102.47 c SATenstein returned code 137.
102.30/102.47 c run presolver mxc-sr08 for 30 seconds ...
102.30/102.47 c Bin: Executing mxc-sr08
102.30/102.47 c spawning binary file with 30 seconds ...
102.30/102.47 c child exit by a signal
102.30/102.47 c mxc-sr08 returned code 137.
102.30/102.47 c Orignal number of varibales is 282842, number of clauses is 1350458
102.30/102.47 c predicted feature computation time is -1464.000406
102.30/102.47 c Bin: Executing satelite
102.30/102.47 c spawning binary file with 240 seconds ...
102.30/102.47 c child exited successfully
102.30/102.47 c satzilla computing base features
102.30/102.47 c Number of variabe is: 41452, Number of clause is : 433228
102.30/102.47 c Initializing...
102.30/102.47 c satzilla compute diameter ...
102.30/102.47 c start diameter features ...
102.30/102.47 c satzilla doing clause learning
102.30/102.47 c start clause learning features ...
102.30/102.47 c Bin: Executing zchaff07
102.30/102.47 c spawning binary file with 2 seconds ...
102.30/102.47 c child exit by a signal
102.30/102.47 c satzilla doing survey propogation probe
102.30/102.47 c do survay propogation for 2 second ...
102.30/102.47 c satzilla doing local search probe
102.30/102.47 c satzilla doing lobjois search-space size estimate
102.30/102.47 c features are:282842 1.35046e+06 41452 433228 5.82336 2.1172 0.0956817 0.492834 0.6322 1.37303 8.9215e-05 0.482587 4.82486e-05 0.000458361 1.17808 0.10934 0.779691 8.9215e-05 2.27203 2.30825e-06 0.00168041 2.54755 0.378151 0.164694 0 1 2.50517 3.12723e-05 2.0673 0 0.00126031 2.46224 0.462013 6.71377e-05 2.76278 4.61651e-06 0.00329157 6 0 6 6 -0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634152 0.312557 5.79903e-05 1 0.91586 0.406391 0.686897 0.591849 0.627022 0.0589265 0.667893 -1.66533e-16 1 0.100025 0.00287444 0.0941167 0.0189687 0.0689322 6461.5 1.07366 3899 1.41421 3899 0 0 6.73574 1.24622 1.14057 0.187655 0.0257682 0.0822853
102.30/102.47 c satzilla's ranking:
102.30/102.47 c 1) adaptg2wsat+: 615.989103
102.30/102.47 c 2) kcnfs04SAT07: 399.611335
102.30/102.47 c 3) adaptg2wsat0: 238.098257
102.30/102.47 c 4) gnovelty+: 26.313792
102.30/102.47 c 5) SATenstein: 16.677282
102.30/102.47 c 6) picosat846: 1.147045
102.30/102.47 c 7) march_dl2004: 0.684062
102.30/102.47 c 8) mxc-sr08: -10000.000000
102.30/102.47 c 9) tts-4-0: -10000.000000
102.30/102.47 c 10) zchaff_rand: -10000.000000
102.30/102.47 c 11) vallst: -10000.000000
102.30/102.47 c 12) minisat20: -10000.000000
102.30/102.47 c 13) minisat20SAT07: -10000.000000
102.30/102.47 c satzilla running adaptg2wsat+ ...
1199.14/1199.79 c Bin: Executing adaptg2wsat+
1199.14/1199.79 c spawning binary file with 1097 seconds ...
1199.14/1199.79 c child exit by a signal
1199.14/1199.79 c adaptg2wsat+ returned code 137.
1199.14/1199.79 c satzilla running kcnfs04SAT07 ...
1199.14/1199.79 c Bin: Executing kcnfs04SAT07
1199.14/1199.79 c kcnfs04SAT07 returned code 1.
1199.14/1199.79 c satzilla running adaptg2wsat0 ...
1199.14/1199.79 c Bin: Executing adaptg2wsat0
1199.14/1199.79 c adaptg2wsat0 returned code 1.
1199.14/1199.79 c satzilla running gnovelty+ ...
1199.14/1199.79 c Bin: Executing gnovelty+
1199.14/1199.79 c gnovelty+ returned code 1.
1199.14/1199.79 c satzilla running SATenstein ...
1199.14/1199.79 c Bin: Executing SATenstein
1199.14/1199.79 c SATenstein returned code 1.
1199.14/1199.79 c satzilla running picosat846 ...
1199.14/1199.79 c Bin: Executing picosat846
1199.14/1199.79 c picosat846 returned code 1.
1199.14/1199.79 c satzilla running march_dl2004 ...
1199.14/1199.79 c Bin: Executing march_dl2004
1199.14/1199.79 c march_dl2004 returned code 1.
1199.14/1199.79 c satzilla running mxc-sr08 ...
1199.14/1199.79 c Bin: Executing mxc-sr08
1199.14/1199.79 c mxc-sr08 returned code 1.
1199.14/1199.79 c satzilla running tts-4-0 ...
1199.14/1199.79 c Bin: Executing tts-4-0
1199.14/1199.79 c tts-4-0 returned code 1.
1199.14/1199.79 c satzilla running zchaff_rand ...
1199.14/1199.79 c Bin: Executing zchaff_rand
1199.14/1199.79 c zchaff_rand returned code 1.
1199.14/1199.79 c satzilla running vallst ...
1199.14/1199.79 c Bin: Executing vallst
1199.14/1199.79 c vallst returned code 1.
1199.14/1199.79 c satzilla running minisat20 ...
1199.14/1199.79 c Bin: Executing minisat20
1199.14/1199.79 c minisat20 returned code 1.
1199.14/1199.79 c satzilla running minisat20SAT07 ...
1199.14/1199.79 c Bin: Executing minisat20SAT07
1199.14/1199.79 c minisat20SAT07 returned code 1.
1199.14/1199.79 c ERROR: All Failed!
1199.14/1199.79 c SATZILLA_TIME=1199.430000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577583-1241002905/watcher-1577583-1241002905 -o /tmp/evaluation-result-1577583-1241002905/solver-1577583-1241002905 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577583-1241002905.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.00 1.00 1.00 3/65 10548
/proc/meminfo: memFree=511328/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) R 10546 10548 10298 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=17060 CPUtime=0
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 128320822 17469440 261 1992294400 134512640 134854740 4294955344 18446744073709551615 134782527 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 4265 261 151 83 0 3826 0
[startup+0.067522 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10548
/proc/meminfo: memFree=511328/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=17060 CPUtime=0.06
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 516 0 0 0 6 0 0 0 19 0 1 0 128320822 17469440 497 1992294400 134512640 134854740 4294955344 18446744073709551615 134782527 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 4265 497 151 83 0 3826 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19116
[startup+0.101524 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10548
/proc/meminfo: memFree=511328/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=17060 CPUtime=0.09
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 636 0 0 0 9 0 0 0 19 0 1 0 128320822 17469440 617 1992294400 134512640 134854740 4294955344 18446744073709551615 12090305 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 4265 618 151 83 0 3826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19116
[startup+0.301545 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10548
/proc/meminfo: memFree=511328/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=17060 CPUtime=0.29
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 1342 0 0 0 29 0 0 0 21 0 1 0 128320822 17469440 1323 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 4265 1325 152 83 0 3826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19116
[startup+0.70159 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10548
/proc/meminfo: memFree=511328/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=21160 CPUtime=0.69
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 2758 0 0 0 67 2 0 0 25 0 1 0 128320822 21667840 2739 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 5290 2740 151 83 0 4851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23216
[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10550
/proc/meminfo: memFree=496528/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=33460 CPUtime=1.49
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 5589 0 0 0 145 4 0 0 25 0 1 0 128320822 34263040 5570 1992294400 134512640 134854740 4294955344 18446744073709551615 134782321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 8365 5571 151 83 0 7926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35516
[startup+3.10286 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10550
/proc/meminfo: memFree=459024/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=172580 CPUtime=3.08
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 14354 0 0 0 301 7 0 0 25 0 1 0 128320822 176721920 14334 1992294400 134512640 134854740 4294955344 18446744073709551615 134772480 0 0 8392704 0 0 0 0 17 1 0 0
/proc/10549/statm: 43145 14334 153 83 0 42706 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 174636
[startup+6.30121 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 10550
/proc/meminfo: memFree=446480/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=172580 CPUtime=6.28
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 17835 0 0 0 620 8 0 0 25 0 1 0 128320822 176721920 17815 1992294400 134512640 134854740 4294955344 18446744073709551615 134772482 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 43145 17815 153 83 0 42706 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 174636
[startup+12.7019 s]
/proc/loadavg: 1.23 1.05 1.02 2/67 10550
/proc/meminfo: memFree=365776/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=316748 CPUtime=12.68
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 38594 0 0 0 1252 16 0 0 25 0 1 0 128320822 324349952 36016 1992294400 134512640 134854740 4294955344 18446744073709551615 134524455 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 79187 36016 173 83 0 78748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 318804
[startup+25.5014 s]
/proc/loadavg: 1.32 1.08 1.02 2/67 10550
/proc/meminfo: memFree=367888/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=0
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128320822 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10548/statm: 514 112 96 399 0 111 0
[pid=10549] ppid=10548 vsize=316748 CPUtime=25.48
/proc/10549/stat : 10549 (SATenstein) R 10548 10548 10298 0 -1 4194304 38683 0 0 0 2529 19 0 0 25 0 1 0 128320822 324349952 36026 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10549/statm: 79187 36026 173 83 0 78748 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 318804
[startup+51.1012 s]
/proc/loadavg: 1.21 1.07 1.02 2/67 10551
/proc/meminfo: memFree=361168/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=2056 CPUtime=30
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 152 38683 0 0 0 0 2979 21 16 0 1 0 128320822 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 514 121 104 399 0 111 0
[pid=10551] ppid=10548 vsize=160072 CPUtime=21.03
/proc/10551/stat : 10551 (mxc-sr08) R 10548 10548 10298 0 -1 4194304 49686 0 0 0 2081 22 0 0 25 0 1 0 128323826 163913728 37703 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10551/statm: 40018 37703 71 138 0 39877 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 162128
[startup+102.306 s]
/proc/loadavg: 1.09 1.06 1.02 2/66 10553
/proc/meminfo: memFree=444632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.21
/proc/10548/stat : 10548 (SATzilla2009_R) R 10546 10548 10298 0 -1 4194304 23222 144608 0 0 1720 16 8396 89 25 0 1 0 128320822 60698624 14516 1992294400 134512640 136149437 4294956208 18446744073709551615 134541659 0 0 4096 3 0 0 0 17 0 0 0
/proc/10548/statm: 14819 14516 213 399 0 14416 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 59276
[startup+162.302 s]
/proc/loadavg: 1.03 1.04 1.01 2/67 10554
/proc/meminfo: memFree=326928/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=305832 CPUtime=59.79
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 29458 0 0 0 5966 13 0 0 25 0 1 0 128331070 313171968 29450 1992294400 134512640 134921272 4294956160 18446744073709551615 134546160 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 76458 29450 43 99 0 75965 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 365108
[startup+222.301 s]
/proc/loadavg: 1.01 1.03 1.01 2/67 10554
/proc/meminfo: memFree=326928/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=305832 CPUtime=119.77
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 29462 0 0 0 11964 13 0 0 25 0 1 0 128331070 313171968 29454 1992294400 134512640 134921272 4294956160 18446744073709551615 134546128 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 76458 29454 43 99 0 75965 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 365108
[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 10554
/proc/meminfo: memFree=326928/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=305832 CPUtime=179.74
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 29464 0 0 0 17961 13 0 0 25 0 1 0 128331070 313171968 29456 1992294400 134512640 134921272 4294956160 18446744073709551615 134546049 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 76458 29456 43 99 0 75965 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 365108
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 10554
/proc/meminfo: memFree=326928/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=305832 CPUtime=239.72
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 29466 0 0 0 23959 13 0 0 25 0 1 0 128331070 313171968 29458 1992294400 134512640 134921272 4294956160 18446744073709551615 134546000 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 76458 29458 43 99 0 75965 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 365108
[startup+402.301 s]
################
# More data... #
################
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 378108
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=719.51
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 71933 18 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541638 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 378108
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=779.48
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 77930 18 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134543228 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 378108
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=839.46
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 83928 18 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541747 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 378108
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=899.43
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 89925 18 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 378108
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=959.41
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 95923 18 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 378108
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1019.39
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 101920 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 378108
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1079.36
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 107917 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134542060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 378108
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 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1087.36
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 108717 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541010 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1189.74
Current children cumulated vsize (KiB) 378108
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1093.77
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 109358 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541749 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1196.15
Current children cumulated vsize (KiB) 378108
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1095.36
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 109517 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1197.74
Current children cumulated vsize (KiB) 378108
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1096.16
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 109597 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134542028 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1198.54
Current children cumulated vsize (KiB) 378108
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1096.56
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 109637 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541388 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1198.94
Current children cumulated vsize (KiB) 378108
[startup+1199.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=59276 CPUtime=102.38
/proc/10548/stat : 10548 (SATzilla2009_R) S 10546 10548 10298 0 -1 4194304 23236 144608 0 0 1736 17 8396 89 25 0 1 0 128320822 60698624 14523 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10548/statm: 14819 14523 220 399 0 14416 0
[pid=10554] ppid=10548 vsize=318832 CPUtime=1096.76
/proc/10554/stat : 10554 (adaptg2wsat+) R 10548 10548 10298 0 -1 4194304 41268 0 0 0 109657 19 0 0 25 0 1 0 128331070 326483968 41258 1992294400 134512640 134921272 4294956160 18446744073709551615 134541693 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10554/statm: 79708 41258 43 99 0 79215 0
Current children cumulated CPU time (s) 1199.14
Current children cumulated vsize (KiB) 378108
[startup+1199.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10554
/proc/meminfo: memFree=279632/2055920 swapFree=4191904/4192956
[pid=10548] ppid=10546 vsize=0 CPUtime=1199.25
/proc/10548/stat : 10548 (SATzilla2009_R) R 10546 10548 10298 0 -1 4194308 23251 185876 0 0 1736 18 118060 111 16 0 1 0 128320822 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/10548/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.25
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 1199.81
CPU time (s): 1199.27
CPU user time (s): 1197.97
CPU system time (s): 1.2968
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 378108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.97
system time used= 1.2968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209127
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= 4170
runsolver used 1.15382 second user time and 3.21451 second system time
The end
Begin job on node76 at 2009-04-29 13:01:47
IDJOB=1577583
IDBENCH=70962
IDSOLVER=526
FILE ID=node76/1577583-1241002905
PBS_JOBID= 9204796
Free space on /tmp= 66180 MiB
SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577583-1241002905/watcher-1577583-1241002905 -o /tmp/evaluation-result-1577583-1241002905/solver-1577583-1241002905 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577583-1241002905.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a9e7651569c1b43a1021c78982fb4e6b
RANDOM SEED=1534559439
node76.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.220
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.220
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: 511808 kB
Buffers: 80120 kB
Cached: 1360812 kB
SwapCached: 260 kB
Active: 369084 kB
Inactive: 1085084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 511808 kB
SwapTotal: 4192956 kB
SwapFree: 4191904 kB
Dirty: 57988 kB
Writeback: 0 kB
Mapped: 21724 kB
Slab: 75804 kB
Committed_AS: 552964 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66148 MiB
End job on node76 at 2009-04-29 13:21:47