23.35/23.42 c SATzilla is building models for class 3
23.35/23.42 c run presolver mxc-sr08 for 10 seconds ...
23.35/23.42 c Bin: Executing mxc-sr08
23.35/23.42 c spawning binary file with 10 seconds ...
23.35/23.42 c child exit by a signal
23.35/23.42 c mxc-sr08 returned code 137.
23.35/23.42 c run presolver picosat846 for 5 seconds ...
23.35/23.42 c Bin: Executing picosat846
23.35/23.42 c spawning binary file with 5 seconds ...
23.35/23.42 c child exit by a signal
23.35/23.42 c picosat846 returned code 137.
23.35/23.42 c Orignal number of varibales is 31616, number of clauses is 95110
23.35/23.42 c predicted feature computation time is 1.861510
23.35/23.42 c Bin: Executing satelite
23.35/23.42 c spawning binary file with 240 seconds ...
23.35/23.42 c child exited successfully
23.35/23.42 c satzilla computing base features
23.35/23.42 c Number of variabe is: 13864, Number of clause is : 57628
23.35/23.42 c Initializing...
23.35/23.42 c satzilla doing clause learning
23.35/23.42 c start clause learning features ...
23.35/23.42 c Bin: Executing zchaff07
23.35/23.42 c spawning binary file with 2 seconds ...
23.35/23.42 c child exit by a signal
23.35/23.42 c satzilla doing survey propogation probe
23.35/23.42 c do survay propogation for 2 second ...
23.35/23.42 c satzilla doing local search probe
23.35/23.42 c features are:31616 95110 13864 57628 1.28044 0.650413 0.240577 0.191857 1.53988 1.14264 0.000215569 1.08514 0.000144259 0.00238027 0.990912 0.658603 0.938589 0.000215569 0.796914 0.000121469 0.00178733 2.47957 0.184228 0.154298 0 0.777778 2.38262 0.000146712 0.933395 5.2058e-05 0.00150968 1.87867 0.890938 0.000398668 0.759519 6.94107e-05 0.00209967 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751864 0.340026 2.33915e-05 0.971915 0.925289 0.241814 0.900671 0.747954 0.851572 0.0330051 0.56454 3.89916e-10 0.171312 0.0560517 0.0132143 0.0426857 0.0215796 0.0311272 992.312 0.206819 3833.31 0.266817 4081 4027 4116 0.914137 0.47111 0.952776 0.064158
23.35/23.42 c satzilla's ranking:
23.35/23.42 c 1) mxc-sr08: 3.564978
23.35/23.42 c 2) picosat846: 2.815764
23.35/23.42 c 3) zchaff_rand: 2.028662
23.35/23.42 c 4) minisat20SAT07: 1.975395
23.35/23.42 c 5) march_dl2004: 0.232665
23.35/23.42 c 6) SATenstein: -10000.000000
23.35/23.42 c 7) gnovelty+: -10000.000000
23.35/23.42 c 8) adaptg2wsat+: -10000.000000
23.35/23.42 c 9) adaptg2wsat0: -10000.000000
23.35/23.42 c 10) tts-4-0: -10000.000000
23.35/23.42 c 11) vallst: -10000.000000
23.35/23.42 c 12) minisat20: -10000.000000
23.35/23.42 c 13) kcnfs04SAT07: -10000.000000
23.35/23.42 c satzilla running mxc-sr08 ...
9997.78/10002.59 c Bin: Executing mxc-sr08
9997.78/10002.59 c spawning binary file with 9976 seconds ...
9997.78/10002.59 c child exit by a signal
9997.78/10002.59 c mxc-sr08 returned code 137.
9997.78/10002.59 c satzilla running picosat846 ...
9997.78/10002.59 c Bin: Executing picosat846
9997.78/10002.59 c picosat846 returned code 1.
9997.78/10002.59 c satzilla running zchaff_rand ...
9997.78/10002.59 c Bin: Executing zchaff_rand
9997.78/10002.59 c zchaff_rand returned code 1.
9997.78/10002.59 c satzilla running minisat20SAT07 ...
9997.78/10002.59 c Bin: Executing minisat20SAT07
9997.78/10002.59 c minisat20SAT07 returned code 1.
9997.78/10002.59 c satzilla running march_dl2004 ...
9997.78/10002.59 c Bin: Executing march_dl2004
9997.78/10002.59 c march_dl2004 returned code 1.
9997.78/10002.59 c satzilla running SATenstein ...
9997.78/10002.59 c Bin: Executing SATenstein
9997.78/10002.59 c SATenstein returned code 1.
9997.78/10002.59 c satzilla running gnovelty+ ...
9997.78/10002.59 c Bin: Executing gnovelty+
9997.78/10002.59 c gnovelty+ returned code 1.
9997.78/10002.59 c satzilla running adaptg2wsat+ ...
9997.78/10002.59 c Bin: Executing adaptg2wsat+
9997.78/10002.59 c adaptg2wsat+ returned code 1.
9997.78/10002.59 c satzilla running adaptg2wsat0 ...
9997.78/10002.59 c Bin: Executing adaptg2wsat0
9997.78/10002.59 c adaptg2wsat0 returned code 1.
9997.78/10002.59 c satzilla running tts-4-0 ...
9997.78/10002.59 c Bin: Executing tts-4-0
9997.78/10002.59 c tts-4-0 returned code 1.
9997.78/10002.59 c satzilla running vallst ...
9997.78/10002.59 c Bin: Executing vallst
9997.78/10002.59 c vallst returned code 1.
9997.78/10002.59 c satzilla running minisat20 ...
9997.78/10002.59 c Bin: Executing minisat20
9997.78/10002.59 c minisat20 returned code 1.
9997.78/10002.59 c satzilla running kcnfs04SAT07 ...
9997.78/10002.59 c Bin: Executing kcnfs04SAT07
9997.78/10002.59 c kcnfs04SAT07 returned code 1.
9997.78/10002.59 c ERROR: All Failed!
9997.78/10002.59 c SATZILLA_TIME=9999.400000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774030-1241351794/watcher-1774030-1241351794 -o /tmp/evaluation-result-1774030-1241351794/solver-1774030-1241351794 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774030-1241351794.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11480
/proc/meminfo: memFree=1652592/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) R 11478 11480 11411 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=3728 CPUtime=0
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 704 0 0 0 0 0 0 0 18 0 1 0 163208610 3817472 700 1992294400 134512640 135078026 4294956192 18446744073709551615 134734635 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 932 708 50 138 0 791 0
[startup+0.0348959 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11480
/proc/meminfo: memFree=1652592/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=10400 CPUtime=0.03
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 2087 0 0 0 2 1 0 0 19 0 1 0 163208610 10649600 2082 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 2600 2082 54 138 0 2459 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12456
[startup+0.102901 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11480
/proc/meminfo: memFree=1652592/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=13144 CPUtime=0.09
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 3064 0 0 0 8 1 0 0 19 0 1 0 163208610 13459456 2681 1992294400 134512640 135078026 4294956192 18446744073709551615 134560674 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 3286 2681 55 138 0 3145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15200
[startup+0.301923 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11480
/proc/meminfo: memFree=1652592/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=18564 CPUtime=0.29
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 4386 0 0 0 27 2 0 0 21 0 1 0 163208610 19009536 4003 1992294400 134512640 135078026 4294956192 18446744073709551615 134569359 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 4641 4003 55 138 0 4500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20620
[startup+0.70297 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 11480
/proc/meminfo: memFree=1652592/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=18604 CPUtime=0.69
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5072 0 0 0 67 2 0 0 25 0 1 0 163208610 19050496 4232 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 4651 4232 71 138 0 4510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20660
[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11482
/proc/meminfo: memFree=1635616/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=18604 CPUtime=1.49
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5073 0 0 0 147 2 0 0 25 0 1 0 163208610 19050496 4233 1992294400 134512640 135078026 4294956192 18446744073709551615 134533760 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 4651 4233 71 138 0 4510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20660
[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11482
/proc/meminfo: memFree=1635488/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=18604 CPUtime=3.09
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5074 0 0 0 307 2 0 0 25 0 1 0 163208610 19050496 4234 1992294400 134512640 135078026 4294956192 18446744073709551615 134534660 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 4651 4234 71 138 0 4510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20660
[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11482
/proc/meminfo: memFree=1634272/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=0
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163208610 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11480/statm: 514 112 96 399 0 111 0
[pid=11481] ppid=11480 vsize=18604 CPUtime=6.28
/proc/11481/stat : 11481 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5074 0 0 0 626 2 0 0 25 0 1 0 163208610 19050496 4234 1992294400 134512640 135078026 4294956192 18446744073709551615 134533788 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11481/statm: 4651 4234 71 138 0 4510 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20660
[startup+12.7013 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 11483
/proc/meminfo: memFree=1646688/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=2056 CPUtime=9.99
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 152 5074 0 0 0 0 994 5 16 0 1 0 163208610 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 514 121 104 399 0 111 0
[pid=11483] ppid=11480 vsize=7472 CPUtime=2.67
/proc/11483/stat : 11483 (picosat846) R 11480 11480 11411 0 -1 4194304 1534 0 0 0 267 0 0 0 25 0 1 0 163209611 7651328 1523 1992294400 134512640 134570484 4294956192 18446744073709551615 134523578 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11483/statm: 1868 1523 85 14 0 1534 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 9528
[startup+25.5018 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 11486
/proc/meminfo: memFree=1626912/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=18604 CPUtime=2.05
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5074 0 0 0 204 1 0 0 25 0 1 0 163210952 19050496 4234 1992294400 134512640 135078026 4294956192 18446744073709551615 134533839 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 4651 4234 71 138 0 4510 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 28232
[startup+51.1017 s]
/proc/loadavg: 1.04 1.01 1.00 2/67 11486
/proc/meminfo: memFree=1627104/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=18604 CPUtime=27.64
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5080 0 0 0 2762 2 0 0 25 0 1 0 163210952 19050496 4240 1992294400 134512640 135078026 4294956192 18446744073709551615 134534640 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 4651 4240 71 138 0 4510 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 28232
[startup+102.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/67 11486
/proc/meminfo: memFree=1627232/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=18740 CPUtime=78.8
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5097 0 0 0 7878 2 0 0 25 0 1 0 163210952 19189760 4257 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 4685 4257 71 138 0 4544 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 28368
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11486
/proc/meminfo: memFree=1626784/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=19144 CPUtime=138.77
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5213 0 0 0 13875 2 0 0 25 0 1 0 163210952 19603456 4373 1992294400 134512640 135078026 4294956192 18446744073709551615 134534605 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 4786 4373 71 138 0 4645 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 28772
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11486
/proc/meminfo: memFree=1626336/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=19672 CPUtime=198.75
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5317 0 0 0 19872 3 0 0 25 0 1 0 163210952 20144128 4477 1992294400 134512640 135078026 4294956192 18446744073709551615 134534954 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 4918 4477 71 138 0 4777 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 29300
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11492
/proc/meminfo: memFree=1625824/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=20092 CPUtime=258.72
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5405 0 0 0 25869 3 0 0 25 0 1 0 163210952 20574208 4565 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 5023 4565 71 138 0 4882 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 29720
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11492
/proc/meminfo: memFree=1625632/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=20252 CPUtime=318.69
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 5459 0 0 0 31866 3 0 0 25 0 1 0 163210952 20738048 4619 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 5063 4619 71 138 0 4922 0
Current children cumulated CPU time (s) 342.08
################
# More data... #
################
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600480/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=46920 CPUtime=9254.57
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11312 0 0 0 925440 17 0 0 25 0 1 0 163210952 48046080 10472 1992294400 134512640 135078026 4294956192 18446744073709551615 134534374 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11730 10472 71 138 0 11589 0
Current children cumulated CPU time (s) 9277.96
Current children cumulated vsize (KiB) 56548
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600480/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=46920 CPUtime=9314.55
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11312 0 0 0 931438 17 0 0 25 0 1 0 163210952 48046080 10472 1992294400 134512640 135078026 4294956192 18446744073709551615 134522269 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11730 10472 71 138 0 11589 0
Current children cumulated CPU time (s) 9337.94
Current children cumulated vsize (KiB) 56548
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600480/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=46920 CPUtime=9374.52
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11312 0 0 0 937435 17 0 0 25 0 1 0 163210952 48046080 10472 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11730 10472 71 138 0 11589 0
Current children cumulated CPU time (s) 9397.91
Current children cumulated vsize (KiB) 56548
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600480/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=46920 CPUtime=9434.49
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11314 0 0 0 943432 17 0 0 25 0 1 0 163210952 48046080 10474 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11730 10474 71 138 0 11589 0
Current children cumulated CPU time (s) 9457.88
Current children cumulated vsize (KiB) 56548
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600416/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9494.46
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11333 0 0 0 949429 17 0 0 25 0 1 0 163210952 48181248 10493 1992294400 134512640 135078026 4294956192 18446744073709551615 134522526 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10493 71 138 0 11622 0
Current children cumulated CPU time (s) 9517.85
Current children cumulated vsize (KiB) 56680
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600416/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9554.44
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11334 0 0 0 955427 17 0 0 25 0 1 0 163210952 48181248 10494 1992294400 134512640 135078026 4294956192 18446744073709551615 134533851 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10494 71 138 0 11622 0
Current children cumulated CPU time (s) 9577.83
Current children cumulated vsize (KiB) 56680
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600416/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9614.41
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11338 0 0 0 961424 17 0 0 25 0 1 0 163210952 48181248 10498 1992294400 134512640 135078026 4294956192 18446744073709551615 134521072 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10498 71 138 0 11622 0
Current children cumulated CPU time (s) 9637.8
Current children cumulated vsize (KiB) 56680
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600224/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9674.39
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11339 0 0 0 967422 17 0 0 25 0 1 0 163210952 48181248 10499 1992294400 134512640 135078026 4294956192 18446744073709551615 134534204 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10499 71 138 0 11622 0
Current children cumulated CPU time (s) 9697.78
Current children cumulated vsize (KiB) 56680
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600160/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9734.34
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11339 0 0 0 973417 17 0 0 25 0 1 0 163210952 48181248 10499 1992294400 134512640 135078026 4294956192 18446744073709551615 134534917 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10499 71 138 0 11622 0
Current children cumulated CPU time (s) 9757.73
Current children cumulated vsize (KiB) 56680
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11508
/proc/meminfo: memFree=1600160/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9794.3
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11339 0 0 0 979413 17 0 0 25 0 1 0 163210952 48181248 10499 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10499 71 138 0 11622 0
Current children cumulated CPU time (s) 9817.69
Current children cumulated vsize (KiB) 56680
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11510
/proc/meminfo: memFree=1600096/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9854.27
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11340 0 0 0 985410 17 0 0 25 0 1 0 163210952 48181248 10500 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10500 71 138 0 11622 0
Current children cumulated CPU time (s) 9877.66
Current children cumulated vsize (KiB) 56680
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11510
/proc/meminfo: memFree=1600096/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47052 CPUtime=9914.25
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11340 0 0 0 991407 18 0 0 25 0 1 0 163210952 48181248 10500 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11763 10500 71 138 0 11622 0
Current children cumulated CPU time (s) 9937.64
Current children cumulated vsize (KiB) 56680
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11510
/proc/meminfo: memFree=1600032/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47184 CPUtime=9974.19
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11359 0 0 0 997401 18 0 0 25 0 1 0 163210952 48316416 10519 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11796 10519 71 138 0 11655 0
Current children cumulated CPU time (s) 9997.58
Current children cumulated vsize (KiB) 56812
Solver just ended. Dumping a history of the last processes samples
[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11510
/proc/meminfo: memFree=1600032/2055920 swapFree=4181548/4192956
[pid=11480] ppid=11478 vsize=9628 CPUtime=23.39
/proc/11480/stat : 11480 (SATzilla2009_I) S 11478 11480 11411 0 -1 4194304 4282 12901 0 0 496 12 1819 12 25 0 1 0 163208610 9859072 2172 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11480/statm: 2407 2172 217 399 0 2004 0
[pid=11486] ppid=11480 vsize=47184 CPUtime=9974.39
/proc/11486/stat : 11486 (mxc-sr08) R 11480 11480 11411 0 -1 4194304 11359 0 0 0 997421 18 0 0 25 0 1 0 163210952 48316416 10519 1992294400 134512640 135078026 4294956192 18446744073709551615 134535089 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11486/statm: 11796 10519 71 138 0 11655 0
Current children cumulated CPU time (s) 9997.78
Current children cumulated vsize (KiB) 56812
Child status: 17
Real time (s): 10002.6
CPU time (s): 9997.89
CPU user time (s): 9997.46
CPU system time (s): 0.434933
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 56812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.46
system time used= 0.434933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28559
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= 37949
runsolver used 8.22375 second user time and 28.1507 second system time
The end
Begin job on node88 at 2009-05-03 13:56:35
IDJOB=1774030
IDBENCH=70848
IDSOLVER=616
FILE ID=node88/1774030-1241351794
PBS_JOBID= 9225567
Free space on /tmp= 66424 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774030-1241351794/watcher-1774030-1241351794 -o /tmp/evaluation-result-1774030-1241351794/solver-1774030-1241351794 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774030-1241351794.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 96596d59af0c6949ab68ac8c5abcf28b
RANDOM SEED=1201607244
node88.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.229
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.229
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: 1653136 kB
Buffers: 59488 kB
Cached: 253692 kB
SwapCached: 5604 kB
Active: 129996 kB
Inactive: 192300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653136 kB
SwapTotal: 4192956 kB
SwapFree: 4181548 kB
Dirty: 32960 kB
Writeback: 0 kB
Mapped: 15080 kB
Slab: 66448 kB
Committed_AS: 533944 kB
PageTables: 1444 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= 66392 MiB
End job on node88 at 2009-05-03 16:43:17