Trace number 3308983
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 | application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf |
| MD5SUM | d71ab4cbe872e5620884d4e4d370890a |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1092.34 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 912 |
| Number of clauses | 3488 |
| Sum of the clauses size | 11040 |
| Maximum clause length | 5 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 80 |
| Number of clauses of size 2 | 160 |
| Number of clauses of size 3 | 2432 |
| Number of clauses of size 4 | 736 |
| Number of clauses of size 5 | 80 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-3308983-1303984776.cnf
0.00/0.00 c found header 'p cnf 912 3488'
0.00/0.00 c finished parsing
0.00/0.00 c
0.00/0.00 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00 c
0.00/0.00 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.00 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.00 c
0.00/0.00 c starting search after 0.0 seconds
0.00/0.00 c no decision limit
0.00/0.00 c
0.00/0.00 c original/binary fixed eliminated learned agility
0.00/0.00 c seconds variables equivalent conflicts height MB
0.00/0.00 c
0.00/0.00 c * 0.0 3344 768 80 64 0 0 0 0.0 0 0
0.00/0.01 c s 0.0 2928 588 80 128 116 0 0 0.0 0 0
0.00/0.01 c l 0.0 2928 588 80 128 116 0 2928 0.0 0 0
0.00/0.01 c R 0.0 2928 588 80 128 116 100 100 69.2 6 0
0.00/0.01 c R 0.0 2928 588 80 128 116 201 201 63.4 19 0
0.00/0.02 c N 0.0 2928 588 80 128 116 803 803 49.7 39 0
0.00/0.02 c B 0.0 2928 588 80 128 116 1002 1002 47.7 42 0
0.03/0.05 c B 0.1 2928 588 80 128 116 2002 2002 43.4 46 1
0.03/0.07 c N 0.1 2928 588 80 128 116 2405 2405 42.3 47 1
0.03/0.09 c + 0.1 2928 588 80 128 116 2929 3220 41.2 46 1
0.09/0.11 c + 0.1 2928 588 80 128 116 3661 3542 40.0 46 1
0.09/0.15 c + 0.2 2928 588 80 128 116 4576 3896 39.0 47 1
0.09/0.19 c + 0.2 2928 588 80 128 116 5721 4285 37.9 46 1
0.19/0.23 c N 0.2 2928 588 80 128 116 6413 6208 37.3 44 1
0.19/0.25 c + 0.3 2928 588 80 128 116 7150 4713 36.6 43 1
0.19/0.29 c B 0.3 2928 588 80 128 116 8005 4584 36.1 46 1
0.29/0.34 c + 0.3 2928 588 80 128 116 8935 5184 35.4 46 1
0.39/0.49 c + 0.5 2928 588 80 128 116 11165 5702 34.1 47 1
0.59/0.65 c + 0.7 2928 588 80 128 116 13955 6272 33.3 47 1
0.69/0.79 c
0.69/0.79 c original/binary fixed eliminated learned agility
0.69/0.79 c seconds variables equivalent conflicts height MB
0.69/0.79 c
0.69/0.79 c N 0.8 2928 588 80 128 116 16035 6325 32.7 48 2
0.79/0.89 c + 0.9 2928 588 80 128 116 17441 6899 32.3 48 2
1.19/1.26 c + 1.3 2928 588 80 128 116 21800 7588 31.4 49 2
1.39/1.41 c s 1.4 2929 588 80 128 116 23617 6432 31.3 44 1
1.39/1.42 c B 1.4 2929 588 80 128 116 24014 6829 31.3 48 1
1.59/1.60 c + 1.6 2929 588 80 128 116 27251 8346 31.2 49 2
2.09/2.15 c + 2.1 2929 588 80 128 116 34062 9180 30.9 47 2
2.29/2.37 c N 2.4 2929 588 80 128 116 38472 8415 30.6 45 2
2.69/2.72 c + 2.7 2929 588 80 128 116 42576 10098 30.4 46 2
3.69/3.75 c + 3.8 2929 588 80 128 116 53222 11107 29.8 46 2
4.39/4.42 c B 4.4 2929 588 80 128 116 64026 11179 29.5 43 3
4.49/4.58 c + 4.6 2929 588 80 128 116 66526 12217 29.3 47 3
5.69/5.74 c + 5.7 2929 588 80 128 116 83155 13438 28.5 46 3
6.19/6.28 c N 6.3 2929 588 80 128 116 89765 16278 28.3 48 4
7.49/7.50 c + 7.5 2929 588 80 128 116 103942 14781 28.1 46 3
10.19/10.29 c + 10.3 2929 588 80 128 116 129925 16259 27.7 48 4
13.49/13.52 c B 13.5 2929 588 80 128 116 160047 16781 27.2 47 4
13.69/13.75 c + 13.8 2929 588 80 128 116 162406 17884 27.2 49 5
18.19/18.22 c + 18.2 2929 588 80 128 116 203006 19672 26.7 45 5
18.39/18.45 c
18.39/18.45 c original/binary fixed eliminated learned agility
18.39/18.45 c seconds variables equivalent conflicts height MB
18.39/18.45 c
18.39/18.45 c N 18.5 2929 588 80 128 116 205154 19703 26.7 43 5
19.79/19.83 c s 19.8 2930 588 80 128 116 216945 19722 26.5 49 3
23.69/23.71 c + 23.7 2930 588 80 128 116 253755 21639 26.5 47 4
30.69/30.78 c s 30.8 2931 588 80 128 116 309928 17375 26.3 46 3
31.49/31.54 c + 31.5 2931 588 80 128 116 317191 23802 26.3 48 4
40.99/41.03 c B 41.0 2931 588 80 128 116 384086 24065 26.1 49 7
43.19/43.29 c + 43.3 2931 588 80 128 116 396486 26182 26.2 48 9
52.29/52.33 c N 52.3 2931 588 80 128 116 461524 26214 26.1 45 5
56.69/56.79 c + 56.8 2931 588 80 128 116 495607 28800 26.2 48 5
73.09/73.15 c + 73.1 2931 588 80 128 116 619506 31680 26.1 48 6
90.59/90.68 c s 90.7 2932 588 80 128 116 725738 31714 26.0 46 5
99.39/99.41 c + 99.4 2932 588 80 128 116 774381 34848 25.9 48 7
101.19/101.26 c s 101.3 2929 587 80 129 116 783784 34862 25.9 47 6
105.99/106.00 c s 106.0 2930 587 80 129 116 812441 34886 25.9 51 6
118.89/118.99 c B 119.0 2930 587 80 129 116 896178 34889 25.9 49 8
132.68/132.74 c + 132.7 2930 587 80 129 116 967977 38332 25.7 49 9
142.99/143.05 c N 143.0 2930 587 80 129 116 1025461 38456 25.7 48 10
169.88/169.92 c s 169.9 2931 587 80 129 116 1183166 35451 25.6 45 6
173.98/174.03 c + 174.0 2931 587 80 129 116 1209970 42165 25.6 49 9
234.58/234.63 c
234.58/234.63 c original/binary fixed eliminated learned agility
234.58/234.63 c seconds variables equivalent conflicts height MB
234.58/234.63 c
234.58/234.63 c + 234.6 2931 587 80 129 116 1512460 46381 25.5 47 9
312.18/312.20 c + 312.2 2931 587 80 129 116 1890575 51019 25.1 46 7
345.48/345.54 c B 345.5 2931 587 80 129 116 2048333 51068 25.1 46 12
387.87/387.98 c N 388.0 2931 587 80 129 116 2255589 51052 25.2 45 14
408.97/409.02 c + 409.0 2931 587 80 129 116 2363215 56120 25.1 44 14
544.67/544.73 c + 544.7 2931 587 80 129 116 2954016 61732 25.0 49 19
599.87/599.91 c s 599.9 2928 586 80 130 116 3197194 60226 24.9 46 10
716.47/716.54 c + 716.5 2928 586 80 130 116 3692522 67905 24.8 48 13
950.75/950.81 c B 950.8 2928 586 80 130 116 4608689 67923 24.7 47 18
952.25/952.36 c + 952.3 2928 586 80 130 116 4615650 74695 24.7 48 18
1027.75/1027.81 c N 1027.8 2928 586 80 130 116 4920820 74745 24.6 49 17
1272.32/1272.46 c + 1272.4 2928 586 80 130 116 5769561 82164 24.5 46 22
1299.94/1300.00 c
1299.94/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.94/1300.00 c
1299.94/1300.00 c 5866965 conflicts, 6250662 decisions, 2 random
1299.94/1300.00 c 0 iterations, 2 restarts, 9299 skipped
1299.94/1300.00 c 35 enlarged, 12 shrunken, 57317 rescored, 1258 rebiased
1299.94/1300.00 c 9 simplifications, 29 reductions
1299.94/1300.00 c
1299.94/1300.00 c vars: 80 fixed, 130 equiv, 116 elim, 130 merged
1299.94/1300.00 c elim: 38617 resolutions, 3 phases, 3 rounds
1299.94/1300.00 c sbst: 100% substituted, 0.0% nots, 0.0% ands, 100.0% xors, 0.0% ites
1299.94/1300.00 c arty: 0.00 and 2.00 xor average arity
1299.94/1300.00 c prbe: 40214 probed, 34 phases, 34 rounds
1299.94/1300.00 c prbe: 0 failed, 0 lifted, 0 merged
1299.94/1300.00 c sccs: 0 non trivial, 0 fixed, 0 merged
1299.94/1300.00 c hash: 0 units, 130 merged
1299.94/1300.00 c mins: 183782025 learned, 35% deleted, 75 strong, 37 depth
1299.94/1300.00 c subs: 4 forward, 4 backward, 128 doms
1299.94/1300.00 c strs: 0 forward, 0 backward
1299.94/1300.00 c doms: 128 dominators, 0 high, 0 low
1299.94/1300.00 c prps: 886838110 propagations, 0.68 megaprops
1299.94/1300.00 c
1299.94/1300.00 c 1299.9 seconds, 27 MB max, 824 MB recycled
1299.94/1300.00 c
1299.94/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.94/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-3308983-1303984776/watcher-3308983-1303984776 -o /tmp/evaluation-result-3308983-1303984776/solver-3308983-1303984776 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308983-1303984776.cnf
running on 2 cores: 4,6
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: 4.52 6.50 5.66 5/187 3336
/proc/meminfo: memFree=21921800/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=1260 CPUtime=0 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 234 0 0 0 0 0 0 0 25 0 1 0 510076249 1290240 189 33554432000 134512640 135151029 4286768688 18446744073709551615 134519416 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 315 189 80 156 0 158 0
[startup+0.0351749 s]
/proc/loadavg: 4.52 6.50 5.66 5/187 3336
/proc/meminfo: memFree=21921800/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=1392 CPUtime=0.03 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 271 0 0 0 3 0 0 0 25 0 1 0 510076249 1425408 226 33554432000 134512640 135151029 4286768688 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 348 226 80 156 0 191 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1392
[startup+0.101158 s]
/proc/loadavg: 4.52 6.50 5.66 5/187 3336
/proc/meminfo: memFree=21921800/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=1788 CPUtime=0.09 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 365 0 0 0 9 0 0 0 25 0 1 0 510076249 1830912 320 33554432000 134512640 135151029 4286768688 18446744073709551615 134551504 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 447 320 80 156 0 290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1788
[startup+0.301125 s]
/proc/loadavg: 4.52 6.50 5.66 5/187 3336
/proc/meminfo: memFree=21921800/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=2448 CPUtime=0.29 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 533 0 0 0 29 0 0 0 25 0 1 0 510076249 2506752 488 33554432000 134512640 135151029 4286768688 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 612 488 80 156 0 455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2448
[startup+0.701087 s]
/proc/loadavg: 4.52 6.50 5.66 5/187 3336
/proc/meminfo: memFree=21921800/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=2448 CPUtime=0.69 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 562 0 0 0 69 0 0 0 25 0 1 0 510076249 2506752 517 33554432000 134512640 135151029 4286768688 18446744073709551615 134554797 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 612 517 80 156 0 455 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2448
[startup+1.50094 s]
/proc/loadavg: 4.52 6.50 5.66 5/188 3337
/proc/meminfo: memFree=21916344/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=3636 CPUtime=1.49 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 845 0 0 0 149 0 0 0 25 0 1 0 510076249 3723264 800 33554432000 134512640 135151029 4286768688 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 909 800 80 156 0 752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3636
[startup+3.10064 s]
/proc/loadavg: 4.52 6.50 5.66 5/188 3337
/proc/meminfo: memFree=21912376/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=3900 CPUtime=3.09 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 909 0 0 0 309 0 0 0 25 0 1 0 510076249 3993600 864 33554432000 134512640 135151029 4286768688 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 975 864 80 156 0 818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3900
[startup+6.3011 s]
/proc/loadavg: 4.47 6.46 5.65 5/188 3337
/proc/meminfo: memFree=21900352/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=4848 CPUtime=6.29 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 1155 0 0 0 629 0 0 0 25 0 1 0 510076249 4964352 1110 33554432000 134512640 135151029 4286768688 18446744073709551615 134573903 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 1212 1110 80 156 0 1055 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4848
[startup+12.701 s]
/proc/loadavg: 4.44 6.41 5.64 5/188 3337
/proc/meminfo: memFree=21878780/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=5960 CPUtime=12.69 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 1411 0 0 0 1269 0 0 0 25 0 1 0 510076249 6103040 1366 33554432000 134512640 135151029 4286768688 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 1490 1366 80 156 0 1333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5960
[startup+25.5008 s]
/proc/loadavg: 4.34 6.30 5.61 5/188 3338
/proc/meminfo: memFree=21848080/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=7524 CPUtime=25.49 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 1889 0 0 0 2549 0 0 0 25 0 1 0 510076249 7704576 1772 33554432000 134512640 135151029 4286768688 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 1881 1772 80 156 0 1724 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7524
[startup+51.1004 s]
/proc/loadavg: 4.22 6.11 5.57 5/188 3338
/proc/meminfo: memFree=21927172/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=11084 CPUtime=51.09 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 2757 0 0 0 5108 1 0 0 25 0 1 0 510076249 11350016 2622 33554432000 134512640 135151029 4286768688 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 2771 2622 80 156 0 2614 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11084
[startup+102.301 s]
/proc/loadavg: 4.10 5.78 5.48 5/188 3350
/proc/meminfo: memFree=21507880/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=11808 CPUtime=102.29 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 3098 0 0 0 10228 1 0 0 25 0 1 0 510076249 12091392 2853 33554432000 134512640 135151029 4286768688 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 2952 2853 80 156 0 2795 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 11808
[startup+162.3 s]
/proc/loadavg: 4.03 5.46 5.39 5/188 3351
/proc/meminfo: memFree=21532016/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=13708 CPUtime=162.28 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 3983 0 0 0 16227 1 0 0 25 0 1 0 510076249 14036992 3315 33554432000 134512640 135151029 4286768688 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 3427 3315 80 156 0 3270 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 13708
[startup+222.307 s]
/proc/loadavg: 4.01 5.19 5.30 5/188 3353
/proc/meminfo: memFree=21382680/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=16752 CPUtime=222.28 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 4623 0 0 0 22227 1 0 0 25 0 1 0 510076249 17154048 3916 33554432000 134512640 135151029 4286768688 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 4188 3916 80 156 0 4031 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 16752
[startup+282.301 s]
/proc/loadavg: 4.00 4.97 5.21 5/188 3354
/proc/meminfo: memFree=21581804/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=16940 CPUtime=282.28 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 4794 0 0 0 28227 1 0 0 25 0 1 0 510076249 17346560 4087 33554432000 134512640 135151029 4286768688 18446744073709551615 134555130 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 4235 4087 80 156 0 4078 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 16940
[startup+342.301 s]
/proc/loadavg: 4.00 4.79 5.14 5/188 3356
/proc/meminfo: memFree=21299672/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=17832 CPUtime=342.28 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 4998 0 0 0 34227 1 0 0 25 0 1 0 510076249 18259968 4291 33554432000 134512640 135151029 4286768688 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 4458 4291 80 156 0 4301 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 17832
[startup+402.301 s]
/proc/loadavg: 4.00 4.64 5.06 5/188 3361
/proc/meminfo: memFree=21148732/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=19784 CPUtime=402.27 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 5359 0 0 0 40225 2 0 0 25 0 1 0 510076249 20258816 4652 33554432000 134512640 135151029 4286768688 18446744073709551615 134554888 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 4946 4652 80 156 0 4789 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 19784
[startup+462.307 s]
/proc/loadavg: 4.00 4.52 4.99 5/188 3362
/proc/meminfo: memFree=21075544/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=22024 CPUtime=462.27 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 5767 0 0 0 46225 2 0 0 25 0 1 0 510076249 22552576 5060 33554432000 134512640 135151029 4286768688 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 5506 5060 80 156 0 5349 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 22024
[startup+522.3 s]
/proc/loadavg: 4.08 4.44 4.93 5/188 3364
/proc/meminfo: memFree=20993924/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=23368 CPUtime=522.26 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 5987 0 0 0 52224 2 0 0 25 0 1 0 510076249 23928832 5280 33554432000 134512640 135151029 4286768688 18446744073709551615 134575984 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 5842 5280 80 156 0 5685 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 23368
[startup+582.301 s]
/proc/loadavg: 4.03 4.36 4.87 5/188 3365
/proc/meminfo: memFree=20921980/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=24712 CPUtime=582.26 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 6248 0 0 0 58224 2 0 0 25 0 1 0 510076249 25305088 5541 33554432000 134512640 135151029 4286768688 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 6178 5541 80 156 0 6021 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 24712
[startup+642.301 s]
/proc/loadavg: 4.01 4.29 4.81 5/188 3367
/proc/meminfo: memFree=20890948/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=27044 CPUtime=642.27 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7102 0 0 0 64224 3 0 0 25 0 1 0 510076249 27693056 6395 33554432000 134512640 135151029 4286768688 18446744073709551615 134680577 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 6761 6395 80 156 0 6604 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 27044
[startup+702.301 s]
/proc/loadavg: 4.04 4.25 4.77 5/188 3369
/proc/meminfo: memFree=20774604/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=27044 CPUtime=702.27 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7161 0 0 0 70224 3 0 0 25 0 1 0 510076249 27693056 6454 33554432000 134512640 135151029 4286768688 18446744073709551615 134580477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 6761 6454 80 156 0 6604 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 27044
[startup+762.301 s]
/proc/loadavg: 4.09 4.22 4.72 5/188 3371
/proc/meminfo: memFree=20647120/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=27044 CPUtime=762.27 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7205 0 0 0 76224 3 0 0 25 0 1 0 510076249 27693056 6498 33554432000 134512640 135151029 4286768688 18446744073709551615 134574657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 6761 6498 80 156 0 6604 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 27044
[startup+822.3 s]
/proc/loadavg: 3.54 4.05 4.63 4/182 3393
/proc/meminfo: memFree=23286928/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=27044 CPUtime=822.26 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7293 0 0 0 82223 3 0 0 25 0 1 0 510076249 27693056 6586 33554432000 134512640 135151029 4286768688 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 6761 6586 80 156 0 6604 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 27044
[startup+882.3 s]
/proc/loadavg: 3.20 3.86 4.53 4/182 3394
/proc/meminfo: memFree=23288516/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=28996 CPUtime=882.26 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7722 0 0 0 88223 3 0 0 25 0 1 0 510076249 29691904 7015 33554432000 134512640 135151029 4286768688 18446744073709551615 134554848 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7249 7015 80 156 0 7092 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 28996
[startup+942.301 s]
/proc/loadavg: 3.07 3.70 4.43 4/182 3396
/proc/meminfo: memFree=23287872/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=28996 CPUtime=942.25 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7749 0 0 0 94222 3 0 0 25 0 1 0 510076249 29691904 7042 33554432000 134512640 135151029 4286768688 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7249 7042 80 156 0 7092 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 28996
[startup+1002.3 s]
/proc/loadavg: 3.02 3.57 4.34 4/182 3398
/proc/meminfo: memFree=23287476/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=28996 CPUtime=1002.25 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7846 0 0 0 100222 3 0 0 25 0 1 0 510076249 29691904 7061 33554432000 134512640 135151029 4286768688 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7249 7061 80 156 0 7092 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 28996
[startup+1062.3 s]
/proc/loadavg: 3.01 3.46 4.25 4/182 3399
/proc/meminfo: memFree=23287712/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=28996 CPUtime=1062.24 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7890 0 0 0 106221 3 0 0 25 0 1 0 510076249 29691904 7105 33554432000 134512640 135151029 4286768688 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7249 7105 80 156 0 7092 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 28996
[startup+1122.31 s]
/proc/loadavg: 3.00 3.38 4.17 4/182 3401
/proc/meminfo: memFree=23287940/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=28996 CPUtime=1122.24 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 7899 0 0 0 112221 3 0 0 25 0 1 0 510076249 29691904 7114 33554432000 134512640 135151029 4286768688 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7249 7114 80 156 0 7092 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 28996
[startup+1182.3 s]
/proc/loadavg: 2.62 3.22 4.07 2/170 3440
/proc/meminfo: memFree=23519700/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=30164 CPUtime=1182.23 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 8096 0 0 0 118220 3 0 0 25 0 1 0 510076249 30887936 7311 33554432000 134512640 135151029 4286768688 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7541 7311 80 156 0 7384 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 30164
[startup+1242.3 s]
/proc/loadavg: 1.59 2.82 3.87 2/170 3442
/proc/meminfo: memFree=23519548/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=31572 CPUtime=1242.23 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 8360 0 0 0 124220 3 0 0 25 0 1 0 510076249 32329728 7575 33554432000 134512640 135151029 4286768688 18446744073709551615 134551619 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 7893 7575 80 156 0 7736 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 31572
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.22 2.48 3.69 2/170 3444
/proc/meminfo: memFree=23518540/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=32984 CPUtime=1299.94 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 8630 0 0 0 129990 4 0 0 25 0 1 0 510076249 33775616 7845 33554432000 134512640 135151029 4286768688 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 8246 7845 80 156 0 8089 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 32984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 1.22 2.48 3.69 2/170 3444
/proc/meminfo: memFree=23518540/32951132 swapFree=67111364/67111528
[pid=3336] ppid=3334 vsize=32984 CPUtime=1299.94 cores=4,6
/proc/3336/stat : 3336 (precosat) R 3334 3336 2964 0 -1 4202496 8630 0 0 0 129990 4 0 0 25 0 1 0 510076249 33775616 7845 33554432000 134512640 135151029 4286768688 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3336/statm: 8246 7845 80 156 0 8089 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 32984
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1299.94
CPU user time (s): 1299.9
CPU system time (s): 0.042993
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 32984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.9
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8631
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= 4
involuntary context switches= 2000
runsolver used 2.29865 second user time and 4.85326 second system time
The end
Launcher Data
Begin job on node128 at 2011-04-28 11:59:36
IDJOB=3308983
IDBENCH=83431
IDSOLVER=1690
FILE ID=node128/3308983-1303984776
RUNJOBID= node128-1303983196-2983
PBS_JOBID= 13168698
Free space on /tmp= 66916 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308983-1303984776/watcher-3308983-1303984776 -o /tmp/evaluation-result-3308983-1303984776/solver-3308983-1303984776 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308983-1303984776.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=2099984934
node128.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.852
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.70
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.852
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.852
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
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.852
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.852
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.852
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 21921956 kB
Buffers: 1353688 kB
Cached: 7415840 kB
SwapCached: 160 kB
Active: 3493588 kB
Inactive: 6907900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 21921956 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 30472 kB
Writeback: 20 kB
AnonPages: 1631396 kB
Mapped: 16380 kB
Slab: 560368 kB
PageTables: 8256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 1824536 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= 66972 MiB
End job on node128 at 2011-04-28 12:21:18