165.49/165.64 c SATzilla is building models for class 3
165.49/165.64 c run presolver mxc-sr08 for 10 seconds ...
165.49/165.64 c Bin: Executing mxc-sr08
165.49/165.64 c spawning binary file with 10 seconds ...
165.49/165.64 c child exit by a signal
165.49/165.64 c mxc-sr08 returned code 137.
165.49/165.64 c run presolver picosat846 for 5 seconds ...
165.49/165.64 c Bin: Executing picosat846
165.49/165.64 c spawning binary file with 5 seconds ...
165.49/165.64 c child exit by a signal
165.49/165.64 c picosat846 returned code 137.
165.49/165.64 c Orignal number of varibales is 154309, number of clauses is 3230738
165.49/165.64 c predicted feature computation time is 105.862741
165.49/165.64 c Bin: Executing satelite
165.49/165.64 c spawning binary file with 240 seconds ...
165.49/165.64 c child exited successfully
165.49/165.64 c satzilla computing base features
165.49/165.64 c Number of variabe is: 136989, Number of clause is : 3193200
165.49/165.64 c Initializing...
165.49/165.64 c satzilla doing clause learning
165.49/165.64 c start clause learning features ...
165.49/165.64 c Bin: Executing zchaff07
165.49/165.64 c spawning binary file with 2 seconds ...
165.49/165.64 c child exit by a signal
165.49/165.64 c satzilla doing survey propogation probe
165.49/165.64 c do survay propogation for 2 second ...
165.49/165.64 c satzilla doing local search probe
165.49/165.64 c features are:154309 3.23074e+06 136989 3.1932e+06 0.126434 0.0117556 0.0429002 0.537333 0.751969 1.32691 2.21454e-05 2.95223 1.45997e-05 0.026462 0.978311 0.600128 0.953047 2.21454e-05 7.58653 1.87899e-06 0.0187317 4.36278 0.460655 0.258716 0 1 4.04875 1.63494e-05 5.24578 0 0.00944382 4.23839 0.946139 0.000251504 1.31523 1.56583e-06 0.0102671 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864212 0.273746 0 1 0.999996 0.489362 0.999929 0.83503 0.996939 0.0853733 1.77687 -1.11022e-16 0.5 0.348547 1.35639e-06 0.0912151 4.49979e-05 0.00242469 181130 0 0 0 0 0 0 89.476 0 1.44055 0
165.49/165.64 c satzilla's ranking:
165.49/165.64 c 1) zchaff_rand: 3.989607
165.49/165.64 c 2) minisat20SAT07: 1.374127
165.49/165.64 c 3) picosat846: 1.111198
165.49/165.64 c 4) march_dl2004: -0.362582
165.49/165.64 c 5) mxc-sr08: -0.481193
165.49/165.64 c 6) SATenstein: -10000.000000
165.49/165.64 c 7) gnovelty+: -10000.000000
165.49/165.64 c 8) adaptg2wsat+: -10000.000000
165.49/165.64 c 9) adaptg2wsat0: -10000.000000
165.49/165.64 c 10) tts-4-0: -10000.000000
165.49/165.64 c 11) vallst: -10000.000000
165.49/165.64 c 12) minisat20: -10000.000000
165.49/165.64 c 13) kcnfs04SAT07: -10000.000000
165.49/165.64 c satzilla running zchaff_rand ...
1199.39/1200.05 c Bin: Executing zchaff_rand
1199.39/1200.05 c spawning binary file with 1034 seconds ...
1199.39/1200.05 c child exit by a signal
1199.39/1200.05 c zchaff_rand returned code 137.
1199.39/1200.05 c satzilla running minisat20SAT07 ...
1199.39/1200.05 c Bin: Executing minisat20SAT07
1199.39/1200.05 c minisat20SAT07 returned code 1.
1199.39/1200.05 c satzilla running picosat846 ...
1199.39/1200.05 c Bin: Executing picosat846
1199.39/1200.05 c picosat846 returned code 1.
1199.39/1200.05 c satzilla running march_dl2004 ...
1199.39/1200.05 c Bin: Executing march_dl2004
1199.39/1200.05 c march_dl2004 returned code 1.
1199.39/1200.05 c satzilla running mxc-sr08 ...
1199.39/1200.05 c Bin: Executing mxc-sr08
1199.39/1200.05 c mxc-sr08 returned code 1.
1199.39/1200.05 c satzilla running SATenstein ...
1199.39/1200.05 c Bin: Executing SATenstein
1199.39/1200.05 c SATenstein returned code 1.
1199.39/1200.05 c satzilla running gnovelty+ ...
1199.39/1200.05 c Bin: Executing gnovelty+
1199.39/1200.05 c gnovelty+ returned code 1.
1199.39/1200.05 c satzilla running adaptg2wsat+ ...
1199.39/1200.05 c Bin: Executing adaptg2wsat+
1199.39/1200.05 c adaptg2wsat+ returned code 1.
1199.39/1200.05 c satzilla running adaptg2wsat0 ...
1199.39/1200.05 c Bin: Executing adaptg2wsat0
1199.39/1200.05 c adaptg2wsat0 returned code 1.
1199.39/1200.05 c satzilla running tts-4-0 ...
1199.39/1200.05 c Bin: Executing tts-4-0
1199.39/1200.05 c tts-4-0 returned code 1.
1199.39/1200.05 c satzilla running vallst ...
1199.39/1200.05 c Bin: Executing vallst
1199.39/1200.05 c vallst returned code 1.
1199.39/1200.05 c satzilla running minisat20 ...
1199.39/1200.05 c Bin: Executing minisat20
1199.39/1200.05 c minisat20 returned code 1.
1199.39/1200.05 c satzilla running kcnfs04SAT07 ...
1199.39/1200.05 c Bin: Executing kcnfs04SAT07
1199.39/1200.05 c kcnfs04SAT07 returned code 1.
1199.39/1200.05 c ERROR: All Failed!
1199.39/1200.05 c SATZILLA_TIME=1199.620000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1719711-1240648875/watcher-1719711-1240648875 -o /tmp/evaluation-result-1719711-1240648875/solver-1719711-1240648875 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1719711-1240648875.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.86 0.97 0.99 3/64 19677
/proc/meminfo: memFree=1344432/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=69348 CPUtime=0
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 714 0 0 0 0 0 0 0 19 0 1 0 92914733 71012352 710 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 17337 717 44 138 0 17196 0
[startup+0.069252 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 19677
/proc/meminfo: memFree=1344432/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=69348 CPUtime=0.06
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 11473 0 0 0 0 6 0 0 19 0 1 0 92914733 71012352 11469 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 17337 11475 44 138 0 17196 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 71404
[startup+0.101257 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 19677
/proc/meminfo: memFree=1344432/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=69348 CPUtime=0.09
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 17053 0 0 0 0 9 0 0 19 0 1 0 92914733 71012352 17049 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 17337 17055 44 138 0 17196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71404
[startup+0.301299 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 19677
/proc/meminfo: memFree=1344432/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=110424 CPUtime=0.29
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 25810 0 0 0 15 14 0 0 21 0 1 0 92914733 113074176 25782 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 27606 25783 54 138 0 27465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112480
[startup+0.701363 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 19677
/proc/meminfo: memFree=1344432/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=137252 CPUtime=0.69
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 32425 0 0 0 52 17 0 0 25 0 1 0 92914733 140546048 32397 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 34313 32398 54 138 0 34172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 139308
[startup+1.50151 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 19679
/proc/meminfo: memFree=1192288/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=187284 CPUtime=1.49
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 44751 0 0 0 126 23 0 0 25 0 1 0 92914733 191778816 44723 1992294400 134512640 135078026 4294956192 18446744073709551615 134565761 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 46821 44723 54 138 0 46680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189340
[startup+3.10179 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 19679
/proc/meminfo: memFree=1128032/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=223424 CPUtime=3.09
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 70330 0 0 0 273 36 0 0 25 0 1 0 92914733 228786176 53148 1992294400 134512640 135078026 4294956192 18446744073709551615 134558566 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 55856 53148 55 138 0 55715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 225480
[startup+6.30137 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 19679
/proc/meminfo: memFree=1132576/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=0
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92914733 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 112 96 399 0 111 0
[pid=19678] ppid=19677 vsize=223424 CPUtime=6.28
/proc/19678/stat : 19678 (mxc-sr08) R 19677 19677 19640 0 -1 4194304 70339 0 0 0 592 36 0 0 25 0 1 0 92914733 228786176 53157 1992294400 134512640 135078026 4294956192 18446744073709551615 134561011 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19678/statm: 55856 53157 55 138 0 55715 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 225480
[startup+12.7015 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 19680
/proc/meminfo: memFree=1247456/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=10.02
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 152 70339 0 0 0 0 962 40 19 0 1 0 92914733 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 121 104 399 0 111 0
[pid=19680] ppid=19677 vsize=133332 CPUtime=2.65
/proc/19680/stat : 19680 (picosat846) R 19677 19677 19640 0 -1 4194304 31979 0 0 0 246 19 0 0 25 0 1 0 92915737 136531968 31968 1992294400 134512640 134570484 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19680/statm: 33333 31968 83 14 0 32999 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 135388
[startup+25.5018 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 19681
/proc/meminfo: memFree=1083808/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=2056 CPUtime=15.04
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 179 102973 0 0 0 0 1443 61 16 0 1 0 92914733 2105344 138 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/19677/statm: 514 138 120 399 0 111 0
[pid=19681] ppid=19677 vsize=299004 CPUtime=10.42
/proc/19681/stat : 19681 (satelite) R 19677 19677 19640 0 -1 4194304 69875 0 0 0 1000 42 0 0 25 0 1 0 92916240 306180096 64770 1992294400 134512640 135037501 4294956176 18446744073709551615 134588209 0 0 8392704 3 0 0 0 17 0 0 0
/proc/19681/statm: 74751 64770 67 128 0 74620 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 301060
[startup+51.1014 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 19681
/proc/meminfo: memFree=1019752/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=262372 CPUtime=51.05
/proc/19677/stat : 19677 (SATzilla2009_I) R 19675 19677 19640 0 -1 4194304 64153 185105 0 0 560 34 4369 142 25 0 1 0 92914733 268668928 63967 1992294400 134512640 136149169 4294956224 18446744073709551615 134535307 0 0 4096 0 0 0 0 17 0 0 0
/proc/19677/statm: 65593 63967 135 399 0 65190 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 262372
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19681
/proc/meminfo: memFree=1017960/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=262372 CPUtime=102.22
/proc/19677/stat : 19677 (SATzilla2009_I) R 19675 19677 19640 0 -1 4194304 64643 185105 0 0 5677 34 4369 142 25 0 1 0 92914733 268668928 64457 1992294400 134512640 136149169 4294956224 18446744073709551615 134535038 0 0 4096 0 0 0 0 17 0 0 0
/proc/19677/statm: 65593 64457 135 399 0 65190 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 262372
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19682
/proc/meminfo: memFree=943080/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=336940 CPUtime=162.2
/proc/19677/stat : 19677 (SATzilla2009_I) R 19675 19677 19640 0 -1 4194304 131173 203972 0 0 11435 73 4558 154 25 0 1 0 92914733 345026560 83168 1992294400 134512640 136149169 4294956224 18446744073709551615 135546670 0 0 4096 3 0 0 0 17 0 0 0
/proc/19677/statm: 84235 83168 195 399 0 83832 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 336940
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=721248/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=668064 CPUtime=56.6
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 80378 0 0 0 5597 63 0 0 25 0 1 0 92931298 684097536 56239 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 167016 56239 112 208 0 166788 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 1000776
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 19683
/proc/meminfo: memFree=712800/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=679860 CPUtime=116.57
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 86097 0 0 0 11567 90 0 0 25 0 1 0 92931298 696176640 58286 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 169965 58286 112 208 0 169737 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 1012572
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=707104/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=688660 CPUtime=176.54
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 91035 0 0 0 17537 117 0 0 25 0 1 0 92931298 705187840 59715 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 172165 59715 112 208 0 171937 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 1021372
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=703328/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
################
# More data... #
################
/proc/19683/statm: 175120 62382 112 208 0 174892 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 1033192
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=695520/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=700920 CPUtime=596.34
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 122887 0 0 0 59341 293 0 0 25 0 1 0 92931298 717742080 62582 1992294400 134512640 135365884 4294956176 18446744073709551615 134542751 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 175230 62582 112 208 0 175002 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 1033632
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=694432/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=701836 CPUtime=656.31
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 127599 0 0 0 65314 317 0 0 25 0 1 0 92931298 718680064 62854 1992294400 134512640 135365884 4294956176 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 175459 62854 112 208 0 175231 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 1034548
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=693152/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=702796 CPUtime=716.29
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 132508 0 0 0 71287 342 0 0 25 0 1 0 92931298 719663104 63186 1992294400 134512640 135365884 4294956176 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 175699 63186 112 208 0 175471 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 1035508
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=692064/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=703712 CPUtime=776.25
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 137486 0 0 0 77258 367 0 0 25 0 1 0 92931298 720601088 63482 1992294400 134512640 135365884 4294956176 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 175928 63482 112 208 0 175700 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 1036424
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=687712/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=704988 CPUtime=836.22
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 143134 0 0 0 83232 390 0 0 25 0 1 0 92931298 721907712 64544 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 176247 64544 112 208 0 176019 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 1037700
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=683680/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=772024 CPUtime=896.19
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 148420 0 0 0 89201 418 0 0 25 0 1 0 92931298 790552576 65547 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193006 65547 112 208 0 192778 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 1104736
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19683
/proc/meminfo: memFree=680736/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=772916 CPUtime=956.17
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 153119 0 0 0 95174 443 0 0 25 0 1 0 92931298 791465984 66316 1992294400 134512640 135365884 4294956176 18446744073709551615 134553785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193229 66316 112 208 0 193001 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 1105628
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19689
/proc/meminfo: memFree=677016/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=773972 CPUtime=1016.14
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 157914 0 0 0 101148 466 0 0 25 0 1 0 92931298 792547328 67151 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193493 67151 112 208 0 193265 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 1106684
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 19689
/proc/meminfo: memFree=676504/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=774512 CPUtime=1024.13
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 158704 0 0 0 101944 469 0 0 25 0 1 0 92931298 793100288 67337 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193628 67337 112 208 0 193400 0
Current children cumulated CPU time (s) 1189.69
Current children cumulated vsize (KiB) 1107224
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19689
/proc/meminfo: memFree=675864/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=774512 CPUtime=1030.54
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 159431 0 0 0 102581 473 0 0 25 0 1 0 92931298 793100288 67460 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193628 67460 112 208 0 193400 0
Current children cumulated CPU time (s) 1196.1
Current children cumulated vsize (KiB) 1107224
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19689
/proc/meminfo: memFree=675864/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=774640 CPUtime=1032.13
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 159786 0 0 0 102739 474 0 0 25 0 1 0 92931298 793231360 67513 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19683/statm: 193660 67513 112 208 0 193432 0
Current children cumulated CPU time (s) 1197.69
Current children cumulated vsize (KiB) 1107352
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19689
/proc/meminfo: memFree=675800/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=774640 CPUtime=1032.92
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 159805 0 0 0 102818 474 0 0 25 0 1 0 92931298 793231360 67532 1992294400 134512640 135365884 4294956176 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193660 67532 112 208 0 193432 0
Current children cumulated CPU time (s) 1198.48
Current children cumulated vsize (KiB) 1107352
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19689
/proc/meminfo: memFree=675800/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=332712 CPUtime=165.56
/proc/19677/stat : 19677 (SATzilla2009_I) S 19675 19677 19640 0 -1 4194304 131402 203972 0 0 11768 76 4558 154 24 0 1 0 92914733 340697088 82362 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/19677/statm: 83178 82362 216 399 0 82775 0
[pid=19683] ppid=19677 vsize=774640 CPUtime=1033.73
/proc/19683/stat : 19683 (zchaff_rand) R 19677 19677 19640 0 -1 4194304 159820 0 0 0 102898 475 0 0 25 0 1 0 92931298 793231360 67547 1992294400 134512640 135365884 4294956176 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19683/statm: 193660 67547 112 208 0 193432 0
Current children cumulated CPU time (s) 1199.29
Current children cumulated vsize (KiB) 1107352
[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19689
/proc/meminfo: memFree=675672/2055920 swapFree=4180880/4192956
[pid=19677] ppid=19675 vsize=0 CPUtime=1199.49
/proc/19677/stat : 19677 (SATzilla2009_I) R 19675 19677 19640 0 -1 4194308 131419 363794 0 0 11768 81 107467 633 19 0 1 0 92914733 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/19677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.49
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 1200.14
CPU time (s): 1199.54
CPU user time (s): 1192.36
CPU system time (s): 7.18491
CPU usage (%): 99.9505
Max. virtual memory (cumulated for all children) (KiB): 1108432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.36
system time used= 7.18491
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495213
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= 17
involuntary context switches= 3300
runsolver used 0.996848 second user time and 3.37749 second system time
The end
Begin job on node60 at 2009-04-25 10:41:19
IDJOB=1719711
IDBENCH=69571
IDSOLVER=528
FILE ID=node60/1719711-1240648875
PBS_JOBID= 9186508
Free space on /tmp= 66344 MiB
SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1719711-1240648875/watcher-1719711-1240648875 -o /tmp/evaluation-result-1719711-1240648875/solver-1719711-1240648875 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1719711-1240648875.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=199978493
node60.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.256
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.256
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: 1344848 kB
Buffers: 65792 kB
Cached: 556232 kB
SwapCached: 6500 kB
Active: 153524 kB
Inactive: 477492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1344848 kB
SwapTotal: 4192956 kB
SwapFree: 4180880 kB
Dirty: 100348 kB
Writeback: 0 kB
Mapped: 13952 kB
Slab: 65948 kB
Committed_AS: 312448 kB
PageTables: 1448 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= 66312 MiB
End job on node60 at 2009-04-25 11:01:20