Trace number 3308380
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/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf |
| MD5SUM | 8a76c8add64173ae39149aae572a02d9 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 185.162 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 37432 |
| Number of clauses | 147345 |
| Sum of the clauses size | 401667 |
| Maximum clause length | 37 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 603 |
| Number of clauses of size 2 | 69621 |
| Number of clauses of size 3 | 71450 |
| Number of clauses of size 4 | 266 |
| Number of clauses of size 5 | 505 |
| Number of clauses of size over 5 | 4900 |
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-3308380-1303983200.cnf
0.00/0.00 c found header 'p cnf 37432 147345'
0.09/0.10 c finished parsing
0.09/0.10 c
0.09/0.10 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.10 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.10 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.10 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.10 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.10 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.10 c
0.09/0.10 c sizeof vars[0] = 16 alignment = 0 1 MB
0.09/0.10 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.10 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.10 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.10 c
0.09/0.10 c starting search after 0.1 seconds
0.09/0.10 c no decision limit
0.09/0.10 c
0.09/0.10 c original/binary fixed eliminated learned agility
0.09/0.10 c seconds variables equivalent conflicts height MB
0.09/0.10 c
0.09/0.10 c * 0.1 146742 29269 603 7560 0 0 0 0.0 0 12
2.79/2.81 c s 2.8 114417 14209 609 7649 14965 0 0 0.0 0 11
2.79/2.81 c l 2.8 114417 14209 609 7649 14965 0 76946 0.0 0 11
2.79/2.82 c R 2.8 114430 14209 609 7649 14965 101 101 79.1 5 11
2.79/2.83 c R 2.8 114434 14209 609 7649 14965 201 201 113.4 11 12
2.79/2.88 c N 2.9 115446 14207 609 7651 14965 802 796 121.8 43 12
2.89/2.91 c B 2.9 115446 14207 609 7651 14965 1001 995 127.2 39 12
2.99/3.01 c B 3.0 115446 14207 609 7651 14965 2001 1995 146.5 55 12
2.99/3.03 c N 3.0 115446 14207 609 7651 14965 2407 2401 147.4 38 13
3.49/3.51 c R 3.5 126589 14094 609 7764 14965 6411 6387 144.1 23 15
3.69/3.78 c B 3.8 131529 13938 609 7920 14965 8004 7974 145.0 41 16
3.89/3.94 c s 3.9 129186 13934 609 7924 14965 9095 9044 150.8 45 15
5.09/5.16 c N 5.2 159096 13261 685 8521 14965 16035 15979 150.6 42 20
5.59/5.65 c s 5.6 117644 12581 685 8521 15645 16674 14692 150.2 52 15
5.59/5.65 c - 5.6 117644 12581 685 8521 15645 16674 73869 150.2 52 15
6.39/6.45 c B 6.4 120716 12478 685 8624 15645 24008 22024 145.9 48 18
8.80/8.87 c s 8.9 121366 12403 685 8699 15645 27029 25039 147.9 58 18
10.40/10.41 c s 10.4 124483 12391 685 8711 15645 32953 30960 148.7 37 21
11.10/11.18 c N 11.2 124483 12391 685 8711 15645 38471 36478 150.9 45 24
19.70/19.71 c
19.70/19.71 c original/binary fixed eliminated learned agility
19.70/19.71 c seconds variables equivalent conflicts height MB
19.70/19.71 c
19.70/19.71 c B 19.7 124483 12391 685 8711 15645 64021 62028 156.4 38 38
24.89/24.94 c + 24.9 124483 12391 685 8711 15645 73869 81255 157.4 45 45
34.29/34.30 c N 34.3 124483 12391 685 8711 15645 89734 81327 158.7 42 53
35.89/35.91 c + 35.9 124483 12391 685 8711 15645 92336 89380 158.8 44 55
50.20/50.24 c + 50.2 124483 12391 685 8711 15645 115421 98318 159.9 42 70
64.69/64.75 c + 64.8 124483 12391 685 8711 15645 144275 108149 160.7 38 88
72.39/72.44 c B 72.4 124483 12391 685 8711 15645 160044 149853 161.0 45 99
79.90/79.96 c s 80.0 123873 12370 685 8731 15646 172474 81164 161.1 40 57
81.00/81.02 c + 81.0 123964 12341 685 8760 15646 180340 118963 162.2 38 62
84.50/84.58 c s 84.6 124306 12298 685 8803 15646 187485 96110 167.8 32 62
87.00/87.02 c N 87.0 126523 12077 685 9024 15646 205058 113680 166.0 47 72
89.60/89.68 c s 89.7 123370 11862 685 9226 15659 215981 114343 164.5 39 66
89.60/89.68 c - 89.7 123370 11862 685 9226 15659 215981 117774 164.5 39 66
91.40/91.40 c + 91.4 129358 11471 685 9617 15659 223172 129551 165.0 62 70
95.20/95.29 c s 95.3 125894 11224 685 9864 15659 230798 125433 165.4 44 69
95.20/95.29 c - 95.3 125894 11224 685 9864 15659 230798 128256 165.4 44 69
101.99/102.08 c s 102.1 123536 10631 685 10455 15661 258919 127933 165.3 43 64
101.99/102.08 c - 102.1 123536 10631 685 10455 15661 258919 126974 165.3 43 64
104.59/104.69 c + 104.7 127022 10309 685 10777 15661 273416 139671 165.5 41 64
110.59/110.67 c
110.59/110.67 c original/binary fixed eliminated learned agility
110.59/110.67 c seconds variables equivalent conflicts height MB
110.59/110.67 c
110.59/110.67 c s 110.7 123108 10309 685 10777 15661 287980 139730 166.4 45 62
110.59/110.67 c - 110.7 123108 10309 685 10777 15661 287980 138275 166.4 45 62
116.69/116.76 c s 116.8 123123 10309 685 10777 15661 307951 138324 165.8 45 56
123.20/123.27 c s 123.3 116205 10302 685 10784 15661 327258 137447 167.6 47 54
123.20/123.27 c - 123.3 116205 10302 685 10784 15661 327258 136893 167.6 47 54
124.49/124.59 c + 124.6 116205 10302 685 10784 15661 334972 150582 167.2 42 57
145.89/145.96 c B 146.0 116205 10302 685 10784 15661 384075 164910 170.7 39 67
165.79/165.85 c + 165.8 116205 10302 685 10784 15661 418716 165640 172.7 40 79
185.80/185.89 c N 185.9 116205 10302 685 10784 15661 461317 222017 174.4 41 90
195.80/195.81 c s 195.8 116202 10301 685 10785 15661 491623 128087 175.1 48 53
203.29/203.37 c s 203.4 115558 10299 685 10786 15662 505365 141828 175.3 34 58
205.39/205.41 c + 205.4 115565 10296 685 10789 15662 523397 182204 174.1 54 68
210.40/210.44 c s 210.4 115560 10296 685 10789 15662 550138 182186 171.7 50 69
218.91/218.95 c s 218.9 115360 10285 685 10799 15663 567287 167518 180.2 36 64
227.10/227.13 c s 227.1 115363 10283 685 10801 15663 615816 182273 175.8 50 66
237.90/237.98 c s 238.0 115343 10282 685 10802 15663 647917 182291 176.7 43 67
238.80/238.89 c + 238.9 115343 10282 685 10802 15663 654246 200424 176.0 33 70
245.70/245.74 c s 245.7 115341 10279 685 10805 15663 671198 198991 177.1 51 72
255.30/255.35 c s 255.4 111654 10168 694 10844 15726 718000 178615 173.7 43 61
255.30/255.35 c
255.30/255.35 c original/binary fixed eliminated learned agility
255.30/255.35 c seconds variables equivalent conflicts height MB
255.30/255.35 c
255.30/255.35 c - 255.4 111654 10168 694 10844 15726 718000 198420 173.7 43 61
266.21/266.21 c s 266.2 111654 10153 695 10858 15726 759818 198446 173.8 47 68
274.70/274.75 c s 274.8 111031 10133 700 10871 15728 796699 195935 172.2 37 69
278.30/278.36 c + 278.4 111033 10131 700 10873 15728 809629 218262 172.3 35 74
284.80/284.90 c s 284.9 111026 10131 700 10873 15728 838626 218314 172.2 33 78
293.30/293.35 c s 293.4 110875 10129 700 10874 15729 863490 218404 172.8 48 78
303.90/303.98 c B 304.0 110875 10129 700 10874 15729 896164 229029 173.7 47 85
369.00/369.01 c s 369.0 110874 10128 700 10875 15729 1003913 164814 175.3 44 57
369.30/369.38 c + 369.4 110876 10127 700 10876 15729 1012037 240088 174.5 41 61
370.00/370.01 c N 370.0 110876 10127 700 10876 15729 1025077 185976 173.3 51 65
374.90/374.97 c s 375.0 110826 10126 700 10876 15730 1038190 199089 173.0 27 66
382.50/382.51 c s 382.5 110826 10125 700 10877 15730 1059041 219935 172.8 43 74
392.80/392.85 c s 392.9 110802 10124 700 10878 15730 1093212 240256 170.7 49 81
403.10/403.16 c s 403.2 110796 10118 700 10884 15730 1127150 240184 170.8 45 80
412.81/412.80 c s 412.8 110784 10112 700 10890 15730 1155354 239057 171.6 49 81
423.10/423.10 c s 423.1 110788 10110 700 10892 15730 1191205 240140 170.1 57 81
437.10/437.12 c s 437.1 110751 10106 700 10896 15730 1213222 240207 171.4 46 81
472.10/472.11 c + 472.1 110751 10106 700 10896 15730 1265045 264096 171.2 32 103
605.31/605.39 c s 605.4 110752 10106 700 10896 15730 1402215 198252 169.4 31 117
622.81/622.85 c
622.81/622.85 c original/binary fixed eliminated learned agility
622.81/622.85 c seconds variables equivalent conflicts height MB
622.81/622.85 c
622.81/622.85 c s 622.9 110726 10101 700 10898 15733 1552309 256403 164.3 44 108
639.91/639.97 c + 640.0 110726 10101 700 10898 15733 1581306 290505 164.0 38 116
884.91/884.93 c s 885.0 110725 10100 700 10899 15733 1847948 221934 162.7 36 117
891.11/891.15 c s 891.2 110726 10100 700 10899 15733 1869713 243698 162.7 42 123
901.01/901.04 c s 901.1 110703 10093 700 10906 15733 1905752 279671 164.5 52 138
909.91/909.95 c s 910.0 110697 10091 700 10908 15733 1925629 290589 164.5 51 141
956.22/956.21 c s 956.2 110685 10090 700 10909 15733 1963903 290562 164.8 39 131
961.12/961.10 c + 961.1 110686 10090 700 10909 15733 1976631 319555 164.9 48 134
968.22/968.24 c s 968.3 110686 10090 700 10909 15733 1988492 302473 164.9 47 131
1021.12/1021.18 c B 1021.2 110686 10090 700 10909 15733 2048319 319621 166.3 41 140
1082.02/1082.01 c N 1082.0 110686 10090 700 10909 15733 2254993 377443 169.8 43 146
1200.92/1200.99 c s 1201.0 110687 10090 700 10909 15733 2358774 241551 171.7 22 106
1215.02/1215.07 c s 1215.1 110688 10090 700 10909 15733 2437282 319651 171.1 19 127
1232.03/1232.04 c + 1232.1 110697 10085 700 10914 15733 2470787 351510 170.6 39 135
1235.13/1235.14 c s 1235.2 110679 10085 700 10914 15733 2472872 321685 170.6 36 125
1254.23/1254.29 c s 1254.3 110659 10070 700 10929 15733 2517943 351459 172.9 44 133
1265.93/1265.91 c s 1265.9 110661 10070 700 10929 15733 2529972 351593 172.8 39 136
1280.73/1280.70 c s 1280.7 110630 10068 700 10931 15733 2551867 351590 172.4 50 142
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
1300.03/1300.00 c 2676897 conflicts, 3340446 decisions, 12 random
1300.03/1300.00 c 0 iterations, 35 restarts, 4570 skipped
1300.03/1300.00 c 17 enlarged, 2422 shrunken, 26143 rescored, 636 rebiased
1300.03/1300.00 c 47 simplifications, 6 reductions
1300.03/1300.00 c
1300.03/1300.00 c vars: 700 fixed, 10933 equiv, 15733 elim, 10933 merged
1300.03/1300.00 c elim: 8945328 resolutions, 40 phases, 20 rounds
1300.03/1300.00 c sbst: 83% substituted, 0.8% nots, 28.9% ands, 70.2% xors, 0.0% ites
1300.03/1300.00 c arty: 2.42 and 2.00 xor average arity
1300.03/1300.00 c prbe: 926973 probed, 179 phases, 45 rounds
1300.03/1300.00 c prbe: 7 failed, 84 lifted, 32 merged
1300.03/1300.00 c sccs: 1 non trivial, 0 fixed, 4 merged
1300.03/1300.00 c hash: 0 units, 10897 merged
1300.03/1300.00 c mins: 232818177 learned, 13% deleted, 56 strong, 118 depth
1300.03/1300.00 c subs: 3379 forward, 15382 backward, 7651 doms
1300.03/1300.00 c strs: 2735 forward, 959 backward
1300.03/1300.00 c doms: 8619 dominators, 4551 high, 32 low
1300.03/1300.00 c prps: 1344632410 propagations, 1.03 megaprops
1300.03/1300.00 c
1300.03/1300.00 c 1300.0 seconds, 207 MB max, 826 MB recycled
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
Verifier Data
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3308380-1303983200/watcher-3308380-1303983200 -o /tmp/evaluation-result-3308380-1303983200/solver-3308380-1303983200 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308380-1303983200.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.10 0.06 0.01 2/180 23300
/proc/meminfo: memFree=17232328/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=868 CPUtime=0 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 103 0 0 0 0 0 0 0 21 0 1 0 509917899 888832 59 33554432000 134512640 135151029 4289222720 18446744073709551615 134703758 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23300/statm: 217 59 49 156 0 60 0
[startup+0.0148639 s]
/proc/loadavg: 0.10 0.06 0.01 2/180 23300
/proc/meminfo: memFree=17232328/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=4372 CPUtime=0.01 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 984 0 0 0 1 0 0 0 21 0 1 0 509917899 4476928 940 33554432000 134512640 135151029 4289222720 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 1093 941 64 156 0 936 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4372
[startup+0.100863 s]
/proc/loadavg: 0.10 0.06 0.01 2/180 23300
/proc/meminfo: memFree=17232328/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=14244 CPUtime=0.09 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 3662 0 0 0 9 0 0 0 21 0 1 0 509917899 14585856 3391 33554432000 134512640 135151029 4289222720 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 3561 3392 65 156 0 3404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14244
[startup+0.300814 s]
/proc/loadavg: 0.10 0.06 0.01 2/180 23300
/proc/meminfo: memFree=17232328/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=18552 CPUtime=0.29 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 5270 0 0 0 28 1 0 0 22 0 1 0 509917899 18997248 4465 33554432000 134512640 135151029 4289222720 18446744073709551615 134526162 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 4638 4466 80 156 0 4481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18552
[startup+0.700742 s]
/proc/loadavg: 0.10 0.06 0.01 2/180 23300
/proc/meminfo: memFree=17232328/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=22076 CPUtime=0.69 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 6138 0 0 0 68 1 0 0 24 0 1 0 509917899 22605824 5333 33554432000 134512640 135151029 4289222720 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 5519 5333 80 156 0 5362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22076
[startup+1.50059 s]
/proc/loadavg: 0.10 0.06 0.01 4/186 23311
/proc/meminfo: memFree=17114108/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=22076 CPUtime=1.49 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 6138 0 0 0 148 1 0 0 25 0 1 0 509917899 22605824 5333 33554432000 134512640 135151029 4289222720 18446744073709551615 134526310 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 5519 5333 80 156 0 5362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22076
[startup+3.1003 s]
/proc/loadavg: 0.10 0.06 0.01 5/188 23315
/proc/meminfo: memFree=17009616/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=20948 CPUtime=3.09 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 6329 0 0 0 308 1 0 0 25 0 1 0 509917899 21450752 5027 33554432000 134512640 135151029 4289222720 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 5237 5027 80 156 0 5080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20948
[startup+6.30072 s]
/proc/loadavg: 0.41 0.13 0.03 5/191 23321
/proc/meminfo: memFree=16736664/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=23132 CPUtime=6.29 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 8339 0 0 0 628 1 0 0 25 0 1 0 509917899 23687168 5595 33554432000 134512640 135151029 4289222720 18446744073709551615 134555096 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 5783 5595 80 156 0 5626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23132
[startup+12.7006 s]
/proc/loadavg: 0.78 0.21 0.06 5/194 23327
/proc/meminfo: memFree=16082084/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=30396 CPUtime=12.69 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 11359 0 0 0 1267 2 0 0 25 0 1 0 509917899 31125504 7429 33554432000 134512640 135151029 4289222720 18446744073709551615 134580463 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 7599 7429 80 156 0 7442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30396
[startup+25.5002 s]
/proc/loadavg: 1.49 0.39 0.12 5/194 23327
/proc/meminfo: memFree=15057980/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=49356 CPUtime=25.49 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 16004 0 0 0 2545 4 0 0 25 0 1 0 509917899 50540544 12074 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 12339 12074 80 156 0 12182 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49356
[startup+51.1006 s]
/proc/loadavg: 2.29 0.67 0.21 5/194 23355
/proc/meminfo: memFree=14676728/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=75996 CPUtime=51.1 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 22535 0 0 0 5103 7 0 0 25 0 1 0 509917899 77819904 18605 33554432000 134512640 135151029 4289222720 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 18999 18605 80 156 0 18842 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 75996
[startup+102.307 s]
/proc/loadavg: 3.30 1.19 0.42 5/194 23356
/proc/meminfo: memFree=14576620/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=113168 CPUtime=102.3 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 34954 0 0 0 10220 10 0 0 25 0 1 0 509917899 115884032 27787 33554432000 134512640 135151029 4289222720 18446744073709551615 134578208 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 28292 27787 80 156 0 28135 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 113168
[startup+162.3 s]
/proc/loadavg: 3.79 1.72 0.64 5/194 23358
/proc/meminfo: memFree=14530520/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=113168 CPUtime=162.29 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 35994 0 0 0 16219 10 0 0 25 0 1 0 509917899 115884032 27798 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 28292 27798 80 156 0 28135 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 113168
[startup+222.3 s]
/proc/loadavg: 3.92 2.13 0.85 5/194 23360
/proc/meminfo: memFree=14663788/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=113168 CPUtime=222.3 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 37849 0 0 0 22219 11 0 0 25 0 1 0 509917899 115884032 27889 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 28292 27889 80 156 0 28135 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 113168
[startup+282.3 s]
/proc/loadavg: 3.97 2.47 1.04 5/194 23361
/proc/meminfo: memFree=14597416/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=113168 CPUtime=282.3 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 40497 0 0 0 28219 11 0 0 25 0 1 0 509917899 115884032 27891 33554432000 134512640 135151029 4289222720 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 28292 27891 80 156 0 28135 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 113168
[startup+342.301 s]
/proc/loadavg: 4.04 2.76 1.23 5/194 23390
/proc/meminfo: memFree=15753456/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=113960 CPUtime=342.3 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 41792 0 0 0 34218 12 0 0 25 0 1 0 509917899 116695040 28304 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 28490 28304 80 156 0 28333 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 113960
[startup+402.301 s]
/proc/loadavg: 4.01 2.98 1.40 5/194 23391
/proc/meminfo: memFree=14758256/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=124232 CPUtime=402.3 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 46227 0 0 0 40217 13 0 0 25 0 1 0 509917899 127213568 30828 33554432000 134512640 135151029 4289222720 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 31058 30828 80 156 0 30901 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 124232
[startup+462.301 s]
/proc/loadavg: 4.00 3.16 1.56 5/194 23420
/proc/meminfo: memFree=13646880/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=123056 CPUtime=462.3 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 47550 0 0 0 46216 14 0 0 25 0 1 0 509917899 126009344 30534 33554432000 134512640 135151029 4289222720 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 30764 30534 80 156 0 30607 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 123056
[startup+522.301 s]
/proc/loadavg: 4.03 3.33 1.72 5/194 23422
/proc/meminfo: memFree=13878936/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=145368 CPUtime=522.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 52799 0 0 0 52214 17 0 0 25 0 1 0 509917899 148856832 35783 33554432000 134512640 135151029 4289222720 18446744073709551615 134574646 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 36342 35783 80 156 0 36185 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 145368
[startup+582.301 s]
/proc/loadavg: 3.94 3.43 1.85 5/191 23426
/proc/meminfo: memFree=14724720/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=185932 CPUtime=582.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 62786 0 0 0 58208 23 0 0 25 0 1 0 509917899 190394368 45770 33554432000 134512640 135151029 4289222720 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 46483 45770 80 156 0 46326 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 185932
[startup+642.301 s]
/proc/loadavg: 3.97 3.53 1.98 5/194 23452
/proc/meminfo: memFree=14479008/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=199596 CPUtime=642.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 67002 0 0 0 64207 24 0 0 25 0 1 0 509917899 204386304 49622 33554432000 134512640 135151029 4289222720 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 49899 49622 80 156 0 49742 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 199596
[startup+702.301 s]
/proc/loadavg: 3.99 3.61 2.11 5/194 23480
/proc/meminfo: memFree=15553128/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=199980 CPUtime=702.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 67079 0 0 0 70207 24 0 0 25 0 1 0 509917899 204779520 49699 33554432000 134512640 135151029 4289222720 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 49995 49699 80 156 0 49838 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 199980
[startup+762.307 s]
/proc/loadavg: 4.11 3.71 2.23 5/194 23482
/proc/meminfo: memFree=15396580/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=203060 CPUtime=762.32 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 67614 0 0 0 76207 25 0 0 25 0 1 0 509917899 207933440 50234 33554432000 134512640 135151029 4289222720 18446744073709551615 134555096 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 50765 50234 80 156 0 50608 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 203060
[startup+822.301 s]
/proc/loadavg: 4.09 3.78 2.35 5/194 23484
/proc/meminfo: memFree=15306236/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=205888 CPUtime=822.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 68103 0 0 0 82206 25 0 0 25 0 1 0 509917899 210829312 50723 33554432000 134512640 135151029 4289222720 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 51472 50723 80 156 0 51315 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 205888
[startup+882.3 s]
/proc/loadavg: 4.09 3.83 2.45 5/194 23485
/proc/meminfo: memFree=15166220/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=201480 CPUtime=882.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 68543 0 0 0 88206 25 0 0 25 0 1 0 509917899 206315520 50111 33554432000 134512640 135151029 4289222720 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 50370 50111 80 156 0 50213 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 201480
[startup+942.3 s]
/proc/loadavg: 4.11 3.87 2.55 5/194 23487
/proc/meminfo: memFree=15158196/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=201480 CPUtime=942.31 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 68566 0 0 0 94206 25 0 0 25 0 1 0 509917899 206315520 50134 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 50370 50134 80 156 0 50213 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 201480
[startup+1002.3 s]
/proc/loadavg: 4.08 3.91 2.64 5/194 23488
/proc/meminfo: memFree=15090504/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=201480 CPUtime=1002.32 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 68569 0 0 0 100207 25 0 0 25 0 1 0 509917899 206315520 50137 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 50370 50137 80 156 0 50213 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 201480
[startup+1062.3 s]
/proc/loadavg: 4.03 3.92 2.73 5/194 23490
/proc/meminfo: memFree=15007896/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=201480 CPUtime=1062.32 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 68572 0 0 0 106207 25 0 0 25 0 1 0 509917899 206315520 50140 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 50370 50140 80 156 0 50213 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 201480
[startup+1122.3 s]
/proc/loadavg: 4.05 3.95 2.81 5/194 23492
/proc/meminfo: memFree=14927516/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=203240 CPUtime=1122.32 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 68868 0 0 0 112207 25 0 0 25 0 1 0 509917899 208117760 50436 33554432000 134512640 135151029 4289222720 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 50810 50436 80 156 0 50653 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 203240
[startup+1182.3 s]
/proc/loadavg: 4.02 3.95 2.88 5/194 23493
/proc/meminfo: memFree=14920900/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=210476 CPUtime=1182.33 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 70492 0 0 0 118207 26 0 0 25 0 1 0 509917899 215527424 52060 33554432000 134512640 135151029 4289222720 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 52619 52060 80 156 0 52462 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 210476
[startup+1242.3 s]
/proc/loadavg: 4.00 3.96 2.95 5/194 23495
/proc/meminfo: memFree=14856392/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=217124 CPUtime=1242.33 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 72223 0 0 0 124206 27 0 0 25 0 1 0 509917899 222334976 53791 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 54281 53791 80 156 0 54124 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 217124
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.01 5/194 23496
/proc/meminfo: memFree=14809356/32951124 swapFree=67111528/67111528
[pid=23300] ppid=23298 vsize=217124 CPUtime=1300.03 cores=1,3
/proc/23300/stat : 23300 (precosat) R 23298 23300 23266 0 -1 4202496 72226 0 0 0 129976 27 0 0 25 0 1 0 509917899 222334976 53794 33554432000 134512640 135151029 4289222720 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/23300/statm: 54281 53794 80 156 0 54124 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 217124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.06
CPU user time (s): 1299.77
CPU system time (s): 0.287956
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 217124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.77
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72227
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= 1858
runsolver used 2.01269 second user time and 5.10022 second system time
The end
Launcher Data
Begin job on node133 at 2011-04-28 11:33:20
IDJOB=3308380
IDBENCH=20523
IDSOLVER=1690
FILE ID=node133/3308380-1303983200
RUNJOBID= node133-1303983198-23286
PBS_JOBID= 13168693
Free space on /tmp= 71888 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308380-1303983200/watcher-3308380-1303983200 -o /tmp/evaluation-result-3308380-1303983200/solver-3308380-1303983200 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308380-1303983200.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8a76c8add64173ae39149aae572a02d9
RANDOM SEED=775954478
node133.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.834
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.66
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.834
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.834
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.834
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 : 6741.12
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.834
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.74
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.834
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.834
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.834
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 17232608 kB
Buffers: 2186160 kB
Cached: 12901140 kB
SwapCached: 0 kB
Active: 8793120 kB
Inactive: 6361744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17232608 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8076 kB
Writeback: 0 kB
AnonPages: 67224 kB
Mapped: 14440 kB
Slab: 500128 kB
PageTables: 5284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 194188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71668 MiB
End job on node133 at 2011-04-28 11:55:02