Trace number 3308965
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/
64/aes_64_2_keyfind_1.cnf |
| MD5SUM | 1024a3346322fdba0a20b51f99eae4c0 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1000 |
| Number of clauses | 5176 |
| Sum of the clauses size | 20024 |
| Maximum clause length | 5 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 136 |
| Number of clauses of size 2 | 160 |
| Number of clauses of size 3 | 2080 |
| Number of clauses of size 4 | 672 |
| Number of clauses of size 5 | 2128 |
| 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-3308965-1303984746.cnf
0.00/0.00 c found header 'p cnf 1000 5176'
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 5008 800 136 64 0 0 0 0.0 0 0
0.00/0.01 c s 0.0 4368 672 136 192 0 0 0 0.0 0 0
0.00/0.01 c l 0.0 4368 672 136 192 0 0 4336 0.0 0 0
0.00/0.01 c R 0.0 4368 672 136 192 0 100 100 83.6 20 0
0.00/0.01 c R 0.0 4368 672 136 192 0 202 202 77.7 25 0
0.00/0.02 c N 0.0 4368 672 136 192 0 807 807 73.5 42 1
0.00/0.02 c B 0.0 4369 671 136 193 0 1001 1000 71.7 43 1
0.00/0.06 c B 0.1 4369 671 136 193 0 2003 2002 61.6 45 1
0.00/0.08 c s 0.1 4367 671 136 193 0 2370 2368 59.9 42 1
0.00/0.08 c N 0.1 4367 671 136 193 0 2412 2410 59.1 43 1
0.10/0.15 c + 0.2 4369 669 136 195 0 4337 4769 58.2 49 1
0.10/0.19 c s 0.2 4365 669 136 195 0 5373 4789 57.6 49 1
0.10/0.19 c + 0.2 4365 669 136 195 0 5420 5245 57.2 41 1
0.19/0.23 c N 0.2 4369 665 136 199 0 6422 5268 56.2 43 1
0.19/0.24 c + 0.2 4370 664 136 200 0 6775 5769 55.4 45 1
0.29/0.30 c B 0.3 4370 664 136 200 0 8006 5791 54.0 50 2
0.29/0.33 c + 0.3 4370 664 136 200 0 8466 6345 53.5 49 2
0.29/0.35 c s 0.4 4360 664 136 200 0 8943 6264 53.0 49 1
0.39/0.44 c + 0.4 4360 664 136 200 0 10580 6979 51.5 47 2
0.49/0.57 c
0.49/0.57 c original/binary fixed eliminated learned agility
0.49/0.57 c seconds variables equivalent conflicts height MB
0.49/0.57 c
0.49/0.57 c + 0.6 4360 664 136 200 0 13225 7676 49.4 45 2
0.69/0.76 c N 0.8 4360 664 136 200 0 16038 7697 47.8 43 2
0.69/0.79 c + 0.8 4360 664 136 200 0 16530 8443 47.5 48 2
1.10/1.14 c + 1.1 4360 664 136 200 0 20660 9287 45.9 47 3
1.19/1.26 c s 1.3 4359 663 136 201 0 22308 13798 45.6 48 3
1.39/1.41 c B 1.4 4359 663 136 201 0 24015 9303 45.2 45 2
1.49/1.55 c + 1.6 4359 663 136 201 0 25826 10215 44.8 47 3
1.59/1.69 c s 1.7 4360 663 136 201 0 28418 10240 44.6 45 2
1.89/1.98 c + 2.0 4363 661 136 203 0 32280 11236 44.1 47 3
1.99/2.00 c s 2.0 4359 661 136 203 0 32392 10339 44.0 46 2
2.29/2.36 c s 2.4 4359 660 136 204 0 37640 11259 43.9 51 2
2.39/2.40 c N 2.4 4359 660 136 204 0 38474 11260 43.8 47 3
2.49/2.52 c + 2.5 4361 659 136 205 0 40352 12359 43.9 47 3
2.59/2.69 c s 2.7 4358 658 136 206 0 43002 12375 43.9 49 3
3.39/3.41 c + 3.4 4358 658 136 206 0 50440 13594 43.2 47 3
3.79/3.84 c s 3.8 4349 657 136 207 0 54356 13617 42.8 48 3
4.19/4.23 c s 4.2 4350 656 136 208 0 59894 13604 43.2 48 3
4.40/4.42 c + 4.4 4350 656 136 208 0 63051 14953 43.4 50 3
4.40/4.48 c B 4.5 4351 655 136 209 0 64024 14585 43.4 48 3
4.59/4.65 c
4.59/4.65 c original/binary fixed eliminated learned agility
4.59/4.65 c seconds variables equivalent conflicts height MB
4.59/4.65 c
4.59/4.65 c s 4.7 4349 655 136 209 0 65781 14975 43.4 50 3
5.29/5.38 c s 5.4 4348 654 136 210 0 75227 14975 43.2 48 3
5.59/5.60 c + 5.6 4348 654 136 210 0 78811 16448 43.1 45 3
6.60/6.62 c N 6.6 4348 654 136 210 0 89765 16548 42.7 49 4
7.49/7.56 c + 7.6 4348 654 136 210 0 98511 18092 42.5 41 3
8.59/8.62 c s 8.6 4341 654 136 210 0 113784 18135 42.5 47 3
9.29/9.34 c + 9.3 4341 654 136 210 0 123137 19901 42.5 46 4
11.49/11.55 c s 11.6 4340 653 136 211 0 144020 16091 42.1 48 3
12.00/12.09 c s 12.1 4339 652 136 212 0 152195 19929 42.2 46 4
12.10/12.16 c + 12.2 4340 651 136 213 0 153920 21891 42.2 48 4
12.49/12.57 c B 12.6 4340 651 136 213 0 160045 21935 42.3 51 5
12.69/12.79 c s 12.8 4338 651 136 213 0 162249 21914 42.3 50 4
13.49/13.54 c s 13.5 4327 647 136 217 0 172624 21919 42.7 47 4
14.49/14.52 c s 14.5 4326 646 136 218 0 186089 21943 42.7 50 4
14.89/14.90 c + 14.9 4327 646 136 218 0 192400 24080 42.9 43 5
15.30/15.33 c s 15.3 4327 646 136 218 0 197828 24112 43.0 50 5
15.79/15.90 c N 15.9 4327 646 136 218 0 205126 24116 43.1 49 5
19.59/19.66 c + 19.7 4327 646 136 218 0 240500 26488 42.8 48 5
22.39/22.44 c s 22.4 4326 646 136 218 0 265049 21378 42.5 50 4
23.29/23.32 c
23.29/23.32 c original/binary fixed eliminated learned agility
23.29/23.32 c seconds variables equivalent conflicts height MB
23.29/23.32 c
23.29/23.32 c s 23.3 4325 645 136 219 0 274171 26504 42.5 48 5
24.99/25.02 c s 25.0 4326 645 136 219 0 295233 26557 42.5 50 5
25.39/25.42 c + 25.4 4326 645 136 219 0 300626 29136 42.7 49 6
30.00/30.09 c s 30.1 4327 645 136 219 0 337991 21896 43.1 49 5
31.20/31.24 c s 31.2 4328 645 136 219 0 351441 29181 43.2 50 6
34.00/34.01 c + 34.0 4328 645 136 219 0 375781 32049 42.9 49 8
35.20/35.28 c B 35.3 4328 645 136 219 0 384090 33551 42.8 50 9
46.20/46.27 c N 46.3 4328 645 136 219 0 461508 32130 42.5 47 9
47.59/47.63 c + 47.6 4328 645 136 219 0 469726 35253 42.4 50 9
59.69/59.74 c s 59.7 4323 644 136 220 0 543766 26865 41.9 43 6
67.10/67.12 c + 67.1 4323 644 136 220 0 587155 38778 41.9 50 12
79.89/79.94 c s 79.9 4318 643 136 221 0 674694 38797 41.7 50 8
81.49/81.60 c s 81.6 4317 642 136 222 0 689688 38806 41.7 48 8
88.49/88.51 c + 88.5 4317 642 136 222 0 733940 42655 41.5 46 12
92.40/92.49 c - 92.5 4313 641 136 223 0 757647 41802 41.5 40 8
92.49/92.54 c s 92.5 4312 641 136 223 0 757647 39153 41.5 40 8
92.49/92.54 c - 92.5 4312 641 136 223 0 757647 40966 41.5 40 8
94.39/94.44 c s 94.4 4311 640 136 224 0 769718 41003 41.4 46 9
99.00/99.05 c s 99.1 4308 639 136 225 0 802572 41005 41.4 49 9
106.60/106.64 c
106.60/106.64 c original/binary fixed eliminated learned agility
106.60/106.64 c seconds variables equivalent conflicts height MB
106.60/106.64 c
106.60/106.64 c s 106.6 4307 638 136 226 0 857976 32008 41.9 43 7
108.90/108.91 c + 108.9 4307 638 136 226 0 881096 45062 42.0 48 10
111.10/111.18 c B 111.2 4307 638 136 226 0 896183 45085 42.0 45 11
133.39/133.42 c N 133.4 4307 638 136 226 0 1025395 61107 42.0 47 17
137.09/137.13 c s 137.1 4308 638 136 226 0 1049506 45084 42.0 48 9
146.89/146.90 c + 146.9 4308 638 136 226 0 1101371 49568 42.0 48 14
195.09/195.20 c + 195.2 4308 638 136 226 0 1376710 54524 41.5 50 11
263.40/263.44 c s 263.4 4309 638 136 226 0 1709724 54549 41.6 45 11
264.40/264.48 c + 264.5 4310 637 136 227 0 1720885 59976 41.6 46 12
266.10/266.19 c s 266.2 4304 637 136 227 0 1734106 59999 41.6 48 12
329.90/329.92 c B 329.9 4304 637 136 227 0 2048327 60003 41.7 45 14
350.30/350.33 c + 350.3 4304 637 136 227 0 2151105 65973 41.6 46 17
368.41/368.50 c N 368.5 4304 637 136 227 0 2255549 66004 41.4 46 16
459.40/459.44 c + 459.5 4304 637 136 227 0 2688881 72570 41.2 47 19
613.71/613.78 c + 613.8 4304 637 136 227 0 3361100 79827 40.5 48 25
816.21/816.27 c + 816.3 4304 637 136 227 0 4201376 87809 39.9 50 21
929.11/929.15 c B 929.2 4304 637 136 227 0 4608654 87846 39.6 46 27
1006.61/1006.66 c N 1006.7 4304 637 136 227 0 4920745 87855 39.5 50 22
1090.81/1090.84 c + 1090.9 4304 637 136 227 0 5251721 96589 39.5 48 26
1212.81/1212.80 c
1212.81/1212.80 c original/binary fixed eliminated learned agility
1212.81/1212.80 c seconds variables equivalent conflicts height MB
1212.81/1212.80 c
1212.81/1212.80 c s 1212.8 4303 636 136 228 0 5751381 96667 39.3 46 18
1300.01/1300.00 c
1300.01/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.01/1300.00 c
1300.01/1300.00 c 6068829 conflicts, 6576539 decisions, 1 random
1300.01/1300.00 c 0 iterations, 2 restarts, 9722 skipped
1300.01/1300.00 c 33 enlarged, 79 shrunken, 59289 rescored, 1277 rebiased
1300.01/1300.00 c 36 simplifications, 27 reductions
1300.01/1300.00 c
1300.01/1300.00 c vars: 136 fixed, 228 equiv, 0 elim, 228 merged
1300.01/1300.00 c elim: 254478 resolutions, 13 phases, 13 rounds
1300.01/1300.00 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
1300.01/1300.00 c arty: 0.00 and 0.00 xor average arity
1300.01/1300.00 c prbe: 64556 probed, 50 phases, 50 rounds
1300.01/1300.00 c prbe: 0 failed, 0 lifted, 0 merged
1300.01/1300.00 c sccs: 0 non trivial, 0 fixed, 0 merged
1300.01/1300.00 c hash: 0 units, 228 merged
1300.01/1300.00 c mins: 250052389 learned, 24% deleted, 78 strong, 39 depth
1300.01/1300.00 c subs: 44 forward, 44 backward, 256 doms
1300.01/1300.00 c strs: 0 forward, 0 backward
1300.01/1300.00 c doms: 256 dominators, 0 high, 0 low
1300.01/1300.00 c prps: 809566763 propagations, 0.62 megaprops
1300.01/1300.00 c
1300.01/1300.00 c 1300.0 seconds, 38 MB max, 1075 MB recycled
1300.01/1300.00 c
1300.01/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.01/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-3308965-1303984746/watcher-3308965-1303984746 -o /tmp/evaluation-result-3308965-1303984746/solver-3308965-1303984746 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308965-1303984746.cnf
running on 2 cores: 5,7
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: 3.99 3.94 3.19 5/189 11279
/proc/meminfo: memFree=17619148/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=1392 CPUtime=0 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 266 0 0 0 0 0 0 0 25 0 1 0 588705282 1425408 221 33554432000 134512640 135151029 4287978144 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 348 222 80 156 0 191 0
[startup+0.00872392 s]
/proc/loadavg: 3.99 3.94 3.19 5/189 11279
/proc/meminfo: memFree=17619148/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=1392 CPUtime=0 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 278 0 0 0 0 0 0 0 25 0 1 0 588705282 1425408 233 33554432000 134512640 135151029 4287978144 18446744073709551615 134519079 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 348 233 80 156 0 191 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1392
[startup+0.100748 s]
/proc/loadavg: 3.99 3.94 3.19 5/189 11279
/proc/meminfo: memFree=17619148/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=1788 CPUtime=0.1 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 377 0 0 0 10 0 0 0 25 0 1 0 588705282 1830912 332 33554432000 134512640 135151029 4287978144 18446744073709551615 134580663 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 447 332 80 156 0 290 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1788
[startup+0.300724 s]
/proc/loadavg: 3.99 3.94 3.19 5/189 11279
/proc/meminfo: memFree=17619148/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=2448 CPUtime=0.29 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 546 0 0 0 29 0 0 0 25 0 1 0 588705282 2506752 501 33554432000 134512640 135151029 4287978144 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 612 501 80 156 0 455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2448
[startup+0.700646 s]
/proc/loadavg: 3.99 3.94 3.19 5/189 11279
/proc/meminfo: memFree=17619148/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=3112 CPUtime=0.69 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 701 0 0 0 69 0 0 0 25 0 1 0 588705282 3186688 656 33554432000 134512640 135151029 4287978144 18446744073709551615 134555060 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 778 656 80 156 0 621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3112
[startup+1.50051 s]
/proc/loadavg: 3.99 3.94 3.19 5/190 11280
/proc/meminfo: memFree=17613444/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=4700 CPUtime=1.49 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 1091 0 0 0 149 0 0 0 25 0 1 0 588705282 4812800 1046 33554432000 134512640 135151029 4287978144 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 1175 1046 80 156 0 1018 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4700
[startup+3.10026 s]
/proc/loadavg: 3.99 3.94 3.19 5/190 11280
/proc/meminfo: memFree=17611540/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=4700 CPUtime=3.09 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 1091 0 0 0 309 0 0 0 25 0 1 0 588705282 4812800 1046 33554432000 134512640 135151029 4287978144 18446744073709551615 134580477 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 1175 1046 80 156 0 1018 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4700
[startup+6.30072 s]
/proc/loadavg: 3.99 3.94 3.19 5/190 11280
/proc/meminfo: memFree=17607308/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=5240 CPUtime=6.29 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 1233 0 0 0 629 0 0 0 25 0 1 0 588705282 5365760 1188 33554432000 134512640 135151029 4287978144 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 1310 1188 80 156 0 1153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5240
[startup+12.7006 s]
/proc/loadavg: 3.99 3.94 3.20 5/190 11280
/proc/meminfo: memFree=17596032/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=9144 CPUtime=12.69 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 2208 0 0 0 1269 0 0 0 25 0 1 0 588705282 9363456 2163 33554432000 134512640 135151029 4287978144 18446744073709551615 134554940 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 2286 2163 80 156 0 2129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9144
[startup+25.5005 s]
/proc/loadavg: 3.99 3.95 3.21 5/190 11282
/proc/meminfo: memFree=17580992/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=10660 CPUtime=25.49 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 2586 0 0 0 2549 0 0 0 25 0 1 0 588705282 10915840 2521 33554432000 134512640 135151029 4287978144 18446744073709551615 134574266 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 2665 2521 80 156 0 2508 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10660
[startup+51.1002 s]
/proc/loadavg: 3.99 3.95 3.23 5/190 11282
/proc/meminfo: memFree=17559108/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=14600 CPUtime=51.09 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 3549 0 0 0 5108 1 0 0 25 0 1 0 588705282 14950400 3484 33554432000 134512640 135151029 4287978144 18446744073709551615 134687548 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 3650 3484 80 156 0 3493 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14600
[startup+102.307 s]
/proc/loadavg: 3.99 3.95 3.27 5/190 11284
/proc/meminfo: memFree=17533568/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=17884 CPUtime=102.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 4471 0 0 0 10229 1 0 0 25 0 1 0 588705282 18313216 4373 33554432000 134512640 135151029 4287978144 18446744073709551615 134554679 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 4471 4373 80 156 0 4314 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17884
[startup+162.301 s]
/proc/loadavg: 4.03 3.97 3.31 5/190 11293
/proc/meminfo: memFree=17491532/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=21460 CPUtime=162.29 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 5308 0 0 0 16228 1 0 0 25 0 1 0 588705282 21975040 5210 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 5365 5210 80 156 0 5208 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21460
[startup+222.301 s]
/proc/loadavg: 3.62 3.88 3.32 4/184 11312
/proc/meminfo: memFree=17645392/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=22852 CPUtime=222.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 6104 0 0 0 22228 2 0 0 25 0 1 0 588705282 23400448 5568 33554432000 134512640 135151029 4287978144 18446744073709551615 134574592 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 5713 5568 80 156 0 5556 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 22852
[startup+282.301 s]
/proc/loadavg: 3.23 3.72 3.30 4/184 11314
/proc/meminfo: memFree=17616348/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=23296 CPUtime=282.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 6329 0 0 0 28228 2 0 0 25 0 1 0 588705282 23855104 5710 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 5824 5710 80 156 0 5667 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23296
[startup+342.3 s]
/proc/loadavg: 3.08 3.58 3.28 4/184 11316
/proc/meminfo: memFree=17602360/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=28256 CPUtime=342.29 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 7704 0 0 0 34227 2 0 0 25 0 1 0 588705282 28934144 6922 33554432000 134512640 135151029 4287978144 18446744073709551615 134554848 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 7064 6922 80 156 0 6907 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 28256
[startup+402.3 s]
/proc/loadavg: 3.03 3.47 3.26 4/184 11318
/proc/meminfo: memFree=17596064/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=27872 CPUtime=402.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 8636 0 0 0 40227 3 0 0 25 0 1 0 588705282 28540928 6870 33554432000 134512640 135151029 4287978144 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 6968 6870 80 156 0 6811 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 27872
[startup+462.3 s]
/proc/loadavg: 3.01 3.38 3.24 4/184 11318
/proc/meminfo: memFree=17561128/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=31068 CPUtime=462.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 9193 0 0 0 46227 3 0 0 25 0 1 0 588705282 31813632 7427 33554432000 134512640 135151029 4287978144 18446744073709551615 134551406 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 7767 7427 80 156 0 7610 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31068
[startup+522.3 s]
/proc/loadavg: 3.00 3.31 3.22 4/184 11320
/proc/meminfo: memFree=17552684/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=33244 CPUtime=522.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 9631 0 0 0 52227 3 0 0 25 0 1 0 588705282 34041856 7865 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8311 7865 80 156 0 8154 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 33244
[startup+582.3 s]
/proc/loadavg: 3.00 3.25 3.20 4/184 11322
/proc/meminfo: memFree=17548336/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=35164 CPUtime=582.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 9970 0 0 0 58227 3 0 0 25 0 1 0 588705282 36007936 8204 33554432000 134512640 135151029 4287978144 18446744073709551615 134576056 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8791 8204 80 156 0 8634 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 35164
[startup+642.3 s]
/proc/loadavg: 3.00 3.20 3.19 4/184 11324
/proc/meminfo: memFree=17568028/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=36444 CPUtime=642.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 10241 0 0 0 64228 3 0 0 25 0 1 0 588705282 37318656 8475 33554432000 134512640 135151029 4287978144 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 9111 8475 80 156 0 8954 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 36444
[startup+702.3 s]
/proc/loadavg: 3.00 3.16 3.17 4/184 11326
/proc/meminfo: memFree=17530548/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=36956 CPUtime=702.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 10388 0 0 0 70227 3 0 0 25 0 1 0 588705282 37842944 8622 33554432000 134512640 135151029 4287978144 18446744073709551615 134554817 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 9239 8622 80 156 0 9082 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 36956
[startup+762.307 s]
/proc/loadavg: 3.05 3.15 3.17 4/184 11326
/proc/meminfo: memFree=17522200/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=38504 CPUtime=762.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 10728 0 0 0 76228 3 0 0 25 0 1 0 588705282 39428096 8962 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 9626 8962 80 156 0 9469 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 38504
[startup+822.301 s]
/proc/loadavg: 3.02 3.12 3.16 4/184 11328
/proc/meminfo: memFree=17523908/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=32864 CPUtime=822.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 11920 0 0 0 82227 3 0 0 25 0 1 0 588705282 33652736 7969 33554432000 134512640 135151029 4287978144 18446744073709551615 134578208 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8216 7969 80 156 0 8059 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 32864
[startup+882.301 s]
/proc/loadavg: 3.00 3.09 3.14 4/184 11330
/proc/meminfo: memFree=17512224/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=35680 CPUtime=882.3 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 12464 0 0 0 88227 3 0 0 25 0 1 0 588705282 36536320 8513 33554432000 134512640 135151029 4287978144 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8920 8513 80 156 0 8763 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 35680
[startup+942.301 s]
/proc/loadavg: 3.03 3.09 3.14 4/184 11332
/proc/meminfo: memFree=17503764/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=37860 CPUtime=942.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 12905 0 0 0 94227 4 0 0 25 0 1 0 588705282 38768640 8954 33554432000 134512640 135151029 4287978144 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 9465 8954 80 156 0 9308 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 37860
[startup+1002.3 s]
/proc/loadavg: 3.01 3.07 3.13 4/184 11334
/proc/meminfo: memFree=17498660/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=34400 CPUtime=1002.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 13215 0 0 0 100227 4 0 0 25 0 1 0 588705282 35225600 8381 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8600 8381 80 156 0 8443 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 34400
[startup+1062.3 s]
/proc/loadavg: 3.00 3.05 3.11 4/184 11334
/proc/meminfo: memFree=17493176/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=34976 CPUtime=1062.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 13406 0 0 0 106227 4 0 0 25 0 1 0 588705282 35815424 8572 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8744 8572 80 156 0 8587 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 34976
[startup+1122.3 s]
/proc/loadavg: 2.23 2.85 3.04 2/172 11372
/proc/meminfo: memFree=18547088/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=38368 CPUtime=1122.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 14062 0 0 0 112227 4 0 0 25 0 1 0 588705282 39288832 9228 33554432000 134512640 135151029 4287978144 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 9592 9228 80 156 0 9435 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 38368
[startup+1182.3 s]
/proc/loadavg: 1.45 2.51 2.91 2/172 11374
/proc/meminfo: memFree=18545824/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=40224 CPUtime=1182.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 14440 0 0 0 118227 4 0 0 25 0 1 0 588705282 41189376 9606 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 10056 9606 80 156 0 9899 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 40224
[startup+1242.3 s]
/proc/loadavg: 1.16 2.23 2.79 2/172 11376
/proc/meminfo: memFree=18549496/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=34400 CPUtime=1242.31 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 14537 0 0 0 124227 4 0 0 25 0 1 0 588705282 35225600 8498 33554432000 134512640 135151029 4287978144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 8600 8498 80 156 0 8443 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 34400
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.06 2.01 2.67 2/172 11378
/proc/meminfo: memFree=18543992/32951124 swapFree=67110396/67111528
[pid=11279] ppid=11277 vsize=40576 CPUtime=1300.01 cores=5,7
/proc/11279/stat : 11279 (precosat) R 11277 11279 10875 0 -1 4202496 16101 0 0 0 129997 4 0 0 25 0 1 0 588705282 41549824 9984 33554432000 134512640 135151029 4287978144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/11279/statm: 10144 9984 80 156 0 9987 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 40576
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.01
CPU time (s): 1300.03
CPU user time (s): 1299.98
CPU system time (s): 0.049992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 41092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.98
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16102
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= 2085
runsolver used 1.85672 second user time and 5.06323 second system time
The end
Launcher Data
Begin job on node118 at 2011-04-28 11:59:06
IDJOB=3308965
IDBENCH=83418
IDSOLVER=1690
FILE ID=node118/3308965-1303984746
RUNJOBID= node118-1303983220-10896
PBS_JOBID= 13168708
Free space on /tmp= 71468 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308965-1303984746/watcher-3308965-1303984746 -o /tmp/evaluation-result-3308965-1303984746/solver-3308965-1303984746 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308965-1303984746.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1024a3346322fdba0a20b51f99eae4c0
RANDOM SEED=1782001321
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: 17619304 kB
Buffers: 1893776 kB
Cached: 12028256 kB
SwapCached: 600 kB
Active: 10252564 kB
Inactive: 4541400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17619304 kB
SwapTotal: 67111528 kB
SwapFree: 67110396 kB
Dirty: 99232 kB
Writeback: 0 kB
AnonPages: 870424 kB
Mapped: 16148 kB
Slab: 471336 kB
PageTables: 6792 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1060628 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= 71616 MiB
End job on node118 at 2011-04-28 12:20:48