95.43/95.50 c SATzilla is building models for class 1
95.43/95.50 c run presolver SATenstein for 30 seconds ...
95.43/95.50 c Bin: Executing SATenstein
95.43/95.50 c spawning binary file with 30 seconds ...
95.43/95.50 c child exit by a signal
95.43/95.50 c SATenstein returned code 137.
95.43/95.50 c run presolver mxc-sr08 for 30 seconds ...
95.43/95.50 c Bin: Executing mxc-sr08
95.43/95.50 c spawning binary file with 30 seconds ...
95.43/95.50 c child exit by a signal
95.43/95.50 c mxc-sr08 returned code 137.
95.43/95.50 c Orignal number of varibales is 250567, number of clauses is 1183233
95.43/95.50 c predicted feature computation time is -1108.138795
95.43/95.50 c Bin: Executing satelite
95.43/95.50 c spawning binary file with 240 seconds ...
95.43/95.50 c child exited successfully
95.43/95.50 c satzilla computing base features
95.43/95.50 c Number of variabe is: 34857, Number of clause is : 365178
95.43/95.50 c Initializing...
95.43/95.50 c satzilla compute diameter ...
95.43/95.50 c start diameter features ...
95.43/95.50 c satzilla doing clause learning
95.43/95.50 c start clause learning features ...
95.43/95.50 c Bin: Executing zchaff07
95.43/95.50 c spawning binary file with 2 seconds ...
95.43/95.50 c child exit by a signal
95.43/95.50 c satzilla doing survey propogation probe
95.43/95.50 c do survay propogation for 2 second ...
95.43/95.50 c satzilla doing local search probe
95.43/95.50 c satzilla doing lobjois search-space size estimate
95.43/95.50 c features are:250567 1.18323e+06 34857 365178 6.18843 2.24015 0.0954521 0.48908 0.635719 1.39884 0.00010705 0.488435 5.73773e-05 0.000545084 1.21535 0.115407 0.769293 0.00010705 2.16831 2.73839e-06 0.00177448 2.62903 0.376639 0.169525 0 1 2.57056 3.76749e-05 1.93487 0 0.00133086 2.53833 0.469338 8.04674e-05 2.62364 5.47678e-06 0.0034668 6 0 6 6 -0 35.3333 0.0705973 32 38 38 32 38 32 36 10.193 0.362975 6 15 15 6 15 6 9.57895 0.630639 0.323399 0.000148614 1 0.918226 0.372537 0.696015 0.582534 0.620634 0.0565504 0.696292 -1.11022e-16 1 0.0979388 0.00129452 0.0850398 0.016533 0.0656511 14595.3 1.5693 4667.67 0.866057 6967 0 6967 13.8166 1.62391 12.8674 1.59915 0.02868 0.0887806
95.43/95.50 c satzilla's ranking:
95.43/95.50 c 1) adaptg2wsat+: 835.089549
95.43/95.50 c 2) kcnfs04SAT07: 497.776608
95.43/95.50 c 3) adaptg2wsat0: 193.295991
95.43/95.50 c 4) gnovelty+: 11.795226
95.43/95.50 c 5) picosat846: 1.028432
95.43/95.50 c 6) march_dl2004: -10.174943
95.43/95.50 c 7) SATenstein: -433.291200
95.43/95.50 c 8) mxc-sr08: -10000.000000
95.43/95.50 c 9) tts-4-0: -10000.000000
95.43/95.50 c 10) zchaff_rand: -10000.000000
95.43/95.50 c 11) vallst: -10000.000000
95.43/95.50 c 12) minisat20: -10000.000000
95.43/95.50 c 13) minisat20SAT07: -10000.000000
95.43/95.50 c satzilla running adaptg2wsat+ ...
1199.21/1199.86 c Bin: Executing adaptg2wsat+
1199.21/1199.86 c spawning binary file with 1104 seconds ...
1199.21/1199.86 c child exit by a signal
1199.21/1199.86 c adaptg2wsat+ returned code 137.
1199.21/1199.86 c satzilla running kcnfs04SAT07 ...
1199.21/1199.86 c Bin: Executing kcnfs04SAT07
1199.21/1199.86 c kcnfs04SAT07 returned code 1.
1199.21/1199.86 c satzilla running adaptg2wsat0 ...
1199.21/1199.86 c Bin: Executing adaptg2wsat0
1199.21/1199.86 c adaptg2wsat0 returned code 1.
1199.21/1199.86 c satzilla running gnovelty+ ...
1199.21/1199.86 c Bin: Executing gnovelty+
1199.21/1199.86 c gnovelty+ returned code 1.
1199.21/1199.86 c satzilla running picosat846 ...
1199.21/1199.86 c Bin: Executing picosat846
1199.21/1199.86 c picosat846 returned code 1.
1199.21/1199.86 c satzilla running march_dl2004 ...
1199.21/1199.86 c Bin: Executing march_dl2004
1199.21/1199.86 c march_dl2004 returned code 1.
1199.21/1199.86 c satzilla running SATenstein ...
1199.21/1199.86 c Bin: Executing SATenstein
1199.21/1199.86 c SATenstein returned code 1.
1199.21/1199.86 c satzilla running mxc-sr08 ...
1199.21/1199.86 c Bin: Executing mxc-sr08
1199.21/1199.86 c mxc-sr08 returned code 1.
1199.21/1199.86 c satzilla running tts-4-0 ...
1199.21/1199.86 c Bin: Executing tts-4-0
1199.21/1199.86 c tts-4-0 returned code 1.
1199.21/1199.86 c satzilla running zchaff_rand ...
1199.21/1199.86 c Bin: Executing zchaff_rand
1199.21/1199.86 c zchaff_rand returned code 1.
1199.21/1199.86 c satzilla running vallst ...
1199.21/1199.86 c Bin: Executing vallst
1199.21/1199.86 c vallst returned code 1.
1199.21/1199.86 c satzilla running minisat20 ...
1199.21/1199.86 c Bin: Executing minisat20
1199.21/1199.86 c minisat20 returned code 1.
1199.21/1199.86 c satzilla running minisat20SAT07 ...
1199.21/1199.86 c Bin: Executing minisat20SAT07
1199.21/1199.86 c minisat20SAT07 returned code 1.
1199.21/1199.86 c ERROR: All Failed!
1199.21/1199.86 c SATZILLA_TIME=1199.470000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577479-1241001703/watcher-1577479-1241001703 -o /tmp/evaluation-result-1577479-1241001703/solver-1577479-1241001703 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577479-1241001703.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.05 3/65 10510
/proc/meminfo: memFree=520416/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) R 10508 10510 10298 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=15756 CPUtime=0
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 279 0 0 0 0 0 0 0 18 0 1 0 128200624 16134144 260 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 3939 261 151 83 0 3500 0
[startup+0.0783669 s]
/proc/loadavg: 1.00 1.00 1.05 3/65 10510
/proc/meminfo: memFree=520416/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=15756 CPUtime=0.07
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 554 0 0 0 7 0 0 0 19 0 1 0 128200624 16134144 535 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 3939 535 151 83 0 3500 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17812
[startup+0.10137 s]
/proc/loadavg: 1.00 1.00 1.05 3/65 10510
/proc/meminfo: memFree=520416/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=15756 CPUtime=0.09
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 636 0 0 0 9 0 0 0 19 0 1 0 128200624 16134144 617 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 3939 617 151 83 0 3500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17812
[startup+0.301392 s]
/proc/loadavg: 1.00 1.00 1.05 3/65 10510
/proc/meminfo: memFree=520416/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=15756 CPUtime=0.29
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 1345 0 0 0 29 0 0 0 21 0 1 0 128200624 16134144 1326 1992294400 134512640 134854740 4294955344 18446744073709551615 134782527 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 3939 1326 151 83 0 3500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17812
[startup+0.701436 s]
/proc/loadavg: 1.00 1.00 1.05 3/65 10510
/proc/meminfo: memFree=520416/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=19856 CPUtime=0.69
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 2758 0 0 0 67 2 0 0 25 0 1 0 128200624 20332544 2739 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 4964 2739 151 83 0 4525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21912
[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 10512
/proc/meminfo: memFree=505744/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=32156 CPUtime=1.49
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 5609 0 0 0 145 4 0 0 25 0 1 0 128200624 32927744 5590 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 8039 5591 151 83 0 7600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34212
[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 10512
/proc/meminfo: memFree=472592/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=150920 CPUtime=3.09
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 13066 0 0 0 302 7 0 0 25 0 1 0 128200624 154542080 13046 1992294400 134512640 134854740 4294955344 18446744073709551615 134772478 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 37730 13046 153 83 0 37291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152976
[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 10512
/proc/meminfo: memFree=456272/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=150920 CPUtime=6.28
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 15882 0 0 0 620 8 0 0 25 0 1 0 128200624 154542080 15862 1992294400 134512640 134854740 4294955344 18446744073709551615 134772478 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 37730 15862 153 83 0 37291 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 152976
[startup+12.7018 s]
/proc/loadavg: 1.23 1.05 1.07 2/67 10512
/proc/meminfo: memFree=392144/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=266952 CPUtime=12.68
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 33950 0 0 0 1253 15 0 0 25 0 1 0 128200624 273358848 31634 1992294400 134512640 134854740 4294955344 18446744073709551615 134524699 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 66738 31634 173 83 0 66299 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 269008
[startup+25.5012 s]
/proc/loadavg: 1.35 1.08 1.08 2/67 10512
/proc/meminfo: memFree=392848/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=0
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 128200624 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/10510/statm: 514 112 96 399 0 111 0
[pid=10511] ppid=10510 vsize=266952 CPUtime=25.48
/proc/10511/stat : 10511 (SATenstein) R 10510 10510 10298 0 -1 4194304 33964 0 0 0 2530 18 0 0 25 0 1 0 128200624 273358848 31634 1992294400 134512640 134854740 4294955344 18446744073709551615 134524483 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10511/statm: 66738 31634 173 83 0 66299 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 269008
[startup+51.1011 s]
/proc/loadavg: 1.35 1.10 1.08 2/67 10513
/proc/meminfo: memFree=388304/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=2056 CPUtime=30
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 152 33964 0 0 0 0 2980 20 16 0 1 0 128200624 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 514 121 104 399 0 111 0
[pid=10513] ppid=10510 vsize=143680 CPUtime=21.05
/proc/10513/stat : 10513 (mxc-sr08) R 10510 10510 10298 0 -1 4194304 43652 0 0 0 2086 19 0 0 25 0 1 0 128203626 147128320 33158 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10513/statm: 35920 33158 71 138 0 35779 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 145736
[startup+102.306 s]
/proc/loadavg: 1.19 1.10 1.08 2/67 10516
/proc/meminfo: memFree=360784/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=294492 CPUtime=6.78
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 25814 0 0 0 666 12 0 0 25 0 1 0 128210174 301559808 25806 1992294400 134512640 134921272 4294956160 18446744073709551615 134546079 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 73623 25806 43 99 0 73130 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 345032
[startup+162.301 s]
/proc/loadavg: 1.07 1.08 1.08 2/67 10516
/proc/meminfo: memFree=360720/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=294492 CPUtime=66.75
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 25820 0 0 0 6663 12 0 0 25 0 1 0 128210174 301559808 25812 1992294400 134512640 134921272 4294956160 18446744073709551615 134546000 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 73623 25812 43 99 0 73130 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 345032
[startup+222.301 s]
/proc/loadavg: 1.02 1.06 1.07 2/67 10516
/proc/meminfo: memFree=360720/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=294492 CPUtime=126.72
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 25823 0 0 0 12660 12 0 0 25 0 1 0 128210174 301559808 25815 1992294400 134512640 134921272 4294956160 18446744073709551615 134546151 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 73623 25815 43 99 0 73130 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 345032
[startup+282.302 s]
/proc/loadavg: 1.01 1.05 1.07 2/67 10516
/proc/meminfo: memFree=360720/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=294492 CPUtime=186.7
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 25825 0 0 0 18658 12 0 0 25 0 1 0 128210174 301559808 25817 1992294400 134512640 134921272 4294956160 18446744073709551615 134546000 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 73623 25817 43 99 0 73130 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 345032
[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/67 10516
/proc/meminfo: memFree=360720/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=294492 CPUtime=246.67
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 25827 0 0 0 24655 12 0 0 25 0 1 0 128210174 301559808 25819 1992294400 134512640 134921272 4294956160 18446744073709551615 134546085 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 73623 25819 43 99 0 73130 0
Current children cumulated CPU time (s) 342.1
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 10516
/proc/meminfo: memFree=319120/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=726.46
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 72630 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 356668
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 10516
/proc/meminfo: memFree=319056/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=786.43
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 78627 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134542421 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 356668
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10516
/proc/meminfo: memFree=319056/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=846.4
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 84624 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 356668
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10516
/proc/meminfo: memFree=319056/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=906.38
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 90622 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134542013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 356668
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10516
/proc/meminfo: memFree=318992/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=966.36
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 96620 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134542365 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 356668
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10516
/proc/meminfo: memFree=318992/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1026.32
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 102616 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 356668
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1086.28
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 108612 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 356668
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 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1094.28
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 109412 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134541003 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1189.71
Current children cumulated vsize (KiB) 356668
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1100.69
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 110053 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134541218 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1196.12
Current children cumulated vsize (KiB) 356668
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1102.28
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 110212 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134541003 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1197.71
Current children cumulated vsize (KiB) 356668
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1103.08
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 110292 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134543186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1198.51
Current children cumulated vsize (KiB) 356668
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1103.48
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 110332 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134541388 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1198.91
Current children cumulated vsize (KiB) 356668
[startup+1199.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1103.68
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 110352 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134542358 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1199.11
Current children cumulated vsize (KiB) 356668
[startup+1199.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10522
/proc/meminfo: memFree=318864/2055920 swapFree=4191904/4192956
[pid=10510] ppid=10508 vsize=50540 CPUtime=95.43
/proc/10510/stat : 10510 (SATzilla2009_R) S 10508 10510 10298 0 -1 4194304 19355 126239 0 0 1485 15 7964 79 25 0 1 0 128200624 51752960 12355 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/10510/statm: 12635 12355 220 399 0 12232 0
[pid=10516] ppid=10510 vsize=306128 CPUtime=1103.78
/proc/10516/stat : 10516 (adaptg2wsat+) R 10510 10510 10298 0 -1 4194304 36217 0 0 0 110362 16 0 0 25 0 1 0 128210174 313475072 36207 1992294400 134512640 134921272 4294956160 18446744073709551615 134541388 0 0 8392704 0 0 0 0 17 0 0 0
/proc/10516/statm: 76532 36207 43 99 0 76039 0
Current children cumulated CPU time (s) 1199.21
Current children cumulated vsize (KiB) 356668
Child status: 17
Real time (s): 1199.87
CPU time (s): 1199.31
CPU user time (s): 1198.16
CPU system time (s): 1.15482
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 356668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.16
system time used= 1.15482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181826
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= 3997
runsolver used 1.07184 second user time and 3.2965 second system time
The end
Begin job on node76 at 2009-04-29 12:41:45
IDJOB=1577479
IDBENCH=70960
IDSOLVER=526
FILE ID=node76/1577479-1241001703
PBS_JOBID= 9204796
Free space on /tmp= 66184 MiB
SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L80_coli.sat.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577479-1241001703/watcher-1577479-1241001703 -o /tmp/evaluation-result-1577479-1241001703/solver-1577479-1241001703 -C 1200 -W 1800 -M 1800 HOME/SATzilla2009_R HOME/instance-1577479-1241001703.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb71c8cb3482ee70f1c98af8944179ca
RANDOM SEED=1532168015
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: 520896 kB
Buffers: 79768 kB
Cached: 1352392 kB
SwapCached: 260 kB
Active: 365248 kB
Inactive: 1080104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 520896 kB
SwapTotal: 4192956 kB
SwapFree: 4191904 kB
Dirty: 54576 kB
Writeback: 0 kB
Mapped: 21724 kB
Slab: 75536 kB
Committed_AS: 550256 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= 66152 MiB
End job on node76 at 2009-04-29 13:01:45