19.60/19.76 c SATzilla is building models for class 3
19.60/19.76 c run presolver mxc-sr08 for 10 seconds ...
19.60/19.76 c Bin: Executing mxc-sr08
19.60/19.76 c spawning binary file with 10 seconds ...
19.60/19.76 c child exit by a signal
19.60/19.76 c mxc-sr08 returned code 137.
19.60/19.76 c run presolver picosat846 for 5 seconds ...
19.60/19.76 c Bin: Executing picosat846
19.60/19.76 c spawning binary file with 5 seconds ...
19.60/19.76 c child exit by a signal
19.60/19.76 c picosat846 returned code 137.
19.60/19.76 c Orignal number of varibales is 900, number of clauses is 18000
19.60/19.76 c predicted feature computation time is 1.453814
19.60/19.76 c Bin: Executing satelite
19.60/19.76 c spawning binary file with 240 seconds ...
19.60/19.76 c child exited successfully
19.60/19.76 c satzilla computing base features
19.60/19.76 c Number of variabe is: 900, Number of clause is : 18000
19.60/19.76 c Initializing...
19.60/19.76 c satzilla doing clause learning
19.60/19.76 c start clause learning features ...
19.60/19.76 c Bin: Executing zchaff07
19.60/19.76 c spawning binary file with 2 seconds ...
19.60/19.76 c child exit by a signal
19.60/19.76 c satzilla doing survey propogation probe
19.60/19.76 c do survay propogation for 2 second ...
19.60/19.76 c satzilla doing local search probe
19.60/19.76 c features are:900 18000 900 18000 0 0 0.05 0.374289 0.651408 0.829583 0.00555556 1.56125e-16 0.00555556 0.00555556 -0 0 0 0.00555556 0.0975614 0.00372222 0.00761111 3.64712 0.0801986 0.0607996 0 0.370787 3.0133 0.00103889 0.232078 0.000222222 0.00183333 2.86629 0.187 0.0179414 0.0801475 0.013 0.0229444 54.1273 0.238139 36 98 68 42 59 46 50 54.5485 0.0968278 46.3333 69.75 61.4886 48.6667 58.4776 50.75 53.1731 0.168487 0.687581 0.000164993 0.635664 0.332411 0.0309864 0.241242 0.0715025 0.153275 0.00272655 0.652985 0.000173136 0.0165053 0.00486388 0.00102565 0.0035485 0.00151374 0.0022919 52.8297 0.16787 172.621 0.0638976 173 158 186 0.822357 0.285085 0.862928 0.0328075
19.60/19.76 c satzilla's ranking:
19.60/19.76 c 1) mxc-sr08: 2.733004
19.60/19.76 c 2) picosat846: 2.288192
19.60/19.76 c 3) minisat20SAT07: 1.967411
19.60/19.76 c 4) march_dl2004: 0.075692
19.60/19.76 c 5) zchaff_rand: -0.203957
19.60/19.76 c 6) SATenstein: -10000.000000
19.60/19.76 c 7) gnovelty+: -10000.000000
19.60/19.76 c 8) adaptg2wsat+: -10000.000000
19.60/19.76 c 9) adaptg2wsat0: -10000.000000
19.60/19.76 c 10) tts-4-0: -10000.000000
19.60/19.76 c 11) vallst: -10000.000000
19.60/19.76 c 12) minisat20: -10000.000000
19.60/19.76 c 13) kcnfs04SAT07: -10000.000000
19.60/19.76 c satzilla running mxc-sr08 ...
1199.44/1199.92 c Bin: Executing mxc-sr08
1199.44/1199.92 c spawning binary file with 1180 seconds ...
1199.44/1199.92 c child exit by a signal
1199.44/1199.92 c mxc-sr08 returned code 137.
1199.44/1199.92 c satzilla running picosat846 ...
1199.44/1199.92 c Bin: Executing picosat846
1199.44/1199.92 c picosat846 returned code 1.
1199.44/1199.92 c satzilla running minisat20SAT07 ...
1199.44/1199.92 c Bin: Executing minisat20SAT07
1199.44/1199.92 c minisat20SAT07 returned code 1.
1199.44/1199.92 c satzilla running march_dl2004 ...
1199.44/1199.92 c Bin: Executing march_dl2004
1199.44/1199.92 c march_dl2004 returned code 1.
1199.44/1199.92 c satzilla running zchaff_rand ...
1199.44/1199.92 c Bin: Executing zchaff_rand
1199.44/1199.92 c zchaff_rand returned code 1.
1199.44/1199.92 c satzilla running SATenstein ...
1199.44/1199.92 c Bin: Executing SATenstein
1199.44/1199.92 c SATenstein returned code 1.
1199.44/1199.92 c satzilla running gnovelty+ ...
1199.44/1199.92 c Bin: Executing gnovelty+
1199.44/1199.92 c gnovelty+ returned code 1.
1199.44/1199.92 c satzilla running adaptg2wsat+ ...
1199.44/1199.92 c Bin: Executing adaptg2wsat+
1199.44/1199.92 c adaptg2wsat+ returned code 1.
1199.44/1199.92 c satzilla running adaptg2wsat0 ...
1199.44/1199.92 c Bin: Executing adaptg2wsat0
1199.44/1199.92 c adaptg2wsat0 returned code 1.
1199.44/1199.92 c satzilla running tts-4-0 ...
1199.44/1199.92 c Bin: Executing tts-4-0
1199.44/1199.92 c tts-4-0 returned code 1.
1199.44/1199.92 c satzilla running vallst ...
1199.44/1199.92 c Bin: Executing vallst
1199.44/1199.92 c vallst returned code 1.
1199.44/1199.92 c satzilla running minisat20 ...
1199.44/1199.92 c Bin: Executing minisat20
1199.44/1199.92 c minisat20 returned code 1.
1199.44/1199.92 c satzilla running kcnfs04SAT07 ...
1199.44/1199.92 c Bin: Executing kcnfs04SAT07
1199.44/1199.92 c kcnfs04SAT07 returned code 1.
1199.44/1199.92 c ERROR: All Failed!
1199.44/1199.92 c SATZILLA_TIME=1199.680000
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1538314-1238423898/watcher-1538314-1238423898 -o /tmp/evaluation-result-1538314-1238423898/solver-1538314-1238423898 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1538314-1238423898.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.85 0.97 0.99 2/69 13501
/proc/meminfo: memFree=1512792/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) R 13499 13501 13464 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=1424 CPUtime=0
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 1115053027 1458176 253 1992294400 134512640 135078026 4294956192 18446744073709551615 134721955 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 356 253 54 138 0 215 0
[startup+0.0350841 s]
/proc/loadavg: 0.85 0.97 0.99 2/69 13501
/proc/meminfo: memFree=1512792/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=2344 CPUtime=0.03
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 579 0 0 0 3 0 0 0 19 0 1 0 1115053027 2400256 469 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 586 469 55 138 0 445 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4400
[startup+0.10109 s]
/proc/loadavg: 0.85 0.97 0.99 2/69 13501
/proc/meminfo: memFree=1512792/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=2508 CPUtime=0.09
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 641 0 0 0 9 0 0 0 19 0 1 0 1115053027 2568192 531 1992294400 134512640 135078026 4294956192 18446744073709551615 134560893 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 627 531 55 138 0 486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4564
[startup+0.301109 s]
/proc/loadavg: 0.85 0.97 0.99 2/69 13501
/proc/meminfo: memFree=1512792/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=3140 CPUtime=0.29
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 887 0 0 0 29 0 0 0 21 0 1 0 1115053027 3215360 678 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 785 678 71 138 0 644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5196
[startup+0.70115 s]
/proc/loadavg: 0.85 0.97 0.99 2/69 13501
/proc/meminfo: memFree=1512792/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=3932 CPUtime=0.69
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 1073 0 0 0 69 0 0 0 24 0 1 0 1115053027 4026368 864 1992294400 134512640 135078026 4294956192 18446744073709551615 134522409 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 983 864 71 138 0 842 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5988
[startup+1.50123 s]
/proc/loadavg: 0.85 0.97 0.99 2/71 13503
/proc/meminfo: memFree=1509312/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=4196 CPUtime=1.49
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 1149 0 0 0 149 0 0 0 25 0 1 0 1115053027 4296704 940 1992294400 134512640 135078026 4294956192 18446744073709551615 134523627 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 1049 940 71 138 0 908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6252
[startup+3.1014 s]
/proc/loadavg: 0.86 0.97 0.99 2/71 13503
/proc/meminfo: memFree=1508736/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=4592 CPUtime=3.09
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 1262 0 0 0 309 0 0 0 25 0 1 0 1115053027 4702208 1053 1992294400 134512640 135078026 4294956192 18446744073709551615 134522580 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 1148 1053 71 138 0 1007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6648
[startup+6.30172 s]
/proc/loadavg: 0.86 0.97 0.99 2/71 13503
/proc/meminfo: memFree=1507592/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=0
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1115053027 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/13501/statm: 514 112 96 399 0 111 0
[pid=13502] ppid=13501 vsize=4988 CPUtime=6.29
/proc/13502/stat : 13502 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 1357 0 0 0 628 1 0 0 25 0 1 0 1115053027 5107712 1148 1992294400 134512640 135078026 4294956192 18446744073709551615 134523880 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13502/statm: 1247 1148 71 138 0 1106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7044
[startup+12.7024 s]
/proc/loadavg: 0.88 0.97 0.99 2/71 13504
/proc/meminfo: memFree=1506576/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=2056 CPUtime=9.99
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 152 1440 0 0 0 0 998 1 16 0 1 0 1115053027 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 514 121 104 399 0 111 0
[pid=13504] ppid=13501 vsize=7180 CPUtime=2.61
/proc/13504/stat : 13504 (picosat846) R 13501 13501 13464 0 -1 4194304 1502 0 9 0 260 1 0 0 25 0 1 0 1115054027 7352320 1500 1992294400 134512640 134570484 4294956192 18446744073709551615 134522997 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13504/statm: 1795 1500 84 14 0 1461 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 9236
[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/71 13507
/proc/meminfo: memFree=1504600/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=4988 CPUtime=5.72
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 1357 0 0 0 572 0 0 0 25 0 1 0 1115055003 5107712 1148 1992294400 134512640 135078026 4294956192 18446744073709551615 134522580 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 1247 1148 71 138 0 1106 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 10448
[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/71 13507
/proc/meminfo: memFree=1503192/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=6436 CPUtime=31.31
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 1705 0 0 0 3131 0 0 0 25 0 1 0 1115055003 6590464 1496 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 1609 1496 71 138 0 1468 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 11896
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/71 13507
/proc/meminfo: memFree=1501656/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=7916 CPUtime=82.51
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 2075 0 0 0 8250 1 0 0 25 0 1 0 1115055003 8105984 1866 1992294400 134512640 135078026 4294956192 18446744073709551615 134523387 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 1979 1866 71 138 0 1838 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 13376
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13507
/proc/meminfo: memFree=1500376/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=9188 CPUtime=142.48
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 2388 0 0 0 14247 1 0 0 25 0 1 0 1115055003 9408512 2179 1992294400 134512640 135078026 4294956192 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 2297 2179 71 138 0 2156 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 14648
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13507
/proc/meminfo: memFree=1499608/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=9872 CPUtime=202.46
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 2567 0 0 0 20245 1 0 0 25 0 1 0 1115055003 10108928 2358 1992294400 134512640 135078026 4294956192 18446744073709551615 134523786 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 2468 2358 71 138 0 2327 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 15332
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13507
/proc/meminfo: memFree=1498968/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=10520 CPUtime=262.45
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 2760 0 0 0 26243 2 0 0 25 0 1 0 1115055003 10772480 2527 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 2630 2527 71 138 0 2489 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 15980
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1498072/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=11436 CPUtime=322.43
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 2969 0 0 0 32241 2 0 0 25 0 1 0 1115055003 11710464 2736 1992294400 134512640 135078026 4294956192 18446744073709551615 134534219 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 2859 2736 71 138 0 2718 0
################
# More data... #
################
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1495320/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=14096 CPUtime=742.32
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 3738 0 0 0 74228 4 0 0 25 0 1 0 1115055003 14434304 3432 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3524 3432 71 138 0 3383 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 19556
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1495064/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=14392 CPUtime=802.3
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 3812 0 0 0 80225 5 0 0 25 0 1 0 1115055003 14737408 3506 1992294400 134512640 135078026 4294956192 18446744073709551615 134533760 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3598 3506 71 138 0 3457 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 19852
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1494744/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=14656 CPUtime=862.28
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 3947 0 0 0 86223 5 0 0 25 0 1 0 1115055003 15007744 3572 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3664 3572 71 138 0 3523 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 20116
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1494616/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=14872 CPUtime=922.26
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4020 0 0 0 92221 5 0 0 25 0 1 0 1115055003 15228928 3596 1992294400 134512640 135078026 4294956192 18446744073709551615 134521053 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3718 3596 71 138 0 3577 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 20332
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1494360/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15136 CPUtime=982.25
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4153 0 0 0 98219 6 0 0 25 0 1 0 1115055003 15499264 3687 1992294400 134512640 135078026 4294956192 18446744073709551615 134524346 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3784 3687 71 138 0 3643 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 20596
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1494040/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15396 CPUtime=1042.23
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4268 0 0 0 104217 6 0 0 25 0 1 0 1115055003 15765504 3752 1992294400 134512640 135078026 4294956192 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3849 3752 71 138 0 3708 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 20856
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1494040/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15316 CPUtime=1102.21
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4326 0 0 0 110215 6 0 0 25 0 1 0 1115055003 15683584 3738 1992294400 134512640 135078026 4294956192 18446744073709551615 134534650 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3829 3738 71 138 0 3688 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 20776
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15936 CPUtime=1162.2
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 116213 7 0 0 25 0 1 0 1115055003 16318464 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134522283 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3984 3885 71 138 0 3843 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 21396
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15936 CPUtime=1170.19
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 117012 7 0 0 25 0 1 0 1115055003 16318464 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3984 3885 71 138 0 3843 0
Current children cumulated CPU time (s) 1189.84
Current children cumulated vsize (KiB) 21396
[startup+1196.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15932 CPUtime=1176.59
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 117652 7 0 0 25 0 1 0 1115055003 16314368 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134523880 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3983 3885 71 138 0 3842 0
Current children cumulated CPU time (s) 1196.24
Current children cumulated vsize (KiB) 21392
[startup+1198.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15928 CPUtime=1178.19
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 117812 7 0 0 25 0 1 0 1115055003 16310272 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3982 3885 71 138 0 3841 0
Current children cumulated CPU time (s) 1197.84
Current children cumulated vsize (KiB) 21388
[startup+1199.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15928 CPUtime=1178.99
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 117892 7 0 0 25 0 1 0 1115055003 16310272 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134534259 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3982 3885 71 138 0 3841 0
Current children cumulated CPU time (s) 1198.64
Current children cumulated vsize (KiB) 21388
[startup+1199.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15928 CPUtime=1179.39
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 117932 7 0 0 25 0 1 0 1115055003 16310272 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134523858 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3982 3885 71 138 0 3841 0
Current children cumulated CPU time (s) 1199.04
Current children cumulated vsize (KiB) 21388
[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 13509
/proc/meminfo: memFree=1493528/2055920 swapFree=4171336/4192956
[pid=13501] ppid=13499 vsize=5460 CPUtime=19.65
/proc/13501/stat : 13501 (SATzilla2009_I) S 13499 13501 13464 0 -1 4194304 1655 4650 0 9 255 6 1686 18 25 0 1 0 1115053027 5591040 995 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/13501/statm: 1365 995 217 399 0 962 0
[pid=13507] ppid=13501 vsize=15928 CPUtime=1179.79
/proc/13507/stat : 13507 (mxc-sr08) R 13501 13501 13464 0 -1 4194304 4513 0 0 0 117972 7 0 0 25 0 1 0 1115055003 16310272 3885 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/13507/statm: 3982 3885 71 138 0 3841 0
Current children cumulated CPU time (s) 1199.44
Current children cumulated vsize (KiB) 21388
Child status: 17
Real time (s): 1199.92
CPU time (s): 1199.5
CPU user time (s): 1199.17
CPU system time (s): 0.335948
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 21436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.17
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10840
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 1696
runsolver used 1.04084 second user time and 3.33249 second system time
The end
Begin job on node44 at 2009-03-30 16:38:18
IDJOB=1538314
IDBENCH=70217
IDSOLVER=528
FILE ID=node44/1538314-1238423898
PBS_JOBID= 9061535
Free space on /tmp= 66400 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1253795703-015.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1538314-1238423898/watcher-1538314-1238423898 -o /tmp/evaluation-result-1538314-1238423898/solver-1538314-1238423898 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1538314-1238423898.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17b09148dbc69a552ff183cd5c8f891a
RANDOM SEED=1024271116
node44.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.241
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.241
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: 1513272 kB
Buffers: 79448 kB
Cached: 357332 kB
SwapCached: 11068 kB
Active: 129376 kB
Inactive: 319884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1513272 kB
SwapTotal: 4192956 kB
SwapFree: 4171336 kB
Dirty: 32092 kB
Writeback: 0 kB
Mapped: 18104 kB
Slab: 78784 kB
Committed_AS: 2596036 kB
PageTables: 1796 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= 66368 MiB
End job on node44 at 2009-03-30 16:58:19