10.67/10.75 c run March_dl for 5 seconds ...
10.67/10.75 c Bin: Executing march_dl
10.67/10.75 c child exit by a signal
10.67/10.75 c march_dl returned code 137.
10.67/10.75 c run saps (UBCSAT implementation) for 2 seconds ...
10.67/10.75 c Bin: Executing ubcsat2006
10.67/10.75 c child exited successfully
10.67/10.75 c ubcsat2006 returned code 0.
10.67/10.75 c satzilla computing base features
10.67/10.75 c satzilla doing unit-prop probe
10.67/10.75 c satzilla doing local search probe
10.67/10.75 c satzilla doing lobjois search-space size estimate
10.67/10.75 c satzilla's ranking:
10.67/10.75 c 1) minisat20+P: -0.644637
10.67/10.75 c 2) minisat20: 0.661748
10.67/10.75 c 3) march_dl+P: 1.263063
10.67/10.75 c 4) vallst+P: 1.883635
10.67/10.75 c 5) march_dl: 2.451565
10.67/10.75 c 6) zchaff_rand+P: 4.324317
10.67/10.75 c 7) kcnfs+P: 999.000000
10.67/10.75 c 8) kcnfs: 999.000000
10.67/10.75 c 9) vallst: 999.000000
10.67/10.75 c 10) zchaff_rand: 999.000000
10.67/10.75 c satzilla running minisat20 with preprocessing ...
10.67/10.77 This is MiniSat 2.0 beta
10.67/10.77 WARNING: for repeatability, setting FPU to use double precision
10.67/10.77 ============================[ Problem Statistics ]=============================
10.67/10.77 | |
10.67/10.77 | Number of variables: 700 |
10.67/10.77 | Number of clauses: 3500 |
10.67/10.77 | Parsing time: 0.00 s |
10.67/10.77 ============================[ Search Statistics ]==============================
10.67/10.77 | Conflicts | ORIGINAL | LEARNT | Progress |
10.67/10.77 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.67/10.77 ===============================================================================
10.67/10.77 | 0 | 700 3500 10500 | 1166 0 nan | 0.000 % |
10.67/10.77 | 100 | 700 3500 10500 | 1283 100 25 | 0.000 % |
10.67/10.78 | 251 | 700 3500 10500 | 1411 251 25 | 0.000 % |
10.67/10.79 | 477 | 700 3500 10500 | 1552 477 25 | 0.000 % |
10.74/10.80 | 814 | 700 3500 10500 | 1708 814 25 | 0.000 % |
10.74/10.82 | 1322 | 700 3500 10500 | 1878 1322 25 | 0.000 % |
10.74/10.86 | 2081 | 700 3500 10500 | 2066 1106 23 | 0.000 % |
10.87/10.92 | 3220 | 700 3500 10500 | 2273 1185 24 | 0.000 % |
10.97/11.02 | 4929 | 700 3500 10500 | 2500 1725 24 | 0.000 % |
11.06/11.16 | 7491 | 700 3500 10500 | 2750 1715 24 | 0.000 % |
11.26/11.39 | 11336 | 700 3500 10500 | 3026 2729 25 | 0.000 % |
11.66/11.76 | 17104 | 700 3500 10500 | 3328 2296 24 | 0.000 % |
12.26/12.31 | 25757 | 700 3500 10500 | 3661 2454 26 | 0.000 % |
13.07/13.19 | 38733 | 700 3500 10500 | 4027 2389 23 | 0.000 % |
14.46/14.55 | 58194 | 700 3500 10500 | 4430 3447 25 | 0.000 % |
16.66/16.72 | 87387 | 700 3500 10500 | 4873 3436 22 | 0.000 % |
19.96/20.06 | 131177 | 700 3500 10500 | 5360 2805 25 | 0.000 % |
25.06/25.13 | 196861 | 700 3500 10500 | 5896 3400 23 | 0.000 % |
33.16/33.27 | 295387 | 700 3500 10500 | 6486 3639 24 | 0.000 % |
46.05/46.15 | 443176 | 700 3500 10500 | 7135 4118 22 | 0.000 % |
66.04/66.14 | 664860 | 700 3500 10500 | 7848 6213 25 | 0.000 % |
97.23/97.37 | 997386 | 700 3500 10500 | 8633 6351 25 | 0.000 % |
146.82/146.94 | 1496174 | 700 3500 10500 | 9496 5144 26 | 0.000 % |
226.29/226.48 | 2244357 | 700 3500 10500 | 10446 7643 26 | 0.000 % |
349.46/349.70 | 3366633 | 700 3500 10500 | 11491 5701 25 | 0.000 % |
544.41/544.62 | 5050044 | 700 3500 10500 | 12640 8388 28 | 0.000 % |
851.81/852.27 | 7575161 | 700 3500 10500 | 13904 6985 23 | 0.000 % |
1355.68/1356.24 | 11362836 | 700 3500 10500 | 15294 9863 27 | 0.000 % |
2148.08/2148.85 | 17044349 | 700 3500 10500 | 16824 8427 24 | 0.000 % |
3414.94/3416.09 | 25566618 | 700 3500 10500 | 18506 13865 25 | 0.000 % |
4998.94/5000.54 c Preprocessing...
4998.94/5000.54 c Inital problem has 700 variables, 3500 nary clauses (0 binary clauses).
4998.94/5000.54 c Num non-binary clauses 3500, Average non-binary clause length 3.000
4998.94/5000.54 c Theory has no gaps
4998.94/5000.54 c Preprocessor runtime was 0.010 seconds.
4998.94/5000.54 c
4998.94/5000.54 c Satisfiability of theory still undetermined.
4998.94/5000.54 c See file /tmp/TRahnH for simplified theory.
4998.94/5000.54 c Bin: Executing minisat20
4998.94/5000.54 c child exit by a signal
4998.94/5000.54 c minisat20 returned code 137.
4998.94/5000.54 c minisat20 returned code 137.
4998.94/5000.54 c satzilla running minisat20 ...
4998.94/5000.54 c Bin: Executing minisat20
4998.94/5000.54 c minisat20 returned code 1.
4998.94/5000.54 c minisat20 returned code 1.
4998.94/5000.54 c satzilla running march_dl with preprocessing ...
4998.94/5000.54 c Bin: Executing march_dl
4998.94/5000.54 c march_dl returned code 1.
4998.94/5000.54 c march_dl returned code 1.
4998.94/5000.54 c satzilla running vallst with preprocessing ...
4998.94/5000.54 c Bin: Executing vallst
4998.94/5000.54 c vallst returned code 1.
4998.94/5000.54 c vallst returned code 1.
4998.94/5000.54 c satzilla running march_dl ...
4998.94/5000.54 c Bin: Executing march_dl
4998.94/5000.54 c march_dl returned code 1.
4998.94/5000.54 c march_dl returned code 1.
4998.94/5000.54 c satzilla running zchaff_rand with preprocessing ...
4998.94/5000.54 c Bin: Executing zchaff_rand
4998.94/5000.54 c zchaff_rand returned code 1.
4998.94/5000.54 c zchaff_rand returned code 1.
4998.94/5000.54 c satzilla running kcnfs with preprocessing ...
4998.94/5000.54 c Bin: Executing kcnfs
4998.94/5000.54 c kcnfs returned code 1.
4998.94/5000.54 c kcnfs returned code 1.
4998.94/5000.54 c satzilla running kcnfs ...
4998.94/5000.54 c Bin: Executing kcnfs
4998.94/5000.54 c kcnfs returned code 1.
4998.94/5000.54 c kcnfs returned code 1.
4998.94/5000.54 c satzilla running vallst ...
4998.94/5000.54 c Bin: Executing vallst
4998.94/5000.54 c vallst returned code 1.
4998.94/5000.54 c vallst returned code 1.
4998.94/5000.54 c satzilla running zchaff_rand ...
4998.94/5000.54 c Bin: Executing zchaff_rand
4998.94/5000.54 c zchaff_rand returned code 1.
4998.94/5000.54 c zchaff_rand returned code 1.
4998.94/5000.54 c ERROR: All Failed!
4998.94/5000.54 c SATZILLA_TIME=4999.740000
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-368842-1177282211 -o ROOT/results/node65/solver-368842-1177282211 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368842-1177282211/SATzilla2007_C /tmp/evaluation/368842-1177282211/instance-368842-1177282211.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 1.00 1.00 1.00 2/64 6330
/proc/meminfo: memFree=1695960/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=636 CPUtime=0
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 89 0 0 0 0 0 0 0 20 0 1 0 204210686 651264 84 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 159 84 50 118 0 38 0
[startup+0.077718 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6330
/proc/meminfo: memFree=1695960/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=1452 CPUtime=0.07
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 324 0 0 0 7 0 0 0 20 0 1 0 204210686 1486848 299 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134532759 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 363 299 74 118 0 242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2892
[startup+0.102719 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6330
/proc/meminfo: memFree=1695960/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=1452 CPUtime=0.1
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 324 0 0 0 10 0 0 0 20 0 1 0 204210686 1486848 299 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134526950 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 363 299 74 118 0 242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2892
[startup+0.301735 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6330
/proc/meminfo: memFree=1695960/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=1584 CPUtime=0.29
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 338 0 0 0 29 0 0 0 21 0 1 0 204210686 1622016 313 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134575708 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 396 313 74 118 0 275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3024
[startup+0.702768 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6330
/proc/meminfo: memFree=1695960/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=1584 CPUtime=0.7
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 350 0 0 0 70 0 0 0 24 0 1 0 204210686 1622016 325 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134551562 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 396 325 74 118 0 275 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3024
[startup+1.50284 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6332
/proc/meminfo: memFree=1694792/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=1584 CPUtime=1.5
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 358 0 0 0 150 0 0 0 25 0 1 0 204210686 1622016 333 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134526923 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 396 333 74 118 0 275 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 3024
[startup+3.10197 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6332
/proc/meminfo: memFree=1694664/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=0
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 204210686 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 110 95 260 0 84 0
[pid=6331] ppid=6330 vsize=1716 CPUtime=3.09
/proc/6331/stat : 6331 (march_dl) R 6330 6330 6033 0 -1 4194304 367 0 0 0 309 0 0 0 25 0 1 0 204210686 1757184 342 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134528042 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6331/statm: 429 342 74 118 0 308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3156
[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6333
/proc/meminfo: memFree=1694920/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=1440 CPUtime=4.99
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 135 376 0 0 0 0 499 0 16 0 1 0 204210686 1474560 111 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 360 111 96 260 0 84 0
[pid=6333] ppid=6330 vsize=6188 CPUtime=1.28
/proc/6333/stat : 6333 (ubcsat2006) R 6330 6330 6033 0 -1 4194304 289 0 0 0 111 17 0 0 25 0 1 0 204211186 6336512 272 18446744073709551615 134512640 134777720 4294956544 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/6333/statm: 1547 272 156 64 0 1128 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 7628
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1693648/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=2612 CPUtime=1.92
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 336 0 0 0 192 0 0 0 25 0 1 0 204211763 2674688 330 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 653 330 58 118 0 531 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 4940
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1692752/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=3404 CPUtime=14.72
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 525 0 0 0 1472 0 0 0 25 0 1 0 204211763 3485696 519 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525534 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 851 519 58 118 0 729 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 5732
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1691984/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=4196 CPUtime=40.3
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 731 0 0 0 4030 0 0 0 25 0 1 0 204211763 4296704 725 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134519195 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 1049 725 58 118 0 927 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 6524
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1691088/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=5000 CPUtime=91.49
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 946 0 0 0 9149 0 0 0 25 0 1 0 204211763 5120000 940 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 1250 940 58 118 0 1128 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 7328
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1690256/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=5808 CPUtime=151.47
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 1140 0 0 0 15147 0 0 0 25 0 1 0 204211763 5947392 1134 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525557 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 1452 1134 58 118 0 1330 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 8136
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1689808/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=6216 CPUtime=211.45
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 1248 0 0 0 21145 0 0 0 25 0 1 0 204211763 6365184 1242 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525557 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 1554 1242 58 118 0 1432 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 8544
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1689296/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=6768 CPUtime=271.44
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 1390 0 0 0 27144 0 0 0 25 0 1 0 204211763 6930432 1384 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 1692 1384 58 118 0 1570 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 9096
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6334
/proc/meminfo: memFree=1689040/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=7044 CPUtime=331.42
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 1440 0 0 0 33142 0 0 0 25 0 1 0 204211763 7213056 1434 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 1761 1434 58 118 0 1639 0
################
# More data... #
################
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680592/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15380 CPUtime=4650.08
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3500 0 0 0 465003 5 0 0 25 0 1 0 204211763 15749120 3494 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3845 3494 58 118 0 3723 0
Current children cumulated CPU time (s) 4660.82
Current children cumulated vsize (KiB) 17708
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680528/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15524 CPUtime=4710.07
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3510 0 0 0 471002 5 0 0 25 0 1 0 204211763 15896576 3504 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525619 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3881 3504 58 118 0 3759 0
Current children cumulated CPU time (s) 4720.81
Current children cumulated vsize (KiB) 17852
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680528/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15524 CPUtime=4770.05
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3523 0 0 0 477000 5 0 0 25 0 1 0 204211763 15896576 3517 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525828 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3881 3517 58 118 0 3759 0
Current children cumulated CPU time (s) 4780.79
Current children cumulated vsize (KiB) 17852
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680464/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15664 CPUtime=4830.03
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3546 0 0 0 482998 5 0 0 25 0 1 0 204211763 16039936 3540 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525443 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3916 3540 58 118 0 3794 0
Current children cumulated CPU time (s) 4840.77
Current children cumulated vsize (KiB) 17992
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680464/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15664 CPUtime=4890.02
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3556 0 0 0 488997 5 0 0 25 0 1 0 204211763 16039936 3550 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3916 3550 58 118 0 3794 0
Current children cumulated CPU time (s) 4900.76
Current children cumulated vsize (KiB) 17992
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680400/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4950
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3569 0 0 0 494995 5 0 0 25 0 1 0 204211763 16175104 3563 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525443 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3563 58 118 0 3827 0
Current children cumulated CPU time (s) 4960.74
Current children cumulated vsize (KiB) 18124
Solver just ended. Dumping a history of the last processes samples
[startup+4966.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680400/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4954
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3569 0 0 0 495395 5 0 0 25 0 1 0 204211763 16175104 3563 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3563 58 118 0 3827 0
Current children cumulated CPU time (s) 4964.74
Current children cumulated vsize (KiB) 18124
[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4966.8
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3581 0 0 0 496675 5 0 0 25 0 1 0 204211763 16175104 3575 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525440 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3575 58 118 0 3827 0
Current children cumulated CPU time (s) 4977.54
Current children cumulated vsize (KiB) 18124
[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4979.59
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3581 0 0 0 497954 5 0 0 25 0 1 0 204211763 16175104 3575 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3575 58 118 0 3827 0
Current children cumulated CPU time (s) 4990.33
Current children cumulated vsize (KiB) 18124
[startup+4995.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4982.8
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3581 0 0 0 498275 5 0 0 25 0 1 0 204211763 16175104 3575 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525570 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3575 58 118 0 3827 0
Current children cumulated CPU time (s) 4993.54
Current children cumulated vsize (KiB) 18124
[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4986
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3588 0 0 0 498595 5 0 0 25 0 1 0 204211763 16175104 3582 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3582 58 118 0 3827 0
Current children cumulated CPU time (s) 4996.74
Current children cumulated vsize (KiB) 18124
[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4987.59
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3588 0 0 0 498754 5 0 0 25 0 1 0 204211763 16175104 3582 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3582 58 118 0 3827 0
Current children cumulated CPU time (s) 4998.33
Current children cumulated vsize (KiB) 18124
[startup+5000.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4987.99
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3588 0 0 0 498794 5 0 0 25 0 1 0 204211763 16175104 3582 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3582 58 118 0 3827 0
Current children cumulated CPU time (s) 4998.73
Current children cumulated vsize (KiB) 18124
[startup+5000.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6732
/proc/meminfo: memFree=1680336/2055920 swapFree=4184000/4192956
[pid=6330] ppid=6328 vsize=2328 CPUtime=10.74
/proc/6330/stat : 6330 (SATzilla2007_C) S 6328 6330 6033 0 -1 4194304 775 671 0 0 316 27 700 31 25 0 1 0 204210686 2383872 398 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/6330/statm: 582 398 165 260 0 306 0
[pid=6334] ppid=6330 vsize=15796 CPUtime=4988.2
/proc/6334/stat : 6334 (minisat20) R 6330 6330 6033 0 -1 4194304 3588 0 0 0 498815 5 0 0 25 0 1 0 204211763 16175104 3582 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6334/statm: 3949 3582 58 118 0 3827 0
Current children cumulated CPU time (s) 4998.94
Current children cumulated vsize (KiB) 18124
Child status: 17
Real time (s): 5000.54
CPU time (s): 4999.01
CPU user time (s): 4998.35
CPU system time (s): 0.6569
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 18124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.35
system time used= 0.6569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5047
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= 24
involuntary context switches= 9850
runsolver used 3.97539 second user time and 9.98848 second system time
The end
Begin job on node65 on Sun Apr 22 22:50:11 UTC 2007
IDJOB= 368842
IDBENCH= 24705
IDSOLVER= 179
FILE ID= node65/368842-1177282211
PBS_JOBID= 4650762
Free space on /tmp= 66393 MiB
SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/looksrandom/hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/368842-1177282211/SATzilla2007_C /tmp/evaluation/368842-1177282211/instance-368842-1177282211.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-368842-1177282211 -o ROOT/results/node65/solver-368842-1177282211 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/368842-1177282211/SATzilla2007_C /tmp/evaluation/368842-1177282211/instance-368842-1177282211.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 7f7c976d7909598011f66ef2d3909687
RANDOM SEED= 871105046
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.245
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.245
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: 1696368 kB
Buffers: 40452 kB
Cached: 264036 kB
SwapCached: 2668 kB
Active: 178784 kB
Inactive: 135204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696368 kB
SwapTotal: 4192956 kB
SwapFree: 4184000 kB
Dirty: 8400 kB
Writeback: 0 kB
Mapped: 15472 kB
Slab: 31520 kB
Committed_AS: 2399108 kB
PageTables: 1456 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= 66393 MiB
End job on node65 on Mon Apr 23 00:13:31 UTC 2007