Trace number 3308368
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/jarvisalo/
eq.atree.braun.11.unsat.cnf |
| MD5SUM | 90581094793af5fc10d4e4b9a10259ac |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 643.759 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1400 |
| Number of clauses | 4732 |
| Sum of the clauses size | 12300 |
| Maximum clause length | 21 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 3 |
| Number of clauses of size 2 | 2052 |
| Number of clauses of size 3 | 2605 |
| Number of clauses of size 4 | 27 |
| Number of clauses of size 5 | 31 |
| Number of clauses of size over 5 | 14 |
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-3308368-1303983199.cnf
0.00/0.00 c found header 'p cnf 1400 4732'
0.00/0.00 c finished parsing
0.00/0.00 c
0.00/0.00 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00 c
0.00/0.00 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.00 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.00 c
0.00/0.00 c starting search after 0.0 seconds
0.00/0.00 c no decision limit
0.00/0.00 c
0.00/0.00 c original/binary fixed eliminated learned agility
0.00/0.00 c seconds variables equivalent conflicts height MB
0.00/0.00 c
0.00/0.00 c * 0.0 4729 1397 3 0 0 0 0 0.0 0 0
0.00/0.02 c - 0.0 5489 1025 18 12 345 0 1000 0.0 0 1
0.00/0.03 c s 0.0 4290 841 18 12 529 0 0 0.0 0 0
0.00/0.03 c l 0.0 4290 841 18 12 529 0 3155 0.0 0 0
0.00/0.03 c N 0.0 4299 840 19 12 529 121 119 30.0 37 0
0.00/0.04 c N 0.0 4300 840 19 12 529 221 219 26.0 43 1
0.06/0.08 c N 0.1 4301 840 19 12 529 823 821 20.6 47 1
0.06/0.09 c s 0.1 4289 840 19 12 529 901 890 20.1 45 1
0.09/0.10 c B 0.1 4290 840 19 12 529 1002 991 22.7 45 1
0.09/0.17 c s 0.2 4295 840 19 12 529 1952 1941 29.2 41 1
0.09/0.17 c B 0.2 4295 840 19 12 529 2002 1991 28.8 42 1
0.09/0.19 c N 0.2 4299 840 19 12 529 2429 2418 28.7 42 1
0.19/0.23 c + 0.2 4300 840 19 12 529 3159 3470 29.1 41 1
0.19/0.27 c s 0.3 4301 840 19 12 529 3734 3497 28.6 38 1
0.19/0.29 c + 0.3 4302 840 19 12 529 3947 3817 28.4 34 1
0.29/0.36 c + 0.4 4306 840 19 12 529 4931 4198 27.2 34 1
0.29/0.39 c s 0.4 4306 840 19 12 529 5284 4185 26.8 35 1
0.39/0.43 c + 0.4 4398 840 19 12 529 6161 4617 26.5 34 1
0.39/0.45 c N 0.5 4398 840 19 12 529 6438 4483 26.7 39 1
0.49/0.52 c
0.49/0.52 c original/binary fixed eliminated learned agility
0.49/0.52 c seconds variables equivalent conflicts height MB
0.49/0.52 c
0.49/0.52 c s 0.5 4398 840 19 12 529 7534 4631 27.3 41 1
0.49/0.53 c + 0.5 4398 840 19 12 529 7701 5078 27.2 43 1
0.49/0.55 c B 0.6 4398 840 19 12 529 8007 4936 26.8 37 1
0.59/0.66 c + 0.7 4398 840 19 12 529 9625 5585 26.0 46 2
0.79/0.85 c + 0.9 4398 840 19 12 529 12030 6143 25.1 38 2
1.00/1.07 c + 1.1 4398 840 19 12 529 15036 6757 24.8 41 2
1.10/1.15 c N 1.2 4398 840 19 12 529 16062 6776 24.6 40 2
1.29/1.37 c + 1.4 4398 840 19 12 529 18795 7432 23.9 37 2
1.69/1.76 c + 1.8 4398 840 19 12 529 23491 8175 22.9 44 2
1.69/1.79 c B 1.8 4398 840 19 12 529 24011 8066 22.9 46 2
2.20/2.21 c + 2.2 4398 840 19 12 529 29360 8992 22.4 44 3
2.59/2.67 c s 2.7 4400 840 19 12 529 33953 6768 22.1 44 2
2.79/2.87 c + 2.9 4400 840 19 12 529 36700 9891 21.9 40 2
2.99/3.02 c N 3.0 4400 840 19 12 529 38511 9921 21.7 42 3
3.59/3.64 c s 3.6 4371 834 19 12 535 45078 9766 21.4 41 2
3.69/3.71 c + 3.7 4373 834 19 12 535 45876 10880 21.4 39 3
3.89/3.91 c s 3.9 4373 834 19 12 535 48310 10902 21.3 38 3
4.59/4.69 c + 4.7 4373 834 19 12 535 57346 11968 20.7 41 3
5.19/5.28 c B 5.3 4373 834 19 12 535 64023 12007 20.6 44 4
5.89/5.96 c
5.89/5.96 c original/binary fixed eliminated learned agility
5.89/5.96 c seconds variables equivalent conflicts height MB
5.89/5.96 c
5.89/5.96 c + 6.0 4373 834 19 12 535 71680 13164 20.4 46 5
6.19/6.23 c s 6.2 4374 834 19 12 535 74255 9915 20.3 43 2
6.50/6.53 c s 6.5 4375 834 19 12 535 77196 12855 20.3 35 3
7.60/7.62 c + 7.6 4375 834 19 12 535 89600 14480 20.3 36 3
7.60/7.64 c N 7.6 4375 834 19 12 535 89791 13373 20.3 39 3
9.90/9.96 c + 10.0 4375 834 19 12 535 112000 15928 19.6 38 4
12.79/12.81 c + 12.8 4375 834 19 12 535 140002 17520 19.1 41 4
14.69/14.75 c B 14.8 4375 834 19 12 535 160046 17545 19.7 41 5
16.09/16.18 c + 16.2 4375 834 19 12 535 175000 19272 19.9 40 5
19.39/19.47 c N 19.5 4375 834 19 12 535 205149 28461 20.0 39 7
19.59/19.62 c s 19.6 4380 834 19 12 535 206336 14490 20.0 40 2
20.59/20.64 c + 20.6 4380 834 19 12 535 218753 21199 19.9 43 5
26.30/26.31 c + 26.3 4380 834 19 12 535 273442 23318 19.6 43 7
30.70/30.79 c s 30.8 4381 834 19 12 535 315167 23348 19.1 39 6
31.49/31.50 c s 31.5 4382 834 19 12 535 322045 23347 19.1 39 5
33.59/33.61 c + 33.6 4382 834 19 12 535 341801 25649 18.9 39 5
37.40/37.44 c s 37.4 4383 834 19 12 535 372313 25677 18.6 38 4
38.09/38.13 c s 38.1 4385 834 19 12 535 380795 25678 18.8 36 4
38.40/38.44 c B 38.4 4386 834 19 12 535 384098 25691 18.8 36 5
38.79/38.85 c
38.79/38.85 c original/binary fixed eliminated learned agility
38.79/38.85 c seconds variables equivalent conflicts height MB
38.79/38.85 c
38.79/38.85 c s 38.9 4386 834 19 12 535 388099 25717 18.9 47 4
44.09/44.10 c + 44.1 4386 834 19 12 535 427251 28213 19.2 40 8
49.29/49.38 c s 49.4 4387 834 19 12 535 460598 24412 19.3 34 4
49.50/49.51 c N 49.5 4387 834 19 12 535 461508 25322 19.3 46 5
61.09/61.14 c + 61.1 4387 834 19 12 535 534060 31034 18.6 38 7
81.49/81.54 c + 81.5 4387 834 19 12 535 667575 34137 18.3 42 8
83.50/83.55 c s 83.6 4388 834 19 12 535 680130 34176 18.3 45 6
88.69/88.74 c s 88.7 4389 834 19 12 535 726172 47386 18.2 40 6
90.20/90.27 c s 90.3 4397 834 19 12 535 739684 34195 18.3 42 6
100.10/100.16 c + 100.2 4397 834 19 12 535 834466 37550 17.6 34 7
102.39/102.45 c s 102.5 4398 834 19 12 535 855972 37563 17.4 31 4
103.30/103.35 c s 103.4 4406 834 19 12 535 865255 37619 17.5 42 5
106.09/106.18 c B 106.2 4406 834 19 12 535 896176 37582 17.7 33 8
106.60/106.60 c s 106.6 4407 834 19 12 535 899793 37575 17.7 35 6
107.89/107.93 c s 107.9 4412 834 19 12 535 913626 37640 17.8 41 6
109.39/109.49 c s 109.5 4419 834 19 12 535 923715 37619 17.8 45 7
123.59/123.62 c N 123.6 4419 834 19 12 535 1025383 37602 18.2 39 9
126.40/126.42 c + 126.4 4419 834 19 12 535 1043081 41305 18.2 43 9
127.39/127.46 c s 127.5 4420 834 19 12 535 1050679 41318 18.2 32 6
128.89/128.90 c
128.89/128.90 c original/binary fixed eliminated learned agility
128.89/128.90 c seconds variables equivalent conflicts height MB
128.89/128.90 c
128.89/128.90 c s 128.9 4434 834 19 12 535 1060374 41359 18.2 42 7
130.39/130.46 c s 130.5 4441 834 19 12 535 1075176 41342 18.2 42 7
131.79/131.89 c s 131.9 4442 834 19 12 535 1086364 41394 18.2 43 7
166.90/166.95 c s 167.0 4443 834 19 12 535 1300822 45225 17.9 40 7
167.30/167.32 c + 167.3 4464 834 19 12 535 1303850 45435 17.9 36 7
168.50/168.57 c s 168.6 4464 834 19 12 535 1314396 45489 17.9 42 7
170.30/170.33 c s 170.3 4432 832 20 12 536 1326930 45453 18.0 36 7
176.70/176.77 c s 176.8 4433 832 20 12 536 1372141 45436 18.2 28 7
179.00/179.00 c s 179.0 4434 832 20 12 536 1389276 45474 18.3 45 8
217.60/217.60 c + 217.6 4434 832 20 12 536 1629813 49978 18.0 45 12
248.90/248.92 c s 248.9 4438 832 20 12 536 1817650 49997 17.8 24 9
283.20/283.24 c + 283.3 4438 832 20 12 536 2037265 54975 17.7 42 16
285.10/285.14 c B 285.2 4438 832 20 12 536 2048380 55012 17.7 37 13
306.30/306.36 c s 306.4 4439 832 20 12 536 2168509 54993 17.7 28 8
308.90/308.94 c s 309.0 4441 832 20 12 536 2183537 55010 17.7 44 9
318.80/318.87 c s 318.9 4442 832 20 12 536 2239240 55008 17.6 39 7
321.11/321.15 c s 321.2 4446 832 20 12 536 2252747 55020 17.7 37 7
321.60/321.68 c N 321.7 4446 832 20 12 536 2255619 55027 17.7 41 8
376.40/376.40 c + 376.4 4446 832 20 12 536 2546582 60472 17.6 40 13
411.31/411.39 c
411.31/411.39 c original/binary fixed eliminated learned agility
411.31/411.39 c seconds variables equivalent conflicts height MB
411.31/411.39 c
411.31/411.39 c s 411.4 4447 832 20 12 536 2734647 60482 17.4 34 9
413.61/413.67 c s 413.7 4451 832 20 12 536 2750174 60536 17.4 40 9
417.91/417.95 c s 418.0 4452 832 20 12 536 2789515 60486 17.4 30 7
430.90/430.93 c s 430.9 4453 832 20 12 536 2860992 60559 17.3 37 9
494.71/494.73 c + 494.8 4453 832 20 12 536 3183225 66519 17.2 37 19
652.02/652.02 c + 652.0 4453 832 20 12 536 3979030 73170 16.5 42 21
663.72/663.72 c s 663.8 4454 832 20 12 536 4029577 73365 16.4 36 11
667.32/667.35 c s 667.4 4455 832 20 12 536 4047285 73210 16.4 38 12
783.92/783.96 c B 784.0 4455 832 20 12 536 4608724 73385 16.3 40 19
829.62/829.60 c s 829.6 4467 832 20 12 536 4807595 54893 16.2 41 8
856.13/856.17 c N 856.2 4467 832 20 12 536 4920911 73224 16.3 38 15
870.33/870.30 c + 870.3 4467 832 20 12 536 4973785 80487 16.3 40 15
907.63/907.60 c s 907.6 4468 832 20 12 536 5126839 80526 16.2 38 12
911.73/911.79 c s 911.8 4469 832 20 12 536 5150733 80527 16.2 44 13
1074.83/1074.82 c s 1074.9 4470 832 20 12 536 5871314 80515 16.1 23 10
1148.44/1148.49 c + 1148.5 4470 832 20 12 536 6217230 88535 16.0 40 19
1260.66/1260.66 c s 1260.7 4471 832 20 12 536 6634718 88573 15.9 36 11
1265.95/1265.90 c s 1266.0 4483 827 22 13 538 6653983 87075 15.9 42 12
1290.85/1290.80 c s 1290.9 4484 827 22 13 538 6767826 88549 15.9 35 14
1295.76/1295.73 c
1295.76/1295.73 c original/binary fixed eliminated learned agility
1295.76/1295.73 c seconds variables equivalent conflicts height MB
1295.76/1295.73 c
1295.76/1295.73 c s 1295.8 4488 827 22 13 538 6788705 88577 15.9 36 13
1300.06/1300.00 c
1300.06/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.06/1300.00 c
1300.06/1300.00 c 6810612 conflicts, 8404291 decisions, 1 random
1300.06/1300.00 c 1 iterations, 5 restarts, 11061 skipped
1300.06/1300.00 c 35 enlarged, 71 shrunken, 66566 rescored, 1482 rebiased
1300.06/1300.00 c 54 simplifications, 9 reductions
1300.06/1300.00 c
1300.06/1300.00 c vars: 22 fixed, 13 equiv, 538 elim, 13 merged
1300.06/1300.00 c elim: 60783 resolutions, 4 phases, 4 rounds
1300.06/1300.00 c sbst: 100% substituted, 0.0% nots, 91.4% ands, 8.6% xors, 0.0% ites
1300.06/1300.00 c arty: 2.03 and 2.00 xor average arity
1300.06/1300.00 c prbe: 98212 probed, 54 phases, 57 rounds
1300.06/1300.00 c prbe: 2 failed, 13 lifted, 0 merged
1300.06/1300.00 c sccs: 0 non trivial, 0 fixed, 0 merged
1300.06/1300.00 c hash: 1 units, 13 merged
1300.06/1300.00 c mins: 207390198 learned, 50% deleted, 1034 strong, 59 depth
1300.06/1300.00 c subs: 153 forward, 18 backward, 60 doms
1300.06/1300.00 c strs: 187 forward, 5 backward
1300.06/1300.00 c doms: 139 dominators, 16 high, 0 low
1300.06/1300.00 c prps: 1154716452 propagations, 0.89 megaprops
1300.06/1300.00 c
1300.06/1300.00 c 1300.1 seconds, 26 MB max, 937 MB recycled
1300.06/1300.00 c
1300.06/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.06/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-3308368-1303983199/watcher-3308368-1303983199 -o /tmp/evaluation-result-3308368-1303983199/solver-3308368-1303983199 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308368-1303983199.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/184 30405
/proc/meminfo: memFree=14034288/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=1392 CPUtime=0 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 267 0 0 0 0 0 0 0 22 0 1 0 490735539 1425408 223 33554432000 134512640 135151029 4290872064 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 348 223 80 156 0 191 0
[startup+0.0621181 s]
/proc/loadavg: 0.00 0.00 0.00 4/184 30405
/proc/meminfo: memFree=14034288/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=1656 CPUtime=0.06 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 338 0 0 0 6 0 0 0 22 0 1 0 490735539 1695744 294 33554432000 134512640 135151029 4290872064 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 414 294 80 156 0 257 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1656
[startup+0.101112 s]
/proc/loadavg: 0.00 0.00 0.00 4/184 30405
/proc/meminfo: memFree=14034288/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=1656 CPUtime=0.09 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 348 0 0 0 9 0 0 0 22 0 1 0 490735539 1695744 304 33554432000 134512640 135151029 4290872064 18446744073709551615 134554552 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 414 304 80 156 0 257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1656
[startup+0.301069 s]
/proc/loadavg: 0.00 0.00 0.00 4/184 30405
/proc/meminfo: memFree=14034288/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=2316 CPUtime=0.29 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 509 0 0 0 29 0 0 0 23 0 1 0 490735539 2371584 465 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 579 465 80 156 0 422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2316
[startup+0.701002 s]
/proc/loadavg: 0.00 0.00 0.00 4/184 30405
/proc/meminfo: memFree=14034288/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=2580 CPUtime=0.69 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 575 0 0 0 69 0 0 0 25 0 1 0 490735539 2641920 531 33554432000 134512640 135151029 4290872064 18446744073709551615 134531109 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 645 531 80 156 0 488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2580
[startup+1.50084 s]
/proc/loadavg: 0.24 0.05 0.02 4/185 30433
/proc/meminfo: memFree=14080272/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=3108 CPUtime=1.49 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 710 0 0 0 149 0 0 0 25 0 1 0 490735539 3182592 666 33554432000 134512640 135151029 4290872064 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 777 666 80 156 0 620 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3108
[startup+3.10052 s]
/proc/loadavg: 0.24 0.05 0.02 4/185 30433
/proc/meminfo: memFree=14081016/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=4828 CPUtime=3.09 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 1130 0 0 0 309 0 0 0 25 0 1 0 490735539 4943872 1086 33554432000 134512640 135151029 4290872064 18446744073709551615 134580467 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 1207 1086 80 156 0 1050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4828
[startup+6.30088 s]
/proc/loadavg: 0.46 0.10 0.03 4/185 30433
/proc/meminfo: memFree=14072956/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=7080 CPUtime=6.29 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 1675 0 0 0 629 0 0 0 25 0 1 0 490735539 7249920 1631 33554432000 134512640 135151029 4290872064 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 1770 1631 80 156 0 1613 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7080
[startup+12.7006 s]
/proc/loadavg: 0.66 0.15 0.05 6/187 30438
/proc/meminfo: memFree=14032536/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=7080 CPUtime=12.69 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 1676 0 0 0 1269 0 0 0 25 0 1 0 490735539 7249920 1632 33554432000 134512640 135151029 4290872064 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 1770 1632 80 156 0 1613 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7080
[startup+25.5011 s]
/proc/loadavg: 1.47 0.35 0.12 5/190 30444
/proc/meminfo: memFree=13838532/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=8288 CPUtime=25.49 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 2003 0 0 0 2549 0 0 0 25 0 1 0 490735539 8486912 1941 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 2072 1941 80 156 0 1915 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8288
[startup+51.101 s]
/proc/loadavg: 2.33 0.64 0.22 5/190 30445
/proc/meminfo: memFree=13806316/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=11708 CPUtime=51.09 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 2860 0 0 0 5109 0 0 0 25 0 1 0 490735539 11988992 2798 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 2927 2798 80 156 0 2770 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11708
[startup+102.307 s]
/proc/loadavg: 3.27 1.16 0.41 5/190 30446
/proc/meminfo: memFree=13760812/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=16544 CPUtime=102.3 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 4043 0 0 0 10230 0 0 0 25 0 1 0 490735539 16941056 3981 33554432000 134512640 135151029 4290872064 18446744073709551615 134578112 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 4136 3981 80 156 0 3979 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 16544
[startup+162.301 s]
/proc/loadavg: 3.73 1.67 0.64 5/190 30448
/proc/meminfo: memFree=13708824/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=16544 CPUtime=162.3 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 4048 0 0 0 16230 0 0 0 25 0 1 0 490735539 16941056 3986 33554432000 134512640 135151029 4290872064 18446744073709551615 134574544 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 4136 3986 80 156 0 3979 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 16544
[startup+222.301 s]
/proc/loadavg: 3.90 2.09 0.84 5/190 30449
/proc/meminfo: memFree=13654868/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=16544 CPUtime=222.3 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 4054 0 0 0 22230 0 0 0 25 0 1 0 490735539 16941056 3992 33554432000 134512640 135151029 4290872064 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 4136 3992 80 156 0 3979 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16544
[startup+282.301 s]
/proc/loadavg: 3.96 2.44 1.04 5/190 30451
/proc/meminfo: memFree=13636744/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=17112 CPUtime=282.3 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 4164 0 0 0 28230 0 0 0 25 0 1 0 490735539 17522688 4102 33554432000 134512640 135151029 4290872064 18446744073709551615 134554656 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 4278 4102 80 156 0 4121 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17112
[startup+342.301 s]
/proc/loadavg: 3.98 2.72 1.22 5/190 30452
/proc/meminfo: memFree=13617972/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=18252 CPUtime=342.3 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 4724 0 0 0 34230 0 0 0 25 0 1 0 490735539 18690048 4450 33554432000 134512640 135151029 4290872064 18446744073709551615 134555125 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 4563 4450 80 156 0 4406 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18252
[startup+402.3 s]
/proc/loadavg: 3.99 2.95 1.39 5/190 30454
/proc/meminfo: memFree=13613608/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=20324 CPUtime=402.3 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 5106 0 0 0 40230 0 0 0 25 0 1 0 490735539 20811776 4832 33554432000 134512640 135151029 4290872064 18446744073709551615 134574614 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 5081 4832 80 156 0 4924 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20324
[startup+462.3 s]
/proc/loadavg: 4.13 3.17 1.56 5/190 30483
/proc/meminfo: memFree=13609960/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=19428 CPUtime=462.31 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 5206 0 0 0 46231 0 0 0 25 0 1 0 490735539 19894272 4744 33554432000 134512640 135151029 4290872064 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 4857 4744 80 156 0 4700 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19428
[startup+522.3 s]
/proc/loadavg: 4.05 3.32 1.71 5/190 30484
/proc/meminfo: memFree=13297004/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=23644 CPUtime=522.31 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 6020 0 0 0 52230 1 0 0 25 0 1 0 490735539 24211456 5558 33554432000 134512640 135151029 4290872064 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 5911 5558 80 156 0 5754 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 23644
[startup+582.3 s]
/proc/loadavg: 4.02 3.44 1.85 5/190 30486
/proc/meminfo: memFree=13137800/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=24860 CPUtime=582.31 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 6280 0 0 0 58230 1 0 0 25 0 1 0 490735539 25456640 5818 33554432000 134512640 135151029 4290872064 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 6215 5818 80 156 0 6058 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24860
[startup+642.301 s]
/proc/loadavg: 4.00 3.54 1.98 5/190 30487
/proc/meminfo: memFree=12899124/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=25728 CPUtime=642.32 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 6412 0 0 0 64231 1 0 0 25 0 1 0 490735539 26345472 5950 33554432000 134512640 135151029 4290872064 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 6432 5950 80 156 0 6275 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 25728
[startup+702.301 s]
/proc/loadavg: 4.00 3.62 2.11 5/190 30489
/proc/meminfo: memFree=12838204/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=25008 CPUtime=702.32 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 6549 0 0 0 70231 1 0 0 25 0 1 0 490735539 25608192 5949 33554432000 134512640 135151029 4290872064 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 6252 5949 80 156 0 6095 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 25008
[startup+762.307 s]
/proc/loadavg: 4.03 3.70 2.23 5/190 30491
/proc/meminfo: memFree=12804820/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=25008 CPUtime=762.33 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 6670 0 0 0 76232 1 0 0 25 0 1 0 490735539 25608192 6070 33554432000 134512640 135151029 4290872064 18446744073709551615 134555130 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 6252 6070 80 156 0 6095 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 25008
[startup+822.301 s]
/proc/loadavg: 4.01 3.75 2.34 5/190 30492
/proc/meminfo: memFree=12623520/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=26508 CPUtime=822.32 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 6900 0 0 0 82231 1 0 0 25 0 1 0 490735539 27144192 6300 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 6627 6300 80 156 0 6470 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 26508
[startup+882.301 s]
/proc/loadavg: 4.00 3.79 2.44 5/190 30494
/proc/meminfo: memFree=12492916/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28548 CPUtime=882.33 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7430 0 0 0 88232 1 0 0 25 0 1 0 490735539 29233152 6830 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7137 6830 80 156 0 6980 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 28548
[startup+942.301 s]
/proc/loadavg: 4.00 3.83 2.53 5/190 30495
/proc/meminfo: memFree=12470328/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28548 CPUtime=942.33 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7458 0 0 0 94232 1 0 0 25 0 1 0 490735539 29233152 6858 33554432000 134512640 135151029 4290872064 18446744073709551615 134551906 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7137 6858 80 156 0 6980 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 28548
[startup+1002.3 s]
/proc/loadavg: 4.00 3.86 2.62 5/190 30497
/proc/meminfo: memFree=12322368/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28548 CPUtime=1002.33 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7468 0 0 0 100232 1 0 0 25 0 1 0 490735539 29233152 6868 33554432000 134512640 135151029 4290872064 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7137 6868 80 156 0 6980 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 28548
[startup+1062.3 s]
/proc/loadavg: 4.00 3.88 2.70 5/190 30499
/proc/meminfo: memFree=12054368/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28548 CPUtime=1062.33 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7472 0 0 0 106232 1 0 0 25 0 1 0 490735539 29233152 6872 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7137 6872 80 156 0 6980 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 28548
[startup+1122.3 s]
/proc/loadavg: 4.00 3.90 2.78 5/190 30500
/proc/meminfo: memFree=12009444/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28548 CPUtime=1122.34 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7483 0 0 0 112233 1 0 0 25 0 1 0 490735539 29233152 6883 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7137 6883 80 156 0 6980 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 28548
[startup+1182.3 s]
/proc/loadavg: 4.00 3.91 2.86 5/190 30502
/proc/meminfo: memFree=11981272/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28548 CPUtime=1182.35 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7552 0 0 0 118233 2 0 0 25 0 1 0 490735539 29233152 6952 33554432000 134512640 135151029 4290872064 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7137 6952 80 156 0 6980 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 28548
[startup+1242.3 s]
/proc/loadavg: 4.05 3.94 2.93 5/190 30503
/proc/meminfo: memFree=11886016/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=29096 CPUtime=1242.35 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7648 0 0 0 124233 2 0 0 25 0 1 0 490735539 29794304 7048 33554432000 134512640 135151029 4290872064 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7274 7048 80 156 0 7117 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 29096
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.94 3.93 2.99 4/188 30506
/proc/meminfo: memFree=11866392/32951124 swapFree=67111528/67111528
[pid=30405] ppid=30403 vsize=28840 CPUtime=1300.06 cores=5,7
/proc/30405/stat : 30405 (precosat) R 30403 30405 30355 0 -1 4202496 7777 0 0 0 130004 2 0 0 25 0 1 0 490735539 29532160 7023 33554432000 134512640 135151029 4290872064 18446744073709551615 134554671 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/30405/statm: 7210 7023 80 156 0 7053 0
Current children cumulated CPU time (s) 1300.06
Current children cumulated vsize (KiB) 28840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.07
CPU user time (s): 1300.05
CPU system time (s): 0.021996
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 29608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.05
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7778
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= 14805
runsolver used 1.9467 second user time and 5.16322 second system time
The end
Launcher Data
Begin job on node143 at 2011-04-28 11:33:19
IDJOB=3308368
IDBENCH=20472
IDSOLVER=1690
FILE ID=node143/3308368-1303983199
RUNJOBID= node143-1303983194-30376
PBS_JOBID= 13168683
Free space on /tmp= 72912 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308368-1303983199/watcher-3308368-1303983199 -o /tmp/evaluation-result-3308368-1303983199/solver-3308368-1303983199 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308368-1303983199.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
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: 14034808 kB
Buffers: 2288836 kB
Cached: 15930376 kB
SwapCached: 0 kB
Active: 6935040 kB
Inactive: 11418932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14034808 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13568 kB
Writeback: 8 kB
AnonPages: 133360 kB
Mapped: 15860 kB
Slab: 496164 kB
PageTables: 5072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 297600 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= 72888 MiB
End job on node143 at 2011-04-28 11:55:01