Trace number 3308467
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | APPLICATIONS/
bitverif/maxxor/maxxor128.cnf |
| MD5SUM | 065c126f0d55807310a398728b44423f |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200440 |
| Number of clauses | 599015 |
| Sum of the clauses size | 1397699 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 399342 |
| Number of clauses of size 3 | 199671 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-3308467-1303983223.cnf
0.00/0.00 c found header 'p cnf 200440 599015'
0.49/0.53 c finished parsing
0.49/0.53 c
0.49/0.53 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.49/0.53 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.49/0.53 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.49/0.53 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.49/0.53 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.49/0.53 c --random=1 --spread=2000 --seed=0 --skip=25
0.49/0.53 c
0.49/0.53 c sizeof vars[0] = 16 alignment = 0 3 MB
0.49/0.53 c sizeof orgs[0] = 8 alignment = 0 2 MB
0.49/0.53 c sizeof occs[0] = 8 alignment = 0 2 MB
0.49/0.53 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
0.49/0.53 c
0.49/0.53 c starting search after 0.5 seconds
0.49/0.53 c no decision limit
0.49/0.56 c
0.49/0.56 c original/binary fixed eliminated learned agility
0.49/0.56 c seconds variables equivalent conflicts height MB
0.49/0.56 c
0.49/0.56 c * 0.6 599013 200438 2 0 0 0 0 0.0 0 51
5.69/5.71 c s 5.7 345935 58607 274 2 141557 0 0 0.0 0 42
5.69/5.71 c l 5.7 345935 58607 274 2 141557 0 286342 0.0 0 42
5.89/5.94 c R 5.9 346092 58607 274 2 141557 100 98 332.2 1 45
5.89/5.99 c N 6.0 346092 58607 274 2 141557 200 198 413.4 43 46
5.99/6.09 c R 6.1 346152 58607 274 2 141557 809 807 420.3 19 46
6.19/6.21 c B 6.2 346161 58607 274 2 141557 1001 999 417.2 19 46
6.79/6.82 c B 6.8 353849 58607 274 2 141557 2001 1984 373.5 6 48
6.99/7.09 c R 7.1 371710 58606 274 3 141557 2411 2390 357.3 4 49
11.89/11.94 c s 11.9 470199 58570 274 38 141558 5185 4790 252.1 1 52
13.89/13.91 c R 13.9 503554 58540 274 68 141558 6449 5774 238.0 5 57
14.69/14.78 c B 14.8 529293 58526 274 82 141558 8001 7295 252.8 4 59
19.70/19.76 c s 19.8 583460 58514 274 91 141561 10664 9669 293.0 5 62
25.09/25.13 c R 25.1 631840 58483 274 122 141561 16094 14879 299.1 16 69
30.59/30.69 c s 30.7 654242 58473 274 131 141562 20287 18902 297.3 1 70
38.79/38.80 c B 38.8 699950 58454 274 150 141562 24005 22406 317.1 0 76
43.49/43.53 c s 43.5 713087 58452 274 152 141562 24726 23051 322.2 1 74
56.99/57.04 c s 57.0 757586 58424 274 180 141562 31951 29879 313.4 0 80
66.09/66.12 c R 66.1 803240 58390 274 214 141562 38538 36308 312.3 4 89
73.19/73.22 c
73.19/73.22 c original/binary fixed eliminated learned agility
73.19/73.22 c seconds variables equivalent conflicts height MB
73.19/73.22 c
73.19/73.22 c s 73.2 823017 58369 274 215 141582 43485 40597 312.1 5 93
90.29/90.32 c s 90.3 857306 58295 274 287 141584 53199 49751 319.9 4 99
103.69/103.70 c B 103.7 863449 58206 274 376 141584 64013 60186 327.2 3 111
106.79/106.86 c s 106.9 866976 58183 274 399 141584 64480 60385 327.3 21 107
124.90/124.95 c s 125.0 869856 58092 274 490 141584 75259 70658 339.1 0 112
141.69/141.79 c R 141.8 875307 57949 274 633 141584 89860 84690 342.3 19 125
146.40/146.48 c s 146.5 875040 57948 274 634 141584 93066 87557 345.0 4 123
169.49/169.56 c s 169.6 880587 57863 274 703 141600 114066 107271 348.1 0 132
192.19/192.23 c s 192.2 888355 57634 274 924 141608 130640 122426 344.5 38 138
216.10/216.16 c s 216.2 893267 57473 274 1085 141608 152818 143644 346.8 13 149
222.29/222.37 c B 222.4 895219 57380 274 1178 141608 160026 150517 346.5 6 158
241.20/241.27 c s 241.3 897747 57259 274 1299 141608 176088 165646 345.5 3 168
268.20/268.28 c s 268.3 901566 57064 274 1494 141608 202121 190635 344.2 12 183
270.90/270.92 c R 270.9 901750 57054 274 1504 141608 205288 193739 344.6 11 190
299.00/299.08 c s 299.1 902241 56857 274 1662 141647 230943 215738 340.9 51 196
328.70/328.79 c s 328.8 904067 56716 274 1777 141673 255028 237724 338.9 5 205
361.10/361.13 c s 361.1 905371 56553 275 1939 141673 281772 263258 338.8 2 225
367.60/367.61 c + 367.6 905955 56459 275 2033 141673 286342 314976 337.6 36 234
394.40/394.49 c s 394.5 905957 56266 275 2226 141673 306463 286422 336.3 7 242
430.70/430.78 c
430.70/430.78 c original/binary fixed eliminated learned agility
430.70/430.78 c seconds variables equivalent conflicts height MB
430.70/430.78 c
430.70/430.78 c s 430.8 906577 56004 275 2488 141673 336633 315126 334.6 30 262
453.60/453.64 c + 453.7 908024 55805 275 2687 141673 357925 346473 335.7 26 275
463.30/463.36 c s 463.4 906552 55653 275 2778 141734 362850 314503 335.6 18 258
482.11/482.14 c B 482.2 907389 55525 275 2906 141734 384065 335309 338.6 9 284
496.11/496.17 c s 496.2 906421 55357 275 3060 141748 392564 342217 338.4 6 277
528.61/528.64 c s 528.7 905824 55048 275 3369 141748 424649 347097 339.1 7 281
549.20/549.24 c + 549.3 906619 54807 275 3610 141748 447405 381120 341.1 16 297
564.71/564.77 c s 564.8 905229 54676 275 3741 141748 454151 352703 339.4 24 290
603.40/603.44 c s 603.5 905069 54490 276 3926 141748 481578 378898 338.6 2 307
643.61/643.68 c s 643.7 904357 54122 276 4255 141787 505683 376621 338.5 17 307
681.00/681.07 c s 681.1 903966 53906 276 4459 141799 532443 381559 340.1 6 311
722.20/722.24 c s 722.3 903552 53654 277 4710 141799 557847 380386 340.7 20 320
723.71/723.80 c + 723.8 903638 53621 277 4743 141799 559257 419232 340.8 14 326
766.41/766.42 c s 766.4 903256 53345 277 5019 141799 584630 405659 339.5 9 341
807.11/807.10 c s 807.1 903018 53116 277 5248 141799 617108 418639 339.9 26 356
852.72/852.76 c s 852.8 902971 52878 277 5435 141850 650990 416899 341.2 6 358
899.12/899.14 c s 899.2 902793 52620 278 5679 141863 677656 417817 341.8 7 366
932.52/932.52 c + 932.6 903655 52404 278 5895 141863 699076 461155 341.1 24 383
944.41/944.46 c s 944.5 902434 52343 278 5956 141863 704395 426440 341.1 12 373
989.31/989.32 c
989.31/989.32 c original/binary fixed eliminated learned agility
989.31/989.32 c seconds variables equivalent conflicts height MB
989.31/989.32 c
989.31/989.32 c s 989.4 902076 52000 278 6299 141863 731997 452488 341.8 20 400
1040.12/1040.10 c s 1040.1 901654 51796 280 6501 141863 759087 459739 341.7 17 417
1089.52/1089.59 c s 1089.6 901063 51530 280 6690 141940 790743 454088 342.4 9 402
1133.62/1133.67 c s 1133.7 900867 51313 280 6892 141955 822778 460029 344.5 27 413
1176.62/1176.61 c s 1176.6 900309 51031 280 7174 141955 856697 462132 347.6 6 426
1197.83/1197.82 c + 1197.9 900626 50945 280 7260 141955 873848 507270 348.2 16 441
1217.22/1217.22 c s 1217.3 899789 50811 280 7394 141955 882732 470685 348.8 2 433
1231.62/1231.63 c B 1231.7 899890 50776 280 7429 141955 896173 484062 349.9 13 457
1261.82/1261.84 c s 1261.9 899235 50617 280 7588 141955 916658 503891 350.3 2 465
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
1300.03/1300.00 c 946047 conflicts, 8660012 decisions, 2278 random
1300.03/1300.00 c 6 iterations, 2153 restarts, 308 skipped
1300.03/1300.00 c 6 enlarged, 980 shrunken, 9256 rescored, 254 rebiased
1300.03/1300.00 c 42 simplifications, 0 reductions
1300.03/1300.00 c
1300.03/1300.00 c vars: 280 fixed, 7790 equiv, 141955 elim, 7790 merged
1300.03/1300.00 c elim: 14607027 resolutions, 41 phases, 9 rounds
1300.03/1300.00 c sbst: 87% substituted, 0.2% nots, 99.5% ands, 0.3% xors, 0.0% ites
1300.03/1300.00 c arty: 2.16 and 2.00 xor average arity
1300.03/1300.00 c prbe: 309730 probed, 1591 phases, 2 rounds
1300.03/1300.00 c prbe: 0 failed, 256 lifted, 236 merged
1300.03/1300.00 c sccs: 394 non trivial, 0 fixed, 1017 merged
1300.03/1300.00 c hash: 0 units, 6537 merged
1300.03/1300.00 c mins: 187409112 learned, 17% deleted, 548 strong, 1000 depth
1300.03/1300.00 c subs: 199 forward, 1350 backward, 1512 doms
1300.03/1300.00 c strs: 915 forward, 84 backward
1300.03/1300.00 c doms: 238325 dominators, 45197 high, 57 low
1300.03/1300.00 c prps: 1826103505 propagations, 1.40 megaprops
1300.03/1300.00 c
1300.03/1300.00 c 1300.0 seconds, 496 MB max, 382 MB recycled
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
Verifier Data
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3308467-1303983223/watcher-3308467-1303983223 -o /tmp/evaluation-result-3308467-1303983223/solver-3308467-1303983223 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308467-1303983223.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 5/189 16259
/proc/meminfo: memFree=13860592/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=8964 CPUtime=0 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 1851 0 0 0 0 0 0 0 20 0 1 0 509923371 9179136 1808 33554432000 134512640 135151029 4291741488 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16259/statm: 2241 1808 60 156 0 2084 0
[startup+0.0372141 s]
/proc/loadavg: 0.00 0.00 0.00 5/189 16259
/proc/meminfo: memFree=13860592/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=19544 CPUtime=0.02 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 4725 0 0 0 2 0 0 0 20 0 1 0 509923371 20013056 4682 33554432000 134512640 135151029 4291741488 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 4886 4682 64 156 0 4729 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19544
[startup+0.100229 s]
/proc/loadavg: 0.00 0.00 0.00 5/189 16259
/proc/meminfo: memFree=13860592/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=25456 CPUtime=0.09 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 6442 0 0 0 9 0 0 0 20 0 1 0 509923371 26066944 6172 33554432000 134512640 135151029 4291741488 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 6364 6173 64 156 0 6207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25456
[startup+0.300196 s]
/proc/loadavg: 0.00 0.00 0.00 5/189 16259
/proc/meminfo: memFree=13860592/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=41924 CPUtime=0.29 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 10830 0 0 0 28 1 0 0 21 0 1 0 509923371 42930176 10303 33554432000 134512640 135151029 4291741488 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 10481 10304 64 156 0 10324 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41924
[startup+0.701128 s]
/proc/loadavg: 0.00 0.00 0.00 5/189 16259
/proc/meminfo: memFree=13860592/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=63044 CPUtime=0.69 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 16576 0 0 0 67 2 0 0 22 0 1 0 509923371 64557056 15535 33554432000 134512640 135151029 4291741488 18446744073709551615 134581594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 15761 15535 80 156 0 15604 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63044
[startup+1.50096 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 16260
/proc/meminfo: memFree=13799956/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=66780 CPUtime=1.49 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 17503 0 0 0 147 2 0 0 25 0 1 0 509923371 68382720 16462 33554432000 134512640 135151029 4291741488 18446744073709551615 134554502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 16695 16462 80 156 0 16538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66780
[startup+3.10068 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 16260
/proc/meminfo: memFree=13785560/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=94596 CPUtime=3.09 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 28722 0 0 0 306 3 0 0 25 0 1 0 509923371 96866304 23308 33554432000 134512640 135151029 4291741488 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 23649 23308 80 156 0 23492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94596
[startup+6.30114 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 16261
/proc/meminfo: memFree=13761256/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=88836 CPUtime=6.29 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 30490 0 0 0 625 4 0 0 25 0 1 0 509923371 90968064 21701 33554432000 134512640 135151029 4291741488 18446744073709551615 134555994 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 22209 21701 80 156 0 22052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88836
[startup+12.701 s]
/proc/loadavg: 0.61 0.13 0.04 5/190 16261
/proc/meminfo: memFree=13746436/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=90888 CPUtime=12.69 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 34778 0 0 0 1265 4 0 0 25 0 1 0 509923371 93069312 22222 33554432000 134512640 135151029 4291741488 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 22722 22222 80 156 0 22565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90888
[startup+25.5007 s]
/proc/loadavg: 1.36 0.32 0.11 5/190 16261
/proc/meminfo: memFree=13706656/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=92936 CPUtime=25.49 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 41626 0 0 0 2544 5 0 0 25 0 1 0 509923371 95166464 22740 33554432000 134512640 135151029 4291741488 18446744073709551615 134580721 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 23234 22740 80 156 0 23077 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92936
[startup+51.1012 s]
/proc/loadavg: 2.26 0.62 0.21 5/190 16262
/proc/meminfo: memFree=13669660/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=93484 CPUtime=51.09 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 54411 0 0 0 5102 7 0 0 25 0 1 0 509923371 95727616 22856 33554432000 134512640 135151029 4291741488 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 23371 22856 80 156 0 23214 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93484
[startup+102.307 s]
/proc/loadavg: 3.24 1.14 0.40 5/190 16263
/proc/meminfo: memFree=13594564/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=125280 CPUtime=102.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 93321 0 0 0 10215 15 0 0 25 0 1 0 509923371 128286720 30799 33554432000 134512640 135151029 4291741488 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 31320 30799 80 156 0 31163 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 125280
[startup+162.3 s]
/proc/loadavg: 3.72 1.65 0.63 5/190 16265
/proc/meminfo: memFree=13445988/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=153428 CPUtime=162.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 134236 0 0 0 16207 23 0 0 25 0 1 0 509923371 157110272 37850 33554432000 134512640 135151029 4291741488 18446744073709551615 134554715 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 38357 37850 80 156 0 38200 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 153428
[startup+222.301 s]
/proc/loadavg: 3.89 2.08 0.83 5/190 16266
/proc/meminfo: memFree=13399456/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=176056 CPUtime=222.29 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 173525 0 0 0 22200 29 0 0 25 0 1 0 509923371 180281344 43515 33554432000 134512640 135151029 4291741488 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 44014 43515 80 156 0 43857 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 176056
[startup+282.3 s]
/proc/loadavg: 4.03 2.44 1.04 5/190 16268
/proc/meminfo: memFree=13327776/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=218160 CPUtime=282.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 206686 0 0 0 28195 35 0 0 25 0 1 0 509923371 223395840 54020 33554432000 134512640 135151029 4291741488 18446744073709551615 134520432 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 54540 54020 80 156 0 54383 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 218160
[startup+342.301 s]
/proc/loadavg: 4.09 2.74 1.22 5/190 16269
/proc/meminfo: memFree=13296268/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=244176 CPUtime=342.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 236007 0 0 0 34190 40 0 0 25 0 1 0 509923371 250036224 60525 33554432000 134512640 135151029 4291741488 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 61044 60525 80 156 0 60887 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 244176
[startup+402.301 s]
/proc/loadavg: 4.03 2.97 1.39 5/190 16271
/proc/meminfo: memFree=13260412/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=278084 CPUtime=402.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 266906 0 0 0 40184 46 0 0 25 0 1 0 509923371 284758016 69008 33554432000 134512640 135151029 4291741488 18446744073709551615 134567824 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 69521 69008 80 156 0 69364 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 278084
[startup+462.3 s]
/proc/loadavg: 4.01 3.15 1.55 5/190 16273
/proc/meminfo: memFree=13188348/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=296968 CPUtime=462.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 292099 0 0 0 46179 51 0 0 25 0 1 0 509923371 304095232 73709 33554432000 134512640 135151029 4291741488 18446744073709551615 134521818 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 74242 73709 80 156 0 74085 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 296968
[startup+522.301 s]
/proc/loadavg: 4.04 3.32 1.71 5/190 16274
/proc/meminfo: memFree=13133648/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=319252 CPUtime=522.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 310884 0 0 0 52176 54 0 0 25 0 1 0 509923371 326914048 79282 33554432000 134512640 135151029 4291741488 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 79813 79282 80 156 0 79656 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 319252
[startup+582.301 s]
/proc/loadavg: 4.01 3.44 1.85 5/190 16276
/proc/meminfo: memFree=13112796/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=334304 CPUtime=582.31 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 337141 0 0 0 58170 61 0 0 25 0 1 0 509923371 342327296 83043 33554432000 134512640 135151029 4291741488 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 83576 83043 80 156 0 83419 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 334304
[startup+642.3 s]
/proc/loadavg: 4.00 3.54 1.98 5/190 16277
/proc/meminfo: memFree=13073584/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=347888 CPUtime=642.31 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 361100 0 0 0 64166 65 0 0 25 0 1 0 509923371 356237312 86430 33554432000 134512640 135151029 4291741488 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 86972 86430 80 156 0 86815 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 347888
[startup+702.301 s]
/proc/loadavg: 4.00 3.62 2.11 5/190 16279
/proc/meminfo: memFree=13044048/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=356084 CPUtime=702.3 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 376285 0 0 0 70163 67 0 0 25 0 1 0 509923371 364630016 88483 33554432000 134512640 135151029 4291741488 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 89021 88483 80 156 0 88864 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 356084
[startup+762.307 s]
/proc/loadavg: 4.00 3.69 2.22 5/190 16281
/proc/meminfo: memFree=13012272/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=372708 CPUtime=762.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 394466 0 0 0 76160 72 0 0 25 0 1 0 509923371 381652992 92624 33554432000 134512640 135151029 4291741488 18446744073709551615 134521599 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 93177 92624 80 156 0 93020 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 372708
[startup+822.3 s]
/proc/loadavg: 4.00 3.74 2.33 5/190 16282
/proc/meminfo: memFree=12985972/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=399768 CPUtime=822.31 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 421017 0 0 0 82155 76 0 0 25 0 1 0 509923371 409362432 99431 33554432000 134512640 135151029 4291741488 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 99942 99431 80 156 0 99785 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 399768
[startup+882.301 s]
/proc/loadavg: 4.04 3.80 2.44 5/190 16284
/proc/meminfo: memFree=12975164/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=409764 CPUtime=882.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 434787 0 0 0 88153 79 0 0 25 0 1 0 509923371 419598336 101913 33554432000 134512640 135151029 4291741488 18446744073709551615 134577848 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 102441 101913 80 156 0 102284 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 409764
[startup+942.3 s]
/proc/loadavg: 4.05 3.85 2.54 5/190 16285
/proc/meminfo: memFree=12965460/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=408624 CPUtime=942.31 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 455157 0 0 0 94149 82 0 0 25 0 1 0 509923371 418430976 101631 33554432000 134512640 135151029 4291741488 18446744073709551615 134521580 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 102156 101631 80 156 0 101999 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 408624
[startup+1002.3 s]
/proc/loadavg: 4.02 3.87 2.63 5/190 16287
/proc/meminfo: memFree=12900720/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=447860 CPUtime=1002.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 478180 0 0 0 100144 88 0 0 25 0 1 0 509923371 458608640 111442 33554432000 134512640 135151029 4291741488 18446744073709551615 134574617 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 111965 111442 80 156 0 111808 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 447860
[startup+1062.3 s]
/proc/loadavg: 4.06 3.91 2.71 5/190 16289
/proc/meminfo: memFree=12877896/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=464396 CPUtime=1062.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 493293 0 0 0 106141 91 0 0 25 0 1 0 509923371 475541504 115605 33554432000 134512640 135151029 4291741488 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 116099 115605 80 156 0 115942 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 464396
[startup+1122.3 s]
/proc/loadavg: 4.02 3.92 2.79 5/190 16290
/proc/meminfo: memFree=12873544/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=470040 CPUtime=1122.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 505871 0 0 0 112139 93 0 0 25 0 1 0 509923371 481320960 116975 33554432000 134512640 135151029 4291741488 18446744073709551615 134554933 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 117510 116975 80 156 0 117353 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 470040
[startup+1182.3 s]
/proc/loadavg: 4.00 3.93 2.86 5/190 16292
/proc/meminfo: memFree=12865836/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=471952 CPUtime=1182.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 528777 0 0 0 118135 97 0 0 25 0 1 0 509923371 483278848 117465 33554432000 134512640 135151029 4291741488 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 117988 117465 80 156 0 117831 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 471952
[startup+1242.3 s]
/proc/loadavg: 4.04 3.96 2.94 5/190 16293
/proc/meminfo: memFree=12827876/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=499020 CPUtime=1242.32 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 543630 0 0 0 124131 101 0 0 25 0 1 0 509923371 510996480 124184 33554432000 134512640 135151029 4291741488 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 124755 124184 80 156 0 124598 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 499020
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 3.96 3.00 2/184 16298
/proc/meminfo: memFree=13412192/32951124 swapFree=67111528/67111528
[pid=16259] ppid=16257 vsize=522884 CPUtime=1300.03 cores=0,2
/proc/16259/stat : 16259 (precosat) R 16257 16259 16199 0 -1 4202496 558505 0 0 0 129898 105 0 0 25 0 1 0 509923371 535433216 130141 33554432000 134512640 135151029 4291741488 18446744073709551615 134521920 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16259/statm: 130721 130141 80 156 0 130564 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 522884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1300.06
CPU user time (s): 1298.99
CPU system time (s): 1.07784
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 526984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.99
system time used= 1.07784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558506
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= 3
involuntary context switches= 1948
runsolver used 2.26865 second user time and 4.83926 second system time
The end
Launcher Data
Begin job on node108 at 2011-04-28 11:33:44
IDJOB=3308467
IDBENCH=70815
IDSOLVER=1690
FILE ID=node108/3308467-1303983223
RUNJOBID= node108-1303983222-16217
PBS_JOBID= 13168718
Free space on /tmp= 72100 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308467-1303983223/watcher-3308467-1303983223 -o /tmp/evaluation-result-3308467-1303983223/solver-3308467-1303983223 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308467-1303983223.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=992399535
node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 13860996 kB
Buffers: 2290592 kB
Cached: 16074572 kB
SwapCached: 0 kB
Active: 10277076 kB
Inactive: 8232052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 13860996 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 20996 kB
Writeback: 0 kB
AnonPages: 142996 kB
Mapped: 16096 kB
Slab: 518288 kB
PageTables: 5360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 329088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72100 MiB
End job on node108 at 2011-04-28 11:55:26