Trace number 3308323
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 | industrial/anbulagan/
hard-sat/partial-10-13-s.cnf |
| MD5SUM | d90571b4b69632567da9d3ebfd25979e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 200.647 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 234673 |
| Number of clauses | 1071339 |
| Sum of the clauses size | 2453820 |
| Maximum clause length | 10 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 17679 |
| Number of clauses of size 2 | 856659 |
| Number of clauses of size 3 | 153061 |
| Number of clauses of size 4 | 4880 |
| Number of clauses of size 5 | 19520 |
| Number of clauses of size over 5 | 19540 |
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-3308323-1303983195.cnf
0.00/0.00 c found header 'p cnf 234673 1071339'
0.89/0.94 c finished parsing
0.89/0.94 c
0.89/0.94 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.89/0.94 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.89/0.94 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.89/0.94 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.89/0.94 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.89/0.94 c --random=1 --spread=2000 --seed=0 --skip=25
0.89/0.94 c
0.89/0.94 c sizeof vars[0] = 16 alignment = 0 4 MB
0.89/0.94 c sizeof orgs[0] = 8 alignment = 0 2 MB
0.89/0.94 c sizeof occs[0] = 8 alignment = 0 2 MB
0.89/0.94 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
0.89/0.94 c
0.89/0.94 c starting search after 0.9 seconds
0.89/0.94 c no decision limit
0.89/0.96 c
0.89/0.96 c original/binary fixed eliminated learned agility
0.89/0.96 c seconds variables equivalent conflicts height MB
0.89/0.96 c
0.89/0.96 c * 1.0 1052492 170853 8856 54964 0 0 0 0.0 0 82
3.69/3.72 c s 3.7 554059 85058 49923 54092 45600 0 0 0.0 0 57
3.69/3.72 c l 3.7 554059 85058 49923 54092 45600 0 237686 0.0 0 57
3.79/3.81 c R 3.8 560020 84446 50522 54105 45600 156 139 130.3 1 58
6.69/6.77 c R 6.8 1030803 78897 55842 54334 45600 752 710 362.3 7 88
7.19/7.28 c B 7.3 1090608 77939 56786 54348 45600 1000 949 356.5 3 91
10.19/10.21 c s 10.2 937566 75589 57919 54388 46777 1583 1406 597.4 3 82
10.19/10.21 c - 10.2 937566 75589 57919 54388 46777 1583 202034 597.4 3 82
11.09/11.12 c B 11.1 969427 74972 58531 54393 46777 2001 1815 639.2 6 85
20.59/20.63 c s 20.6 1149762 68449 63870 54599 47755 6103 5474 520.5 0 99
20.59/20.63 c - 20.6 1149762 68449 63870 54599 47755 6103 185872 520.5 0 99
22.39/22.41 c R 22.4 1248220 68109 64125 54684 47755 7329 6685 532.6 2 108
23.69/23.71 c B 23.7 1304358 67132 65073 54713 47755 8004 7346 533.3 6 120
34.59/34.64 c s 34.6 1605449 65407 66060 55186 48020 13748 10193 598.4 1 137
34.59/34.64 c - 34.6 1605449 65407 66060 55186 48020 13748 180296 598.4 1 137
48.99/49.04 c B 49.1 2129827 63047 68197 55409 48020 24015 20355 604.6 1 187
54.39/54.43 c s 54.4 2041276 62501 68454 55447 48271 25887 16858 605.9 2 164
54.39/54.43 c - 54.4 2041276 62501 68454 55447 48271 25887 174888 605.9 2 164
82.59/82.60 c s 82.6 2321316 58063 71380 56093 49137 40807 18875 600.8 1 176
82.59/82.60 c
82.59/82.60 c original/binary fixed eliminated learned agility
82.59/82.60 c seconds variables equivalent conflicts height MB
82.59/82.60 c
82.59/82.60 c - 82.6 2321316 58063 71380 56093 49137 40807 164395 600.8 1 176
92.60/92.67 c R 92.7 2582884 56680 72445 56411 49137 47670 25708 596.1 2 224
121.39/121.48 c s 121.5 2660181 53623 73738 57165 50147 60850 22140 594.5 1 211
121.39/121.48 c - 121.5 2660181 53623 73738 57165 50147 60850 156176 594.5 1 211
126.19/126.22 c B 126.2 2787425 52427 74678 57421 50147 64023 25300 592.0 9 227
161.20/161.23 c s 161.2 2761075 49287 76124 58056 51206 83573 30554 585.6 2 227
161.20/161.23 c - 161.2 2761075 49287 76124 58056 51206 83573 145244 585.6 2 227
202.10/202.14 c s 202.2 3119937 44214 79328 59744 51387 110774 46804 572.6 5 272
202.10/202.14 c - 202.2 3119937 44214 79328 59744 51387 110774 139435 572.6 5 272
240.60/240.67 c + 240.7 3291462 43217 79889 60180 51387 139435 153378 562.8 6 358
264.30/264.33 c s 264.3 2700354 39365 79987 60311 55010 152695 15097 560.1 2 204
264.30/264.33 c - 264.3 2700354 39365 79987 60311 55010 152695 148777 560.1 2 204
271.40/271.43 c B 271.4 2751690 39245 80056 60362 55010 160061 22449 558.5 8 224
280.30/280.37 c + 280.4 2814021 39126 80119 60418 55010 169062 163654 556.5 2 249
293.61/293.63 c R 293.6 2929148 38964 80250 60449 55010 181980 44343 553.2 8 282
312.21/312.28 c s 312.3 2776916 38663 80380 60484 55146 193993 44166 551.1 4 256
312.21/312.28 c - 312.3 2776916 38663 80380 60484 55146 193993 157108 551.1 4 256
322.71/322.77 c + 322.8 2810921 38601 80427 60499 55146 202873 172818 548.9 1 282
356.01/356.04 c R 356.1 2887621 38412 80602 60513 55146 229426 79572 544.6 2 351
373.81/373.85 c
373.81/373.85 c original/binary fixed eliminated learned agility
373.81/373.85 c seconds variables equivalent conflicts height MB
373.81/373.85 c
373.81/373.85 c s 373.9 2864543 38315 80678 60530 55150 238515 88496 542.4 2 361
391.41/391.46 c R 391.5 2918778 38166 80824 60533 55150 251912 101890 542.5 3 407
393.31/393.38 c + 393.4 2927943 38150 80839 60534 55150 253597 190099 542.5 4 412
444.61/444.66 c s 444.7 2725368 37477 81078 60536 55582 286815 30625 540.2 5 215
444.61/444.66 c - 444.7 2725368 37477 81078 60536 55582 286815 186298 540.2 5 215
471.51/471.50 c + 471.5 2774787 37422 81130 60539 55582 310656 204927 537.9 5 279
501.91/501.97 c s 502.0 2765356 37324 81178 60541 55630 332491 56649 537.0 2 260
559.62/559.63 c s 559.7 2787760 37175 81300 60551 55647 377853 83827 535.3 6 319
567.02/567.06 c B 567.1 2790416 37172 81302 60552 55647 384140 90112 534.9 5 341
571.92/571.94 c + 572.0 2791601 37087 81386 60553 55647 388320 225419 534.3 7 352
621.72/621.74 c s 621.8 2778543 36962 81404 60565 55742 424848 51276 533.7 2 236
682.63/682.68 c s 682.7 2813442 36930 81422 60568 55753 470957 96335 530.3 4 345
701.53/701.52 c + 701.6 2822539 36924 81426 60570 55753 485402 247960 529.7 9 392
754.83/754.82 c s 754.9 2846313 36918 81431 60571 55753 519503 144845 526.4 5 466
838.13/838.11 c s 838.2 2843059 36773 81486 60573 55841 568490 68116 523.4 1 252
847.43/847.47 c R 847.5 2853722 36765 81494 60573 55841 576666 76290 523.5 2 276
882.73/882.77 c + 882.8 2867156 36747 81511 60574 55841 606751 272756 520.6 7 349
900.64/900.63 c s 900.7 2849272 36725 81519 60575 55854 616423 116029 519.8 10 362
974.83/974.86 c s 974.9 2854039 36693 81548 60577 55855 665122 164635 516.4 7 472
1057.54/1057.53 c
1057.54/1057.53 c original/binary fixed eliminated learned agility
1057.54/1057.53 c seconds variables equivalent conflicts height MB
1057.54/1057.53 c
1057.54/1057.53 c s 1057.6 2845359 36570 81613 60578 55912 714070 91480 513.8 2 277
1114.25/1114.27 c + 1114.3 2851537 36556 81627 60578 55912 758435 300031 508.9 5 389
1128.25/1128.21 c s 1128.3 2851566 36548 81629 60579 55917 763751 137962 508.6 3 380
1204.64/1204.67 c s 1204.7 2869282 36513 81661 60582 55917 812528 186651 506.8 4 501
1284.35/1284.35 c s 1284.4 2876308 36428 81679 60584 55982 863055 119289 506.7 6 307
1300.06/1300.00 c
1300.06/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.06/1300.00 c
1300.06/1300.00 c 876660 conflicts, 7205096 decisions, 3497 random
1300.06/1300.00 c 273 iterations, 3297 restarts, 0 skipped
1300.06/1300.00 c 9 enlarged, 34001 shrunken, 8576 rescored, 253 rebiased
1300.06/1300.00 c 25 simplifications, 0 reductions
1300.06/1300.00 c
1300.06/1300.00 c vars: 81683 fixed, 60584 equiv, 55982 elim, 62395 merged
1300.06/1300.00 c elim: 10203267 resolutions, 25 phases, 7 rounds
1300.06/1300.00 c sbst: 59% substituted, 15.6% nots, 84.4% ands, 0.0% xors, 0.0% ites
1300.06/1300.00 c arty: 3.25 and 0.00 xor average arity
1300.06/1300.00 c prbe: 269827 probed, 2068 phases, 3 rounds
1300.06/1300.00 c prbe: 6147 failed, 6092 lifted, 992 merged
1300.06/1300.00 c sccs: 712 non trivial, 0 fixed, 1453 merged
1300.06/1300.00 c hash: 315 units, 59950 merged
1300.06/1300.00 c mins: 530316441 learned, 19% deleted, 70 strong, 296 depth
1300.06/1300.00 c subs: 92658 forward, 141360 backward, 210268 doms
1300.06/1300.00 c strs: 44117 forward, 82 backward
1300.06/1300.00 c doms: 847323 dominators, 239237 high, 523 low
1300.06/1300.00 c prps: 2467417037 propagations, 1.90 megaprops
1300.06/1300.00 c
1300.06/1300.00 c 1300.1 seconds, 652 MB max, 2054 MB recycled
1300.06/1300.00 c
1300.06/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.06/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-3308323-1303983195/watcher-3308323-1303983195 -o /tmp/evaluation-result-3308323-1303983195/solver-3308323-1303983195 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308323-1303983195.cnf
running on 2 cores: 1,3
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.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=10304 CPUtime=0 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 2119 0 0 0 0 0 0 0 21 0 1 0 509916281 10551296 2075 33554432000 134512640 135151029 4288057760 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17008/statm: 2576 2076 60 156 0 2419 0
[startup+0.089306 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=28468 CPUtime=0.08 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 7234 0 0 0 8 0 0 0 21 0 1 0 509916281 29151232 6963 33554432000 134512640 135151029 4288057760 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 7117 6965 64 156 0 6960 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28468
[startup+0.100292 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=29656 CPUtime=0.09 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 7539 0 0 0 9 0 0 0 21 0 1 0 509916281 30367744 7268 33554432000 134512640 135151029 4288057760 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 7414 7269 64 156 0 7257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29656
[startup+0.300252 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=46852 CPUtime=0.29 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 12586 0 0 0 28 1 0 0 22 0 1 0 509916281 47976448 11545 33554432000 134512640 135151029 4288057760 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 11713 11546 64 156 0 11556 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46852
[startup+0.701171 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=77744 CPUtime=0.69 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 21357 0 0 0 67 2 0 0 25 0 1 0 509916281 79609856 19291 33554432000 134512640 135151029 4288057760 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 19436 19292 65 156 0 19279 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77744
[startup+1.50101 s]
/proc/loadavg: 0.24 0.05 0.02 5/190 17009
/proc/meminfo: memFree=18605124/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=104388 CPUtime=1.49 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 31385 0 0 0 144 5 0 0 25 0 1 0 509916281 106893312 25839 33554432000 134512640 135151029 4288057760 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 26097 25839 80 156 0 25940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104388
[startup+3.1007 s]
/proc/loadavg: 0.24 0.05 0.02 5/190 17009
/proc/meminfo: memFree=18566560/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=111296 CPUtime=3.09 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 37724 0 0 0 304 5 0 0 25 0 1 0 509916281 113967104 27566 33554432000 134512640 135151029 4288057760 18446744073709551615 134517335 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 27824 27566 80 156 0 27667 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111296
[startup+6.30105 s]
/proc/loadavg: 0.62 0.13 0.04 5/190 17009
/proc/meminfo: memFree=18608584/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=100288 CPUtime=6.29 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 41760 0 0 0 623 6 0 0 25 0 1 0 509916281 102694912 24877 33554432000 134512640 135151029 4288057760 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 25072 24877 80 156 0 24915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100288
[startup+12.7008 s]
/proc/loadavg: 0.89 0.20 0.06 5/190 17009
/proc/meminfo: memFree=18578248/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=110932 CPUtime=12.69 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 57952 0 0 0 1260 9 0 0 25 0 1 0 509916281 113594368 27530 33554432000 134512640 135151029 4288057760 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 27733 27530 80 156 0 27576 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110932
[startup+25.5012 s]
/proc/loadavg: 1.65 0.40 0.13 5/190 17010
/proc/meminfo: memFree=18495876/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=145448 CPUtime=25.5 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 85342 0 0 0 2536 14 0 0 25 0 1 0 509916281 148938752 36180 33554432000 134512640 135151029 4288057760 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 36362 36180 80 156 0 36205 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 145448
[startup+51.1011 s]
/proc/loadavg: 2.47 0.69 0.23 5/187 17031
/proc/meminfo: memFree=17795692/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=220052 CPUtime=51.1 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 124663 0 0 0 5089 21 0 0 25 0 1 0 509916281 225333248 54793 33554432000 134512640 135151029 4288057760 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 55013 54793 80 156 0 54856 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 220052
[startup+102.307 s]
/proc/loadavg: 3.33 1.20 0.43 5/190 17039
/proc/meminfo: memFree=13976736/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=284488 CPUtime=102.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 203001 0 0 0 10201 30 0 0 25 0 1 0 509916281 291315712 70912 33554432000 134512640 135151029 4288057760 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 71122 70912 80 156 0 70965 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 284488
[startup+162.301 s]
/proc/loadavg: 4.29 1.82 0.69 4/187 17057
/proc/meminfo: memFree=14732920/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=330300 CPUtime=162.3 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 288719 0 0 0 16187 43 0 0 25 0 1 0 509916281 338227200 82354 33554432000 134512640 135151029 4288057760 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 82575 82354 80 156 0 82418 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 330300
[startup+222.301 s]
/proc/loadavg: 4.69 2.42 0.96 5/190 17151
/proc/meminfo: memFree=17616260/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=360380 CPUtime=222.3 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 333457 0 0 0 22181 49 0 0 25 0 1 0 509916281 369029120 89918 33554432000 134512640 135151029 4288057760 18446744073709551615 134567891 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 90095 89918 80 156 0 89938 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 360380
[startup+282.301 s]
/proc/loadavg: 4.25 2.70 1.15 5/190 17180
/proc/meminfo: memFree=17120468/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=436900 CPUtime=282.3 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 389687 0 0 0 28170 60 0 0 25 0 1 0 509916281 447385600 108987 33554432000 134512640 135151029 4288057760 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 109225 108987 80 156 0 109068 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 436900
[startup+342.301 s]
/proc/loadavg: 4.09 2.93 1.33 5/190 17181
/proc/meminfo: memFree=16933608/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=436900 CPUtime=342.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 425652 0 0 0 34165 66 0 0 25 0 1 0 509916281 447385600 109016 33554432000 134512640 135151029 4288057760 18446744073709551615 134554596 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 109225 109016 80 156 0 109068 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 436900
[startup+402.301 s]
/proc/loadavg: 4.16 3.16 1.50 5/190 17183
/proc/meminfo: memFree=16620488/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=482416 CPUtime=402.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 472964 0 0 0 40157 74 0 0 25 0 1 0 509916281 493993984 120392 33554432000 134512640 135151029 4288057760 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 120604 120392 80 156 0 120447 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 482416
[startup+462.301 s]
/proc/loadavg: 4.06 3.31 1.65 5/190 17184
/proc/meminfo: memFree=16291208/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=462.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 528179 0 0 0 46147 84 0 0 25 0 1 0 509916281 568971264 138642 33554432000 134512640 135151029 4288057760 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138642 80 156 0 138752 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 555636
[startup+522.301 s]
/proc/loadavg: 4.02 3.43 1.80 5/190 17186
/proc/meminfo: memFree=16074820/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=522.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 564634 0 0 0 52143 88 0 0 25 0 1 0 509916281 568971264 138647 33554432000 134512640 135151029 4288057760 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138647 80 156 0 138752 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 555636
[startup+582.301 s]
/proc/loadavg: 4.04 3.55 1.94 5/190 17215
/proc/meminfo: memFree=16256844/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=582.32 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 600579 0 0 0 58140 92 0 0 25 0 1 0 509916281 568971264 138656 33554432000 134512640 135151029 4288057760 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138656 80 156 0 138752 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 555636
[startup+642.301 s]
/proc/loadavg: 4.01 3.63 2.06 5/190 17216
/proc/meminfo: memFree=16148768/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=642.32 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 636547 0 0 0 64136 96 0 0 25 0 1 0 509916281 568971264 138688 33554432000 134512640 135151029 4288057760 18446744073709551615 134577947 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138688 80 156 0 138752 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 555636
[startup+702.301 s]
/proc/loadavg: 4.00 3.69 2.18 5/190 17218
/proc/meminfo: memFree=15916272/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=702.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 672484 0 0 0 70131 102 0 0 25 0 1 0 509916281 568971264 138689 33554432000 134512640 135151029 4288057760 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138689 80 156 0 138752 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 555636
[startup+762.307 s]
/proc/loadavg: 4.00 3.74 2.29 5/190 17219
/proc/meminfo: memFree=15694744/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=762.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 708440 0 0 0 76127 106 0 0 25 0 1 0 509916281 568971264 138709 33554432000 134512640 135151029 4288057760 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138709 80 156 0 138752 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 555636
[startup+822.301 s]
/proc/loadavg: 4.00 3.79 2.40 5/190 17221
/proc/meminfo: memFree=15388808/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=645912 CPUtime=822.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 730908 0 0 0 82120 113 0 0 25 0 1 0 509916281 661413888 161177 33554432000 134512640 135151029 4288057760 18446744073709551615 134577947 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 161478 161177 80 156 0 161321 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 645912
[startup+882.301 s]
/proc/loadavg: 4.00 3.82 2.49 5/190 17223
/proc/meminfo: memFree=15140968/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=657528 CPUtime=882.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 770877 0 0 0 88114 119 0 0 25 0 1 0 509916281 673308672 164105 33554432000 134512640 135151029 4288057760 18446744073709551615 134554498 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 164382 164105 80 156 0 164225 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 657528
[startup+942.301 s]
/proc/loadavg: 4.03 3.87 2.59 5/190 17224
/proc/meminfo: memFree=14972896/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=657528 CPUtime=942.34 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 807594 0 0 0 94110 124 0 0 25 0 1 0 509916281 673308672 164115 33554432000 134512640 135151029 4288057760 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 164382 164115 80 156 0 164225 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 657528
[startup+1002.3 s]
/proc/loadavg: 4.08 3.91 2.68 5/190 17226
/proc/meminfo: memFree=14946468/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=657528 CPUtime=1002.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 844338 0 0 0 100105 128 0 0 25 0 1 0 509916281 673308672 164152 33554432000 134512640 135151029 4288057760 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 164382 164152 80 156 0 164225 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 657528
[startup+1062.3 s]
/proc/loadavg: 4.08 3.94 2.77 5/190 17227
/proc/meminfo: memFree=14770232/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=661440 CPUtime=1062.34 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 882522 0 0 0 106100 134 0 0 25 0 1 0 509916281 677314560 165174 33554432000 134512640 135151029 4288057760 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 165360 165174 80 156 0 165203 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 661440
[startup+1122.3 s]
/proc/loadavg: 4.03 3.94 2.84 5/190 17229
/proc/meminfo: memFree=14746776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=628668 CPUtime=1122.34 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 883439 0 0 0 112100 134 0 0 25 0 1 0 509916281 643756032 156981 33554432000 134512640 135151029 4288057760 18446744073709551615 134521844 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 157167 156981 80 156 0 157010 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 628668
[startup+1182.3 s]
/proc/loadavg: 4.01 3.95 2.91 5/190 17258
/proc/meminfo: memFree=15134032/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=661440 CPUtime=1182.35 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 919617 0 0 0 118096 139 0 0 25 0 1 0 509916281 677314560 165175 33554432000 134512640 135151029 4288057760 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 165360 165175 80 156 0 165203 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 661440
[startup+1242.3 s]
/proc/loadavg: 4.05 3.97 2.98 5/190 17259
/proc/meminfo: memFree=14780916/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=661440 CPUtime=1242.35 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 956711 0 0 0 124092 143 0 0 25 0 1 0 509916281 677314560 165175 33554432000 134512640 135151029 4288057760 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 165360 165175 80 156 0 165203 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 661440
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 3.97 3.04 4/188 17262
/proc/meminfo: memFree=15609536/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=700176 CPUtime=1300.06 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 1003520 0 0 0 129853 153 0 0 25 0 1 0 509916281 716980224 174798 33554432000 134512640 135151029 4288057760 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 175044 174798 80 156 0 174887 0
Current children cumulated CPU time (s) 1300.06
Current children cumulated vsize (KiB) 700176
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.04
CPU time (s): 1300.1
CPU user time (s): 1298.54
CPU system time (s): 1.56076
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 716676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.54
system time used= 1.56076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1003521
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= 3070
runsolver used 1.9987 second user time and 5.10722 second system time
The end
Launcher Data
Begin job on node149 at 2011-04-28 11:33:16
IDJOB=3308323
IDBENCH=20353
IDSOLVER=1690
FILE ID=node149/3308323-1303983195
RUNJOBID= node149-1303983193-16968
PBS_JOBID= 13168677
Free space on /tmp= 71856 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308323-1303983195/watcher-3308323-1303983195 -o /tmp/evaluation-result-3308323-1303983195/solver-3308323-1303983195 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308323-1303983195.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= d90571b4b69632567da9d3ebfd25979e
RANDOM SEED=1217693844
node149.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.806
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.61
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.806
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.83
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.806
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.806
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.73
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.806
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.806
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.806
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.82
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.806
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 18726064 kB
Buffers: 2193800 kB
Cached: 11160944 kB
SwapCached: 0 kB
Active: 3762752 kB
Inactive: 9920284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 18726064 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 77744 kB
Writeback: 0 kB
AnonPages: 327788 kB
Mapped: 15960 kB
Slab: 476080 kB
PageTables: 5488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 516284 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= 71792 MiB
End job on node149 at 2011-04-28 11:54:58