19.35/19.49 c SATzilla is building models for class 3
19.35/19.49 c run presolver mxc-sr08 for 10 seconds ...
19.35/19.49 c Bin: Executing mxc-sr08
19.35/19.49 c spawning binary file with 10 seconds ...
19.35/19.49 c child exit by a signal
19.35/19.49 c mxc-sr08 returned code 137.
19.35/19.49 c run presolver picosat846 for 5 seconds ...
19.35/19.49 c Bin: Executing picosat846
19.35/19.49 c spawning binary file with 5 seconds ...
19.35/19.49 c child exit by a signal
19.35/19.49 c picosat846 returned code 137.
19.35/19.49 c Orignal number of varibales is 70, number of clauses is 6230
19.35/19.49 c predicted feature computation time is 1.450910
19.35/19.49 c Bin: Executing satelite
19.35/19.49 c spawning binary file with 240 seconds ...
19.35/19.49 c child exited successfully
19.35/19.49 c satzilla computing base features
19.35/19.49 c Number of variabe is: 70, Number of clause is : 6230
19.35/19.49 c Initializing...
19.35/19.49 c satzilla doing clause learning
19.35/19.49 c start clause learning features ...
19.35/19.49 c Bin: Executing zchaff07
19.35/19.49 c spawning binary file with 2 seconds ...
19.35/19.49 c child exit by a signal
19.35/19.49 c satzilla doing survey propogation probe
19.35/19.49 c do survay propogation for 2 second ...
19.35/19.49 c satzilla doing local search probe
19.35/19.49 c features are:70 6230 70 6230 0 0 0.011236 0.313506 0.684311 1.00784 0.1 0 0.1 0.1 -0 0 0 0.1 0.0360587 0.0910112 0.109791 3.72834 0.029377 0.0226261 0 0.0979133 1.99902 0.00672552 0.156718 0.00449438 0.0094703 3.01367 0.0672552 0.0110754 0 0.0110754 0.0110754 4501 0.00888691 4461 4541 4541 4461 4541 4461 4541 25.758 0.0079671 25.5528 25.9632 25.9632 25.5528 25.9632 25.5528 25.9632 0.0594999 0.744586 0.000142801 0.188106 0.130953 0.00989912 0.0852221 0.0264867 0.0492011 6.37397e-05 0.362141 2.31814e-05 0.000139205 9.58408e-05 4.07713e-05 7.3301e-05 4.82106e-05 5.948e-05 9.62987 0.278989 12.1181 0.208918 12 9 15 2.27793 0.286468 0.898899 0.0962905
19.35/19.49 c satzilla's ranking:
19.35/19.49 c 1) mxc-sr08: 3.267028
19.35/19.49 c 2) minisat20SAT07: 3.227543
19.35/19.49 c 3) march_dl2004: 1.728497
19.35/19.49 c 4) picosat846: 1.726687
19.35/19.49 c 5) zchaff_rand: 0.389777
19.35/19.49 c 6) SATenstein: -10000.000000
19.35/19.49 c 7) gnovelty+: -10000.000000
19.35/19.49 c 8) adaptg2wsat+: -10000.000000
19.35/19.49 c 9) adaptg2wsat0: -10000.000000
19.35/19.49 c 10) tts-4-0: -10000.000000
19.35/19.49 c 11) vallst: -10000.000000
19.35/19.49 c 12) minisat20: -10000.000000
19.35/19.49 c 13) kcnfs04SAT07: -10000.000000
19.35/19.49 c satzilla running mxc-sr08 ...
1199.25/1199.90 c Bin: Executing mxc-sr08
1199.25/1199.90 c spawning binary file with 1180 seconds ...
1199.25/1199.90 c child exit by a signal
1199.25/1199.90 c mxc-sr08 returned code 137.
1199.25/1199.90 c satzilla running minisat20SAT07 ...
1199.25/1199.90 c Bin: Executing minisat20SAT07
1199.25/1199.90 c minisat20SAT07 returned code 1.
1199.25/1199.90 c satzilla running march_dl2004 ...
1199.25/1199.90 c Bin: Executing march_dl2004
1199.25/1199.90 c march_dl2004 returned code 1.
1199.25/1199.90 c satzilla running picosat846 ...
1199.25/1199.90 c Bin: Executing picosat846
1199.25/1199.90 c picosat846 returned code 1.
1199.25/1199.90 c satzilla running zchaff_rand ...
1199.25/1199.90 c Bin: Executing zchaff_rand
1199.25/1199.90 c zchaff_rand returned code 1.
1199.25/1199.90 c satzilla running SATenstein ...
1199.25/1199.90 c Bin: Executing SATenstein
1199.25/1199.90 c SATenstein returned code 1.
1199.25/1199.90 c satzilla running gnovelty+ ...
1199.25/1199.90 c Bin: Executing gnovelty+
1199.25/1199.90 c gnovelty+ returned code 1.
1199.25/1199.90 c satzilla running adaptg2wsat+ ...
1199.25/1199.90 c Bin: Executing adaptg2wsat+
1199.25/1199.90 c adaptg2wsat+ returned code 1.
1199.25/1199.90 c satzilla running adaptg2wsat0 ...
1199.25/1199.90 c Bin: Executing adaptg2wsat0
1199.25/1199.90 c adaptg2wsat0 returned code 1.
1199.25/1199.90 c satzilla running tts-4-0 ...
1199.25/1199.90 c Bin: Executing tts-4-0
1199.25/1199.90 c tts-4-0 returned code 1.
1199.25/1199.90 c satzilla running vallst ...
1199.25/1199.90 c Bin: Executing vallst
1199.25/1199.90 c vallst returned code 1.
1199.25/1199.90 c satzilla running minisat20 ...
1199.25/1199.90 c Bin: Executing minisat20
1199.25/1199.90 c minisat20 returned code 1.
1199.25/1199.90 c satzilla running kcnfs04SAT07 ...
1199.25/1199.90 c Bin: Executing kcnfs04SAT07
1199.25/1199.90 c kcnfs04SAT07 returned code 1.
1199.25/1199.90 c ERROR: All Failed!
1199.25/1199.90 c SATZILLA_TIME=1199.460000
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1539187-1238477456/watcher-1539187-1238477456 -o /tmp/evaluation-result-1539187-1238477456/solver-1539187-1238477456 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1539187-1238477456.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13978
/proc/meminfo: memFree=1395720/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=1020 CPUtime=0
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 169 0 0 0 0 0 0 0 19 0 1 0 724638059 1044480 165 1992294400 134512640 135078026 4294956192 18446744073709551615 134566287 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 255 165 54 138 0 114 0
[startup+0.0133799 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13978
/proc/meminfo: memFree=1395720/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=1264 CPUtime=0.01
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 257 0 0 0 1 0 0 0 19 0 1 0 724638059 1294336 214 1992294400 134512640 135078026 4294956192 18446744073709551615 134561280 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 316 214 55 138 0 175 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3320
[startup+0.101391 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13978
/proc/meminfo: memFree=1395720/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=1264 CPUtime=0.09
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 263 0 0 0 9 0 0 0 19 0 1 0 724638059 1294336 220 1992294400 134512640 135078026 4294956192 18446744073709551615 134561280 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 316 220 55 138 0 175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3320
[startup+0.301419 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13978
/proc/meminfo: memFree=1395720/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=1792 CPUtime=0.29
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 388 0 0 0 29 0 0 0 21 0 1 0 724638059 1835008 345 1992294400 134512640 135078026 4294956192 18446744073709551615 134523387 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 448 345 71 138 0 307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3848
[startup+0.701478 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13978
/proc/meminfo: memFree=1395720/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=1924 CPUtime=0.69
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 431 0 0 0 69 0 0 0 25 0 1 0 724638059 1970176 388 1992294400 134512640 135078026 4294956192 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13979/statm: 481 388 71 138 0 340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3980
[startup+1.50159 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13980
/proc/meminfo: memFree=1394232/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=2056 CPUtime=1.49
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 469 0 0 0 149 0 0 0 25 0 1 0 724638059 2105344 426 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 514 426 71 138 0 373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4112
[startup+3.10182 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13980
/proc/meminfo: memFree=1392888/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=2188 CPUtime=3.07
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 516 0 0 0 307 0 0 0 25 0 1 0 724638059 2240512 473 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 547 473 71 138 0 406 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 4244
[startup+6.30127 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13980
/proc/meminfo: memFree=1393912/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=0
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 724638059 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 112 96 399 0 111 0
[pid=13979] ppid=13978 vsize=2452 CPUtime=6.28
/proc/13979/stat : 13979 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 576 0 0 0 626 2 0 0 25 0 1 0 724638059 2510848 533 1992294400 134512640 135078026 4294956192 18446744073709551615 134534616 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13979/statm: 613 533 71 138 0 472 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4508
[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13981
/proc/meminfo: memFree=1394744/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=2056 CPUtime=9.99
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 152 624 0 0 0 0 997 2 16 0 1 0 724638059 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 514 121 104 399 0 111 0
[pid=13981] ppid=13978 vsize=2424 CPUtime=2.67
/proc/13981/stat : 13981 (picosat846) R 13978 13978 13004 0 -1 4194304 342 0 0 0 267 0 0 0 25 0 1 0 724639061 2482176 331 1992294400 134512640 134570484 4294956192 18446744073709551615 134553167 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13981/statm: 606 331 84 14 0 272 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 4480
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1392696/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=2452 CPUtime=5.99
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 574 0 0 0 599 0 0 0 25 0 1 0 724640009 2510848 531 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 613 531 71 138 0 472 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 6292
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1392120/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=3116 CPUtime=31.57
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 719 0 0 0 3157 0 0 0 25 0 1 0 724640009 3190784 676 1992294400 134512640 135078026 4294956192 18446744073709551615 134534305 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 779 676 71 138 0 638 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 6956
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1391672/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=3672 CPUtime=82.74
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 834 0 0 0 8274 0 0 0 25 0 1 0 724640009 3760128 791 1992294400 134512640 135078026 4294956192 18446744073709551615 134534219 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 918 791 71 138 0 777 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 7512
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1391224/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=4248 CPUtime=142.71
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 940 0 0 0 14271 0 0 0 25 0 1 0 724640009 4349952 897 1992294400 134512640 135078026 4294956192 18446744073709551615 134534204 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1062 897 71 138 0 921 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 8088
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1391032/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=4536 CPUtime=202.69
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1001 0 0 0 20269 0 0 0 25 0 1 0 724640009 4644864 958 1992294400 134512640 135078026 4294956192 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1134 958 71 138 0 993 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 8376
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390904/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=4536 CPUtime=262.65
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1035 0 0 0 26265 0 0 0 25 0 1 0 724640009 4644864 992 1992294400 134512640 135078026 4294956192 18446744073709551615 134534329 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1134 992 71 138 0 993 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 8376
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390712/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=4656 CPUtime=322.63
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1083 0 0 0 32263 0 0 0 25 0 1 0 724640009 4767744 1040 1992294400 134512640 135078026 4294956192 18446744073709551615 134533764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1164 1040 71 138 0 1023 0
################
# More data... #
################
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390328/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=4932 CPUtime=742.43
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1190 0 0 0 74242 1 0 0 25 0 1 0 724640009 5050368 1147 1992294400 134512640 135078026 4294956192 18446744073709551615 134523992 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1233 1147 71 138 0 1092 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 8772
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390200/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5092 CPUtime=802.39
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1208 0 0 0 80238 1 0 0 25 0 1 0 724640009 5214208 1165 1992294400 134512640 135078026 4294956192 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1273 1165 71 138 0 1132 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 8932
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390200/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5092 CPUtime=862.36
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1210 0 0 0 86235 1 0 0 25 0 1 0 724640009 5214208 1167 1992294400 134512640 135078026 4294956192 18446744073709551615 134534609 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1273 1167 71 138 0 1132 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 8932
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390136/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5092 CPUtime=922.33
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1224 0 0 0 92232 1 0 0 25 0 1 0 724640009 5214208 1181 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1273 1181 71 138 0 1132 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 8932
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390136/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5092 CPUtime=982.3
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1225 0 0 0 98229 1 0 0 25 0 1 0 724640009 5214208 1182 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1273 1182 71 138 0 1132 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 8932
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1390072/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5244 CPUtime=1042.27
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1248 0 0 0 104226 1 0 0 25 0 1 0 724640009 5369856 1205 1992294400 134512640 135078026 4294956192 18446744073709551615 134534616 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1311 1205 71 138 0 1170 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 9084
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389880/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5404 CPUtime=1102.25
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1288 0 0 0 110224 1 0 0 25 0 1 0 724640009 5533696 1245 1992294400 134512640 135078026 4294956192 18446744073709551615 134534321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1351 1245 71 138 0 1210 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 9244
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1162.22
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 116221 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134534219 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 9404
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1170.21
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 117020 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134534226 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1189.65
Current children cumulated vsize (KiB) 9404
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1176.61
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 117660 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134534321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1196.05
Current children cumulated vsize (KiB) 9404
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1178.21
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 117820 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1197.65
Current children cumulated vsize (KiB) 9404
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1179.01
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 117900 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1198.45
Current children cumulated vsize (KiB) 9404
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1179.41
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 117940 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134520157 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1198.85
Current children cumulated vsize (KiB) 9404
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13984
/proc/meminfo: memFree=1389816/2055920 swapFree=4179868/4192956
[pid=13978] ppid=13976 vsize=3840 CPUtime=19.44
/proc/13978/stat : 13978 (SATzilla2009_I) S 13976 13978 13004 0 -1 4194304 928 2190 0 0 241 2 1698 3 25 0 1 0 724638059 3932160 524 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/13978/statm: 960 524 217 399 0 557 0
[pid=13984] ppid=13978 vsize=5564 CPUtime=1179.81
/proc/13984/stat : 13984 (mxc-sr08) R 13978 13978 13004 0 -1 4194304 1310 0 0 0 117980 1 0 0 25 0 1 0 724640009 5697536 1267 1992294400 134512640 135078026 4294956192 18446744073709551615 134534634 0 0 8392704 0 0 0 0 17 0 0 0
/proc/13984/statm: 1391 1267 71 138 0 1250 0
Current children cumulated CPU time (s) 1199.25
Current children cumulated vsize (KiB) 9404
Child status: 17
Real time (s): 1199.91
CPU time (s): 1199.29
CPU user time (s): 1199.21
CPU system time (s): 0.081987
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 9404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.21
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4447
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= 2848
runsolver used 1.04484 second user time and 3.32949 second system time
The end
Begin job on node49 at 2009-03-31 07:30:56
IDJOB=1539187
IDBENCH=70508
IDSOLVER=528
FILE ID=node49/1539187-1238477456
PBS_JOBID= 9061741
Free space on /tmp= 66388 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/70/unif-k7-r89-v70-c6230-S512486692-050.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1539187-1238477456/watcher-1539187-1238477456 -o /tmp/evaluation-result-1539187-1238477456/solver-1539187-1238477456 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1539187-1238477456.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 751cca0f1a9f3ec1e9287cb296cf29d5
RANDOM SEED=1693716843
node49.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.214
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 : 5931.00
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.214
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: 1396264 kB
Buffers: 104052 kB
Cached: 452740 kB
SwapCached: 6452 kB
Active: 215324 kB
Inactive: 350400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1396264 kB
SwapTotal: 4192956 kB
SwapFree: 4179868 kB
Dirty: 31604 kB
Writeback: 0 kB
Mapped: 14652 kB
Slab: 79824 kB
Committed_AS: 1879328 kB
PageTables: 1384 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= 66356 MiB
End job on node49 at 2009-03-31 07:50:56