Trace number 3309133
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 | SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf |
| MD5SUM | 83c1fe52702413077bb84179a04b277a |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 141.907 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1461771 |
| Number of clauses | 5687554 |
| Sum of the clauses size | 14147618 |
| Maximum clause length | 601 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 4325673 |
| Number of clauses of size 3 | 961281 |
| Number of clauses of size 4 | 11051 |
| Number of clauses of size 5 | 354960 |
| Number of clauses of size over 5 | 34588 |
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-3309133-1303986068.cnf
0.00/0.00 c found header 'p cnf 1461771 5687554'
6.69/6.72 c finished parsing
6.69/6.72 c
6.69/6.72 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
6.69/6.72 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
6.69/6.72 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
6.69/6.72 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
6.69/6.72 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
6.69/6.72 c --random=1 --spread=2000 --seed=0 --skip=25
6.69/6.72 c
6.69/6.72 c sizeof vars[0] = 16 alignment = 0 22 MB
6.69/6.72 c sizeof orgs[0] = 8 alignment = 0 11 MB
6.69/6.72 c sizeof occs[0] = 8 alignment = 0 11 MB
6.69/6.72 c sizeof iirfs[0..1] = 8 alignment = 0 11 MB
6.69/6.72 c
6.69/6.72 c starting search after 6.7 seconds
6.69/6.72 c no decision limit
6.79/6.88 c
6.79/6.88 c original/binary fixed eliminated learned agility
6.79/6.88 c seconds variables equivalent conflicts height MB
6.79/6.88 c
6.79/6.88 c * 6.9 5683653 1365184 1781 94806 0 0 0 0.0 0 482
766.39/766.41 c s 766.4 1546596 261559 438715 93735 667762 0 0 0.0 0 271
766.39/766.41 c l 766.4 1546596 261559 438715 93735 667762 0 847371 0.0 0 271
767.60/767.67 c s 767.7 1405007 240846 459426 93737 667762 27 2 38.2 0 262
767.60/767.67 c - 767.7 1405007 240846 459426 93737 667762 27 762634 38.2 0 262
768.20/768.21 c R 768.2 1420686 240186 460074 93749 667762 202 162 76.3 1 264
769.30/769.39 c s 769.4 989637 184822 514839 94348 667762 330 183 72.4 0 234
769.30/769.39 c - 769.4 989637 184822 514839 94348 667762 330 503339 72.4 0 234
797.40/797.43 c s 797.4 828978 146932 533804 103411 677624 473 132 67.3 6 226
797.40/797.43 c - 797.4 828978 146932 533804 103411 677624 473 458039 67.3 6 226
797.60/797.60 c R 797.6 829756 146761 533867 103519 677624 679 311 61.6 3 227
811.80/811.81 c s 811.8 766671 133694 544409 104491 679177 715 232 60.7 2 223
811.80/811.81 c - 811.8 766671 133694 544409 104491 679177 715 435138 60.7 2 223
816.50/816.54 c s 816.6 766941 121075 554976 105412 680308 793 259 61.9 0 222
816.50/816.54 c - 816.6 766941 121075 554976 105412 680308 793 387273 61.9 0 222
818.31/818.36 c s 818.4 647584 100572 575209 105583 680407 829 273 60.9 0 214
818.31/818.36 c - 818.4 647584 100572 575209 105583 680407 829 333055 60.9 0 214
818.40/818.47 c B 818.5 649333 99769 575972 105623 680407 1000 413 55.9 2 215
819.31/819.30 c B 819.3 824940 98337 576682 106345 680407 2001 1379 310.9 3 226
821.50/821.55 c
821.50/821.55 c original/binary fixed eliminated learned agility
821.50/821.55 c seconds variables equivalent conflicts height MB
821.50/821.55 c
821.50/821.55 c R 821.6 1585172 96126 578827 106411 680407 3924 3184 196.2 3 275
826.70/826.78 c s 826.8 1850382 88276 585634 107180 680681 6060 4367 173.8 5 284
826.70/826.78 c - 826.8 1850382 88276 585634 107180 680681 6060 233139 173.8 5 284
827.90/827.99 c B 828.0 1925797 85553 586609 108928 680681 8006 6289 169.2 1 289
830.00/830.02 c R 830.0 2054628 83686 587001 110403 680681 11246 9510 170.4 12 296
837.00/837.07 c R 837.1 2406194 80306 587748 113036 680681 20801 19023 157.1 7 318
838.90/838.90 c B 838.9 2444995 79388 588241 113461 680681 24009 22195 153.1 1 321
848.80/848.84 c s 848.9 2323061 71215 592813 115102 682641 33115 24546 148.6 4 314
848.80/848.84 c - 848.9 2323061 71215 592813 115102 682641 33115 202831 148.6 4 314
866.00/866.03 c B 866.0 2426413 62885 592878 123367 682641 64021 55402 135.3 5 334
868.50/868.51 c R 868.5 2445139 61018 592942 125170 682641 68683 60059 134.3 1 337
874.50/874.52 c s 874.5 2439178 59707 593044 126379 682641 72784 63794 133.5 2 334
884.60/884.66 c R 884.7 2837229 58000 593880 127250 682641 91136 82131 131.8 3 383
915.40/915.40 c s 915.4 3454030 57560 593945 127625 682641 135777 124919 129.2 12 430
915.40/915.40 c - 915.4 3454030 57560 593945 127625 682641 135777 196747 129.2 12 430
929.10/929.12 c B 929.1 3683143 57098 594114 127918 682641 160050 149188 126.7 2 458
951.21/951.28 c + 951.3 3975161 56124 594348 128658 682641 196749 216421 128.2 4 493
977.21/977.21 c s 977.2 1037167 46280 594418 128993 692080 226191 61256 127.6 4 243
977.21/977.21 c - 977.2 1037167 46280 594418 128993 692080 226191 194779 127.6 4 243
977.21/977.21 c
977.21/977.21 c original/binary fixed eliminated learned agility
977.21/977.21 c seconds variables equivalent conflicts height MB
977.21/977.21 c
977.21/977.21 c + 977.2 1037167 46280 594418 128993 692080 226191 214256 127.6 4 243
994.21/994.20 c s 994.2 1012091 46251 594423 128996 692101 271965 91405 126.8 6 251
998.10/998.15 c + 998.2 1013160 46249 594424 128997 692101 282735 235681 125.7 5 258
1014.80/1014.83 c s 1014.8 1042138 45898 594463 129289 692121 314289 108897 123.3 5 256
1029.41/1029.49 c + 1029.5 1056293 45819 594464 129367 692121 353416 259249 120.5 4 276
1034.80/1034.83 c s 1034.9 1029597 45791 594464 129372 692144 358844 143162 120.2 2 266
1041.61/1041.66 c R 1041.7 1031173 45787 594465 129375 692144 375288 159604 118.8 7 277
1043.10/1043.18 c B 1043.2 1031263 45787 594465 129375 692144 384103 168419 118.0 5 279
1056.40/1056.41 c s 1056.4 998387 45672 594465 129375 692259 417193 182749 116.6 5 277
1065.40/1065.41 c + 1065.4 1000002 45557 594525 129430 692259 441770 285173 115.9 5 293
1079.10/1079.13 c s 1079.1 1002621 45520 594528 129463 692260 460995 224082 115.4 11 291
1107.51/1107.54 c s 1107.6 969725 44846 594529 129471 692925 512371 230129 113.6 6 291
1127.00/1127.03 c + 1127.0 975825 44816 594530 129500 692925 552210 313690 111.6 8 314
1131.71/1131.78 c s 1131.8 964046 44746 594530 129500 692995 558512 264746 111.4 7 303
1165.20/1165.28 c s 1165.3 964473 44644 594537 129595 692995 617720 313309 109.4 2 322
1173.70/1173.77 c R 1173.8 965051 44644 594537 129595 692995 644694 313745 108.8 7 333
1198.40/1198.49 c + 1198.5 965930 44640 594539 129597 692995 690261 345059 107.5 4 347
1207.11/1207.13 c s 1207.2 966021 44640 594539 129597 692995 701825 325334 107.4 3 335
1244.21/1244.21 c s 1244.2 964296 44492 594630 129654 692995 758512 340775 106.3 4 341
1282.60/1282.64 c
1282.60/1282.64 c original/binary fixed eliminated learned agility
1282.60/1282.64 c seconds variables equivalent conflicts height MB
1282.60/1282.64 c
1282.60/1282.64 c s 1282.7 959233 43815 594650 129841 693465 818366 329356 104.9 2 336
1282.60/1282.64 c - 1282.7 959233 43815 594650 129841 693465 818366 341609 104.9 2 336
1300.01/1300.01 c
1300.01/1300.01 c *** CAUGHT SIGNAL 15 ***
1300.01/1300.01 c
1300.01/1300.01 c 845428 conflicts, 2761485 decisions, 1332 random
1300.01/1300.01 c 110 iterations, 2432 restarts, 3 skipped
1300.01/1300.01 c 7 enlarged, 46033 shrunken, 8265 rescored, 253 rebiased
1300.01/1300.01 c 23 simplifications, 0 reductions
1300.01/1300.01 c
1300.01/1300.01 c vars: 594650 fixed, 129842 equiv, 693465 elim, 136975 merged
1300.01/1300.01 c elim: 20475769 resolutions, 21 phases, 4 rounds
1300.01/1300.01 c sbst: 99% substituted, 1.0% nots, 98.0% ands, 1.0% xors, 0.0% ites
1300.01/1300.01 c arty: 3.33 and 2.00 xor average arity
1300.01/1300.01 c prbe: 565289 probed, 862 phases, 5 rounds
1300.01/1300.01 c prbe: 1653 failed, 24733 lifted, 3622 merged
1300.01/1300.01 c sccs: 1870 non trivial, 0 fixed, 13670 merged
1300.01/1300.01 c hash: 1345 units, 119683 merged
1300.01/1300.01 c mins: 68678393 learned, 27% deleted, 59 strong, 65 depth
1300.01/1300.01 c subs: 83822 forward, 110161 backward, 994239 doms
1300.01/1300.01 c strs: 40071 forward, 988 backward
1300.01/1300.01 c doms: 1232879 dominators, 978752 high, 1324 low
1300.01/1300.01 c prps: 1020580634 propagations, 0.79 megaprops
1300.01/1300.01 c
1300.01/1300.01 c 1300.0 seconds, 553 MB max, 1003 MB recycled
1300.01/1300.01 c
1300.01/1300.01 c *** CAUGHT SIGNAL 15 ***
1300.01/1300.01 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-3309133-1303986068/watcher-3309133-1303986068 -o /tmp/evaluation-result-3309133-1303986068/solver-3309133-1303986068 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309133-1303986068.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: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=23712 CPUtime=0 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 2098 0 0 0 0 0 0 0 23 0 1 0 588837891 24281088 2055 33554432000 134512640 135151029 4293220112 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11635/statm: 5928 2067 59 156 0 5771 0
[startup+0.101885 s]
/proc/loadavg: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=62084 CPUtime=0.09 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 14105 0 0 0 8 1 0 0 23 0 1 0 588837891 63574016 14062 33554432000 134512640 135151029 4293220112 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11635/statm: 15521 14064 60 156 0 15364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62084
[startup+0.200869 s]
/proc/loadavg: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=126680 CPUtime=0.18 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 30980 0 0 0 15 3 0 0 24 0 1 0 588837891 129720320 30937 33554432000 134512640 135151029 4293220112 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 31670 30938 64 156 0 31513 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 126680
[startup+0.30085 s]
/proc/loadavg: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=136552 CPUtime=0.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 33655 0 0 0 25 4 0 0 25 0 1 0 588837891 139829248 33385 33554432000 134512640 135151029 4293220112 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 34138 33386 65 156 0 33981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 136552
[startup+0.700769 s]
/proc/loadavg: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=169720 CPUtime=0.69 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 42709 0 0 0 63 6 0 0 25 0 1 0 588837891 173793280 41669 33554432000 134512640 135151029 4293220112 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 42430 41670 65 156 0 42273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 169720
[startup+3.91622 s]
/proc/loadavg: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=387740 CPUtime=3.9 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 103675 0 0 0 373 17 0 0 25 0 1 0 588837891 397045760 95464 33554432000 134512640 135151029 4293220112 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 96935 95465 65 156 0 96778 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 387740
[startup+4.0012 s]
/proc/loadavg: 1.33 1.99 2.65 5/189 11635
/proc/meminfo: memFree=18393460/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=395260 CPUtime=3.99 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 105301 0 0 0 381 18 0 0 25 0 1 0 588837891 404746240 97090 33554432000 134512640 135151029 4293220112 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 98815 97091 65 156 0 98658 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 395260
[startup+6.30085 s]
/proc/loadavg: 1.78 2.07 2.67 5/190 11636
/proc/meminfo: memFree=17916508/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=578864 CPUtime=6.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 151653 0 0 0 604 25 0 0 25 0 1 0 588837891 592756736 143442 33554432000 134512640 135151029 4293220112 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 144716 143442 65 156 0 144559 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 578864
[startup+12.7008 s]
/proc/loadavg: 2.12 2.14 2.68 5/190 11636
/proc/meminfo: memFree=17841616/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=549496 CPUtime=12.69 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 174126 0 0 0 1240 29 0 0 25 0 1 0 588837891 562683904 135368 33554432000 134512640 135151029 4293220112 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 137374 135368 80 156 0 137217 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 549496
[startup+25.5006 s]
/proc/loadavg: 2.41 2.20 2.70 5/190 11636
/proc/meminfo: memFree=17729896/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=651832 CPUtime=25.49 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 216291 0 0 0 2515 34 0 0 25 0 1 0 588837891 667475968 161146 33554432000 134512640 135151029 4293220112 18446744073709551615 134578786 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 162958 161146 80 156 0 162801 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 651832
[startup+51.1004 s]
/proc/loadavg: 2.95 2.34 2.73 5/190 11638
/proc/meminfo: memFree=17720328/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=652856 CPUtime=51.09 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 216613 0 0 0 5074 35 0 0 25 0 1 0 588837891 668524544 161468 33554432000 134512640 135151029 4293220112 18446744073709551615 134575752 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 163214 161468 80 156 0 163057 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 652856
[startup+102.301 s]
/proc/loadavg: 3.70 2.65 2.81 5/190 11638
/proc/meminfo: memFree=17704172/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=660536 CPUtime=102.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 217628 0 0 0 10194 35 0 0 25 0 1 0 588837891 676388864 162483 33554432000 134512640 135151029 4293220112 18446744073709551615 134575498 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 165134 162483 80 156 0 164977 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 660536
[startup+162.301 s]
/proc/loadavg: 3.89 2.89 2.88 5/190 11640
/proc/meminfo: memFree=17695772/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=162.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 219626 0 0 0 16193 36 0 0 25 0 1 0 588837891 688709632 164481 33554432000 134512640 135151029 4293220112 18446744073709551615 134575752 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 164481 80 156 0 167985 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 672568
[startup+222.301 s]
/proc/loadavg: 3.99 3.10 2.95 5/190 11642
/proc/meminfo: memFree=17677800/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=222.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 220381 0 0 0 22193 36 0 0 25 0 1 0 588837891 688709632 165236 33554432000 134512640 135151029 4293220112 18446744073709551615 134548547 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 165236 80 156 0 167985 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 672568
[startup+282.301 s]
/proc/loadavg: 3.99 3.26 3.02 5/190 11644
/proc/meminfo: memFree=17668592/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=282.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 220381 0 0 0 28193 36 0 0 25 0 1 0 588837891 688709632 165236 33554432000 134512640 135151029 4293220112 18446744073709551615 134548459 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 165236 80 156 0 167985 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 672568
[startup+342.301 s]
/proc/loadavg: 3.99 3.40 3.08 5/190 11646
/proc/meminfo: memFree=17659696/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=342.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 220553 0 0 0 34193 37 0 0 25 0 1 0 588837891 688709632 165408 33554432000 134512640 135151029 4293220112 18446744073709551615 134548454 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 165408 80 156 0 167985 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 672568
[startup+402.301 s]
/proc/loadavg: 3.99 3.50 3.13 5/190 11646
/proc/meminfo: memFree=17653728/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=402.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 220823 0 0 0 40192 37 0 0 25 0 1 0 588837891 688709632 165678 33554432000 134512640 135151029 4293220112 18446744073709551615 134575488 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 165678 80 156 0 167985 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 672568
[startup+462.301 s]
/proc/loadavg: 3.99 3.59 3.18 5/190 11648
/proc/meminfo: memFree=17648480/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=462.29 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 221076 0 0 0 46192 37 0 0 25 0 1 0 588837891 688709632 165931 33554432000 134512640 135151029 4293220112 18446744073709551615 134545981 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 165931 80 156 0 167985 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 672568
[startup+522.301 s]
/proc/loadavg: 3.99 3.66 3.23 5/190 11650
/proc/meminfo: memFree=17650552/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=522.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 221178 0 0 0 52193 37 0 0 25 0 1 0 588837891 688709632 166033 33554432000 134512640 135151029 4293220112 18446744073709551615 134548115 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 166033 80 156 0 167985 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 672568
[startup+582.3 s]
/proc/loadavg: 4.04 3.74 3.28 5/190 11652
/proc/meminfo: memFree=17646560/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=582.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 221178 0 0 0 58193 37 0 0 25 0 1 0 588837891 688709632 166033 33554432000 134512640 135151029 4293220112 18446744073709551615 134548056 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 166033 80 156 0 167985 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 672568
[startup+642.306 s]
/proc/loadavg: 4.01 3.78 3.32 5/190 11654
/proc/meminfo: memFree=17641080/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=642.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 221178 0 0 0 64193 37 0 0 25 0 1 0 588837891 688709632 166033 33554432000 134512640 135151029 4293220112 18446744073709551615 134573921 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 166033 80 156 0 167985 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 672568
[startup+702.3 s]
/proc/loadavg: 4.00 3.82 3.36 5/190 11654
/proc/meminfo: memFree=17635108/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=672568 CPUtime=702.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 221178 0 0 0 70193 37 0 0 25 0 1 0 588837891 688709632 166033 33554432000 134512640 135151029 4293220112 18446744073709551615 134548061 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 168142 166033 80 156 0 167985 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 672568
[startup+762.3 s]
/proc/loadavg: 4.03 3.86 3.40 5/190 11656
/proc/meminfo: memFree=17638416/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=688952 CPUtime=762.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 221393 0 0 0 76193 37 0 0 25 0 1 0 588837891 705486848 166248 33554432000 134512640 135151029 4293220112 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 172238 166248 80 156 0 172081 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 688952
[startup+822.3 s]
/proc/loadavg: 4.05 3.90 3.44 5/190 11658
/proc/meminfo: memFree=17725196/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=598272 CPUtime=822.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 328515 0 0 0 82178 52 0 0 25 0 1 0 588837891 612630528 144209 33554432000 134512640 135151029 4293220112 18446744073709551615 134546625 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 149568 144209 80 156 0 149411 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 598272
[startup+882.3 s]
/proc/loadavg: 4.02 3.92 3.48 5/190 11660
/proc/meminfo: memFree=17705952/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=614656 CPUtime=882.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 438032 0 0 0 88163 67 0 0 25 0 1 0 588837891 629407744 148319 33554432000 134512640 135151029 4293220112 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 153664 148319 80 156 0 153507 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 614656
[startup+942.3 s]
/proc/loadavg: 4.00 3.93 3.51 5/190 11662
/proc/meminfo: memFree=17708784/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=614656 CPUtime=942.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 485458 0 0 0 94155 75 0 0 25 0 1 0 588837891 629407744 148320 33554432000 134512640 135151029 4293220112 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 153664 148320 80 156 0 153507 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 614656
[startup+1002.3 s]
/proc/loadavg: 4.00 3.94 3.53 5/190 11662
/proc/meminfo: memFree=17739392/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=581016 CPUtime=1002.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 540680 0 0 0 100148 82 0 0 25 0 1 0 588837891 594960384 140008 33554432000 134512640 135151029 4293220112 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 145254 140008 80 156 0 145097 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 581016
[startup+1062.3 s]
/proc/loadavg: 4.00 3.95 3.56 5/190 11666
/proc/meminfo: memFree=17735652/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=581016 CPUtime=1062.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 600647 0 0 0 106140 90 0 0 25 0 1 0 588837891 594960384 140008 33554432000 134512640 135151029 4293220112 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 145254 140008 80 156 0 145097 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 581016
[startup+1122.3 s]
/proc/loadavg: 4.00 3.95 3.58 5/190 11669
/proc/meminfo: memFree=17728988/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=581016 CPUtime=1122.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 640630 0 0 0 112135 95 0 0 25 0 1 0 588837891 594960384 140013 33554432000 134512640 135151029 4293220112 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 145254 140013 80 156 0 145097 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 581016
[startup+1182.3 s]
/proc/loadavg: 4.05 3.97 3.61 5/190 11671
/proc/meminfo: memFree=17727856/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=581016 CPUtime=1182.31 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 680612 0 0 0 118131 100 0 0 25 0 1 0 588837891 594960384 140017 33554432000 134512640 135151029 4293220112 18446744073709551615 134581608 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 145254 140017 80 156 0 145097 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 581016
[startup+1242.3 s]
/proc/loadavg: 4.02 3.97 3.64 5/190 11673
/proc/meminfo: memFree=17727108/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=638128 CPUtime=1242.3 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 720590 0 0 0 124125 105 0 0 25 0 1 0 588837891 653443072 154295 33554432000 134512640 135151029 4293220112 18446744073709551615 134564115 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 159532 154295 80 156 0 159375 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 638128
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.48 3.83 3.61 2/174 11726
/proc/meminfo: memFree=17851820/32951124 swapFree=67110396/67111528
[pid=11635] ppid=11633 vsize=581016 CPUtime=1300.01 cores=0,2
/proc/11635/stat : 11635 (precosat) R 11633 11635 10875 0 -1 4202496 740582 0 0 0 129893 108 0 0 25 0 1 0 588837891 594960384 140020 33554432000 134512640 135151029 4293220112 18446744073709551615 134552306 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/11635/statm: 145254 140020 80 156 0 145097 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 581016
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.05
CPU user time (s): 1298.94
CPU system time (s): 1.11283
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 688952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.94
system time used= 1.11283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740583
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= 2552
runsolver used 2.28465 second user time and 4.80727 second system time
The end
Launcher Data
Begin job on node118 at 2011-04-28 12:21:12
IDJOB=3309133
IDBENCH=86133
IDSOLVER=1690
FILE ID=node118/3309133-1303986068
RUNJOBID= node118-1303986068-11458
PBS_JOBID= 13168708
Free space on /tmp= 71504 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT05/industrial/narain05/vpn/clauses-8.renamed-as.sat05-1964.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309133-1303986068/watcher-3309133-1303986068 -o /tmp/evaluation-result-3309133-1303986068/solver-3309133-1303986068 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309133-1303986068.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 83c1fe52702413077bb84179a04b277a
RANDOM SEED=1767639888
node118.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.842
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.68
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.842
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.842
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 : 5374.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 18393864 kB
Buffers: 1894228 kB
Cached: 12043608 kB
SwapCached: 600 kB
Active: 9445256 kB
Inactive: 4572148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 18393864 kB
SwapTotal: 67111528 kB
SwapFree: 67110396 kB
Dirty: 117516 kB
Writeback: 0 kB
AnonPages: 78468 kB
Mapped: 16204 kB
Slab: 476136 kB
PageTables: 5232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 266736 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= 71504 MiB
End job on node118 at 2011-04-28 12:42:54