Trace number 3308371
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/crypto/
mizh-sha0-36-2.cnf |
| MD5SUM | 82bf685774b76ba263c886940c3aa94d |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 12.3281 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50073 |
| Number of clauses | 210239 |
| Sum of the clauses size | 628391 |
| Maximum clause length | 4 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 177 |
| Number of clauses of size 2 | 86996 |
| Number of clauses of size 3 | 38042 |
| Number of clauses of size 4 | 85024 |
| Number of clauses of size 5 | 0 |
| 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-3308371-1303983199.cnf
0.00/0.00 c found header 'p cnf 50073 210239'
0.09/0.13 c finished parsing
0.09/0.13 c
0.09/0.13 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.13 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.13 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.13 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.13 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.13 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.13 c
0.09/0.13 c sizeof vars[0] = 16 alignment = 0 1 MB
0.09/0.13 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.13 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.13 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.13 c
0.09/0.13 c starting search after 0.1 seconds
0.09/0.13 c no decision limit
0.09/0.13 c
0.09/0.13 c original/binary fixed eliminated learned agility
0.09/0.13 c seconds variables equivalent conflicts height MB
0.09/0.13 c
0.09/0.13 c * 0.1 180234 39184 4496 6393 0 0 0 0.0 0 15
0.69/0.76 c s 0.8 118028 17249 4814 8121 19889 0 0 0.0 0 12
0.69/0.76 c l 0.8 118028 17249 4814 8121 19889 0 111437 0.0 0 12
0.69/0.77 c R 0.8 118036 17248 4814 8122 19889 100 99 38.6 11 12
0.69/0.77 c R 0.8 118042 17247 4814 8123 19889 201 199 41.8 18 12
0.69/0.78 c N 0.8 118101 17241 4814 8129 19889 806 793 41.7 26 12
0.69/0.78 c B 0.8 118101 17241 4814 8129 19889 1001 988 43.4 32 12
0.79/0.81 c B 0.8 118180 17234 4815 8135 19889 2002 1981 66.8 21 12
0.89/0.95 c B 1.0 120073 17165 4844 8175 19889 8005 7896 103.7 28 13
0.89/0.99 c N 1.0 120521 17160 4846 8178 19889 9875 9760 98.5 26 13
1.39/1.42 c B 1.4 135694 16833 5036 8315 19889 24011 23725 92.4 28 16
3.30/3.34 c s 3.3 165794 15704 5553 8927 19889 60985 29862 106.4 23 17
3.30/3.34 c - 3.3 165794 15704 5553 8927 19889 60985 103637 106.4 23 17
3.49/3.51 c B 3.5 167007 15675 5561 8948 19889 64020 32863 109.5 27 18
6.19/6.21 c R 6.2 204131 15242 5701 9241 19889 100375 68929 136.8 21 25
6.50/6.50 c + 6.5 209366 15233 5705 9246 19889 103637 114000 140.6 14 26
7.89/7.97 c s 8.0 120231 14877 5713 9289 20194 112820 53034 147.7 18 17
7.89/7.97 c - 8.0 120231 14877 5713 9289 20194 112820 109440 147.7 18 17
10.19/10.24 c + 10.2 121538 14843 5722 9314 20194 124364 120384 154.0 26 25
11.49/11.50 c
11.49/11.50 c original/binary fixed eliminated learned agility
11.49/11.50 c seconds variables equivalent conflicts height MB
11.49/11.50 c
11.49/11.50 c s 11.5 123057 14811 5730 9338 20194 130603 65100 157.8 37 23
13.09/13.20 c N 13.2 124468 14795 5733 9351 20194 141337 75799 165.4 30 28
15.79/15.83 c s 15.8 119817 14751 5734 9363 20225 152057 82552 169.4 20 27
16.50/16.53 c + 16.5 119837 14748 5734 9366 20225 155456 132422 171.0 26 31
17.89/17.92 c B 17.9 119840 14748 5734 9366 20225 160032 90520 172.3 41 34
18.49/18.53 c N 18.5 119872 14735 5734 9379 20225 163783 94239 173.2 28 36
19.99/20.04 c s 20.0 119840 14735 5734 9379 20225 167454 97853 174.1 30 35
25.59/25.60 c s 25.6 119491 14682 5745 9415 20231 183454 107760 179.4 22 38
29.70/29.75 c + 29.7 119494 14681 5745 9416 20231 194322 145664 182.0 20 50
31.69/31.79 c s 31.8 119524 14674 5746 9422 20231 198157 122089 183.1 31 48
39.39/39.41 c s 39.4 119440 14636 5753 9443 20241 220152 137974 190.0 31 53
46.88/46.90 c s 46.9 119442 14632 5753 9447 20241 237266 153084 194.1 36 66
49.09/49.19 c + 49.2 119447 14632 5753 9447 20241 242900 160230 195.0 34 72
55.29/55.36 c s 55.4 119415 14631 5753 9448 20241 257723 161259 197.5 32 75
64.29/64.33 c s 64.3 119369 14624 5754 9454 20241 278589 160905 200.0 26 84
73.09/73.14 c s 73.1 119205 14609 5755 9460 20249 302129 158470 202.7 37 83
73.59/73.62 c + 73.6 119207 14609 5755 9460 20249 303626 176253 202.9 32 87
83.09/83.12 c s 83.1 119230 14608 5755 9461 20249 324839 177181 205.3 30 93
92.19/92.22 c s 92.2 119191 14604 5756 9463 20250 344567 176543 207.0 37 96
101.40/101.48 c
101.40/101.48 c original/binary fixed eliminated learned agility
101.40/101.48 c seconds variables equivalent conflicts height MB
101.40/101.48 c
101.40/101.48 c s 101.5 119193 14603 5756 9464 20250 366033 177281 209.4 32 102
107.10/107.18 c + 107.2 119197 14602 5756 9465 20250 379533 193878 210.8 37 111
109.49/109.51 c B 109.5 119197 14602 5756 9465 20250 384082 186118 211.0 33 115
111.19/111.20 c s 111.2 119158 14602 5756 9465 20250 384630 186666 211.1 32 110
121.29/121.39 c s 121.4 119163 14601 5756 9466 20250 406081 196294 213.2 39 118
124.30/124.37 c R 124.4 119168 14600 5756 9467 20250 414728 194941 214.1 22 123
132.19/132.21 c s 132.2 119145 14599 5756 9468 20250 427452 197373 215.2 38 123
159.80/159.89 c + 159.9 119145 14599 5756 9468 20250 474416 213265 219.2 37 156
202.50/202.51 c s 202.5 119146 14599 5756 9468 20250 519438 267972 222.9 32 199
207.00/207.01 c N 207.0 119147 14599 5756 9468 20250 530087 249301 223.6 32 196
218.40/218.41 c s 218.4 119048 14587 5760 9473 20253 545263 241167 224.7 34 183
233.50/233.57 c s 233.6 119977 14581 5761 9478 20253 570949 214163 225.8 34 164
242.20/242.26 c + 242.3 119978 14580 5761 9479 20253 593020 234591 227.0 36 168
246.20/246.23 c s 246.2 119005 14580 5761 9479 20253 599451 220820 227.4 25 165
259.90/259.91 c s 259.9 119008 14579 5761 9480 20253 622857 235786 228.0 39 175
273.80/273.83 c s 273.8 119009 14579 5761 9480 20253 648098 235683 229.6 35 171
289.50/289.53 c s 289.5 118997 14572 5762 9484 20255 676596 235498 231.3 35 156
303.50/303.58 c s 303.6 118997 14569 5762 9487 20255 701664 235796 232.1 35 146
316.00/316.04 c s 316.1 118999 14569 5762 9487 20255 725226 235622 232.7 30 143
324.80/324.81 c
324.80/324.81 c original/binary fixed eliminated learned agility
324.80/324.81 c seconds variables equivalent conflicts height MB
324.80/324.81 c
324.80/324.81 c + 324.8 119001 14569 5762 9487 20255 741275 258050 233.3 29 150
330.80/330.86 c s 330.9 118980 14568 5762 9488 20255 748632 243009 233.7 36 148
346.10/346.14 c s 346.2 118981 14568 5762 9488 20255 773321 259104 234.6 25 157
361.20/361.23 c s 361.2 118986 14568 5762 9488 20255 800830 270386 235.2 38 166
376.11/376.14 c s 376.2 118988 14568 5762 9488 20255 824928 259190 235.8 29 161
415.40/415.45 c B 415.5 118988 14568 5762 9488 20255 896175 300631 238.9 35 213
434.11/434.13 c + 434.2 118988 14568 5762 9488 20255 926590 283855 240.1 35 225
440.02/440.03 c s 440.1 118989 14568 5762 9488 20255 936015 316810 240.5 22 222
455.21/455.23 c s 455.3 118983 14566 5762 9490 20255 970831 290655 242.4 36 208
511.31/511.36 c s 511.4 118984 14566 5762 9490 20255 1057221 291859 245.2 19 230
532.72/532.77 c s 532.8 118978 14565 5762 9491 20255 1083061 285142 245.6 29 226
551.51/551.59 c s 551.6 118983 14565 5762 9491 20255 1110066 285045 246.7 27 221
567.71/567.71 c N 567.7 118985 14565 5762 9491 20255 1135893 285104 247.1 41 224
569.31/569.36 c s 569.4 118985 14565 5762 9491 20255 1136287 285090 247.1 35 216
584.22/584.28 c + 584.3 118986 14564 5762 9492 20255 1158235 312240 247.5 33 223
589.52/589.52 c s 589.5 118973 14564 5762 9492 20255 1162502 289200 247.5 36 217
605.81/605.87 c s 605.9 118979 14564 5762 9492 20255 1188851 313318 246.9 39 234
624.62/624.65 c s 624.7 118980 14564 5762 9492 20255 1218174 313480 247.8 32 238
647.92/647.91 c s 647.9 118990 14563 5762 9493 20255 1249822 313375 248.2 37 238
690.32/690.38 c
690.32/690.38 c original/binary fixed eliminated learned agility
690.32/690.38 c seconds variables equivalent conflicts height MB
690.32/690.38 c
690.32/690.38 c s 690.4 118991 14563 5762 9493 20255 1299736 316589 248.9 16 241
712.92/712.93 c s 713.0 118998 14563 5762 9493 20255 1334675 313368 249.5 25 222
734.52/734.59 c s 734.6 118926 14553 5764 9501 20255 1363779 312464 250.0 36 218
754.72/754.74 c s 754.8 118930 14552 5764 9502 20255 1388141 322167 250.6 34 231
773.33/773.37 c s 773.4 118909 14550 5764 9504 20255 1416135 313336 250.9 36 222
791.02/791.02 c s 791.1 118929 14550 5764 9504 20255 1444853 313419 251.6 40 225
792.42/792.41 c + 792.4 118930 14549 5764 9505 20255 1447791 343464 251.6 34 229
806.13/806.19 c s 806.2 118936 14549 5764 9505 20255 1472677 338277 252.1 33 242
831.73/831.70 c s 831.7 118938 14549 5764 9505 20255 1509994 344666 252.8 32 246
852.83/852.81 c s 852.9 118939 14549 5764 9505 20255 1539762 344678 252.9 37 246
875.83/875.83 c s 875.9 118927 14548 5764 9506 20255 1569740 344787 253.4 32 243
896.13/896.17 c s 896.2 118940 14547 5764 9507 20255 1599982 344570 253.4 24 240
935.63/935.62 c s 935.7 118941 14547 5764 9507 20255 1668947 354983 254.9 35 257
954.74/954.77 c s 954.8 118946 14547 5764 9507 20255 1692507 347648 255.0 39 253
974.83/974.84 c s 974.9 118948 14547 5764 9507 20255 1717971 355419 255.0 32 258
998.84/998.85 c s 998.9 118944 14546 5764 9508 20255 1756008 344796 255.5 35 244
1033.54/1033.59 c + 1033.6 118944 14546 5764 9508 20255 1809735 377810 256.6 35 262
1052.24/1052.24 c s 1052.3 118943 14545 5764 9509 20255 1836675 374940 257.0 35 275
1069.63/1069.60 c s 1069.7 118945 14545 5764 9509 20255 1867191 389142 257.6 36 286
1089.83/1089.84 c
1089.83/1089.84 c original/binary fixed eliminated learned agility
1089.83/1089.84 c seconds variables equivalent conflicts height MB
1089.83/1089.84 c
1089.83/1089.84 c s 1089.9 118946 14545 5764 9509 20255 1902719 382742 258.0 27 283
1110.54/1110.53 c s 1110.6 118948 14545 5764 9509 20255 1932171 383975 258.3 39 287
1132.64/1132.66 c s 1132.7 118942 14544 5764 9510 20255 1965967 379091 258.7 30 276
1154.74/1154.71 c s 1154.8 118946 14544 5764 9510 20255 2001194 379404 259.0 30 276
1173.65/1173.70 c s 1173.8 118951 14544 5764 9510 20255 2034222 379073 259.3 34 268
1180.64/1180.68 c B 1180.7 118951 14544 5764 9510 20255 2048348 378822 259.4 35 272
1266.65/1266.69 c s 1266.7 118952 14544 5764 9510 20255 2189717 378651 260.6 21 268
1300.05/1300.00 c
1300.05/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.05/1300.00 c
1300.05/1300.00 c 2245899 conflicts, 4465947 decisions, 14 random
1300.05/1300.00 c 111 iterations, 883 restarts, 4786 skipped
1300.05/1300.00 c 14 enlarged, 8747 shrunken, 21979 rescored, 510 rebiased
1300.05/1300.00 c 65 simplifications, 0 reductions
1300.05/1300.00 c
1300.05/1300.00 c vars: 5764 fixed, 9510 equiv, 20255 elim, 9907 merged
1300.05/1300.00 c elim: 9929058 resolutions, 47 phases, 24 rounds
1300.05/1300.00 c sbst: 100% substituted, 0.2% nots, 95.8% ands, 4.0% xors, 0.0% ites
1300.05/1300.00 c arty: 2.00 and 2.01 xor average arity
1300.05/1300.00 c prbe: 5702187 probed, 186 phases, 193 rounds
1300.05/1300.00 c prbe: 57 failed, 121 lifted, 202 merged
1300.05/1300.00 c sccs: 40 non trivial, 0 fixed, 68 merged
1300.05/1300.00 c hash: 51 units, 9637 merged
1300.05/1300.00 c mins: 399616480 learned, 16% deleted, 1854 strong, 80 depth
1300.05/1300.00 c subs: 14550 forward, 89105 backward, 194155 doms
1300.05/1300.00 c strs: 12654 forward, 126 backward
1300.05/1300.00 c doms: 195410 dominators, 186051 high, 130 low
1300.05/1300.00 c prps: 1275912016 propagations, 0.98 megaprops
1300.05/1300.00 c
1300.05/1300.00 c 1300.1 seconds, 302 MB max, 1313 MB recycled
1300.05/1300.00 c
1300.05/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.05/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-3308371-1303983199/watcher-3308371-1303983199 -o /tmp/evaluation-result-3308371-1303983199/solver-3308371-1303983199 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308371-1303983199.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: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=5576 CPUtime=0 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 1297 0 0 0 0 0 0 0 21 0 1 0 490735582 5709824 1253 33554432000 134512640 135151029 4287406144 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 1394 1253 65 156 0 1237 0
[startup+0.0988101 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=14540 CPUtime=0.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 3625 0 0 0 9 0 0 0 21 0 1 0 490735582 14888960 3483 33554432000 134512640 135151029 4287406144 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 3635 3484 65 156 0 3478 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14540
[startup+0.100817 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=14672 CPUtime=0.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 3675 0 0 0 9 0 0 0 21 0 1 0 490735582 15024128 3533 33554432000 134512640 135151029 4287406144 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 3668 3533 65 156 0 3511 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14672
[startup+0.300812 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=21100 CPUtime=0.29 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 5844 0 0 0 29 0 0 0 22 0 1 0 490735582 21606400 5119 33554432000 134512640 135151029 4287406144 18446744073709551615 134579324 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 5275 5119 80 156 0 5118 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21100
[startup+0.700717 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=25772 CPUtime=0.69 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 7372 0 0 0 68 1 0 0 23 0 1 0 490735582 26390528 6261 33554432000 134512640 135151029 4287406144 18446744073709551615 134517289 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 6443 6261 80 156 0 6286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25772
[startup+1.50057 s]
/proc/loadavg: 0.24 0.05 0.02 4/185 30433
/proc/meminfo: memFree=14081760/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=22120 CPUtime=1.49 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 7374 0 0 0 148 1 0 0 25 0 1 0 490735582 22650880 5350 33554432000 134512640 135151029 4287406144 18446744073709551615 134552520 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 5530 5350 80 156 0 5373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22120
[startup+3.10025 s]
/proc/loadavg: 0.24 0.05 0.02 4/185 30433
/proc/meminfo: memFree=14079776/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=27736 CPUtime=3.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 8776 0 0 0 308 1 0 0 25 0 1 0 490735582 28401664 6752 33554432000 134512640 135151029 4287406144 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 6934 6752 80 156 0 6777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27736
[startup+6.30058 s]
/proc/loadavg: 0.46 0.10 0.03 4/185 30433
/proc/meminfo: memFree=14071344/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=29192 CPUtime=6.29 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 9314 0 0 0 628 1 0 0 25 0 1 0 490735582 29892608 7094 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 7298 7094 80 156 0 7141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29192
[startup+12.7003 s]
/proc/loadavg: 0.66 0.15 0.05 5/190 30444
/proc/meminfo: memFree=13980496/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=32284 CPUtime=12.68 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 11601 0 0 0 1266 2 0 0 25 0 1 0 490735582 33058816 7879 33554432000 134512640 135151029 4287406144 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 8071 7879 80 156 0 7914 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32284
[startup+25.5008 s]
/proc/loadavg: 1.47 0.35 0.12 5/190 30444
/proc/meminfo: memFree=13835804/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=51760 CPUtime=25.49 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 18739 0 0 0 2545 4 0 0 25 0 1 0 490735582 53002240 12762 33554432000 134512640 135151029 4287406144 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 12940 12762 80 156 0 12783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51760
[startup+51.1007 s]
/proc/loadavg: 2.33 0.64 0.22 5/190 30445
/proc/meminfo: memFree=13805428/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=81940 CPUtime=51.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 28519 0 0 0 5102 7 0 0 25 0 1 0 490735582 83906560 20286 33554432000 134512640 135151029 4287406144 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 20485 20286 80 156 0 20328 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81940
[startup+102.307 s]
/proc/loadavg: 3.27 1.16 0.41 5/190 30446
/proc/meminfo: memFree=13760812/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=115936 CPUtime=102.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 41544 0 0 0 10220 10 0 0 25 0 1 0 490735582 118718464 28803 33554432000 134512640 135151029 4287406144 18446744073709551615 134580752 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 28984 28803 80 156 0 28827 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 115936
[startup+162.301 s]
/proc/loadavg: 3.73 1.67 0.64 5/190 30448
/proc/meminfo: memFree=13708204/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=168704 CPUtime=162.29 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 56937 0 0 0 16215 14 0 0 25 0 1 0 490735582 172752896 41940 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 42176 41940 80 156 0 42019 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 168704
[startup+222.301 s]
/proc/loadavg: 3.90 2.09 0.84 5/190 30449
/proc/meminfo: memFree=13654868/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=222.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 70550 0 0 0 22210 20 0 0 25 0 1 0 490735582 222244864 54049 33554432000 134512640 135151029 4287406144 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54049 80 156 0 54102 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 217036
[startup+282.301 s]
/proc/loadavg: 3.96 2.44 1.04 5/190 30451
/proc/meminfo: memFree=13636744/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=282.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 72520 0 0 0 28210 20 0 0 25 0 1 0 490735582 222244864 54059 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54059 80 156 0 54102 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 217036
[startup+342.301 s]
/proc/loadavg: 3.98 2.72 1.22 5/190 30452
/proc/meminfo: memFree=13617848/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=342.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 74483 0 0 0 34210 20 0 0 25 0 1 0 490735582 222244864 54062 33554432000 134512640 135151029 4287406144 18446744073709551615 134520409 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54062 80 156 0 54102 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 217036
[startup+402.301 s]
/proc/loadavg: 3.99 2.95 1.39 5/190 30454
/proc/meminfo: memFree=13613608/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=402.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 74487 0 0 0 40210 20 0 0 25 0 1 0 490735582 222244864 54066 33554432000 134512640 135151029 4287406144 18446744073709551615 134551501 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54066 80 156 0 54102 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 217036
[startup+462.301 s]
/proc/loadavg: 4.13 3.17 1.56 5/190 30483
/proc/meminfo: memFree=13609836/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=243916 CPUtime=462.31 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 81749 0 0 0 46207 24 0 0 25 0 1 0 490735582 249769984 60740 33554432000 134512640 135151029 4287406144 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 60979 60740 80 156 0 60822 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 243916
[startup+522.301 s]
/proc/loadavg: 4.05 3.32 1.71 5/190 30484
/proc/meminfo: memFree=13297004/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=253280 CPUtime=522.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 84898 0 0 0 52207 25 0 0 25 0 1 0 490735582 259358720 63138 33554432000 134512640 135151029 4287406144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 63320 63138 80 156 0 63163 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 253280
[startup+582.301 s]
/proc/loadavg: 4.02 3.44 1.85 5/190 30486
/proc/meminfo: memFree=13137800/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=253280 CPUtime=582.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 86597 0 0 0 58207 25 0 0 25 0 1 0 490735582 259358720 63139 33554432000 134512640 135151029 4287406144 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 63320 63139 80 156 0 63163 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 253280
[startup+642.3 s]
/proc/loadavg: 4.00 3.54 1.98 5/190 30487
/proc/meminfo: memFree=12897884/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=266356 CPUtime=642.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 91454 0 0 0 64206 26 0 0 25 0 1 0 490735582 272748544 66298 33554432000 134512640 135151029 4287406144 18446744073709551615 134574226 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 66589 66298 80 156 0 66432 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 266356
[startup+702.3 s]
/proc/loadavg: 4.00 3.62 2.11 5/190 30489
/proc/meminfo: memFree=12836840/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=702.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 96329 0 0 0 70204 28 0 0 25 0 1 0 490735582 286851072 69832 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69832 80 156 0 69875 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 280128
[startup+762.306 s]
/proc/loadavg: 4.03 3.70 2.23 5/190 30491
/proc/meminfo: memFree=12739472/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=762.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 96733 0 0 0 76205 28 0 0 25 0 1 0 490735582 286851072 69844 33554432000 134512640 135151029 4287406144 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69844 80 156 0 69875 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 280128
[startup+822.3 s]
/proc/loadavg: 4.01 3.75 2.34 5/190 30492
/proc/meminfo: memFree=12621784/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=822.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 97321 0 0 0 82205 28 0 0 25 0 1 0 490735582 286851072 69844 33554432000 134512640 135151029 4287406144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69844 80 156 0 69875 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 280128
[startup+882.301 s]
/proc/loadavg: 4.00 3.79 2.44 5/190 30494
/proc/meminfo: memFree=12491676/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=882.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 97713 0 0 0 88205 28 0 0 25 0 1 0 490735582 286851072 69844 33554432000 134512640 135151029 4287406144 18446744073709551615 134578267 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69844 80 156 0 69875 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 280128
[startup+942.301 s]
/proc/loadavg: 4.00 3.83 2.53 5/190 30495
/proc/meminfo: memFree=12470204/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=942.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 97917 0 0 0 94205 28 0 0 25 0 1 0 490735582 286851072 69852 33554432000 134512640 135151029 4287406144 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69852 80 156 0 69875 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 280128
[startup+1002.3 s]
/proc/loadavg: 4.00 3.86 2.62 5/190 30497
/proc/meminfo: memFree=12059240/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=281428 CPUtime=1002.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 99639 0 0 0 100205 29 0 0 25 0 1 0 490735582 288182272 70179 33554432000 134512640 135151029 4287406144 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70357 70179 80 156 0 70200 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 281428
[startup+1062.3 s]
/proc/loadavg: 4.00 3.88 2.70 5/190 30499
/proc/meminfo: memFree=12053004/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=298320 CPUtime=1062.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 104612 0 0 0 106204 30 0 0 25 0 1 0 490735582 305479680 74401 33554432000 134512640 135151029 4287406144 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 74580 74401 80 156 0 74423 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 298320
[startup+1122.3 s]
/proc/loadavg: 4.00 3.90 2.78 5/190 30500
/proc/meminfo: memFree=12009320/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=312760 CPUtime=1122.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 108769 0 0 0 112203 31 0 0 25 0 1 0 490735582 320266240 77970 33554432000 134512640 135151029 4287406144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78190 77970 80 156 0 78033 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 312760
[startup+1182.3 s]
/proc/loadavg: 4.00 3.91 2.86 5/190 30502
/proc/meminfo: memFree=11980280/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=313224 CPUtime=1182.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 110260 0 0 0 118203 31 0 0 25 0 1 0 490735582 320741376 78089 33554432000 134512640 135151029 4287406144 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78306 78089 80 156 0 78149 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 313224
[startup+1242.3 s]
/proc/loadavg: 4.05 3.94 2.93 5/190 30503
/proc/meminfo: memFree=11885644/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=313224 CPUtime=1242.35 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 110261 0 0 0 124204 31 0 0 25 0 1 0 490735582 320741376 78090 33554432000 134512640 135151029 4287406144 18446744073709551615 134554547 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78306 78090 80 156 0 78149 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 313224
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.94 3.93 2.99 3/186 30507
/proc/meminfo: memFree=11893316/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=315212 CPUtime=1300.05 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 110978 0 0 0 129974 31 0 0 25 0 1 0 490735582 322777088 78611 33554432000 134512640 135151029 4287406144 18446744073709551615 134546762 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78803 78611 80 156 0 78646 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 315212
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.02
CPU time (s): 1300.08
CPU user time (s): 1299.75
CPU system time (s): 0.331949
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 315212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.75
system time used= 0.331949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110979
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= 1871
runsolver used 2.23166 second user time and 4.87426 second system time
The end
Launcher Data
Begin job on node143 at 2011-04-28 11:33:20
IDJOB=3308371
IDBENCH=20483
IDSOLVER=1690
FILE ID=node143/3308371-1303983199
RUNJOBID= node143-1303983194-30374
PBS_JOBID= 13168683
Free space on /tmp= 72908 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/crypto/mizh-sha0-36-2.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308371-1303983199/watcher-3308371-1303983199 -o /tmp/evaluation-result-3308371-1303983199/solver-3308371-1303983199 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308371-1303983199.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED=1079550348
node143.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.846
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.69
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.846
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 : 5226.15
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.846
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14024104 kB
Buffers: 2288840 kB
Cached: 15935028 kB
SwapCached: 0 kB
Active: 6946932 kB
Inactive: 11418008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14024104 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 18224 kB
Writeback: 8 kB
AnonPages: 139568 kB
Mapped: 16248 kB
Slab: 496424 kB
PageTables: 5072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 321720 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= 72880 MiB
End job on node143 at 2011-04-28 11:55:02