Trace number 3309181
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 | SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf |
| MD5SUM | 7aa25d61513f0f224b5ca45e4e1e0448 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 21.1548 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50073 |
| Number of clauses | 210223 |
| Sum of the clauses size | 628359 |
| Maximum clause length | 4 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 177 |
| Number of clauses of size 2 | 86980 |
| 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-3309181-1303986072.cnf
0.00/0.00 c found header 'p cnf 50073 210223'
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 180233 39192 4508 6373 0 0 0 0.0 0 15
0.79/0.81 c s 0.8 118022 17246 4835 8131 19861 0 0 0.0 0 12
0.79/0.81 c l 0.8 118022 17246 4835 8131 19861 0 111439 0.0 0 12
0.79/0.81 c R 0.8 118033 17244 4835 8133 19861 101 101 44.8 12 12
0.79/0.81 c R 0.8 118037 17244 4835 8133 19861 201 201 45.7 18 12
0.79/0.83 c R 0.8 118085 17243 4835 8134 19861 803 796 135.4 24 12
0.79/0.83 c B 0.8 118097 17243 4835 8134 19861 1001 992 125.6 24 12
0.79/0.86 c B 0.9 118304 17228 4841 8143 19861 2002 1984 122.5 24 12
0.89/0.98 c B 1.0 120960 17160 4860 8192 19861 8002 7912 82.0 33 13
0.99/1.00 c N 1.0 121175 17160 4860 8192 19861 8642 8550 86.4 27 13
1.49/1.52 c B 1.5 142472 16690 5166 8356 19861 24005 23704 85.8 22 16
3.59/3.63 c s 3.6 165947 15752 5567 8893 19861 63145 29763 105.4 23 17
3.59/3.63 c - 3.6 165947 15752 5567 8893 19861 63145 103639 105.4 23 17
3.59/3.67 c B 3.7 165970 15750 5567 8895 19861 64018 30633 105.9 34 17
7.49/7.50 c + 7.5 220081 15140 5798 9274 19861 103640 114002 148.2 21 26
7.70/7.76 c R 7.8 223990 15136 5798 9278 19861 105304 71546 150.5 19 27
8.39/8.44 c s 8.4 114530 14835 5798 9279 20161 107009 48079 151.1 16 16
8.39/8.44 c - 8.4 114530 14835 5798 9279 20161 107009 109442 151.1 16 16
9.59/9.61 c N 9.6 115195 14811 5802 9299 20161 114922 55964 158.5 33 20
11.29/11.36 c
11.29/11.36 c original/binary fixed eliminated learned agility
11.29/11.36 c seconds variables equivalent conflicts height MB
11.29/11.36 c
11.29/11.36 c + 11.4 116889 14789 5808 9315 20161 124368 120386 163.0 16 24
12.00/12.05 c s 12.1 116201 14773 5811 9328 20161 126327 62090 163.7 13 21
16.09/16.17 c s 16.2 113942 14712 5818 9357 20186 143234 75311 171.3 32 26
19.80/19.85 c + 19.9 113956 14710 5818 9359 20186 155460 132424 175.7 28 37
20.39/20.42 c s 20.4 113950 14710 5818 9359 20186 155801 87871 175.8 36 34
20.99/21.06 c B 21.1 113975 14708 5818 9361 20186 160043 92099 176.9 34 38
25.40/25.47 c s 25.5 113773 14696 5819 9367 20191 172989 104638 179.8 30 43
26.70/26.72 c N 26.7 113789 14693 5819 9370 20191 178039 109685 182.1 28 48
31.09/31.18 c s 31.2 113836 14685 5819 9378 20191 192961 124523 186.1 21 51
31.49/31.56 c + 31.6 113942 14681 5820 9381 20191 194325 145666 186.2 24 54
38.20/38.29 c s 38.3 113873 14664 5821 9393 20195 213611 139514 189.9 32 54
45.60/45.68 c s 45.7 113888 14658 5821 9399 20195 237471 146363 195.0 29 65
47.09/47.11 c + 47.1 113923 14652 5821 9405 20195 242905 160232 195.4 34 71
52.99/53.01 c s 53.0 113882 14652 5821 9405 20195 254208 157886 196.9 33 76
60.70/60.72 c s 60.7 118518 14639 5825 9414 20195 274826 159059 199.1 35 84
70.10/70.16 c s 70.2 113769 14634 5825 9416 20198 295222 161343 202.4 32 86
72.69/72.79 c + 72.8 113770 14634 5825 9416 20198 303632 176255 203.3 28 90
79.10/79.15 c s 79.2 114018 14623 5826 9426 20198 319683 175494 205.2 36 91
89.19/89.22 c s 89.2 113746 14622 5826 9427 20198 341855 183727 206.9 32 101
97.99/98.04 c
97.99/98.04 c original/binary fixed eliminated learned agility
97.99/98.04 c seconds variables equivalent conflicts height MB
97.99/98.04 c
97.99/98.04 c s 98.1 113746 14621 5826 9428 20198 360660 180239 209.0 28 106
104.59/104.60 c + 104.6 113776 14619 5827 9429 20198 379540 193880 211.6 15 112
106.39/106.48 c B 106.5 113788 14619 5827 9429 20198 384086 181524 212.2 32 115
108.10/108.19 c s 108.2 113654 14616 5827 9429 20201 384991 181915 212.3 24 108
115.00/115.08 c N 115.1 113675 14615 5827 9430 20201 403067 194971 213.7 37 123
117.50/117.58 c s 117.6 113666 14615 5827 9430 20201 405735 195186 214.0 33 118
126.30/126.30 c s 126.3 113677 14615 5827 9430 20201 426737 195652 216.2 36 120
136.40/136.46 c s 136.5 113682 14615 5827 9430 20201 451768 207742 217.1 33 128
147.00/147.06 c s 147.1 113644 14613 5827 9431 20202 471996 195415 218.4 34 120
148.00/148.08 c + 148.1 113652 14613 5827 9431 20202 474425 213268 218.5 34 125
158.90/158.90 c s 158.9 113654 14613 5827 9431 20202 493512 214091 220.0 34 135
172.20/172.25 c s 172.3 113591 14606 5829 9436 20202 514536 214249 221.5 31 137
184.00/184.05 c s 184.1 113595 14605 5829 9437 20202 539817 214468 223.7 39 132
196.10/196.11 c s 196.1 113638 14605 5829 9437 20202 560731 220767 225.0 42 141
209.80/209.87 c s 209.9 113565 14595 5832 9440 20206 584203 210135 226.2 35 131
213.60/213.68 c + 213.7 113566 14595 5832 9440 20206 593033 234594 226.8 20 140
219.80/219.83 c s 219.8 113566 14595 5832 9440 20206 601122 222378 227.1 36 142
232.50/232.53 c s 232.5 113494 14588 5835 9444 20206 630528 235567 228.4 29 149
256.31/256.38 c s 256.4 113493 14587 5835 9445 20206 680255 258236 230.9 34 164
264.71/264.75 c
264.71/264.75 c original/binary fixed eliminated learned agility
264.71/264.75 c seconds variables equivalent conflicts height MB
264.71/264.75 c
264.71/264.75 c N 264.8 113494 14587 5835 9445 20206 701265 258811 232.4 41 170
267.91/267.98 c s 268.0 113494 14587 5835 9445 20206 706493 264039 232.8 34 168
285.10/285.18 c s 285.2 113487 14586 5835 9446 20206 735399 246053 234.0 28 156
288.80/288.87 c + 288.9 113487 14586 5835 9446 20206 741290 258053 234.0 36 155
299.50/299.57 c s 299.6 113486 14585 5835 9447 20206 756843 251984 234.2 37 163
314.30/314.30 c s 314.3 113498 14585 5835 9447 20206 781299 259283 234.9 32 167
328.01/328.04 c s 328.1 113508 14585 5835 9447 20206 806441 259032 236.2 36 175
340.91/340.91 c s 340.9 113501 14583 5835 9449 20206 830049 259321 237.1 33 175
356.31/356.34 c s 356.4 113505 14582 5835 9450 20206 855787 262990 238.1 36 183
371.51/371.57 c s 371.6 113493 14581 5835 9451 20206 881314 259103 239.5 36 179
379.21/379.29 c B 379.3 113502 14581 5835 9451 20206 896175 259161 240.0 32 188
386.01/386.04 c s 386.1 113502 14581 5835 9451 20206 903410 259080 240.1 37 185
399.32/399.36 c s 399.4 113506 14581 5835 9451 20206 926389 258913 240.9 34 187
399.61/399.60 c + 399.6 113506 14581 5835 9451 20206 926611 283858 240.9 30 191
411.42/411.43 c s 411.5 113490 14580 5835 9452 20206 949542 281510 241.8 40 203
414.01/414.00 c N 414.0 113490 14580 5835 9452 20206 957636 284321 242.4 25 210
426.51/426.50 c s 426.5 113489 14579 5835 9453 20206 986553 284966 244.1 21 199
438.81/438.85 c s 438.9 113491 14579 5835 9453 20206 1012063 285103 244.9 40 199
454.81/454.88 c s 454.9 113492 14579 5835 9453 20206 1037045 285140 245.6 34 200
474.21/474.21 c
474.21/474.21 c original/binary fixed eliminated learned agility
474.21/474.21 c seconds variables equivalent conflicts height MB
474.21/474.21 c
474.21/474.21 c s 474.2 113485 14577 5835 9455 20206 1062465 285010 246.2 33 198
491.22/491.28 c s 491.3 113486 14577 5835 9455 20206 1090896 284770 247.1 30 194
511.52/511.56 c s 511.6 113448 14574 5835 9458 20206 1127138 285033 247.9 35 190
530.22/530.25 c s 530.3 113450 14574 5835 9458 20206 1151104 284920 248.6 40 190
535.22/535.25 c + 535.3 113453 14574 5835 9458 20206 1158260 312243 248.8 33 196
547.22/547.22 c s 547.3 113438 14573 5835 9459 20206 1173550 300023 249.1 30 201
565.52/565.52 c s 565.5 113440 14573 5835 9459 20206 1206889 313342 249.6 36 212
584.42/584.41 c s 584.4 113422 14572 5835 9460 20206 1236854 313381 250.4 36 211
606.12/606.11 c s 606.1 113427 14572 5835 9460 20206 1264284 322108 250.8 31 223
625.52/625.56 c s 625.6 113418 14571 5835 9461 20206 1290211 313417 251.2 35 218
645.22/645.27 c s 645.3 113420 14571 5835 9461 20206 1315101 313468 251.5 31 218
662.02/662.03 c s 662.1 113422 14571 5835 9461 20206 1342114 314370 252.3 31 217
680.72/680.76 c s 680.8 113565 14571 5835 9461 20206 1367218 313425 252.7 30 219
701.42/701.48 c s 701.5 113558 14570 5835 9462 20206 1393304 324414 253.2 40 229
718.62/718.64 c s 718.7 113557 14569 5835 9463 20206 1420402 313208 253.2 28 221
729.92/729.91 c + 730.0 113560 14569 5835 9463 20206 1447827 343467 253.6 36 225
732.92/732.96 c s 733.0 113560 14569 5835 9463 20206 1451082 316945 253.6 36 222
751.12/751.18 c s 751.2 113550 14568 5835 9464 20206 1479813 344606 254.3 29 243
771.83/771.89 c s 771.9 113551 14568 5835 9464 20206 1504273 344625 254.2 31 244
780.73/780.71 c
780.73/780.71 c original/binary fixed eliminated learned agility
780.73/780.71 c seconds variables equivalent conflicts height MB
780.73/780.71 c
780.73/780.71 c N 780.8 113552 14568 5835 9464 20206 1521521 348157 254.5 38 256
793.83/793.87 c s 793.9 113552 14568 5835 9464 20206 1546971 364130 254.9 25 259
836.83/836.88 c s 836.9 113553 14568 5835 9464 20206 1601053 370312 255.3 39 274
890.43/890.40 c s 890.4 113518 14567 5835 9465 20206 1680645 384491 255.0 24 287
918.73/918.75 c s 918.8 113517 14566 5835 9466 20206 1722824 378972 255.5 37 284
941.54/941.59 c s 941.6 113506 14563 5835 9469 20206 1751644 364391 255.8 40 274
967.73/967.75 c s 967.8 113518 14563 5835 9469 20206 1789817 392983 256.1 24 295
981.03/981.09 c + 981.1 113518 14563 5835 9469 20206 1809780 377813 256.1 27 307
1113.04/1113.06 c s 1113.1 113519 14563 5835 9469 20206 1977503 559195 256.2 37 472
1147.64/1147.67 c s 1147.7 113523 14563 5835 9469 20206 2019163 298259 256.5 30 272
1162.34/1162.34 c B 1162.4 113532 14561 5835 9471 20206 2048351 327443 256.9 30 300
1166.34/1166.30 c s 1166.4 113524 14561 5835 9471 20206 2050183 329274 256.9 36 290
1187.84/1187.88 c s 1187.9 113534 14560 5835 9472 20206 2083672 362760 257.8 38 315
1204.74/1204.70 c s 1204.8 113536 14560 5835 9472 20206 2122989 378612 258.7 31 320
1227.55/1227.56 c s 1227.6 113532 14558 5835 9474 20206 2157197 378829 259.0 30 316
1300.05/1300.00 c
1300.05/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.05/1300.00 c
1300.05/1300.00 c 2245252 conflicts, 4460979 decisions, 19 random
1300.05/1300.00 c 111 iterations, 807 restarts, 4311 skipped
1300.05/1300.00 c 14 enlarged, 8835 shrunken, 21973 rescored, 510 rebiased
1300.05/1300.00 c 72 simplifications, 1 reductions
1300.05/1300.00 c
1300.05/1300.00 c vars: 5835 fixed, 9474 equiv, 20206 elim, 9927 merged
1300.05/1300.00 c elim: 11438254 resolutions, 54 phases, 27 rounds
1300.05/1300.00 c sbst: 100% substituted, 0.1% nots, 95.8% ands, 4.1% xors, 0.0% ites
1300.05/1300.00 c arty: 2.00 and 2.01 xor average arity
1300.05/1300.00 c prbe: 5005859 probed, 162 phases, 169 rounds
1300.05/1300.00 c prbe: 66 failed, 126 lifted, 213 merged
1300.05/1300.00 c sccs: 44 non trivial, 0 fixed, 66 merged
1300.05/1300.00 c hash: 56 units, 9648 merged
1300.05/1300.00 c mins: 399872337 learned, 16% deleted, 1795 strong, 126 depth
1300.05/1300.00 c subs: 14791 forward, 84938 backward, 190459 doms
1300.05/1300.00 c strs: 12649 forward, 126 backward
1300.05/1300.00 c doms: 191787 dominators, 182874 high, 153 low
1300.05/1300.00 c prps: 1241470334 propagations, 0.95 megaprops
1300.05/1300.00 c
1300.05/1300.00 c 1300.1 seconds, 500 MB max, 1302 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-3309181-1303986072/watcher-3309181-1303986072 -o /tmp/evaluation-result-3309181-1303986072/solver-3309181-1303986072 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309181-1303986072.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: 1.40 2.45 2.88 1/174 30938
/proc/meminfo: memFree=14088228/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=5708 CPUtime=0 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 1326 0 0 0 0 0 0 0 22 0 1 0 491022835 5844992 1282 33554432000 134512640 135151029 4289922640 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 1427 1282 65 156 0 1270 0
[startup+0.0246651 s]
/proc/loadavg: 1.40 2.45 2.88 1/174 30938
/proc/meminfo: memFree=14088228/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=7160 CPUtime=0.02 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 1677 0 0 0 2 0 0 0 22 0 1 0 491022835 7331840 1633 33554432000 134512640 135151029 4289922640 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 1790 1634 65 156 0 1633 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7160
[startup+0.100654 s]
/proc/loadavg: 1.40 2.45 2.88 1/174 30938
/proc/meminfo: memFree=14088228/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=14944 CPUtime=0.09 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 3738 0 0 0 9 0 0 0 22 0 1 0 491022835 15302656 3596 33554432000 134512640 135151029 4289922640 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 3736 3597 65 156 0 3579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14944
[startup+0.300613 s]
/proc/loadavg: 1.40 2.45 2.88 1/174 30938
/proc/meminfo: memFree=14088228/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=20072 CPUtime=0.29 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 5590 0 0 0 29 0 0 0 23 0 1 0 491022835 20553728 4865 33554432000 134512640 135151029 4289922640 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 5018 4865 80 156 0 4861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20072
[startup+0.700538 s]
/proc/loadavg: 1.40 2.45 2.88 1/174 30938
/proc/meminfo: memFree=14088228/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=25772 CPUtime=0.69 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 7368 0 0 0 69 0 0 0 25 0 1 0 491022835 26390528 6257 33554432000 134512640 135151029 4289922640 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 6443 6257 80 156 0 6286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25772
[startup+1.50035 s]
/proc/loadavg: 1.40 2.45 2.88 5/185 30962
/proc/meminfo: memFree=13721728/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=22120 CPUtime=1.49 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 7370 0 0 0 149 0 0 0 25 0 1 0 491022835 22650880 5350 33554432000 134512640 135151029 4289922640 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 5530 5350 80 156 0 5373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22120
[startup+3.10103 s]
/proc/loadavg: 1.69 2.49 2.89 5/190 30968
/proc/meminfo: memFree=13581944/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=26872 CPUtime=3.09 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 8541 0 0 0 309 0 0 0 25 0 1 0 491022835 27516928 6521 33554432000 134512640 135151029 4289922640 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 6718 6521 80 156 0 6561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26872
[startup+6.30042 s]
/proc/loadavg: 1.69 2.49 2.89 5/190 30968
/proc/meminfo: memFree=13378528/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=29160 CPUtime=6.29 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 9308 0 0 0 629 0 0 0 25 0 1 0 491022835 29859840 7092 33554432000 134512640 135151029 4289922640 18446744073709551615 134555096 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 7290 7092 80 156 0 7133 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29160
[startup+12.7012 s]
/proc/loadavg: 2.04 2.54 2.90 5/190 30968
/proc/meminfo: memFree=12983516/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=31848 CPUtime=12.69 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 11504 0 0 0 1268 1 0 0 25 0 1 0 491022835 32612352 7784 33554432000 134512640 135151029 4289922640 18446744073709551615 134552306 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 7962 7784 80 156 0 7805 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31848
[startup+25.5006 s]
/proc/loadavg: 2.34 2.58 2.92 5/190 30969
/proc/meminfo: memFree=12836964/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=51616 CPUtime=25.5 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 18699 0 0 0 2547 3 0 0 25 0 1 0 491022835 52854784 12725 33554432000 134512640 135151029 4289922640 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 12904 12725 80 156 0 12747 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 51616
[startup+51.1005 s]
/proc/loadavg: 2.91 2.70 2.94 5/190 30969
/proc/meminfo: memFree=12433600/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=85336 CPUtime=51.1 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 29364 0 0 0 5105 5 0 0 25 0 1 0 491022835 87384064 21135 33554432000 134512640 135151029 4289922640 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 21334 21135 80 156 0 21177 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 85336
[startup+102.306 s]
/proc/loadavg: 3.17 2.82 2.97 4/184 30988
/proc/meminfo: memFree=12485244/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=119864 CPUtime=102.3 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 42524 0 0 0 10222 8 0 0 25 0 1 0 491022835 122740736 29788 33554432000 134512640 135151029 4289922640 18446744073709551615 134542716 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 29966 29788 80 156 0 29809 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 119864
[startup+162.3 s]
/proc/loadavg: 3.06 2.85 2.97 4/184 30989
/proc/meminfo: memFree=12437044/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=151280 CPUtime=162.3 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 53758 0 0 0 16218 12 0 0 25 0 1 0 491022835 154910720 37623 33554432000 134512640 135151029 4289922640 18446744073709551615 134552594 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 37820 37623 80 156 0 37663 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 151280
[startup+222.301 s]
/proc/loadavg: 2.94 2.86 2.96 3/179 31008
/proc/meminfo: memFree=12659680/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=159656 CPUtime=222.31 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 59072 0 0 0 22217 14 0 0 25 0 1 0 491022835 163487744 39737 33554432000 134512640 135151029 4289922640 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 39914 39737 80 156 0 39757 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 159656
[startup+282.301 s]
/proc/loadavg: 2.38 2.71 2.90 3/178 31012
/proc/meminfo: memFree=12571168/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=184012 CPUtime=282.31 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 66812 0 0 0 28216 15 0 0 25 0 1 0 491022835 188428288 45778 33554432000 134512640 135151029 4289922640 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 46003 45778 80 156 0 45846 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 184012
[startup+342.301 s]
/proc/loadavg: 2.14 2.58 2.85 3/178 31014
/proc/meminfo: memFree=12560468/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=194104 CPUtime=342.3 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 72028 0 0 0 34214 16 0 0 25 0 1 0 491022835 198762496 48349 33554432000 134512640 135151029 4289922640 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 48526 48349 80 156 0 48369 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 194104
[startup+402.301 s]
/proc/loadavg: 2.05 2.48 2.79 3/178 31016
/proc/meminfo: memFree=12548636/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=206068 CPUtime=402.31 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 77242 0 0 0 40213 18 0 0 25 0 1 0 491022835 211013632 51307 33554432000 134512640 135151029 4289922640 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 51517 51307 80 156 0 51360 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 206068
[startup+462.301 s]
/proc/loadavg: 2.02 2.38 2.74 3/178 31017
/proc/meminfo: memFree=12533412/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=221340 CPUtime=462.31 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 82951 0 0 0 46212 19 0 0 25 0 1 0 491022835 226652160 55126 33554432000 134512640 135151029 4289922640 18446744073709551615 134578182 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 55335 55126 80 156 0 55178 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 221340
[startup+522.301 s]
/proc/loadavg: 2.00 2.32 2.69 3/178 31019
/proc/meminfo: memFree=12533648/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=221340 CPUtime=522.32 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 84715 0 0 0 52212 20 0 0 25 0 1 0 491022835 226652160 55126 33554432000 134512640 135151029 4289922640 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 55335 55126 80 156 0 55178 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 221340
[startup+582.301 s]
/proc/loadavg: 2.00 2.25 2.64 3/178 31020
/proc/meminfo: memFree=12522472/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=232696 CPUtime=582.32 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 89672 0 0 0 58211 21 0 0 25 0 1 0 491022835 238280704 57960 33554432000 134512640 135151029 4289922640 18446744073709551615 134521912 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 58174 57960 80 156 0 58017 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 232696
[startup+642.301 s]
/proc/loadavg: 2.00 2.20 2.60 3/178 31022
/proc/meminfo: memFree=12511412/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=243580 CPUtime=642.32 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 94319 0 0 0 64210 22 0 0 25 0 1 0 491022835 249425920 60713 33554432000 134512640 135151029 4289922640 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 60895 60713 80 156 0 60738 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 243580
[startup+702.301 s]
/proc/loadavg: 2.00 2.16 2.56 3/178 31024
/proc/meminfo: memFree=12569304/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=251284 CPUtime=702.32 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 98135 0 0 0 70209 23 0 0 25 0 1 0 491022835 257314816 62635 33554432000 134512640 135151029 4289922640 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 62821 62635 80 156 0 62664 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 251284
[startup+762.306 s]
/proc/loadavg: 2.00 2.13 2.52 3/178 31025
/proc/meminfo: memFree=12492036/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=263960 CPUtime=762.34 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 102972 0 0 0 76209 25 0 0 25 0 1 0 491022835 270295040 65773 33554432000 134512640 135151029 4289922640 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 65990 65773 80 156 0 65833 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 263960
[startup+822.3 s]
/proc/loadavg: 2.00 2.10 2.49 3/178 31027
/proc/meminfo: memFree=12445896/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=310916 CPUtime=822.33 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 115663 0 0 0 82205 28 0 0 25 0 1 0 491022835 318377984 77516 33554432000 134512640 135151029 4289922640 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 77729 77516 80 156 0 77572 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 310916
[startup+882.3 s]
/proc/loadavg: 2.00 2.08 2.45 3/178 31028
/proc/meminfo: memFree=12435096/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=319952 CPUtime=882.33 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 118391 0 0 0 88204 29 0 0 25 0 1 0 491022835 327630848 79801 33554432000 134512640 135151029 4289922640 18446744073709551615 134554498 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 79988 79801 80 156 0 79831 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 319952
[startup+942.301 s]
/proc/loadavg: 2.00 2.07 2.42 3/178 31030
/proc/meminfo: memFree=12435204/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=319952 CPUtime=942.33 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 118394 0 0 0 94204 29 0 0 25 0 1 0 491022835 327630848 79804 33554432000 134512640 135151029 4289922640 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 79988 79804 80 156 0 79831 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 319952
[startup+1002.3 s]
/proc/loadavg: 2.00 2.05 2.39 3/178 31032
/proc/meminfo: memFree=12403808/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=352576 CPUtime=1002.34 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 126474 0 0 0 100201 33 0 0 25 0 1 0 491022835 361037824 87884 33554432000 134512640 135151029 4289922640 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 88144 87884 80 156 0 87987 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 352576
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.36 3/178 31033
/proc/meminfo: memFree=12317244/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=440196 CPUtime=1062.34 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 148291 0 0 0 106192 42 0 0 25 0 1 0 491022835 450760704 109701 33554432000 134512640 135151029 4289922640 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 110049 109701 80 156 0 109892 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 440196
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.34 3/178 31035
/proc/meminfo: memFree=12252496/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=503576 CPUtime=1122.35 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 164353 0 0 0 112186 49 0 0 25 0 1 0 491022835 515661824 125567 33554432000 134512640 135151029 4289922640 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 125894 125567 80 156 0 125737 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 503576
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.32 3/178 31036
/proc/meminfo: memFree=12237480/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=518228 CPUtime=1182.34 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 168132 0 0 0 118184 50 0 0 25 0 1 0 491022835 530665472 129346 33554432000 134512640 135151029 4289922640 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 129557 129346 80 156 0 129400 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 518228
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.29 3/178 31038
/proc/meminfo: memFree=12237344/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=518228 CPUtime=1242.35 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 168136 0 0 0 124185 50 0 0 25 0 1 0 491022835 530665472 129350 33554432000 134512640 135151029 4289922640 18446744073709551615 134578112 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 129557 129350 80 156 0 129400 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 518228
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.00 2.01 2.27 3/178 31040
/proc/meminfo: memFree=12237332/32951124 swapFree=67111528/67111528
[pid=30938] ppid=30936 vsize=518228 CPUtime=1300.05 cores=4,6
/proc/30938/stat : 30938 (precosat) R 30936 30938 30355 0 -1 4202496 168136 0 0 0 129955 50 0 0 25 0 1 0 491022835 530665472 129350 33554432000 134512640 135151029 4289922640 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30938/statm: 129557 129350 80 156 0 129400 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 518228
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.09
CPU user time (s): 1299.56
CPU system time (s): 0.528919
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 518228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.56
system time used= 0.528919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168137
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= 5
involuntary context switches= 1450
runsolver used 2.18367 second user time and 4.32334 second system time
The end
Launcher Data
Begin job on node143 at 2011-04-28 12:21:12
IDJOB=3309181
IDBENCH=88136
IDSOLVER=1690
FILE ID=node143/3309181-1303986072
RUNJOBID= node143-1303986072-30849
PBS_JOBID= 13168683
Free space on /tmp= 72920 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT-Race-2010-CNF/cryptography/mizh/sha0_36_5.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309181-1303986072/watcher-3309181-1303986072 -o /tmp/evaluation-result-3309181-1303986072/solver-3309181-1303986072 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309181-1303986072.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 7aa25d61513f0f224b5ca45e4e1e0448
RANDOM SEED=1809310241
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: 14088632 kB
Buffers: 2289208 kB
Cached: 15947372 kB
SwapCached: 0 kB
Active: 6870744 kB
Inactive: 11430268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14088632 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5824 kB
Writeback: 0 kB
AnonPages: 63932 kB
Mapped: 14916 kB
Slab: 496016 kB
PageTables: 5372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 187324 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= 72700 MiB
End job on node143 at 2011-04-28 12:42:54