Trace number 3308332
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf |
| MD5SUM | 8e22d84b1ae625d44fbf300a32374a2d |
| 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 | 164158 |
| Number of clauses | 730719 |
| Sum of the clauses size | 1660140 |
| Maximum clause length | 10 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 12474 |
| Number of clauses of size 2 | 600009 |
| Number of clauses of size 3 | 87256 |
| Number of clauses of size 4 | 3440 |
| Number of clauses of size 5 | 13760 |
| Number of clauses of size over 5 | 13780 |
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-3308332-1303983196.cnf
0.00/0.00 c found header 'p cnf 164158 730719'
0.59/0.68 c finished parsing
0.59/0.68 c
0.59/0.68 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.59/0.68 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.59/0.68 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.59/0.68 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.59/0.68 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.59/0.68 c --random=1 --spread=2000 --seed=0 --skip=25
0.59/0.68 c
0.59/0.68 c sizeof vars[0] = 16 alignment = 0 3 MB
0.59/0.68 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.59/0.68 c sizeof occs[0] = 8 alignment = 0 1 MB
0.59/0.68 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.59/0.68 c
0.59/0.68 c starting search after 0.7 seconds
0.59/0.68 c no decision limit
0.59/0.69 c
0.59/0.69 c original/binary fixed eliminated learned agility
0.59/0.69 c seconds variables equivalent conflicts height MB
0.59/0.69 c
0.59/0.69 c * 0.7 717437 119160 6252 38746 0 0 0 0.0 0 59
2.39/2.47 c s 2.5 356340 56355 38024 37969 31810 0 0 0.0 0 38
2.39/2.47 c l 2.5 356340 56355 38024 37969 31810 0 145426 0.0 0 38
6.39/6.44 c s 6.4 692258 41944 49847 38243 34124 291 216 235.6 1 63
6.39/6.44 c - 6.4 692258 41944 49847 38243 34124 291 103253 235.6 1 63
6.39/6.47 c R 6.5 693127 41941 49850 38243 34124 347 272 231.4 2 63
6.50/6.51 c R 6.5 693585 41941 49850 38243 34124 447 370 234.8 2 63
6.89/6.98 c B 7.0 711049 41647 50141 38246 34124 1001 911 256.0 4 65
8.09/8.10 c B 8.1 753955 40582 51169 38283 34124 2001 1891 352.7 4 69
10.39/10.40 c R 10.4 902159 38635 53036 38363 34124 4125 3987 349.7 4 79
12.99/13.08 c s 13.1 681844 37779 53413 38436 34530 5845 3779 342.5 2 65
12.99/13.08 c - 13.1 681844 37779 53413 38436 34530 5845 89831 342.5 2 65
14.99/15.03 c B 15.0 746254 36911 54190 38527 34530 8004 5913 352.6 3 72
20.09/20.15 c s 20.2 799981 35897 54987 38670 34604 12069 8717 377.0 4 76
20.09/20.15 c - 20.2 799981 35897 54987 38670 34604 12069 85340 377.0 4 76
22.19/22.20 c R 22.2 841755 35831 55051 38672 34604 14473 11115 377.7 1 83
29.09/29.17 c s 29.2 834519 32458 56958 38931 35811 20201 6585 367.3 3 73
29.09/29.17 c - 29.2 834519 32458 56958 38931 35811 20201 82780 367.3 3 73
32.29/32.34 c B 32.3 954881 30853 58214 39280 35811 24013 10381 362.6 4 86
38.29/38.31 c
38.29/38.31 c original/binary fixed eliminated learned agility
38.29/38.31 c seconds variables equivalent conflicts height MB
38.29/38.31 c
38.29/38.31 c s 38.3 884978 27586 60344 39787 36441 29708 5553 357.3 8 75
38.29/38.31 c - 38.3 884978 27586 60344 39787 36441 29708 74502 357.3 8 75
48.79/48.80 c s 48.8 1020419 25207 61737 40773 36441 41351 17090 349.3 1 97
48.79/48.80 c - 48.8 1020419 25207 61737 40773 36441 41351 70777 349.3 1 97
63.09/63.11 c s 63.1 1001718 22885 61948 41151 38174 58471 3881 340.1 3 80
63.09/63.11 c - 63.1 1001718 22885 61948 41151 38174 58471 69362 340.1 3 80
64.90/64.99 c R 65.0 1031258 22865 61963 41156 38174 62473 7881 337.4 7 86
65.69/65.72 c B 65.7 1041521 22856 61971 41157 38174 64029 9436 337.2 2 89
68.49/68.56 c + 68.6 1076864 22807 62015 41162 38174 69362 76298 334.2 9 98
75.69/75.79 c s 75.8 1077008 22643 62168 41171 38176 79425 16176 335.9 2 97
75.69/75.79 c - 75.8 1077008 22643 62168 41171 38176 79425 75536 335.9 2 97
79.89/79.94 c + 80.0 1100572 22608 62199 41175 38176 85833 83089 334.2 2 109
91.89/91.97 c s 92.0 1081796 22146 62287 41190 38535 101922 7415 326.8 7 85
94.99/95.00 c + 95.0 1098639 22132 62301 41190 38535 107294 91397 327.8 4 94
98.29/98.31 c R 98.3 1114226 22110 62321 41192 38535 112787 18278 328.8 5 102
106.49/106.56 c s 106.6 1117345 22052 62371 41194 38541 123239 21875 326.3 2 103
113.20/113.25 c + 113.3 1138226 21998 62419 41200 38541 134116 100536 323.8 8 121
123.40/123.45 c s 123.5 1078384 21387 62672 41215 38884 147168 11872 321.6 5 87
123.40/123.45 c - 123.5 1078384 21387 62672 41215 38884 147168 98526 321.6 5 87
130.40/130.45 c
130.40/130.45 c original/binary fixed eliminated learned agility
130.40/130.45 c seconds variables equivalent conflicts height MB
130.40/130.45 c
130.40/130.45 c B 130.5 1099843 21352 62696 41226 38884 160059 24755 320.3 5 106
132.80/132.87 c + 132.9 1103951 21344 62700 41230 38884 164293 108378 319.9 3 112
138.29/138.39 c s 138.4 1105999 21311 62715 41235 38897 171396 26940 318.2 3 103
156.20/156.22 c s 156.2 1120819 20999 62840 41249 39070 196957 25268 318.1 4 99
161.60/161.65 c + 161.7 1126838 20623 63189 41276 39070 205367 119215 317.4 10 113
174.49/174.51 c s 174.5 1069516 20223 63474 41384 39077 223030 51056 314.9 4 130
174.49/174.51 c - 174.5 1069516 20223 63474 41384 39077 223030 115639 314.9 4 130
194.89/194.99 c s 195.0 1032233 19527 63701 41463 39467 248758 32842 312.5 4 100
194.89/194.99 c - 195.0 1032233 19527 63701 41463 39467 248758 112170 312.5 4 100
194.89/194.99 c + 195.0 1032233 19527 63701 41463 39467 248758 123387 312.5 4 100
200.39/200.49 c R 200.5 1051219 19487 63734 41470 39467 258581 42663 312.1 8 117
212.20/212.24 c s 212.3 1039060 19458 63758 41475 39467 274767 58832 311.7 12 138
232.40/232.45 c s 232.5 1033980 19292 63793 41478 39595 300122 39925 310.2 4 104
238.20/238.22 c R 238.2 1037734 19290 63794 41479 39595 309933 49735 309.1 4 120
238.90/238.90 c + 238.9 1038236 19290 63794 41479 39595 310945 135725 308.7 7 121
250.59/250.67 c s 250.7 1041340 19286 63797 41480 39595 326781 66569 306.7 3 139
269.10/269.19 c s 269.2 1041648 19191 63805 41482 39680 351805 46507 306.3 4 109
286.30/286.31 c s 286.3 1046607 19185 63810 41482 39681 378121 72810 303.6 4 140
290.30/290.31 c B 290.3 1047517 19185 63810 41482 39681 384150 78839 303.4 6 151
293.00/293.06 c
293.00/293.06 c original/binary fixed eliminated learned agility
293.00/293.06 c seconds variables equivalent conflicts height MB
293.00/293.06 c
293.00/293.06 c + 293.1 1048005 19184 63811 41482 39681 388682 149297 303.2 7 158
305.40/305.43 c s 305.4 1045217 19132 63814 41482 39730 404124 53782 303.3 4 112
323.20/323.22 c s 323.2 1050170 19127 63817 41484 39730 430729 80383 303.7 7 150
344.20/344.24 c s 344.3 1050900 19095 63818 41484 39761 456863 85242 301.7 11 149
366.50/366.54 c s 366.6 1052772 19095 63818 41484 39761 484625 113002 299.4 7 186
367.60/367.62 c + 367.6 1052790 19095 63818 41484 39761 485850 164226 299.4 4 190
389.40/389.41 c s 389.4 1053866 19095 63818 41484 39761 511797 140173 298.6 5 223
403.00/403.06 c R 403.1 1063801 19091 63820 41486 39761 529539 157914 299.1 4 254
415.10/415.15 c s 415.2 1062148 19052 63824 41486 39796 539251 104446 298.4 9 162
439.00/439.01 c s 439.0 1063140 19033 63835 41494 39796 566048 131235 296.5 3 196
465.40/465.44 c s 465.5 1064370 19001 63838 41495 39824 595143 138072 294.3 5 199
474.70/474.74 c + 474.8 1065034 19001 63838 41495 39824 607313 180648 293.8 4 223
489.70/489.79 c s 489.8 1065611 19000 63839 41495 39824 623515 166444 293.3 10 236
518.21/518.28 c s 518.3 1066119 18964 63841 41496 39857 651959 134506 292.5 4 192
545.10/545.12 c s 545.1 1069094 18956 63847 41498 39857 679426 161939 290.6 8 225
573.30/573.39 c s 573.4 1065502 18908 63861 41502 39887 707136 133426 289.4 2 186
599.80/599.86 c s 599.9 1063437 18882 63875 41514 39887 735342 161631 287.9 5 221
621.10/621.17 c + 621.2 1063949 18881 63876 41514 39887 759140 198712 286.4 8 259
629.91/629.95 c s 630.0 1062750 18855 63876 41514 39913 764673 178220 286.2 4 241
660.21/660.26 c
660.21/660.26 c original/binary fixed eliminated learned agility
660.21/660.26 c seconds variables equivalent conflicts height MB
660.21/660.26 c
660.21/660.26 c s 660.3 1064147 18853 63877 41515 39913 794611 198725 284.8 7 270
690.51/690.56 c s 690.6 1065800 18839 63877 41516 39926 826052 192010 284.0 6 275
720.42/720.41 c s 720.4 1067831 18837 63878 41517 39926 855117 198807 282.8 5 289
748.21/748.26 c s 748.3 1068752 18837 63878 41517 39926 885024 198826 282.4 6 295
758.61/758.64 c B 758.7 1068922 18837 63878 41517 39926 896310 198815 282.2 3 308
779.02/779.02 c s 779.1 1067395 18818 63881 41517 39942 915026 197125 282.1 3 297
810.31/810.40 c s 810.4 1061966 18796 63898 41522 39942 946125 198705 281.4 5 301
812.71/812.73 c + 812.8 1062054 18796 63898 41522 39942 948929 218583 281.4 7 307
840.81/840.81 c s 840.8 1055808 18733 63901 41522 40002 977817 163681 281.2 6 240
868.42/868.45 c s 868.5 1056440 18727 63905 41524 40002 1007565 193429 281.0 6 279
901.81/901.89 c s 901.9 1056761 18717 63907 41526 40008 1036679 200824 280.0 5 283
938.23/938.27 c s 938.3 1057685 18717 63907 41526 40008 1068347 218651 278.8 6 308
971.72/971.78 c s 971.8 1060656 18707 63909 41526 40016 1097685 204886 277.8 2 290
1007.91/1007.92 c s 1007.9 1061548 18704 63912 41526 40016 1127152 218733 276.8 5 308
1045.02/1045.02 c s 1045.1 1060921 18694 63916 41527 40021 1157855 152982 275.5 6 214
1067.92/1067.95 c + 1068.0 1061178 18694 63916 41527 40021 1186161 240441 275.1 7 264
1073.63/1073.68 c s 1073.7 1061189 18693 63916 41528 40021 1189139 184265 275.1 7 255
1105.32/1105.33 c s 1105.4 1062768 18685 63917 41528 40028 1220147 207090 274.4 7 283
1143.12/1143.15 c s 1143.2 1063093 18681 63920 41529 40028 1252726 239645 273.6 6 324
1181.82/1181.83 c
1181.82/1181.83 c original/binary fixed eliminated learned agility
1181.82/1181.83 c seconds variables equivalent conflicts height MB
1181.82/1181.83 c
1181.82/1181.83 c s 1181.9 1061533 18674 63922 41529 40033 1284461 236232 273.0 3 324
1221.42/1221.40 c s 1221.4 1062560 18674 63922 41529 40033 1316269 240488 272.3 6 336
1258.83/1258.84 c s 1258.9 1064661 18674 63922 41529 40033 1350614 240644 271.3 3 346
1294.93/1294.90 c s 1294.9 1064594 18667 63924 41529 40038 1382606 182771 270.8 7 259
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
1300.03/1300.00 c 1388560 conflicts, 5495751 decisions, 2691 random
1300.03/1300.00 c 142 iterations, 4083 restarts, 0 skipped
1300.03/1300.00 c 14 enlarged, 22085 shrunken, 13578 rescored, 380 rebiased
1300.03/1300.00 c 55 simplifications, 0 reductions
1300.03/1300.00 c
1300.03/1300.00 c vars: 63924 fixed, 41529 equiv, 40038 elim, 42855 merged
1300.03/1300.00 c elim: 13106113 resolutions, 52 phases, 25 rounds
1300.03/1300.00 c sbst: 62% substituted, 16.7% nots, 83.3% ands, 0.0% xors, 0.0% ites
1300.03/1300.00 c arty: 3.22 and 0.00 xor average arity
1300.03/1300.00 c prbe: 412764 probed, 2155 phases, 10 rounds
1300.03/1300.00 c prbe: 3887 failed, 5266 lifted, 1040 merged
1300.03/1300.00 c sccs: 159 non trivial, 0 fixed, 688 merged
1300.03/1300.00 c hash: 260 units, 41127 merged
1300.03/1300.00 c mins: 455577544 learned, 26% deleted, 39 strong, 194 depth
1300.03/1300.00 c subs: 78823 forward, 52825 backward, 76032 doms
1300.03/1300.00 c strs: 31327 forward, 390 backward
1300.03/1300.00 c doms: 280030 dominators, 76935 high, 161 low
1300.03/1300.00 c prps: 2463395684 propagations, 1.89 megaprops
1300.03/1300.00 c
1300.03/1300.00 c 1300.0 seconds, 369 MB max, 1665 MB recycled
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/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-3308332-1303983196/watcher-3308332-1303983196 -o /tmp/evaluation-result-3308332-1303983196/solver-3308332-1303983196 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308332-1303983196.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 7/182 23179
/proc/meminfo: memFree=24570676/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=9600 CPUtime=0.01 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 2057 0 0 0 1 0 0 0 21 0 1 0 509917385 9830400 2014 33554432000 134512640 135151029 4293895360 18446744073709551615 134534687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23178/statm: 2400 2025 60 156 0 2243 0
[startup+0.0561689 s]
/proc/loadavg: 0.00 0.00 0.00 7/182 23179
/proc/meminfo: memFree=24570676/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=19808 CPUtime=0.04 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 4875 0 0 0 4 0 0 0 21 0 1 0 509917385 20283392 4733 33554432000 134512640 135151029 4293895360 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 4952 4734 64 156 0 4795 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19808
[startup+0.10116 s]
/proc/loadavg: 0.00 0.00 0.00 7/182 23179
/proc/meminfo: memFree=24570676/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=24940 CPUtime=0.09 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 6274 0 0 0 8 1 0 0 21 0 1 0 509917385 25538560 6003 33554432000 134512640 135151029 4293895360 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 6235 6004 64 156 0 6078 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24940
[startup+0.301123 s]
/proc/loadavg: 0.00 0.00 0.00 7/182 23179
/proc/meminfo: memFree=24570676/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=41476 CPUtime=0.29 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 11193 0 0 0 28 1 0 0 21 0 1 0 509917385 42471424 10152 33554432000 134512640 135151029 4293895360 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 10369 10153 65 156 0 10212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41476
[startup+0.701051 s]
/proc/loadavg: 0.00 0.00 0.00 7/182 23179
/proc/meminfo: memFree=24570676/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=70520 CPUtime=0.69 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 19463 0 0 0 67 2 0 0 22 0 1 0 509917385 72212480 17396 33554432000 134512640 135151029 4293895360 18446744073709551615 134555630 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 17630 17396 79 156 0 17473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70520
[startup+1.5009 s]
/proc/loadavg: 0.32 0.07 0.02 7/190 23190
/proc/meminfo: memFree=24252692/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=74392 CPUtime=1.49 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 25478 0 0 0 146 3 0 0 25 0 1 0 509917385 76177408 18283 33554432000 134512640 135151029 4293895360 18446744073709551615 134575436 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 18598 18283 80 156 0 18441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74392
[startup+3.10061 s]
/proc/loadavg: 0.32 0.07 0.02 7/190 23190
/proc/meminfo: memFree=24203720/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=69000 CPUtime=3.09 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 27541 0 0 0 306 3 0 0 25 0 1 0 509917385 70656000 16946 33554432000 134512640 135151029 4293895360 18446744073709551615 134556841 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 17250 16946 80 156 0 17093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69000
[startup+6.30103 s]
/proc/loadavg: 0.61 0.13 0.04 7/190 23190
/proc/meminfo: memFree=24204712/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=85672 CPUtime=6.29 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 43105 0 0 0 623 6 0 0 25 0 1 0 509917385 87728128 20857 33554432000 134512640 135151029 4293895360 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 21418 20857 80 156 0 21261 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85672
[startup+12.7009 s]
/proc/loadavg: 0.89 0.20 0.06 7/190 23190
/proc/meminfo: memFree=24193392/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=89432 CPUtime=12.69 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 54028 0 0 0 1261 8 0 0 25 0 1 0 509917385 91578368 21779 33554432000 134512640 135151029 4293895360 18446744073709551615 134521507 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 22358 21779 80 156 0 22201 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89432
[startup+25.5005 s]
/proc/loadavg: 1.36 0.32 0.11 7/190 23191
/proc/meminfo: memFree=24177592/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=106208 CPUtime=25.49 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 71084 0 0 0 2539 10 0 0 25 0 1 0 509917385 108756992 26011 33554432000 134512640 135151029 4293895360 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 26552 26011 80 156 0 26395 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106208
[startup+51.1008 s]
/proc/loadavg: 2.40 0.67 0.23 7/190 23191
/proc/meminfo: memFree=24164164/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=120016 CPUtime=51.09 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 107247 0 0 0 5092 17 0 0 25 0 1 0 509917385 122896384 29474 33554432000 134512640 135151029 4293895360 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 30004 29474 80 156 0 29847 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 120016
[startup+102.307 s]
/proc/loadavg: 3.30 1.18 0.42 7/190 23193
/proc/meminfo: memFree=24132028/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=150012 CPUtime=102.3 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 155325 0 0 0 10205 25 0 0 25 0 1 0 509917385 153612288 36991 33554432000 134512640 135151029 4293895360 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 37503 36991 80 156 0 37346 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150012
[startup+162.301 s]
/proc/loadavg: 3.90 1.74 0.66 7/190 23194
/proc/meminfo: memFree=24119296/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=162656 CPUtime=162.29 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 214574 0 0 0 16194 35 0 0 25 0 1 0 509917385 166559744 40120 33554432000 134512640 135151029 4293895360 18446744073709551615 134573929 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 40664 40120 80 156 0 40507 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 162656
[startup+222.301 s]
/proc/loadavg: 3.96 2.15 0.87 7/190 23196
/proc/meminfo: memFree=24091732/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=191904 CPUtime=222.3 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 258730 0 0 0 22187 43 0 0 25 0 1 0 509917385 196509696 47413 33554432000 134512640 135151029 4293895360 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 47976 47413 80 156 0 47819 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191904
[startup+282.301 s]
/proc/loadavg: 4.05 2.50 1.06 7/190 23198
/proc/meminfo: memFree=24081892/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=199976 CPUtime=282.3 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 293537 0 0 0 28182 48 0 0 25 0 1 0 509917385 204775424 49454 33554432000 134512640 135151029 4293895360 18446744073709551615 134581472 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 49994 49454 80 156 0 49837 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 199976
[startup+342.301 s]
/proc/loadavg: 4.02 2.77 1.25 7/190 23199
/proc/meminfo: memFree=24080352/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=201668 CPUtime=342.3 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 329399 0 0 0 34177 53 0 0 25 0 1 0 509917385 206508032 49855 33554432000 134512640 135151029 4293895360 18446744073709551615 134521914 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 50417 49855 80 156 0 50260 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 201668
[startup+402.301 s]
/proc/loadavg: 4.00 2.99 1.41 7/190 23201
/proc/meminfo: memFree=24012464/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=273344 CPUtime=402.29 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 371072 0 0 0 40167 62 0 0 25 0 1 0 509917385 279904256 67724 33554432000 134512640 135151029 4293895360 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 68336 67724 80 156 0 68179 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 273344
[startup+462.301 s]
/proc/loadavg: 4.00 3.17 1.57 7/190 23202
/proc/meminfo: memFree=23993564/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=290508 CPUtime=462.3 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 397120 0 0 0 46162 68 0 0 25 0 1 0 509917385 297480192 71972 33554432000 134512640 135151029 4293895360 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 72627 71972 80 156 0 72470 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 290508
[startup+522.301 s]
/proc/loadavg: 4.00 3.32 1.72 7/190 23204
/proc/meminfo: memFree=23982472/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=301284 CPUtime=522.31 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 432553 0 0 0 52158 73 0 0 25 0 1 0 509917385 308514816 74705 33554432000 134512640 135151029 4293895360 18446744073709551615 134574555 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 75321 74705 80 156 0 75164 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 301284
[startup+582.301 s]
/proc/loadavg: 4.05 3.46 1.87 7/190 23206
/proc/meminfo: memFree=23982176/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=301284 CPUtime=582.3 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 454375 0 0 0 58154 76 0 0 25 0 1 0 509917385 308514816 74727 33554432000 134512640 135151029 4293895360 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 75321 74727 80 156 0 75164 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 301284
[startup+642.301 s]
/proc/loadavg: 4.02 3.55 2.00 7/190 23207
/proc/meminfo: memFree=23982256/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=301284 CPUtime=642.31 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 476180 0 0 0 64151 80 0 0 25 0 1 0 509917385 308514816 74732 33554432000 134512640 135151029 4293895360 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 75321 74732 80 156 0 75164 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 301284
[startup+702.301 s]
/proc/loadavg: 4.15 3.66 2.13 6/190 23209
/proc/meminfo: memFree=23955796/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=327832 CPUtime=702.31 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 504497 0 0 0 70144 87 0 0 25 0 1 0 509917385 335699968 81249 33554432000 134512640 135151029 4293895360 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 81958 81249 80 156 0 81801 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 327832
[startup+762.307 s]
/proc/loadavg: 4.05 3.72 2.25 7/190 23210
/proc/meminfo: memFree=23946580/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=337208 CPUtime=762.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 522497 0 0 0 76142 90 0 0 25 0 1 0 509917385 345300992 83734 33554432000 134512640 135151029 4293895360 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 84302 83734 80 156 0 84145 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 337208
[startup+822.301 s]
/proc/loadavg: 4.02 3.77 2.35 7/190 23212
/proc/meminfo: memFree=23933000/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=352400 CPUtime=822.31 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 547910 0 0 0 82136 95 0 0 25 0 1 0 509917385 360857600 87478 33554432000 134512640 135151029 4293895360 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 88100 87478 80 156 0 87943 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 352400
[startup+882.301 s]
/proc/loadavg: 4.00 3.81 2.45 7/190 23214
/proc/meminfo: memFree=23914116/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=368040 CPUtime=882.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 572927 0 0 0 88132 100 0 0 25 0 1 0 509917385 376872960 91368 33554432000 134512640 135151029 4293895360 18446744073709551615 134554679 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 92010 91368 80 156 0 91853 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 368040
[startup+942.301 s]
/proc/loadavg: 4.00 3.84 2.55 6/190 23215
/proc/meminfo: memFree=23915188/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=368040 CPUtime=942.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 593964 0 0 0 94129 103 0 0 25 0 1 0 509917385 376872960 91379 33554432000 134512640 135151029 4293895360 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 92010 91379 80 156 0 91853 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 368040
[startup+1002.3 s]
/proc/loadavg: 4.00 3.87 2.63 7/190 23217
/proc/meminfo: memFree=23915492/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=368040 CPUtime=1002.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 604487 0 0 0 100128 104 0 0 25 0 1 0 509917385 376872960 91389 33554432000 134512640 135151029 4293895360 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 92010 91389 80 156 0 91853 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 368040
[startup+1062.3 s]
/proc/loadavg: 4.00 3.89 2.72 6/190 23218
/proc/meminfo: memFree=23909100/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=368040 CPUtime=1062.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 625526 0 0 0 106125 107 0 0 25 0 1 0 509917385 376872960 91402 33554432000 134512640 135151029 4293895360 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 92010 91402 80 156 0 91853 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 368040
[startup+1122.3 s]
/proc/loadavg: 4.06 3.92 2.80 6/190 23220
/proc/meminfo: memFree=23912152/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=368040 CPUtime=1122.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 646552 0 0 0 112122 110 0 0 25 0 1 0 509917385 376872960 91402 33554432000 134512640 135151029 4293895360 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 92010 91402 80 156 0 91853 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 368040
[startup+1182.3 s]
/proc/loadavg: 4.02 3.93 2.87 7/190 23222
/proc/meminfo: memFree=23903436/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=374060 CPUtime=1182.32 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 669059 0 0 0 118119 113 0 0 25 0 1 0 509917385 383037440 92883 33554432000 134512640 135151029 4293895360 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 93515 92883 80 156 0 93358 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 374060
[startup+1242.3 s]
/proc/loadavg: 4.00 3.94 2.94 6/190 23223
/proc/meminfo: memFree=23896452/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=384824 CPUtime=1242.33 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 682610 0 0 0 124117 116 0 0 25 0 1 0 509917385 394059776 95534 33554432000 134512640 135151029 4293895360 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 96206 95534 80 156 0 96049 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 384824
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.95 3.00 7/190 23225
/proc/meminfo: memFree=23882908/32951124 swapFree=67111524/67111528
[pid=23178] ppid=23174 vsize=397428 CPUtime=1300.03 cores=1,3
/proc/23178/stat : 23178 (precosat) R 23174 23178 23129 0 -1 4202496 700911 0 0 0 129884 119 0 0 25 0 1 0 509917385 406966272 98748 33554432000 134512640 135151029 4293895360 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23178/statm: 99357 98748 80 156 0 99200 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 397428
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.03
CPU time (s): 1300.06
CPU user time (s): 1298.85
CPU system time (s): 1.21281
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 401528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.85
system time used= 1.21281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 700912
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= 16111
runsolver used 2.0027 second user time and 4.98524 second system time
The end
Launcher Data
Begin job on node139 at 2011-04-28 11:33:16
IDJOB=3308332
IDBENCH=20386
IDSOLVER=1690
FILE ID=node139/3308332-1303983196
RUNJOBID= node139-1303983195-23149
PBS_JOBID= 13168687
Free space on /tmp= 72492 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308332-1303983196/watcher-3308332-1303983196 -o /tmp/evaluation-result-3308332-1303983196/solver-3308332-1303983196 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308332-1303983196.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=613829762
node139.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.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.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 : 5321.49
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 : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 24571476 kB
Buffers: 1995304 kB
Cached: 5798216 kB
SwapCached: 4 kB
Active: 536204 kB
Inactive: 7324264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24571476 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 68248 kB
Writeback: 0 kB
AnonPages: 66892 kB
Mapped: 14468 kB
Slab: 453584 kB
PageTables: 5444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 192068 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= 72484 MiB
End job on node139 at 2011-04-28 11:54:59