Trace number 3308404
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 | SAT_RACE08/Q1/
SAT_dat.k85.cnf |
| MD5SUM | dce41996d9c5153aa0c253fa128d227c |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 43.2814 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 181484 |
| Number of clauses | 890298 |
| Sum of the clauses size | 2349692 |
| Maximum clause length | 19 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 771 |
| Number of clauses of size 2 | 667172 |
| Number of clauses of size 3 | 144951 |
| Number of clauses of size 4 | 24791 |
| Number of clauses of size 5 | 10950 |
| Number of clauses of size over 5 | 41663 |
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-3308404-1303983201.cnf
0.00/0.04 c found header 'p cnf 181484 890298'
0.78/0.88 c finished parsing
0.78/0.88 c
0.78/0.88 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.78/0.88 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.78/0.88 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.78/0.88 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.78/0.88 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.78/0.88 c --random=1 --spread=2000 --seed=0 --skip=25
0.78/0.88 c
0.78/0.88 c sizeof vars[0] = 16 alignment = 0 3 MB
0.78/0.88 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.78/0.88 c sizeof occs[0] = 8 alignment = 0 1 MB
0.78/0.88 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.78/0.88 c
0.78/0.88 c starting search after 0.8 seconds
0.78/0.88 c no decision limit
0.89/0.91 c
0.89/0.91 c original/binary fixed eliminated learned agility
0.89/0.91 c seconds variables equivalent conflicts height MB
0.89/0.91 c
0.89/0.91 c * 0.9 889479 165818 795 14871 0 0 0 0.0 0 71
4.78/4.85 c s 4.8 657630 80181 7601 14515 79187 0 0 0.0 0 63
4.78/4.85 c l 4.8 657630 80181 7601 14515 79187 0 259821 0.0 0 63
4.89/4.94 c R 4.9 658056 80181 7601 14515 79187 100 93 654.0 8 65
4.89/4.95 c R 4.9 658276 80181 7601 14515 79187 201 193 551.7 13 65
5.09/5.12 c B 5.1 659984 80100 7648 14549 79187 1000 949 222.4 4 66
5.39/5.44 c B 5.4 667358 79614 7950 14733 79187 2000 1916 233.9 8 67
6.49/6.50 c R 6.5 702413 79456 8059 14782 79187 2933 2822 415.4 4 70
8.80/8.85 c R 8.8 761542 77276 8384 16637 79187 6557 6341 432.2 8 74
9.29/9.33 c B 9.3 769873 76712 8388 17197 79187 8005 7750 420.1 7 75
12.10/12.17 c R 12.1 819561 74283 8746 19268 79187 14372 14002 401.8 6 78
14.49/14.50 c s 14.5 742359 73578 8775 19336 79795 16149 14598 398.7 12 69
14.49/14.50 c - 14.5 742359 73578 8775 19336 79795 16149 252027 398.7 12 69
16.99/17.02 c R 17.0 761683 73314 8784 19591 79795 23998 22351 391.0 10 75
16.99/17.07 c B 17.0 761692 73314 8784 19591 79795 24010 22362 390.8 5 75
25.30/25.34 c s 25.3 818290 69095 8912 23061 80416 39574 34668 374.0 0 75
25.30/25.34 c - 25.3 818290 69095 8912 23061 80416 39574 249507 374.0 0 75
35.29/35.39 c B 35.3 910033 66381 8980 25707 80416 64019 58945 373.0 12 93
38.29/38.31 c s 38.3 894395 65810 8991 25722 80961 67668 61717 373.5 6 87
44.19/44.26 c
44.19/44.26 c original/binary fixed eliminated learned agility
44.19/44.26 c seconds variables equivalent conflicts height MB
44.19/44.26 c
44.19/44.26 c R 44.2 902710 65756 9001 25766 80961 87310 81247 370.0 11 96
54.59/54.69 c s 54.6 916008 65318 9073 25860 81233 113512 99166 366.6 7 94
70.30/70.33 c B 70.3 945000 64554 9196 26501 81233 160043 145486 359.3 8 111
72.59/72.66 c s 72.6 932851 64476 9203 26508 81297 160390 137651 359.2 0 101
87.39/87.48 c R 87.4 961488 64297 9243 26647 81297 204495 181582 352.1 7 119
92.09/92.11 c s 92.1 956470 64227 9243 26670 81344 210829 182608 351.5 11 110
107.09/107.10 c + 107.1 962434 64034 9247 26859 81344 249508 274457 346.6 4 127
114.19/114.26 c s 114.2 961542 63982 9247 26902 81353 261995 231991 349.5 10 120
136.19/136.29 c + 136.3 972522 63883 9263 26985 81353 311885 301902 344.4 5 141
139.38/139.48 c s 139.4 969917 63878 9264 26989 81353 312799 275146 344.3 7 129
166.59/166.65 c s 166.6 1010590 63638 9302 27189 81355 363681 301005 340.9 6 138
175.79/175.86 c B 175.8 1019053 63468 9339 27322 81355 384091 302013 341.9 7 150
178.99/179.00 c + 179.0 1021686 63445 9345 27339 81355 389855 332092 342.1 4 152
194.99/195.04 c s 195.0 1022617 63150 9349 27582 81403 415838 326885 341.8 3 146
225.69/225.71 c s 225.7 1025623 62970 9354 27642 81518 466257 331906 342.0 8 149
237.19/237.25 c + 237.2 1026821 62956 9356 27654 81518 487315 365301 341.0 7 161
257.59/257.64 c s 257.6 1028365 62828 9361 27690 81605 518379 362719 340.0 5 156
292.50/292.59 c s 292.6 1048267 62639 9385 27853 81607 571233 364832 337.7 7 159
314.09/314.14 c + 314.1 1058124 62498 9391 27988 81607 609141 401831 337.6 13 174
325.69/325.70 c
325.69/325.70 c original/binary fixed eliminated learned agility
325.69/325.70 c seconds variables equivalent conflicts height MB
325.69/325.70 c
325.69/325.70 c s 325.7 1021667 61817 9391 28150 82126 625248 348635 337.4 6 147
359.29/359.39 c s 359.4 1026626 61746 9396 28187 82155 674151 393314 335.6 9 158
394.59/394.63 c s 394.6 1031152 61683 9408 28226 82167 727032 399162 335.3 7 162
418.60/418.61 c + 418.6 1044259 61607 9424 28286 82167 761425 442014 334.9 3 177
432.00/432.05 c s 432.0 1044427 61538 9426 28345 82175 776122 415110 334.6 8 167
468.10/468.14 c s 468.1 1051378 61438 9426 28434 82186 826882 435656 332.9 7 171
504.39/504.41 c s 504.4 1052140 61389 9428 28461 82206 877427 437031 334.1 13 175
516.79/516.87 c B 516.8 1052874 61381 9428 28469 82206 896200 442857 334.6 13 191
541.59/541.60 c s 541.6 1058241 61340 9431 28498 82215 928361 438431 334.8 11 177
556.79/556.83 c + 556.8 1064681 61295 9439 28535 82215 951781 486215 334.7 8 194
577.70/577.79 c s 577.8 1065366 61242 9441 28579 82222 980054 449621 334.7 13 180
616.60/616.60 c s 616.6 1055829 60650 9442 28692 82700 1029458 453999 334.2 8 173
658.20/658.27 c s 658.2 1056705 60578 9450 28737 82719 1080648 481761 333.9 11 180
701.71/701.77 c s 701.7 1065659 60526 9454 28779 82725 1130485 485533 333.5 8 183
745.00/745.01 c s 745.0 1069092 60436 9455 28862 82731 1182257 485040 332.3 2 185
751.00/751.01 c + 751.0 1069742 60423 9456 28874 82731 1189725 534836 332.2 12 197
787.20/787.24 c s 787.2 1071646 60354 9459 28940 82731 1231498 527898 331.9 4 197
834.31/834.39 c s 834.4 1073706 60314 9463 28970 82737 1282791 533214 331.5 7 199
883.21/883.27 c s 883.2 1077014 60226 9485 29032 82741 1335065 533109 330.6 5 200
929.41/929.40 c
929.41/929.40 c original/binary fixed eliminated learned agility
929.41/929.40 c seconds variables equivalent conflicts height MB
929.41/929.40 c
929.41/929.40 c s 929.4 1078986 60147 9486 29105 82746 1387585 497610 330.0 14 188
969.50/969.57 c s 969.5 1071009 59927 9487 29134 82936 1440868 496879 329.6 9 179
1005.42/1005.42 c + 1005.4 1076639 59897 9490 29161 82936 1487156 588319 329.6 5 208
1014.91/1014.92 c s 1014.9 1074679 59845 9491 29175 82973 1493178 536553 329.6 7 190
1063.91/1063.90 c s 1063.9 1076624 59750 9495 29236 83003 1545488 582328 328.8 7 202
1115.31/1115.30 c s 1115.3 1077046 59673 9497 29292 83022 1599265 583635 328.6 7 205
1163.51/1163.50 c s 1163.5 1079784 59659 9500 29301 83024 1652019 581361 328.3 5 207
1216.61/1216.66 c s 1216.6 1083117 59584 9507 29365 83028 1702436 587105 328.0 14 211
1268.71/1268.78 c s 1268.8 1084553 59542 9507 29400 83035 1756550 583030 327.2 2 212
1300.02/1300.00 c
1300.02/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.02/1300.00 c
1300.02/1300.00 c 1790414 conflicts, 8872226 decisions, 3612 random
1300.02/1300.00 c 41 iterations, 5180 restarts, 7 skipped
1300.02/1300.00 c 9 enlarged, 25891 shrunken, 17522 rescored, 500 rebiased
1300.02/1300.00 c 37 simplifications, 0 reductions
1300.02/1300.00 c
1300.02/1300.00 c vars: 9507 fixed, 29410 equiv, 83035 elim, 30009 merged
1300.02/1300.00 c elim: 14487189 resolutions, 37 phases, 4 rounds
1300.02/1300.00 c sbst: 89% substituted, 1.8% nots, 80.0% ands, 8.7% xors, 9.4% ites
1300.02/1300.00 c arty: 2.60 and 2.00 xor average arity
1300.02/1300.00 c prbe: 1264263 probed, 1826 phases, 10 rounds
1300.02/1300.00 c prbe: 521 failed, 626 lifted, 1214 merged
1300.02/1300.00 c sccs: 63 non trivial, 0 fixed, 81 merged
1300.02/1300.00 c hash: 166 units, 28714 merged
1300.02/1300.00 c mins: 98146036 learned, 30% deleted, 1509 strong, 235 depth
1300.02/1300.00 c subs: 42566 forward, 49854 backward, 96618 doms
1300.02/1300.00 c strs: 185526 forward, 834 backward
1300.02/1300.00 c doms: 122088 dominators, 89286 high, 111 low
1300.02/1300.00 c prps: 2034541787 propagations, 1.57 megaprops
1300.02/1300.00 c
1300.02/1300.00 c 1300.0 seconds, 238 MB max, 339 MB recycled
1300.02/1300.00 c
1300.02/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.02/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-3308404-1303983201/watcher-3308404-1303983201 -o /tmp/evaluation-result-3308404-1303983201/solver-3308404-1303983201 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308404-1303983201.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/187 15851
/proc/meminfo: memFree=15798984/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=868 CPUtime=0 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 102 0 0 0 0 0 0 0 21 0 1 0 509919820 888832 58 33554432000 134512640 135151029 4289412352 18446744073709551615 134703758 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15851/statm: 217 58 49 156 0 60 0
[startup+0.049957 s]
/proc/loadavg: 0.00 0.00 0.00 5/187 15851
/proc/meminfo: memFree=15798984/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=3704 CPUtime=0.04 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 646 0 0 0 4 0 0 0 21 0 1 0 509919820 3792896 602 33554432000 134512640 135151029 4289412352 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15851/statm: 926 629 59 156 0 769 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3704
[startup+0.100948 s]
/proc/loadavg: 0.00 0.00 0.00 5/187 15851
/proc/meminfo: memFree=15798984/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=19920 CPUtime=0.09 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 4910 0 0 0 9 0 0 0 21 0 1 0 509919820 20398080 4768 33554432000 134512640 135151029 4289412352 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 4980 4769 64 156 0 4823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19920
[startup+0.300914 s]
/proc/loadavg: 0.00 0.00 0.00 5/187 15851
/proc/meminfo: memFree=15798984/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=38088 CPUtime=0.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 9848 0 0 0 28 1 0 0 22 0 1 0 509919820 39002112 9320 33554432000 134512640 135151029 4289412352 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 9522 9321 64 156 0 9365 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38088
[startup+0.70085 s]
/proc/loadavg: 0.00 0.00 0.00 5/187 15851
/proc/meminfo: memFree=15798984/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=75524 CPUtime=0.68 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 19700 0 0 0 66 2 0 0 23 0 1 0 509919820 77336576 18659 33554432000 134512640 135151029 4289412352 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 18881 18659 64 156 0 18724 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 75524
[startup+1.50071 s]
/proc/loadavg: 0.00 0.00 0.00 5/188 15852
/proc/meminfo: memFree=15706356/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=85884 CPUtime=1.48 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 27935 0 0 0 145 3 0 0 25 0 1 0 509919820 87945216 21186 33554432000 134512640 135151029 4289412352 18446744073709551615 134578505 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 21471 21186 80 156 0 21314 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85884
[startup+3.10043 s]
/proc/loadavg: 0.32 0.07 0.02 5/188 15852
/proc/meminfo: memFree=15694080/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=116456 CPUtime=3.09 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 39383 0 0 0 304 5 0 0 25 0 1 0 509919820 119250944 28661 33554432000 134512640 135151029 4289412352 18446744073709551615 134575460 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 29114 28661 80 156 0 28957 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116456
[startup+6.30087 s]
/proc/loadavg: 0.32 0.07 0.02 5/188 15852
/proc/meminfo: memFree=15678828/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=108048 CPUtime=6.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 41982 0 0 0 623 6 0 0 25 0 1 0 509919820 110641152 26096 33554432000 134512640 135151029 4289412352 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 27012 26096 80 156 0 26855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108048
[startup+12.7007 s]
/proc/loadavg: 1.04 0.23 0.07 5/188 15852
/proc/meminfo: memFree=15654560/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=110884 CPUtime=12.69 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 42692 0 0 0 1262 7 0 0 25 0 1 0 509919820 113545216 26806 33554432000 134512640 135151029 4289412352 18446744073709551615 134531676 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 27721 26806 80 156 0 27564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110884
[startup+25.5005 s]
/proc/loadavg: 1.49 0.35 0.12 5/188 15853
/proc/meminfo: memFree=15629028/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=108048 CPUtime=25.49 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 61259 0 0 0 2537 12 0 0 25 0 1 0 509919820 110641152 26106 33554432000 134512640 135151029 4289412352 18446744073709551615 134567884 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 27012 26106 80 156 0 26855 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108048
[startup+51.1011 s]
/proc/loadavg: 2.35 0.64 0.22 5/188 15853
/proc/meminfo: memFree=15595048/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=115312 CPUtime=51.09 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 76814 0 0 0 5095 14 0 0 25 0 1 0 509919820 118079488 27929 33554432000 134512640 135151029 4289412352 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 28828 27929 80 156 0 28671 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115312
[startup+102.306 s]
/proc/loadavg: 3.41 1.22 0.44 5/188 15855
/proc/meminfo: memFree=15519188/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=139472 CPUtime=102.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 121717 0 0 0 10208 22 0 0 25 0 1 0 509919820 142819328 33983 33554432000 134512640 135151029 4289412352 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 34868 33983 80 156 0 34711 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 139472
[startup+162.301 s]
/proc/loadavg: 3.76 1.69 0.64 5/188 15856
/proc/meminfo: memFree=15391380/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=168408 CPUtime=162.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 154601 0 0 0 16201 28 0 0 25 0 1 0 509919820 172449792 41213 33554432000 134512640 135151029 4289412352 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 42102 41213 80 156 0 41945 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 168408
[startup+222.3 s]
/proc/loadavg: 3.92 2.14 0.86 5/188 15858
/proc/meminfo: memFree=15338628/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=182104 CPUtime=222.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 183508 0 0 0 22195 34 0 0 25 0 1 0 509919820 186474496 44626 33554432000 134512640 135151029 4289412352 18446744073709551615 134554929 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 45526 44626 80 156 0 45369 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 182104
[startup+282.301 s]
/proc/loadavg: 4.09 2.48 1.05 5/188 15860
/proc/meminfo: memFree=15318040/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=191376 CPUtime=282.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 211324 0 0 0 28191 38 0 0 25 0 1 0 509919820 195969024 46940 33554432000 134512640 135151029 4289412352 18446744073709551615 134520264 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 47844 46940 80 156 0 47687 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 191376
[startup+342.301 s]
/proc/loadavg: 4.03 2.77 1.25 5/188 15861
/proc/meminfo: memFree=15297068/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=198324 CPUtime=342.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 238746 0 0 0 34186 43 0 0 25 0 1 0 509919820 203083776 48708 33554432000 134512640 135151029 4289412352 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 49581 48708 80 156 0 49424 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 198324
[startup+402.301 s]
/proc/loadavg: 4.01 2.98 1.40 5/188 15863
/proc/meminfo: memFree=15296180/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=198324 CPUtime=402.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 264645 0 0 0 40182 48 0 0 25 0 1 0 509919820 203083776 48713 33554432000 134512640 135151029 4289412352 18446744073709551615 134567832 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 49581 48713 80 156 0 49424 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 198324
[startup+462.301 s]
/proc/loadavg: 4.07 3.19 1.58 5/188 15864
/proc/meminfo: memFree=15273348/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=210352 CPUtime=462.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 280555 0 0 0 46177 53 0 0 25 0 1 0 509919820 215400448 51676 33554432000 134512640 135151029 4289412352 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 52588 51676 80 156 0 52431 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 210352
[startup+522.3 s]
/proc/loadavg: 4.08 3.34 1.72 5/188 15893
/proc/meminfo: memFree=15348584/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=214132 CPUtime=522.29 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 306988 0 0 0 52171 58 0 0 25 0 1 0 509919820 219271168 52615 33554432000 134512640 135151029 4289412352 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 53533 52615 80 156 0 53376 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 214132
[startup+582.301 s]
/proc/loadavg: 4.02 3.47 1.87 5/188 15895
/proc/meminfo: memFree=15282272/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=224776 CPUtime=582.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 335336 0 0 0 58167 63 0 0 25 0 1 0 509919820 230170624 55309 33554432000 134512640 135151029 4289412352 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 56194 55309 80 156 0 56037 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 224776
[startup+642.3 s]
/proc/loadavg: 4.01 3.56 2.01 5/188 15896
/proc/meminfo: memFree=15225836/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=227528 CPUtime=642.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 348788 0 0 0 64165 65 0 0 25 0 1 0 509919820 232988672 55974 33554432000 134512640 135151029 4289412352 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 56882 55974 80 156 0 56725 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 227528
[startup+702.301 s]
/proc/loadavg: 4.00 3.64 2.13 5/188 15898
/proc/meminfo: memFree=15179568/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=227528 CPUtime=702.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 373861 0 0 0 70160 70 0 0 25 0 1 0 509919820 232988672 56020 33554432000 134512640 135151029 4289412352 18446744073709551615 134542747 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 56882 56020 80 156 0 56725 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 227528
[startup+762.307 s]
/proc/loadavg: 4.00 3.70 2.24 5/188 15899
/proc/meminfo: memFree=15169248/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=227528 CPUtime=762.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 386312 0 0 0 76159 71 0 0 25 0 1 0 509919820 232988672 56022 33554432000 134512640 135151029 4289412352 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 56882 56022 80 156 0 56725 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 227528
[startup+822.301 s]
/proc/loadavg: 4.00 3.75 2.35 5/188 15901
/proc/meminfo: memFree=15151480/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=239976 CPUtime=822.3 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 402075 0 0 0 82156 74 0 0 25 0 1 0 509919820 245735424 59078 33554432000 134512640 135151029 4289412352 18446744073709551615 134520456 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 59994 59078 80 156 0 59837 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 239976
[startup+882.301 s]
/proc/loadavg: 4.03 3.81 2.45 5/188 15903
/proc/meminfo: memFree=15132732/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=233724 CPUtime=882.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 424211 0 0 0 88153 78 0 0 25 0 1 0 509919820 239333376 57564 33554432000 134512640 135151029 4289412352 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 58431 57564 80 156 0 58274 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 233724
[startup+942.3 s]
/proc/loadavg: 4.01 3.84 2.54 5/188 15904
/proc/meminfo: memFree=15087204/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=243476 CPUtime=942.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 441326 0 0 0 94150 81 0 0 25 0 1 0 509919820 249319424 59968 33554432000 134512640 135151029 4289412352 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 60869 59968 80 156 0 60712 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 243476
[startup+1002.3 s]
/proc/loadavg: 4.00 3.87 2.64 5/188 15906
/proc/meminfo: memFree=15085064/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=243476 CPUtime=1002.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 454039 0 0 0 100148 83 0 0 25 0 1 0 509919820 249319424 59974 33554432000 134512640 135151029 4289412352 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 60869 59974 80 156 0 60712 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 243476
[startup+1062.3 s]
/proc/loadavg: 4.00 3.89 2.71 5/188 15907
/proc/meminfo: memFree=15086652/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=250312 CPUtime=1062.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 476083 0 0 0 106144 87 0 0 25 0 1 0 509919820 256319488 61681 33554432000 134512640 135151029 4289412352 18446744073709551615 134564416 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 62578 61681 80 156 0 62421 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 250312
[startup+1122.3 s]
/proc/loadavg: 4.00 3.91 2.80 5/188 15909
/proc/meminfo: memFree=15062208/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=250188 CPUtime=1122.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 493904 0 0 0 112141 90 0 0 25 0 1 0 509919820 256192512 61638 33554432000 134512640 135151029 4289412352 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 62547 61638 80 156 0 62390 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 250188
[startup+1182.3 s]
/proc/loadavg: 4.00 3.92 2.86 5/188 15911
/proc/meminfo: memFree=15023512/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=253684 CPUtime=1182.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 507487 0 0 0 118138 93 0 0 25 0 1 0 509919820 259772416 62514 33554432000 134512640 135151029 4289412352 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 63421 62514 80 156 0 63264 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 253684
[startup+1242.3 s]
/proc/loadavg: 4.00 3.93 2.94 5/188 15912
/proc/meminfo: memFree=15019888/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=255744 CPUtime=1242.31 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 520728 0 0 0 124137 94 0 0 25 0 1 0 509919820 261881856 63048 33554432000 134512640 135151029 4289412352 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 63936 63048 80 156 0 63779 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 255744
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.94 3.00 3/184 15916
/proc/meminfo: memFree=15449692/32951132 swapFree=67111528/67111528
[pid=15851] ppid=15849 vsize=259504 CPUtime=1300.02 cores=0,2
/proc/15851/stat : 15851 (precosat) R 15849 15851 15791 0 -1 4202496 534366 0 0 0 129905 97 0 0 25 0 1 0 509919820 265732096 63979 33554432000 134512640 135151029 4289412352 18446744073709551615 134520133 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15851/statm: 64876 63979 80 156 0 64719 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 259504
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.02
CPU time (s): 1300.04
CPU user time (s): 1299.06
CPU system time (s): 0.98285
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 265972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.06
system time used= 0.98285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534367
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= 3766
runsolver used 2.32965 second user time and 4.80427 second system time
The end
Launcher Data
Begin job on node131 at 2011-04-28 11:33:22
IDJOB=3308404
IDBENCH=53034
IDSOLVER=1690
FILE ID=node131/3308404-1303983201
RUNJOBID= node131-1303983198-15809
PBS_JOBID= 13168695
Free space on /tmp= 71344 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT_RACE08/Q1/SAT_dat.k85.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308404-1303983201/watcher-3308404-1303983201 -o /tmp/evaluation-result-3308404-1303983201/solver-3308404-1303983201 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308404-1303983201.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= dce41996d9c5153aa0c253fa128d227c
RANDOM SEED=775954478
node131.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.830
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.66
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.830
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 : 5332.75
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.830
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.83
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.830
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.75
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.830
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.77
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.830
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.830
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.830
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 15799520 kB
Buffers: 1024976 kB
Cached: 15438708 kB
SwapCached: 0 kB
Active: 6528980 kB
Inactive: 10101764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 15799520 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 42940 kB
Writeback: 0 kB
AnonPages: 166160 kB
Mapped: 16520 kB
Slab: 457000 kB
PageTables: 5120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 352276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71336 MiB
End job on node131 at 2011-04-28 11:55:04