39.55/39.61 c SATzilla is building models for class 2
39.55/39.61 c run presolver march_dl2004 for 5 seconds ...
39.55/39.61 c Bin: Executing march_dl2004
39.55/39.61 c spawning binary file with 5 seconds ...
39.55/39.61 c child exit by a signal
39.55/39.61 c march_dl2004 returned code 137.
39.55/39.61 c run presolver mxc-sr08 for 5 seconds ...
39.55/39.61 c Bin: Executing mxc-sr08
39.55/39.61 c spawning binary file with 5 seconds ...
39.55/39.61 c child exit by a signal
39.55/39.61 c mxc-sr08 returned code 137.
39.55/39.61 c Orignal number of varibales is 25493, number of clauses is 1139180
39.55/39.61 c predicted feature computation time is 29.756609
39.55/39.61 c Bin: Executing satelite
39.55/39.61 c spawning binary file with 240 seconds ...
39.55/39.61 c child exited successfully
39.55/39.61 c satzilla computing base features
39.55/39.61 c Number of variabe is: 22503, Number of clause is : 1104460
39.55/39.61 c Initializing...
39.55/39.61 c satzilla compute diameter ...
39.55/39.61 c start diameter features ...
39.55/39.61 c satzilla doing clause learning
39.55/39.61 c start clause learning features ...
39.55/39.61 c Bin: Executing zchaff07
39.55/39.61 c spawning binary file with 2 seconds ...
39.55/39.61 c child exit by a signal
39.55/39.61 c satzilla doing survey propogation probe
39.55/39.61 c do survay propogation for 2 second ...
39.55/39.61 c satzilla doing local search probe
39.55/39.61 c satzilla doing lobjois search-space size estimate
39.55/39.61 c features are:25493 1.13918e+06 22503 1.10446e+06 0.132871 0.0314362 0.0203747 0.471554 1.01928 1.17699 0.000126866 0.829566 8.8877e-05 0.000755455 0.539836 0.880625 0.880849 0.000126866 0.628941 1.7203e-05 0.00115079 5.5942 0.361399 0.235269 0.00380228 0.974026 4.37343 5.94432e-05 0.687771 5.43252e-06 0.000862865 4.96697 0.659671 0.000122666 0.585397 1.44867e-05 0.000833892 8 0.102062 7 9 1.09861 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858518 0.237022 0.000917714 1 0.998614 0.564666 0.9878 0.829121 0.942975 0.0938286 1.24739 -1.11022e-16 0.5 0.26563 0.000285139 0.139451 0.00617102 0.0454919 21316 1.30746 4697.5 1.41421 4697.5 0 0 32.5805 0.724772 1.09973 0.130958 0.0231133 0.0892287
39.55/39.61 c satzilla's ranking:
39.55/39.61 c 1) minisat20: 2.761513
39.55/39.61 c 2) minisat20SAT07: 2.568999
39.55/39.61 c 3) march_dl2004: 1.397766
39.55/39.61 c 4) vallst: 1.213914
39.55/39.61 c 5) mxc-sr08: 1.060904
39.55/39.61 c 6) tts-4-0: 0.183242
39.55/39.61 c 7) zchaff_rand: -2.553295
39.55/39.61 c 8) SATenstein: -10000.000000
39.55/39.61 c 9) gnovelty+: -10000.000000
39.55/39.61 c 10) adaptg2wsat+: -10000.000000
39.55/39.61 c 11) adaptg2wsat0: -10000.000000
39.55/39.61 c 12) picosat846: -10000.000000
39.55/39.61 c 13) kcnfs04SAT07: -10000.000000
39.55/39.61 c satzilla running minisat20 ...
39.55/39.62 This is MiniSat 2.0 beta
39.55/39.62 WARNING: for repeatability, setting FPU to use double precision
39.55/39.62 ============================[ Problem Statistics ]=============================
39.55/39.62 | |
39.55/39.62 | Number of variables: 25493 |
39.55/39.62 | Number of clauses: 1139180 |
39.56/40.43 | Parsing time: 0.75 s |
39.56/40.51 ============================[ Search Statistics ]==============================
39.56/40.51 | Conflicts | ORIGINAL | LEARNT | Progress |
39.56/40.51 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
39.56/40.51 ===============================================================================
39.56/40.51 | 0 | 25493 1139180 2298131 | 379726 0 nan | 0.000 % |
39.56/40.54 | 100 | 25455 1139180 2298131 | 417699 62 6 | 0.149 % |
39.56/40.57 | 250 | 25435 1139180 2298131 | 459469 192 8 | 0.228 % |
40.54/40.65 | 475 | 25412 1139180 2298131 | 505416 394 8 | 0.318 % |
40.64/40.73 | 812 | 25370 1139180 2298131 | 555957 689 7 | 0.482 % |
40.73/40.85 | 1319 | 25338 1139180 2298131 | 611553 1164 8 | 0.608 % |
40.93/41.02 | 2078 | 25277 1139180 2298131 | 672708 1862 8 | 0.847 % |
41.13/41.27 | 3217 | 25213 1139180 2298131 | 739979 2937 8 | 1.102 % |
41.53/41.63 | 4926 | 25096 1139180 2298131 | 813977 4531 8 | 1.557 % |
42.43/42.53 | 7488 | 25001 1086704 2193179 | 895375 6679 9 | 1.930 % |
43.53/43.60 | 11334 | 24651 1086704 2193179 | 984913 10315 10 | 3.373 % |
45.43/45.51 | 17100 | 24446 1046595 2112937 | 1083404 15119 10 | 4.182 % |
48.83/48.99 | 25749 | 24179 1012022 2043778 | 1191744 23054 11 | 5.194 % |
55.52/55.69 | 38723 | 23848 978850 1977427 | 1310919 35055 13 | 6.453 % |
69.72/69.84 | 58185 | 23581 956990 1933707 | 1442011 53634 15 | 7.712 % |
103.69/103.82 | 87377 | 23259 931144 1881980 | 1586212 81899 19 | 8.763 % |
185.66/185.87 | 131169 | 23071 915788 1851255 | 1744833 124909 26 | 9.501 % |
356.78/357.04 | 196853 | 22944 904193 1828065 | 1919317 188636 34 | 9.999 % |
703.17/703.50 | 295380 | 22810 892790 1805251 | 2111248 286685 41 | 10.536 % |
1199.31/1199.88 c Bin: Executing minisat20
1199.31/1199.88 c spawning binary file with 1160 seconds ...
1199.31/1199.88 c child exit by a signal
1199.31/1199.88 c minisat20 returned code 137.
1199.31/1199.88 c satzilla running minisat20SAT07 ...
1199.31/1199.88 c Bin: Executing minisat20SAT07
1199.31/1199.88 c minisat20SAT07 returned code 1.
1199.31/1199.88 c satzilla running march_dl2004 ...
1199.31/1199.88 c Bin: Executing march_dl2004
1199.31/1199.88 c march_dl2004 returned code 1.
1199.31/1199.88 c satzilla running vallst ...
1199.31/1199.88 c Bin: Executing vallst
1199.31/1199.88 c vallst returned code 1.
1199.31/1199.88 c satzilla running mxc-sr08 ...
1199.31/1199.88 c Bin: Executing mxc-sr08
1199.31/1199.88 c mxc-sr08 returned code 1.
1199.31/1199.88 c satzilla running tts-4-0 ...
1199.31/1199.88 c Bin: Executing tts-4-0
1199.31/1199.88 c tts-4-0 returned code 1.
1199.31/1199.88 c satzilla running zchaff_rand ...
1199.31/1199.88 c Bin: Executing zchaff_rand
1199.31/1199.88 c zchaff_rand returned code 1.
1199.31/1199.88 c satzilla running SATenstein ...
1199.31/1199.88 c Bin: Executing SATenstein
1199.31/1199.88 c SATenstein returned code 1.
1199.31/1199.88 c satzilla running gnovelty+ ...
1199.31/1199.88 c Bin: Executing gnovelty+
1199.31/1199.88 c gnovelty+ returned code 1.
1199.31/1199.88 c satzilla running adaptg2wsat+ ...
1199.31/1199.88 c Bin: Executing adaptg2wsat+
1199.31/1199.88 c adaptg2wsat+ returned code 1.
1199.31/1199.88 c satzilla running adaptg2wsat0 ...
1199.31/1199.88 c Bin: Executing adaptg2wsat0
1199.31/1199.88 c adaptg2wsat0 returned code 1.
1199.31/1199.88 c satzilla running picosat846 ...
1199.31/1199.88 c Bin: Executing picosat846
1199.31/1199.88 c picosat846 returned code 1.
1199.31/1199.88 c satzilla running kcnfs04SAT07 ...
1199.31/1199.88 c Bin: Executing kcnfs04SAT07
1199.31/1199.88 c kcnfs04SAT07 returned code 1.
1199.31/1199.88 c ERROR: All Failed!
1199.31/1199.88 c SATZILLA_TIME=1199.590000
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1727221-1240722348/watcher-1727221-1240722348 -o /tmp/evaluation-result-1727221-1240722348/solver-1727221-1240722348 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1727221-1240722348.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.99 0.98 0.99 3/64 21029
/proc/meminfo: memFree=1389376/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) R 21027 21029 20829 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=5088 CPUtime=0
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 921 0 0 0 0 0 0 0 18 0 1 0 100267725 5210112 916 1992294400 134512640 134996440 4294956192 18446744073709551615 134549409 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 1272 924 49 118 0 1151 0
[startup+0.0177639 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21029
/proc/meminfo: memFree=1389376/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=11136 CPUtime=0
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 1584 0 0 0 0 0 0 0 19 0 1 0 100267725 11403264 1579 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 2784 1579 50 118 0 2663 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13192
[startup+0.102769 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21029
/proc/meminfo: memFree=1389376/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=12456 CPUtime=0.09
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 1968 0 0 0 9 0 0 0 19 0 1 0 100267725 12754944 1963 1992294400 134512640 134996440 4294956192 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 3114 1964 50 118 0 2993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14512
[startup+0.302782 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21029
/proc/meminfo: memFree=1389376/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=15360 CPUtime=0.29
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 2876 0 0 0 28 1 0 0 21 0 1 0 100267725 15728640 2871 1992294400 134512640 134996440 4294956192 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 3840 2871 50 118 0 3719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17416
[startup+0.702812 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21029
/proc/meminfo: memFree=1389376/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=21168 CPUtime=0.69
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 4693 0 0 0 67 2 0 0 25 0 1 0 100267725 21676032 4688 1992294400 134512640 134996440 4294956192 18446744073709551615 134796672 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 5292 4688 50 118 0 5171 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23224
[startup+1.50187 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21031
/proc/meminfo: memFree=1365488/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=52260 CPUtime=1.49
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 11013 0 0 0 145 4 0 0 25 0 1 0 100267725 53514240 8533 1992294400 134512640 134996440 4294956192 18446744073709551615 134650685 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 13065 8533 52 118 0 12944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54316
[startup+3.10199 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21031
/proc/meminfo: memFree=1357744/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=0
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100267725 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/21029/statm: 514 112 96 399 0 111 0
[pid=21030] ppid=21029 vsize=52912 CPUtime=3.09
/proc/21030/stat : 21030 (march_dl2004) R 21029 21029 20829 0 -1 4194304 13320 0 0 0 303 6 0 0 25 0 1 0 100267725 54181888 8611 1992294400 134512640 134996440 4294956192 18446744073709551615 134542888 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21030/statm: 13228 8611 55 118 0 13107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54968
[startup+6.30122 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21032
/proc/meminfo: memFree=1357360/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=5
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 152 23218 0 0 0 0 489 11 16 0 1 0 100267725 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 514 121 104 399 0 111 0
[pid=21032] ppid=21029 vsize=63700 CPUtime=1.28
/proc/21032/stat : 21032 (mxc-sr08) R 21029 21029 20829 0 -1 4194304 15034 0 0 0 119 9 0 0 25 0 1 0 100268226 65228800 15030 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/21032/statm: 15925 15030 54 138 0 15784 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65756
[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21033
/proc/meminfo: memFree=1312880/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=2056 CPUtime=10
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 180 43026 0 0 0 0 976 24 16 0 1 0 100267725 2105344 139 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 514 139 121 399 0 111 0
[pid=21033] ppid=21029 vsize=107356 CPUtime=2.66
/proc/21033/stat : 21033 (satelite) R 21029 21029 20829 0 -1 4194304 22182 0 0 0 252 14 0 0 25 0 1 0 100268727 109932544 22127 1992294400 134512640 135037501 4294956176 18446744073709551615 134587903 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21033/statm: 26839 22127 67 128 0 26708 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 109412
[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21033
/proc/meminfo: memFree=1298360/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=72348 CPUtime=25.47
/proc/21029/stat : 21029 (SATzilla2009_C) R 21027 21029 20829 0 -1 4194304 27706 71060 0 0 718 14 1764 51 25 0 1 0 100267725 74084352 17715 1992294400 134512640 136149437 4294956224 18446744073709551615 134532663 0 0 4096 0 0 0 0 17 0 0 0
/proc/21029/statm: 18087 17715 135 399 0 17684 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 72348
[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21035
/proc/meminfo: memFree=1261680/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=49448 CPUtime=11.47
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 11810 0 0 0 1140 7 0 0 25 0 1 0 100271687 50634752 11804 1992294400 134512640 134998072 4294956192 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 12362 11804 58 118 0 12240 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 111640
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21035
/proc/meminfo: memFree=1255344/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=55488 CPUtime=62.63
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 13305 0 0 0 6255 8 0 0 25 0 1 0 100271687 56819712 13299 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 13872 13299 58 118 0 13750 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 117680
[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 21035
/proc/meminfo: memFree=1249648/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=61344 CPUtime=122.61
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 14763 0 0 0 12251 10 0 0 25 0 1 0 100271687 62816256 14757 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/21035/statm: 15336 14757 58 118 0 15214 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 123536
[startup+222.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1244400/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=66512 CPUtime=182.58
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 16074 0 0 0 18247 11 0 0 25 0 1 0 100271687 68108288 16068 1992294400 134512640 134998072 4294956192 18446744073709551615 134525876 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 16628 16068 58 118 0 16506 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 128704
[startup+282.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 21035
/proc/meminfo: memFree=1238704/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=72496 CPUtime=242.55
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 17528 0 0 0 24242 13 0 0 25 0 1 0 100271687 74235904 17522 1992294400 134512640 134998072 4294956192 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 18124 17522 58 118 0 18002 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 134688
[startup+342.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 21035
/proc/meminfo: memFree=1233648/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=77456 CPUtime=302.53
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 18777 0 0 0 30238 15 0 0 25 0 1 0 100271687 79314944 18771 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 19364 18771 58 118 0 19242 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 139648
################
# More data... #
################
/proc/21035/statm: 25898 25273 58 118 0 25776 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 165784
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1203888/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=107188 CPUtime=722.4
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 26176 0 0 0 72215 25 0 0 25 0 1 0 100271687 109760512 26170 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 26797 26170 58 118 0 26675 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 169380
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1201072/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=110584 CPUtime=782.38
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 26892 0 0 0 78212 26 0 0 25 0 1 0 100271687 113238016 26886 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 27646 26886 58 118 0 27524 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 172776
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1198256/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=113352 CPUtime=842.36
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 27587 0 0 0 84209 27 0 0 25 0 1 0 100271687 116072448 27581 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/21035/statm: 28338 27581 58 118 0 28216 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 175544
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1195760/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=115900 CPUtime=902.33
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 28240 0 0 0 90206 27 0 0 25 0 1 0 100271687 118681600 28234 1992294400 134512640 134998072 4294956192 18446744073709551615 134525802 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 28975 28234 58 118 0 28853 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 178092
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1193136/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=118424 CPUtime=962.32
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 28885 0 0 0 96204 28 0 0 25 0 1 0 100271687 121266176 28879 1992294400 134512640 134998072 4294956192 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 29606 28879 58 118 0 29484 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 180616
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1190768/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=120908 CPUtime=1022.29
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 29491 0 0 0 102201 28 0 0 25 0 1 0 100271687 123809792 29485 1992294400 134512640 134998072 4294956192 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/21035/statm: 30227 29485 58 118 0 30105 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 183100
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1188144/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=123396 CPUtime=1082.27
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30114 0 0 0 108198 29 0 0 25 0 1 0 100271687 126357504 30108 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 30849 30108 58 118 0 30727 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 185588
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1185648/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=125836 CPUtime=1142.25
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30757 0 0 0 114195 30 0 0 25 0 1 0 100271687 128856064 30751 1992294400 134512640 134998072 4294956192 18446744073709551615 134525746 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 31459 30751 58 118 0 31337 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 188028
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 21035
/proc/meminfo: memFree=1185264/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=126100 CPUtime=1150.25
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30838 0 0 0 114995 30 0 0 25 0 1 0 100271687 129126400 30832 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 31525 30832 58 118 0 31403 0
Current children cumulated CPU time (s) 1189.81
Current children cumulated vsize (KiB) 188292
[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1185072/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=126376 CPUtime=1156.65
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30896 0 0 0 115635 30 0 0 25 0 1 0 100271687 129409024 30890 1992294400 134512640 134998072 4294956192 18446744073709551615 134525671 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 31594 30890 58 118 0 31472 0
Current children cumulated CPU time (s) 1196.21
Current children cumulated vsize (KiB) 188568
[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1185008/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=126376 CPUtime=1158.25
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30903 0 0 0 115795 30 0 0 25 0 1 0 100271687 129409024 30897 1992294400 134512640 134998072 4294956192 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 31594 30897 58 118 0 31472 0
Current children cumulated CPU time (s) 1197.81
Current children cumulated vsize (KiB) 188568
[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1185008/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=126508 CPUtime=1159.05
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30907 0 0 0 115875 30 0 0 25 0 1 0 100271687 129544192 30901 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 31627 30901 58 118 0 31505 0
Current children cumulated CPU time (s) 1198.61
Current children cumulated vsize (KiB) 188700
[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1185008/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=62192 CPUtime=39.56
/proc/21029/stat : 21029 (SATzilla2009_C) S 21027 21029 20829 0 -1 4194304 57252 86770 0 0 1908 34 1956 58 25 0 1 0 100267725 63684608 15269 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/21029/statm: 15548 15269 219 399 0 15145 0
[pid=21035] ppid=21029 vsize=126508 CPUtime=1159.45
/proc/21035/stat : 21035 (minisat20) R 21029 21029 20829 0 -1 4194304 30908 0 0 0 115915 30 0 0 25 0 1 0 100271687 129544192 30902 1992294400 134512640 134998072 4294956192 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 0 0 0
/proc/21035/statm: 31627 30902 58 118 0 31505 0
Current children cumulated CPU time (s) 1199.01
Current children cumulated vsize (KiB) 188700
[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21035
/proc/meminfo: memFree=1185008/2055920 swapFree=4191900/4192956
[pid=21029] ppid=21027 vsize=0 CPUtime=1199.42
/proc/21029/stat : 21029 (SATzilla2009_C) R 21027 21029 20829 0 -1 4194308 57267 117679 0 0 1908 35 117908 91 16 0 1 0 100267725 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/21029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.42
Current children cumulated vsize (KiB) 0
Child status: 17
Real time (s): 1199.91
CPU time (s): 1199.45
CPU user time (s): 1198.17
CPU system time (s): 1.27681
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 188700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.17
system time used= 1.2768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174946
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= 3359
runsolver used 0.940856 second user time and 3.43448 second system time
The end
Begin job on node34 at 2009-04-26 07:05:51
IDJOB=1727221
IDBENCH=24632
IDSOLVER=527
FILE ID=node34/1727221-1240722348
PBS_JOBID= 9186878
Free space on /tmp= 66388 MiB
SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1727221-1240722348/watcher-1727221-1240722348 -o /tmp/evaluation-result-1727221-1240722348/solver-1727221-1240722348 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1727221-1240722348.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bf3618cdbef11db03f2026bf209783fc
RANDOM SEED=1948419114
node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1389728 kB
Buffers: 57552 kB
Cached: 520132 kB
SwapCached: 384 kB
Active: 237944 kB
Inactive: 353140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1389728 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 47284 kB
Writeback: 0 kB
Mapped: 21768 kB
Slab: 60992 kB
Committed_AS: 376308 kB
PageTables: 1380 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= 66356 MiB
End job on node34 at 2009-04-26 07:25:51