Trace number 3308347
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/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf |
| MD5SUM | 0683489092a5eb0c881dd17c2c45d08e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 105623 |
| Number of clauses | 374254 |
| Sum of the clauses size | 911890 |
| Maximum clause length | 43 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 128 |
| Number of clauses of size 2 | 269133 |
| Number of clauses of size 3 | 99944 |
| Number of clauses of size 4 | 407 |
| Number of clauses of size 5 | 309 |
| Number of clauses of size over 5 | 4333 |
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-3308347-1303983197.cnf
0.00/0.00 c found header 'p cnf 106701 374254'
0.29/0.30 c finished parsing
0.29/0.30 c
0.29/0.30 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.29/0.30 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.29/0.30 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.29/0.30 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.29/0.30 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.29/0.30 c --random=1 --spread=2000 --seed=0 --skip=25
0.29/0.30 c
0.29/0.30 c sizeof vars[0] = 16 alignment = 0 2 MB
0.29/0.30 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.29/0.30 c sizeof occs[0] = 8 alignment = 0 1 MB
0.29/0.30 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.29/0.30 c
0.29/0.30 c starting search after 0.3 seconds
0.29/0.30 c no decision limit
0.29/0.31 c
0.29/0.31 c original/binary fixed eliminated learned agility
0.29/0.31 c seconds variables equivalent conflicts height MB
0.29/0.31 c
0.29/0.31 c * 0.3 373870 106258 128 315 0 0 0 0.0 0 33
4.19/4.28 c s 4.3 205192 17347 129 923 88302 0 0 0.0 0 27
4.19/4.28 c l 4.3 205192 17347 129 923 88302 0 124407 0.0 0 27
4.29/4.33 c R 4.3 208452 17345 129 925 88302 102 99 156.4 4 29
4.29/4.36 c R 4.4 214777 17345 129 925 88302 206 201 140.4 11 30
4.79/4.86 c B 4.9 331102 14976 149 3274 88302 1000 974 82.4 9 37
5.29/5.35 c B 5.4 386104 14904 164 3331 88302 2000 1962 73.8 5 40
5.69/5.78 c R 5.8 428895 14740 196 3463 88302 2858 2815 73.4 2 45
7.70/7.73 c s 7.7 443056 12587 224 4226 89664 4182 2535 70.1 7 43
7.70/7.73 c - 7.7 443056 12587 224 4226 89664 4182 98282 70.1 7 43
8.29/8.36 c R 8.4 475513 12452 228 4357 89664 5690 4037 67.8 17 46
9.49/9.53 c B 9.5 567600 12096 239 4702 89664 8006 6344 68.3 9 51
10.19/10.28 c R 10.3 624419 11873 239 4925 89664 9703 8040 67.5 9 54
14.19/14.25 c s 14.3 692231 11532 239 5256 89674 15937 13822 68.0 10 57
14.19/14.25 c - 14.3 692231 11532 239 5256 89674 15937 85506 68.0 10 57
17.19/17.24 c B 17.2 702723 11495 240 5292 89674 24017 21882 66.8 13 61
20.29/20.34 c R 20.3 727752 11454 240 5333 89674 32119 29977 65.2 11 68
24.39/24.42 c s 24.4 735924 11442 240 5345 89674 38913 36721 63.7 9 67
24.39/24.42 c - 24.4 735924 11442 240 5345 89674 38913 82941 63.7 9 67
30.69/30.74 c
30.69/30.74 c original/binary fixed eliminated learned agility
30.69/30.74 c seconds variables equivalent conflicts height MB
30.69/30.74 c
30.69/30.74 c R 30.7 743850 11442 240 5345 89674 54612 52408 62.0 17 72
36.19/36.25 c s 36.3 743452 11442 240 5345 89674 63692 61480 61.0 4 71
36.39/36.41 c B 36.4 743457 11442 240 5345 89674 64034 61822 61.1 11 72
45.09/45.18 c + 45.2 746323 11442 240 5345 89674 82942 91235 59.1 15 78
48.48/48.54 c s 48.5 746539 11442 240 5345 89674 88688 86464 58.1 4 75
55.68/55.70 c + 55.7 746678 11442 240 5345 89674 103677 100358 56.6 7 80
56.68/56.74 c R 56.7 746679 11442 240 5345 89674 105913 93682 56.2 10 80
62.38/62.49 c s 62.5 747027 11442 240 5345 89674 114417 100397 56.1 3 78
70.08/70.12 c + 70.1 747664 11442 240 5345 89674 129600 110393 55.4 13 82
76.68/76.70 c s 76.7 747727 11442 240 5345 89674 141780 110494 54.7 6 79
85.68/85.73 c B 85.7 747821 11442 240 5345 89674 160073 110746 53.8 10 84
86.57/86.61 c + 86.6 747857 11442 240 5345 89674 162000 121432 53.7 9 84
90.28/90.32 c s 90.3 747896 11442 240 5345 89674 167815 116533 53.5 18 80
104.58/104.66 c s 104.6 747981 11442 240 5345 89674 192353 121560 52.8 3 81
110.08/110.10 c + 110.1 747992 11442 240 5345 89674 202500 133575 52.3 8 85
119.98/120.07 c s 120.1 748089 11442 240 5345 89674 218147 133664 51.7 7 83
121.88/121.94 c R 121.9 748089 11442 240 5345 89674 221357 133747 51.5 8 85
136.47/136.53 c s 136.5 748092 11442 240 5345 89674 247310 133733 50.5 4 84
139.87/139.93 c + 139.9 748124 11442 240 5345 89674 253125 146932 50.4 16 88
151.86/151.96 c
151.86/151.96 c original/binary fixed eliminated learned agility
151.86/151.96 c seconds variables equivalent conflicts height MB
151.86/151.96 c
151.86/151.96 c s 151.9 748241 11442 240 5345 89674 273348 147112 49.9 13 86
168.17/168.22 c s 168.2 748285 11442 240 5345 89674 301556 147171 49.3 8 86
177.16/177.24 c + 177.2 748302 11442 240 5345 89674 316405 161625 48.9 7 91
184.67/184.70 c s 184.7 748326 11442 240 5345 89674 327890 158627 48.6 6 88
200.67/200.73 c s 200.7 748357 11442 240 5345 89674 352113 161723 48.3 7 88
217.16/217.20 c s 217.2 749008 11442 240 5345 89674 379215 161823 47.9 3 87
219.76/219.81 c B 219.8 749442 11442 240 5345 89674 384145 161897 47.9 5 91
225.36/225.45 c + 225.4 750112 11442 240 5345 89674 395505 177787 47.9 8 92
233.07/233.15 c s 233.1 750115 11442 240 5345 89674 406154 172488 47.7 5 89
249.57/249.60 c s 249.6 750185 11442 240 5345 89674 433640 178080 47.5 5 90
267.46/267.55 c s 267.5 750191 11442 240 5345 89674 458269 177865 47.1 10 90
281.16/281.29 c R 281.3 750199 11442 240 5345 89674 477889 178003 46.6 5 95
285.87/285.94 c s 285.9 750199 11442 240 5345 89674 484962 177824 46.5 11 90
292.47/292.52 c + 292.5 750199 11442 240 5345 89674 494380 195565 46.2 9 94
320.16/320.26 c s 320.2 750200 11442 240 5345 89674 536146 195941 45.4 9 92
338.67/338.79 c s 338.8 750218 11442 240 5345 89674 564842 195667 45.1 10 92
356.76/356.81 c s 356.8 750231 11442 240 5345 89674 592296 195676 44.8 8 92
372.17/372.29 c + 372.3 750253 11442 240 5345 89674 617975 215121 44.7 6 98
373.86/373.98 c s 374.0 750251 11442 240 5345 89674 619966 197600 44.7 4 91
391.76/391.86 c
391.76/391.86 c original/binary fixed eliminated learned agility
391.76/391.86 c seconds variables equivalent conflicts height MB
391.76/391.86 c
391.76/391.86 c s 391.8 750315 11442 240 5345 89674 648043 215226 44.6 12 95
410.97/411.04 c s 411.0 750327 11442 240 5345 89674 676174 215307 44.3 6 95
430.86/430.94 c s 430.9 750401 11442 240 5345 89674 705018 215305 44.2 5 95
449.56/449.65 c s 449.6 750420 11442 240 5345 89674 735141 215204 44.0 7 95
469.44/469.50 c s 469.5 750431 11442 240 5345 89674 762952 215273 43.8 6 95
476.44/476.52 c + 476.5 750432 11442 240 5345 89674 772465 236633 43.8 12 102
489.54/489.68 c s 489.6 750437 11442 240 5345 89674 789737 232507 43.7 8 98
509.74/509.87 c s 509.8 750441 11442 240 5345 89674 818764 236707 43.5 11 99
530.05/530.15 c s 530.1 750449 11442 240 5345 89674 846471 236821 43.4 11 99
549.54/549.65 c s 549.6 750458 11442 240 5345 89674 874959 237088 43.2 10 99
563.84/563.93 c B 563.9 750514 11442 240 5345 89674 896263 236860 43.1 11 106
569.74/569.85 c s 569.8 750590 11442 240 5345 89674 902726 236787 43.1 5 99
589.74/589.81 c s 589.8 750607 11442 240 5345 89674 930726 236899 43.0 15 99
608.84/608.94 c s 608.9 750610 11442 240 5345 89674 959618 237077 43.1 8 99
612.54/612.62 c + 612.6 750610 11442 240 5345 89674 965582 260296 43.0 21 104
627.15/627.21 c s 627.2 750616 11442 240 5345 89674 986651 258111 43.0 5 103
666.35/666.44 c R 666.4 750616 11442 240 5345 89674 1042078 260478 42.9 10 112
694.35/694.46 c s 694.4 750617 11442 240 5345 89674 1078344 260569 42.7 16 105
717.35/717.44 c s 717.4 750620 11442 240 5345 89674 1104156 260469 42.8 7 107
739.75/739.81 c
739.75/739.81 c original/binary fixed eliminated learned agility
739.75/739.81 c seconds variables equivalent conflicts height MB
739.75/739.81 c
739.75/739.81 c s 739.8 750638 11442 240 5345 89674 1133638 260409 42.5 8 107
762.15/762.25 c s 762.2 750640 11442 240 5345 89674 1162525 260376 42.4 9 106
783.65/783.79 c s 783.8 750650 11442 240 5345 89674 1192619 260541 42.3 14 106
794.04/794.18 c + 794.1 750651 11442 240 5345 89674 1206976 286325 42.3 7 113
805.84/805.93 c s 805.9 750654 11442 240 5345 89674 1220371 273854 42.3 8 108
829.14/829.22 c s 829.2 750660 11442 240 5345 89674 1248670 286443 42.1 7 109
852.85/852.98 c s 852.9 750665 11442 240 5345 89674 1277247 286412 42.0 9 108
875.76/875.88 c s 875.8 750666 11442 240 5345 89674 1307838 286547 41.9 12 108
900.34/900.46 c s 900.4 750669 11442 240 5345 89674 1337605 286403 41.8 6 107
924.05/924.11 c s 924.1 750671 11442 240 5345 89674 1366820 286459 41.7 10 107
947.95/948.03 c s 948.0 750673 11442 240 5345 89674 1395598 286667 41.7 15 107
974.55/974.64 c s 974.6 750674 11442 240 5345 89674 1431991 286632 41.6 7 107
1031.75/1031.83 c + 1031.8 750674 11442 240 5345 89674 1508721 314957 41.4 7 118
1050.15/1050.29 c s 1050.3 750677 11442 240 5345 89674 1531508 309356 41.3 7 111
1075.25/1075.39 c s 1075.4 750678 11442 240 5345 89674 1561243 315058 41.2 5 112
1186.16/1186.21 c s 1186.2 750679 11442 240 5345 89674 1694264 315194 40.7 5 111
1212.15/1212.20 c s 1212.2 750684 11442 240 5345 89674 1726701 315240 40.6 4 111
1237.16/1237.24 c s 1237.2 750685 11442 240 5345 89674 1757745 315058 40.5 14 111
1263.55/1263.62 c s 1263.6 750697 11442 240 5345 89674 1788273 315081 40.4 7 111
1288.85/1288.94 c
1288.85/1288.94 c original/binary fixed eliminated learned agility
1288.85/1288.94 c seconds variables equivalent conflicts height MB
1288.85/1288.94 c
1288.85/1288.94 c s 1288.9 750705 11442 240 5345 89674 1819437 315173 40.3 13 111
1299.96/1300.00 c
1299.96/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.96/1300.00 c
1299.96/1300.00 c 1834375 conflicts, 2864823 decisions, 904 random
1299.96/1300.00 c 16 iterations, 3631 restarts, 3 skipped
1299.96/1300.00 c 14 enlarged, 14608 shrunken, 17938 rescored, 507 rebiased
1299.96/1300.00 c 58 simplifications, 0 reductions
1299.96/1300.00 c
1299.96/1300.00 c vars: 240 fixed, 5345 equiv, 89674 elim, 5345 merged
1299.96/1300.00 c elim: 3244966 resolutions, 5 phases, 2 rounds
1299.96/1300.00 c sbst: 77% substituted, 0.1% nots, 99.9% ands, 0.0% xors, 0.0% ites
1299.96/1300.00 c arty: 2.03 and 2.00 xor average arity
1299.96/1300.00 c prbe: 991834 probed, 2015 phases, 43 rounds
1299.96/1300.00 c prbe: 47 failed, 1 lifted, 1049 merged
1299.96/1300.00 c sccs: 33 non trivial, 0 fixed, 113 merged
1299.96/1300.00 c hash: 6 units, 4183 merged
1299.96/1300.00 c mins: 64599448 learned, 35% deleted, 272 strong, 65 depth
1299.96/1300.00 c subs: 13248 forward, 41208 backward, 35097 doms
1299.96/1300.00 c strs: 20440 forward, 1785 backward
1299.96/1300.00 c doms: 45233 dominators, 23233 high, 33 low
1299.96/1300.00 c prps: 2537849667 propagations, 1.95 megaprops
1299.96/1300.00 c
1299.96/1300.00 c 1300.0 seconds, 125 MB max, 277 MB recycled
1299.96/1300.00 c
1299.96/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.96/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-3308347-1303983197/watcher-3308347-1303983197 -o /tmp/evaluation-result-3308347-1303983197/solver-3308347-1303983197 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308347-1303983197.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 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=7232 CPUtime=0 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 1520 0 0 0 0 0 0 0 21 0 1 0 509918338 7405568 1476 33554432000 134512640 135151029 4287991072 18446744073709551615 134534799 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2994/statm: 1808 1489 60 156 0 1651 0
[startup+0.0339051 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=12596 CPUtime=0.03 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 3089 0 0 0 3 0 0 0 21 0 1 0 509918338 12898304 3012 33554432000 134512640 135151029 4287991072 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 3149 3012 65 156 0 2992 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12596
[startup+0.100886 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=20096 CPUtime=0.09 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 5138 0 0 0 9 0 0 0 21 0 1 0 509918338 20578304 4867 33554432000 134512640 135151029 4287991072 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 5024 4868 65 156 0 4867 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20096
[startup+0.30086 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=37960 CPUtime=0.29 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 10390 0 0 0 28 1 0 0 22 0 1 0 509918338 38871040 9349 33554432000 134512640 135151029 4287991072 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 9490 9350 65 156 0 9333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37960
[startup+0.700779 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 2994
/proc/meminfo: memFree=23562776/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=46668 CPUtime=0.69 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 14819 0 0 0 67 2 0 0 24 0 1 0 509918338 47788032 11436 33554432000 134512640 135151029 4287991072 18446744073709551615 134681534 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 11667 11436 80 156 0 11510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46668
[startup+1.50064 s]
/proc/loadavg: 0.00 0.00 0.00 5/182 3014
/proc/meminfo: memFree=23416900/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=60344 CPUtime=1.49 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 20220 0 0 0 146 3 0 0 25 0 1 0 509918338 61792256 14913 33554432000 134512640 135151029 4287991072 18446744073709551615 134575279 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 15086 14913 80 156 0 14929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60344
[startup+3.10037 s]
/proc/loadavg: 0.00 0.00 0.00 5/188 3026
/proc/meminfo: memFree=23121976/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=66584 CPUtime=3.09 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 21376 0 0 0 306 3 0 0 25 0 1 0 509918338 68182016 16069 33554432000 134512640 135151029 4287991072 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 16646 16069 80 156 0 16489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66584
[startup+6.30082 s]
/proc/loadavg: 0.32 0.07 0.02 5/188 3026
/proc/meminfo: memFree=22909140/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=60156 CPUtime=6.29 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 23316 0 0 0 626 3 0 0 25 0 1 0 509918338 61599744 14440 33554432000 134512640 135151029 4287991072 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 15039 14440 80 156 0 14882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60156
[startup+12.7007 s]
/proc/loadavg: 0.93 0.20 0.06 6/188 3026
/proc/meminfo: memFree=22859828/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=73524 CPUtime=12.69 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 33376 0 0 0 1265 4 0 0 25 0 1 0 509918338 75288576 17829 33554432000 134512640 135151029 4287991072 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 18381 17829 80 156 0 18224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73524
[startup+25.5005 s]
/proc/loadavg: 1.97 0.46 0.15 5/188 3027
/proc/meminfo: memFree=22844884/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=79720 CPUtime=25.49 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 51942 0 0 0 2541 8 0 0 25 0 1 0 509918338 81633280 19346 33554432000 134512640 135151029 4287991072 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 19930 19346 80 156 0 19773 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79720
[startup+51.1011 s]
/proc/loadavg: 2.66 0.75 0.25 5/188 3027
/proc/meminfo: memFree=22712380/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=89796 CPUtime=51.08 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 68018 0 0 0 5097 11 0 0 25 0 1 0 509918338 91951104 21884 33554432000 134512640 135151029 4287991072 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 22449 21884 80 156 0 22292 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89796
[startup+102.306 s]
/proc/loadavg: 3.56 1.29 0.46 5/188 3057
/proc/meminfo: memFree=21930216/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=97076 CPUtime=102.28 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 82826 0 0 0 10214 14 0 0 25 0 1 0 509918338 99405824 23651 33554432000 134512640 135151029 4287991072 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 24269 23651 80 156 0 24112 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 97076
[startup+162.301 s]
/proc/loadavg: 3.84 1.78 0.68 5/188 3058
/proc/meminfo: memFree=21059316/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=103320 CPUtime=162.27 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 102033 0 0 0 16209 18 0 0 25 0 1 0 509918338 105799680 25238 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 25830 25238 80 156 0 25673 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 103320
[startup+222.301 s]
/proc/loadavg: 3.94 2.18 0.89 5/188 3060
/proc/meminfo: memFree=20677440/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=104880 CPUtime=222.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 120573 0 0 0 22205 21 0 0 25 0 1 0 509918338 107397120 25673 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 26220 25673 80 156 0 26063 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 104880
[startup+282.3 s]
/proc/loadavg: 3.98 2.51 1.08 5/188 3061
/proc/meminfo: memFree=19909596/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=108152 CPUtime=282.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 134486 0 0 0 28202 24 0 0 25 0 1 0 509918338 110747648 26444 33554432000 134512640 135151029 4287991072 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 27038 26444 80 156 0 26881 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 108152
[startup+342.301 s]
/proc/loadavg: 3.99 2.78 1.26 5/188 3063
/proc/meminfo: memFree=19393472/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=109304 CPUtime=342.27 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 149133 0 0 0 34200 27 0 0 25 0 1 0 509918338 111927296 26764 33554432000 134512640 135151029 4287991072 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 27326 26764 80 156 0 27169 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 109304
[startup+402.301 s]
/proc/loadavg: 4.76 3.16 1.48 4/184 3088
/proc/meminfo: memFree=19097320/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=113784 CPUtime=402.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 164227 0 0 0 40195 31 0 0 25 0 1 0 509918338 116514816 27811 33554432000 134512640 135151029 4287991072 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 28446 27811 80 156 0 28289 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 113784
[startup+462.3 s]
/proc/loadavg: 5.63 3.73 1.78 5/184 3114
/proc/meminfo: memFree=18264780/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=114588 CPUtime=462.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 177972 0 0 0 46189 35 0 0 25 0 1 0 509918338 117338112 28057 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 28647 28057 80 156 0 28490 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 114588
[startup+522.301 s]
/proc/loadavg: 7.50 4.61 2.20 4/184 3117
/proc/meminfo: memFree=18422436/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=119076 CPUtime=522.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 192091 0 0 0 52173 51 0 0 25 0 1 0 509918338 121933824 29136 33554432000 134512640 135151029 4287991072 18446744073709551615 134542684 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 29769 29136 80 156 0 29612 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 119076
[startup+582.301 s]
/proc/loadavg: 8.43 5.39 2.62 4/184 3118
/proc/meminfo: memFree=18593268/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=119228 CPUtime=582.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 205692 0 0 0 58157 67 0 0 25 0 1 0 509918338 122089472 29164 33554432000 134512640 135151029 4287991072 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 29807 29164 80 156 0 29650 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 119228
[startup+642.3 s]
/proc/loadavg: 8.73 6.06 3.02 5/184 3120
/proc/meminfo: memFree=18803620/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=122036 CPUtime=642.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 219844 0 0 0 64148 77 0 0 25 0 1 0 509918338 124964864 29931 33554432000 134512640 135151029 4287991072 18446744073709551615 134554562 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 30509 29931 80 156 0 30352 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 122036
[startup+702.301 s]
/proc/loadavg: 8.39 6.46 3.35 4/186 3125
/proc/meminfo: memFree=18992996/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=125364 CPUtime=702.24 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 225643 0 0 0 70134 90 0 0 25 0 1 0 509918338 128372736 30756 33554432000 134512640 135151029 4287991072 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 31341 30756 80 156 0 31184 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 125364
[startup+762.301 s]
/proc/loadavg: 8.03 6.70 3.62 5/186 3126
/proc/meminfo: memFree=19178272/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=125712 CPUtime=762.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 240230 0 0 0 76127 98 0 0 25 0 1 0 509918338 128729088 30851 33554432000 134512640 135151029 4287991072 18446744073709551615 134580527 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 31428 30851 80 156 0 31271 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 125712
[startup+822.3 s]
/proc/loadavg: 7.79 6.88 3.88 5/186 3128
/proc/meminfo: memFree=19328200/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=131120 CPUtime=822.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 250577 0 0 0 82118 107 0 0 25 0 1 0 509918338 134266880 32113 33554432000 134512640 135151029 4287991072 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32780 32113 80 156 0 32623 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 131120
[startup+882.301 s]
/proc/loadavg: 7.90 7.09 4.14 4/186 3129
/proc/meminfo: memFree=19422388/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=130688 CPUtime=882.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 264353 0 0 0 88109 116 0 0 25 0 1 0 509918338 133824512 32124 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32672 32124 80 156 0 32515 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 130688
[startup+942.301 s]
/proc/loadavg: 8.21 7.32 4.40 5/186 3131
/proc/meminfo: memFree=19622128/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=130688 CPUtime=942.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 273275 0 0 0 94099 126 0 0 25 0 1 0 509918338 133824512 32127 33554432000 134512640 135151029 4287991072 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32672 32127 80 156 0 32515 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 130688
[startup+1002.31 s]
/proc/loadavg: 7.94 7.41 4.61 6/186 3133
/proc/meminfo: memFree=19788808/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=131632 CPUtime=1002.26 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 282253 0 0 0 100087 139 0 0 25 0 1 0 509918338 134791168 32274 33554432000 134512640 135151029 4287991072 18446744073709551615 134551385 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 32908 32274 80 156 0 32751 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 131632
[startup+1062.3 s]
/proc/loadavg: 8.35 7.67 4.88 4/186 3162
/proc/meminfo: memFree=20913660/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=135044 CPUtime=1062.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 287146 0 0 0 106077 148 0 0 25 0 1 0 509918338 138285056 33163 33554432000 134512640 135151029 4287991072 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 33761 33163 80 156 0 33604 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 135044
[startup+1122.3 s]
/proc/loadavg: 8.27 7.77 5.08 5/186 3164
/proc/meminfo: memFree=20610464/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=136800 CPUtime=1122.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 291501 0 0 0 112069 156 0 0 25 0 1 0 509918338 140083200 33514 33554432000 134512640 135151029 4287991072 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 34200 33514 80 156 0 34043 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 136800
[startup+1182.3 s]
/proc/loadavg: 8.20 7.83 5.27 4/186 3165
/proc/meminfo: memFree=20693164/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=139004 CPUtime=1182.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 291896 0 0 0 118060 165 0 0 25 0 1 0 509918338 142340096 33909 33554432000 134512640 135151029 4287991072 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 34751 33909 80 156 0 34594 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 139004
[startup+1242.3 s]
/proc/loadavg: 7.78 7.77 5.41 4/186 3167
/proc/meminfo: memFree=20600672/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=135216 CPUtime=1242.25 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 304082 0 0 0 124047 178 0 0 25 0 1 0 509918338 138461184 33244 33554432000 134512640 135151029 4287991072 18446744073709551615 134554817 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 33804 33244 80 156 0 33647 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 135216
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 8.00 7.85 5.58 4/186 3168
/proc/meminfo: memFree=20732396/32951132 swapFree=67111364/67111528
[pid=2994] ppid=2992 vsize=135368 CPUtime=1299.96 cores=5,7
/proc/2994/stat : 2994 (precosat) R 2992 2994 2964 0 -1 4202496 312185 0 0 0 129808 188 0 0 25 0 1 0 509918338 138616832 33269 33554432000 134512640 135151029 4287991072 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2994/statm: 33842 33269 80 156 0 33685 0
Current children cumulated CPU time (s) 1299.96
Current children cumulated vsize (KiB) 135368
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): 1299.98
CPU user time (s): 1298.09
CPU system time (s): 1.88671
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 140672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.09
system time used= 1.88671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 5051
runsolver used 2.03869 second user time and 5.09422 second system time
The end
Launcher Data
Begin job on node128 at 2011-04-28 11:33:17
IDJOB=3308347
IDBENCH=20406
IDSOLVER=1690
FILE ID=node128/3308347-1303983197
RUNJOBID= node128-1303983196-2985
PBS_JOBID= 13168698
Free space on /tmp= 66968 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308347-1303983197/watcher-3308347-1303983197 -o /tmp/evaluation-result-3308347-1303983197/solver-3308347-1303983197 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308347-1303983197.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=306077417
node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.852
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 23563056 kB
Buffers: 1349012 kB
Cached: 7351396 kB
SwapCached: 160 kB
Active: 1821792 kB
Inactive: 6943424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 23563056 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 7164 kB
Writeback: 8 kB
AnonPages: 64216 kB
Mapped: 14748 kB
Slab: 559408 kB
PageTables: 4928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 184904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 63068 MiB
End job on node128 at 2011-04-28 11:54:59