Trace number 3308455
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 | APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf |
| MD5SUM | 49dbd2fb16b3d5ce554d30c48729a56d |
| 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 | 92464 |
| Number of clauses | 276623 |
| Sum of the clauses size | 645451 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 184414 |
| Number of clauses of size 3 | 92207 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-3308455-1303983222.cnf
0.00/0.00 c found header 'p cnf 92464 276623'
0.19/0.22 c finished parsing
0.19/0.22 c
0.19/0.22 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.22 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.22 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.22 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.22 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.22 c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.22 c
0.19/0.22 c sizeof vars[0] = 16 alignment = 0 1 MB
0.19/0.22 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.19/0.22 c sizeof occs[0] = 8 alignment = 0 1 MB
0.19/0.22 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.19/0.22 c
0.19/0.22 c starting search after 0.2 seconds
0.19/0.22 c no decision limit
0.19/0.23 c
0.19/0.23 c original/binary fixed eliminated learned agility
0.19/0.23 c seconds variables equivalent conflicts height MB
0.19/0.23 c
0.19/0.23 c * 0.2 276621 92462 2 0 0 0 0 0.0 0 24
3.69/3.74 c s 3.7 137022 19095 204 67 73098 0 0 0.0 0 22
3.69/3.74 c l 3.7 137022 19095 204 67 73098 0 107951 0.0 0 22
3.69/3.77 c R 3.8 139044 19095 204 67 73098 100 99 223.2 10 23
3.79/3.84 c R 3.8 139245 19095 204 67 73098 201 175 233.8 9 24
4.09/4.11 c R 4.1 140010 19095 204 67 73098 803 736 219.9 6 24
4.19/4.28 c B 4.3 150371 19079 204 83 73098 1000 918 236.9 10 25
4.79/4.82 c B 4.8 162340 19076 204 86 73098 2001 1844 209.9 13 27
4.89/4.91 c R 4.9 164667 19076 204 86 73098 2424 2190 201.9 16 27
5.69/5.77 c s 5.8 198102 19068 204 94 73098 3606 3250 187.7 8 27
7.29/7.33 c R 7.3 221801 19061 204 101 73098 6429 5949 183.8 7 31
8.49/8.59 c B 8.6 229800 19061 204 101 73098 8004 7492 236.1 4 32
9.49/9.50 c s 9.5 232919 19058 204 102 73100 8306 7769 234.3 22 31
12.29/12.30 c R 12.3 261659 19042 204 118 73100 16057 15317 220.3 2 37
14.39/14.46 c s 14.5 263625 19023 204 123 73114 18662 17436 211.8 11 37
16.59/16.69 c B 16.7 265929 18994 204 152 73114 24010 22637 209.5 16 40
20.30/20.34 c s 20.3 268597 18985 204 161 73114 31065 29579 215.3 8 41
23.79/23.87 c R 23.9 271331 18965 204 181 73114 38513 36911 211.2 6 47
26.69/26.70 c s 26.7 273043 18965 204 181 73114 43237 41587 208.5 7 47
33.89/33.90 c
33.89/33.90 c original/binary fixed eliminated learned agility
33.89/33.90 c seconds variables equivalent conflicts height MB
33.89/33.90 c
33.89/33.90 c s 33.9 276293 18905 204 218 73137 58356 55635 203.3 10 52
36.09/36.14 c B 36.1 277269 18881 204 242 73137 64023 61204 208.6 4 57
41.29/41.30 c s 41.3 279556 18859 204 264 73137 70729 67669 213.9 11 59
48.89/48.93 c s 48.9 280376 18794 204 329 73137 82399 78955 213.1 22 64
51.99/52.05 c R 52.1 280605 18747 204 376 73137 89812 86203 209.1 21 70
61.09/61.12 c s 61.1 279960 18676 204 415 73169 107180 99559 213.8 11 85
61.60/61.62 c + 61.6 279997 18676 204 415 73169 107951 118746 214.4 11 87
71.79/71.80 c s 71.8 280408 18593 204 498 73169 124415 116250 209.9 13 94
77.49/77.54 c + 77.5 280922 18481 204 610 73169 134935 130620 208.1 9 99
81.89/81.98 c s 82.0 280328 18363 204 728 73169 141310 125528 206.8 28 97
91.99/92.00 c s 92.0 278633 18133 204 869 73258 158543 122370 210.2 9 90
92.89/92.92 c B 92.9 278658 18116 204 886 73258 160052 123856 210.0 14 93
96.80/96.83 c + 96.8 279035 18052 204 950 73258 168665 143682 209.4 11 98
102.09/102.16 c s 102.2 278940 18010 204 990 73260 175795 137546 215.3 7 98
114.40/114.47 c s 114.5 278803 17951 204 1049 73260 198551 144243 217.8 4 106
117.89/117.99 c R 118.0 279066 17884 204 1116 73260 205223 144912 215.4 16 109
120.79/120.80 c + 120.8 279191 17853 204 1147 73260 210830 158050 214.2 20 111
126.70/126.74 c s 126.8 278067 17759 204 1196 73305 217691 147693 211.8 23 107
140.40/140.45 c s 140.5 277813 17673 204 1282 73305 239652 158425 212.0 10 113
153.09/153.19 c
153.09/153.19 c original/binary fixed eliminated learned agility
153.09/153.19 c seconds variables equivalent conflicts height MB
153.09/153.19 c
153.09/153.19 c s 153.2 277147 17483 204 1472 73305 260621 158739 210.7 12 105
154.49/154.55 c + 154.6 277207 17460 204 1495 73305 263535 173855 211.0 11 108
166.70/166.79 c s 166.8 274307 17076 204 1785 73399 280246 163753 213.8 8 104
166.70/166.79 c - 166.8 274307 17076 204 1785 73399 280246 172117 213.8 8 104
180.80/180.82 c s 180.8 274469 16945 204 1916 73399 301024 172401 213.7 14 114
194.50/194.54 c + 194.6 275001 16811 204 2050 73399 326122 189328 212.5 8 131
198.19/198.30 c s 198.3 274169 16762 204 2099 73399 329244 176175 212.3 16 126
211.39/211.48 c s 211.5 272593 16577 204 2210 73473 347174 181544 214.7 17 124
224.70/224.74 c s 224.7 272283 16469 204 2318 73473 367060 189878 217.8 10 130
234.40/234.49 c B 234.5 272531 16416 204 2371 73473 384107 189617 220.0 7 141
239.60/239.60 c s 239.6 272145 16392 204 2395 73473 389003 189815 220.4 13 137
251.19/251.29 c + 251.3 272263 16350 204 2437 73473 407650 208260 222.1 27 150
253.80/253.80 c s 253.8 270576 16290 204 2444 73526 408260 184835 222.1 11 136
267.50/267.57 c s 267.6 270614 16253 204 2481 73526 425613 201977 222.7 4 151
283.70/283.79 c s 283.8 270515 16217 204 2517 73526 448116 209789 223.8 17 163
291.70/291.76 c N 291.8 270558 16201 204 2533 73526 461568 208617 222.5 26 173
303.30/303.32 c s 303.3 269939 16119 204 2596 73545 477565 205512 221.4 26 162
321.30/321.30 c s 321.3 269694 16022 204 2692 73546 499471 207827 218.9 13 164
326.90/326.93 c + 326.9 269935 15927 204 2787 73546 509563 229086 218.2 23 169
336.70/336.77 c
336.70/336.77 c original/binary fixed eliminated learned agility
336.70/336.77 c seconds variables equivalent conflicts height MB
336.70/336.77 c
336.70/336.77 c s 336.8 269196 15864 204 2850 73546 521446 221529 218.3 6 173
353.90/353.92 c s 353.9 267406 15743 204 2911 73606 540778 216894 218.1 11 158
375.70/375.71 c s 375.7 267231 15671 204 2983 73606 566795 229639 217.6 22 174
394.81/394.81 c s 394.8 267069 15602 204 3052 73606 589403 229215 217.7 12 173
411.70/411.78 c s 411.8 266227 15513 204 3114 73633 610919 222966 217.8 18 162
430.20/430.24 c s 430.3 266206 15484 204 3143 73633 636300 229865 219.4 17 170
430.90/430.95 c + 431.0 266210 15483 204 3144 73633 636950 251994 219.7 13 173
451.40/451.46 c s 451.5 265928 15413 204 3214 73633 657472 250238 219.7 12 194
470.20/470.23 c s 470.2 264562 15323 204 3272 73665 677833 247051 219.4 8 189
493.40/493.46 c s 493.5 264288 15259 204 3336 73665 703570 252323 218.8 5 204
515.80/515.85 c s 515.9 263856 15177 204 3418 73665 734571 252561 217.6 9 198
534.70/534.71 c s 534.7 262219 15049 204 3498 73713 755708 244972 217.5 21 187
556.91/556.98 c s 557.0 262024 14971 204 3576 73713 782842 252521 216.2 18 192
565.61/565.61 c + 565.6 262054 14963 204 3584 73713 796186 277193 215.4 7 198
578.00/578.09 c s 578.1 262037 14957 204 3590 73713 808284 264355 216.2 11 204
599.01/599.06 c s 599.1 260889 14894 204 3620 73746 832360 271488 217.1 8 209
620.51/620.57 c s 620.6 260741 14842 204 3672 73746 857386 277442 218.3 7 212
639.40/639.44 c s 639.5 260630 14814 204 3700 73746 875769 277590 218.7 7 216
656.01/656.07 c B 656.1 260686 14807 204 3707 73746 896199 277666 220.1 14 223
659.50/659.57 c
659.50/659.57 c original/binary fixed eliminated learned agility
659.50/659.57 c seconds variables equivalent conflicts height MB
659.50/659.57 c
659.50/659.57 c s 659.6 260395 14797 204 3707 73756 896603 276437 220.1 15 216
681.31/681.37 c s 681.4 260238 14756 204 3748 73756 920372 277980 221.1 17 224
705.01/705.00 c s 705.0 260232 14749 204 3755 73756 945053 277984 222.4 15 236
728.81/728.80 c s 728.8 259672 14732 204 3757 73771 965787 277553 224.0 19 246
753.01/753.06 c s 753.1 259680 14731 204 3758 73771 986632 278080 225.2 15 260
761.81/761.83 c + 761.9 259681 14730 204 3759 73771 995249 304912 225.9 10 271
777.81/777.85 c s 777.9 259707 14730 204 3759 73771 1007393 289975 226.7 10 283
799.21/799.20 c R 799.2 259715 14729 204 3760 73771 1025655 306347 227.5 14 315
812.21/812.21 c s 812.2 259518 14707 204 3779 73774 1034584 305787 227.2 10 314
844.51/844.53 c s 844.6 259425 14669 204 3817 73774 1065675 305224 225.6 12 324
875.71/875.77 c s 875.8 259342 14639 204 3847 73774 1104121 306800 225.1 16 322
910.51/910.54 c s 910.6 257892 14508 204 3949 73803 1137310 302266 224.0 16 322
939.81/939.85 c s 939.9 257566 14406 204 4051 73803 1163374 305859 223.2 10 317
967.71/967.71 c s 967.7 257631 14394 204 4063 73803 1188806 306152 223.7 15 315
994.52/994.53 c s 994.6 257216 14374 204 4068 73818 1209877 304537 224.3 9 310
1026.11/1026.20 c s 1026.2 257101 14348 204 4094 73818 1238863 305732 223.5 11 302
1030.21/1030.27 c + 1030.3 257162 14345 204 4097 73818 1244062 335403 223.5 9 304
1056.11/1056.14 c s 1056.2 257170 14298 204 4144 73818 1264834 326060 223.2 21 315
1085.82/1085.85 c s 1085.9 256913 14253 204 4172 73835 1295258 332485 223.4 12 304
1118.82/1118.87 c
1118.82/1118.87 c original/binary fixed eliminated learned agility
1118.82/1118.87 c seconds variables equivalent conflicts height MB
1118.82/1118.87 c
1118.82/1118.87 c s 1118.9 256789 14190 204 4235 73835 1327039 335900 222.6 7 303
1152.01/1152.09 c s 1152.1 256507 14159 205 4265 73835 1357095 325012 222.1 18 292
1179.52/1179.52 c s 1179.6 256226 14131 205 4285 73843 1381509 335621 222.2 5 300
1208.22/1208.28 c s 1208.3 256306 14124 205 4292 73843 1404327 336139 222.8 6 303
1240.02/1240.06 c s 1240.1 256299 14120 205 4296 73843 1432190 336208 223.0 6 297
1269.52/1269.57 c s 1269.6 256204 14111 205 4302 73846 1454527 336086 223.6 16 297
1299.43/1299.46 c s 1299.5 256099 14074 205 4339 73846 1481781 335843 222.4 8 294
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
1300.03/1300.00 c 1482255 conflicts, 7699554 decisions, 1441 random
1300.03/1300.00 c 1 iterations, 2758 restarts, 163 skipped
1300.03/1300.00 c 12 enlarged, 1263 shrunken, 14492 rescored, 388 rebiased
1300.03/1300.00 c 68 simplifications, 0 reductions
1300.03/1300.00 c
1300.03/1300.00 c vars: 205 fixed, 4339 equiv, 73846 elim, 4339 merged
1300.03/1300.00 c elim: 21194063 resolutions, 67 phases, 22 rounds
1300.03/1300.00 c sbst: 83% substituted, 0.6% nots, 95.9% ands, 3.5% xors, 0.0% ites
1300.03/1300.00 c arty: 2.46 and 2.00 xor average arity
1300.03/1300.00 c prbe: 634690 probed, 1109 phases, 20 rounds
1300.03/1300.00 c prbe: 2 failed, 192 lifted, 407 merged
1300.03/1300.00 c sccs: 204 non trivial, 0 fixed, 510 merged
1300.03/1300.00 c hash: 0 units, 3422 merged
1300.03/1300.00 c mins: 334612794 learned, 31% deleted, 410 strong, 616 depth
1300.03/1300.00 c subs: 8239 forward, 2373 backward, 2008 doms
1300.03/1300.00 c strs: 5743 forward, 745 backward
1300.03/1300.00 c doms: 32485 dominators, 4548 high, 18 low
1300.03/1300.00 c prps: 1280847173 propagations, 0.99 megaprops
1300.03/1300.00 c
1300.03/1300.00 c 1300.0 seconds, 345 MB max, 1078 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-3308455-1303983222/watcher-3308455-1303983222 -o /tmp/evaluation-result-3308455-1303983222/solver-3308455-1303983222 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308455-1303983222.cnf
running on 2 cores: 0,2
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/174 21723
/proc/meminfo: memFree=14621236/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=5004 CPUtime=0 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 1103 0 0 0 0 0 0 0 21 0 1 0 588552952 5124096 1059 33554432000 134512640 135151029 4292331584 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21723/statm: 1251 1060 60 156 0 1094 0
[startup+0.0525791 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21723
/proc/meminfo: memFree=14621236/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=13152 CPUtime=0.04 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 3274 0 0 0 4 0 0 0 21 0 1 0 588552952 13467648 3132 33554432000 134512640 135151029 4292331584 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 3288 3133 64 156 0 3131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13152
[startup+0.100573 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21723
/proc/meminfo: memFree=14621236/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=17756 CPUtime=0.09 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 4542 0 0 0 9 0 0 0 21 0 1 0 588552952 18182144 4271 33554432000 134512640 135151029 4292331584 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 4439 4272 64 156 0 4282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17756
[startup+0.30053 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21723
/proc/meminfo: memFree=14621236/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=31044 CPUtime=0.29 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 8090 0 0 0 29 0 0 0 22 0 1 0 588552952 31789056 7561 33554432000 134512640 135151029 4292331584 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 7761 7561 80 156 0 7604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31044
[startup+0.700461 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21723
/proc/meminfo: memFree=14621236/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=36444 CPUtime=0.69 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 11532 0 0 0 68 1 0 0 24 0 1 0 588552952 37318656 8894 33554432000 134512640 135151029 4292331584 18446744073709551615 134578594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 9111 8894 80 156 0 8954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36444
[startup+1.50029 s]
/proc/loadavg: 0.00 0.00 0.00 4/185 21744
/proc/meminfo: memFree=14521628/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=49968 CPUtime=1.49 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 16862 0 0 0 147 2 0 0 25 0 1 0 588552952 51167232 12043 33554432000 134512640 135151029 4292331584 18446744073709551615 134575363 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 12492 12043 80 156 0 12335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49968
[startup+3.10101 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 21754
/proc/meminfo: memFree=14432516/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=56392 CPUtime=3.09 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 18255 0 0 0 307 2 0 0 25 0 1 0 588552952 57745408 13436 33554432000 134512640 135151029 4292331584 18446744073709551615 134514072 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 14098 13436 80 156 0 13941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56392
[startup+6.30043 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 21754
/proc/meminfo: memFree=14355768/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=51024 CPUtime=6.29 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 19399 0 0 0 627 2 0 0 25 0 1 0 588552952 52248576 12104 33554432000 134512640 135151029 4292331584 18446744073709551615 134554724 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 12756 12104 80 156 0 12599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51024
[startup+12.7003 s]
/proc/loadavg: 0.61 0.13 0.04 5/190 21754
/proc/meminfo: memFree=14331232/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=52048 CPUtime=12.69 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 22132 0 0 0 1267 2 0 0 25 0 1 0 588552952 53297152 12360 33554432000 134512640 135151029 4292331584 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 13012 12360 80 156 0 12855 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52048
[startup+25.501 s]
/proc/loadavg: 1.36 0.32 0.11 5/190 21755
/proc/meminfo: memFree=14307076/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=54688 CPUtime=25.5 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 29294 0 0 0 2546 4 0 0 25 0 1 0 588552952 56000512 13030 33554432000 134512640 135151029 4292331584 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 13672 13030 80 156 0 13515 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 54688
[startup+51.1003 s]
/proc/loadavg: 2.26 0.62 0.21 5/190 21755
/proc/meminfo: memFree=14270144/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=76052 CPUtime=51.09 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 48665 0 0 0 5101 8 0 0 25 0 1 0 588552952 77877248 18391 33554432000 134512640 135151029 4292331584 18446744073709551615 134577848 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 19013 18391 80 156 0 18856 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76052
[startup+102.307 s]
/proc/loadavg: 3.24 1.14 0.40 5/190 21784
/proc/meminfo: memFree=14220988/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=114752 CPUtime=102.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 74780 0 0 0 10216 14 0 0 25 0 1 0 588552952 117506048 28036 33554432000 134512640 135151029 4292331584 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 28688 28036 80 156 0 28531 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 114752
[startup+162.3 s]
/proc/loadavg: 3.72 1.65 0.63 5/190 21785
/proc/meminfo: memFree=14151952/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=130788 CPUtime=162.29 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 92376 0 0 0 16212 17 0 0 25 0 1 0 588552952 133926912 32072 33554432000 134512640 135151029 4292331584 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 32697 32072 80 156 0 32540 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 130788
[startup+222.3 s]
/proc/loadavg: 3.94 2.09 0.84 5/190 21787
/proc/meminfo: memFree=14081376/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=152804 CPUtime=222.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 110947 0 0 0 22210 20 0 0 25 0 1 0 588552952 156471296 37579 33554432000 134512640 135151029 4292331584 18446744073709551615 134551333 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 38201 37579 80 156 0 38044 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 152804
[startup+282.301 s]
/proc/loadavg: 3.97 2.44 1.03 6/190 21789
/proc/meminfo: memFree=14021588/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=183072 CPUtime=282.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 133475 0 0 0 28205 25 0 0 25 0 1 0 588552952 187465728 45109 33554432000 134512640 135151029 4292331584 18446744073709551615 134680060 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 45768 45109 80 156 0 45611 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 183072
[startup+342.301 s]
/proc/loadavg: 3.99 2.72 1.22 5/190 21793
/proc/meminfo: memFree=13973624/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=195148 CPUtime=342.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 147800 0 0 0 34200 30 0 0 25 0 1 0 588552952 199831552 48144 33554432000 134512640 135151029 4292331584 18446744073709551615 134578256 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 48787 48144 80 156 0 48630 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 195148
[startup+402.301 s]
/proc/loadavg: 3.99 2.95 1.39 5/190 21795
/proc/meminfo: memFree=13944300/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=196660 CPUtime=402.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 155081 0 0 0 40199 31 0 0 25 0 1 0 588552952 201379840 48509 33554432000 134512640 135151029 4292331584 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 49165 48509 80 156 0 49008 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 196660
[startup+462.301 s]
/proc/loadavg: 3.99 3.14 1.55 5/190 21796
/proc/meminfo: memFree=13915388/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=216916 CPUtime=462.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 166820 0 0 0 46197 33 0 0 25 0 1 0 588552952 222121984 53588 33554432000 134512640 135151029 4292331584 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 54229 53588 80 156 0 54072 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 216916
[startup+522.3 s]
/proc/loadavg: 3.99 3.29 1.70 5/190 21798
/proc/meminfo: memFree=13883384/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=226232 CPUtime=522.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 175811 0 0 0 52195 35 0 0 25 0 1 0 588552952 231661568 55919 33554432000 134512640 135151029 4292331584 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 56558 55919 80 156 0 56401 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 226232
[startup+582.3 s]
/proc/loadavg: 3.99 3.42 1.84 5/190 21800
/proc/meminfo: memFree=13872320/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=226232 CPUtime=582.3 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 182474 0 0 0 58194 36 0 0 25 0 1 0 588552952 231661568 55922 33554432000 134512640 135151029 4292331584 18446744073709551615 134574555 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 56558 55922 80 156 0 56401 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 226232
[startup+642.301 s]
/proc/loadavg: 3.99 3.52 1.97 5/190 21801
/proc/meminfo: memFree=13843788/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=239260 CPUtime=642.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 192369 0 0 0 64193 38 0 0 25 0 1 0 588552952 245002240 59157 33554432000 134512640 135151029 4292331584 18446744073709551615 134578216 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 59815 59157 80 156 0 59658 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 239260
[startup+702.301 s]
/proc/loadavg: 4.03 3.62 2.10 5/190 21803
/proc/meminfo: memFree=13820568/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=260040 CPUtime=702.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 202718 0 0 0 70189 42 0 0 25 0 1 0 588552952 266280960 64342 33554432000 134512640 135151029 4292331584 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 65010 64342 80 156 0 64853 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 260040
[startup+762.307 s]
/proc/loadavg: 4.07 3.70 2.22 5/190 21804
/proc/meminfo: memFree=13782096/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=293416 CPUtime=762.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 217144 0 0 0 76186 45 0 0 25 0 1 0 588552952 300457984 72727 33554432000 134512640 135151029 4292331584 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 73354 72727 80 156 0 73197 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 293416
[startup+822.301 s]
/proc/loadavg: 4.02 3.75 2.33 5/190 21806
/proc/meminfo: memFree=13730744/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=351228 CPUtime=822.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 235983 0 0 0 82181 50 0 0 25 0 1 0 588552952 359657472 87126 33554432000 134512640 135151029 4292331584 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 87807 87126 80 156 0 87650 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 351228
[startup+882.3 s]
/proc/loadavg: 4.01 3.80 2.43 5/190 21808
/proc/meminfo: memFree=13715832/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=357912 CPUtime=882.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 241693 0 0 0 88180 51 0 0 25 0 1 0 588552952 366501888 88839 33554432000 134512640 135151029 4292331584 18446744073709551615 134554920 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 89478 88839 80 156 0 89321 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 357912
[startup+942.301 s]
/proc/loadavg: 4.00 3.83 2.53 6/190 21809
/proc/meminfo: memFree=13689772/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=363492 CPUtime=942.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 247522 0 0 0 94178 53 0 0 25 0 1 0 588552952 372215808 90228 33554432000 134512640 135151029 4292331584 18446744073709551615 134552446 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90873 90228 80 156 0 90716 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 363492
[startup+1002.3 s]
/proc/loadavg: 4.00 3.86 2.62 5/190 21811
/proc/meminfo: memFree=13676596/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=363492 CPUtime=1002.32 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 251446 0 0 0 100178 54 0 0 25 0 1 0 588552952 372215808 90228 33554432000 134512640 135151029 4292331584 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90873 90228 80 156 0 90716 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 363492
[startup+1062.3 s]
/proc/loadavg: 4.00 3.88 2.70 5/190 21812
/proc/meminfo: memFree=13670880/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=363492 CPUtime=1062.31 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 255189 0 0 0 106177 54 0 0 25 0 1 0 588552952 372215808 90228 33554432000 134512640 135151029 4292331584 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90873 90228 80 156 0 90716 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 363492
[startup+1122.3 s]
/proc/loadavg: 4.00 3.90 2.78 5/190 21814
/proc/meminfo: memFree=13666632/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=363492 CPUtime=1122.32 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 258570 0 0 0 112177 55 0 0 25 0 1 0 588552952 372215808 90228 33554432000 134512640 135151029 4292331584 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90873 90228 80 156 0 90716 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 363492
[startup+1182.3 s]
/proc/loadavg: 4.00 3.92 2.85 5/190 21816
/proc/meminfo: memFree=13636868/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=363492 CPUtime=1182.32 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 261770 0 0 0 118176 56 0 0 25 0 1 0 588552952 372215808 90228 33554432000 134512640 135151029 4292331584 18446744073709551615 134580649 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90873 90228 80 156 0 90716 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 363492
[startup+1242.3 s]
/proc/loadavg: 4.00 3.93 2.92 5/190 21817
/proc/meminfo: memFree=13632856/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=363492 CPUtime=1242.32 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 264970 0 0 0 124176 56 0 0 25 0 1 0 588552952 372215808 90228 33554432000 134512640 135151029 4292331584 18446744073709551615 134552184 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90873 90228 80 156 0 90716 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 363492
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 3.96 2.99 5/190 21819
/proc/meminfo: memFree=13614992/32950928 swapFree=67111528/67111528
[pid=21723] ppid=21721 vsize=362464 CPUtime=1300.03 cores=0,2
/proc/21723/stat : 21723 (precosat) R 21721 21723 21693 0 -1 4202496 267142 0 0 0 129946 57 0 0 25 0 1 0 588552952 371163136 89971 33554432000 134512640 135151029 4292331584 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/21723/statm: 90616 89971 80 156 0 90459 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 362464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1300.06
CPU user time (s): 1299.47
CPU system time (s): 0.59091
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 366808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.47
system time used= 0.59091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267143
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= 2237
runsolver used 2.32965 second user time and 4.78027 second system time
The end
Launcher Data
Begin job on node112 at 2011-04-28 11:33:43
IDJOB=3308455
IDBENCH=70797
IDSOLVER=1690
FILE ID=node112/3308455-1303983222
RUNJOBID= node112-1303983222-21711
PBS_JOBID= 13168714
Free space on /tmp= 72560 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308455-1303983222/watcher-3308455-1303983222 -o /tmp/evaluation-result-3308455-1303983222/solver-3308455-1303983222 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308455-1303983222.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=992399535
node112.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.828
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.65
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.828
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.83
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.828
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.67
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.828
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.82
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.828
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 : 5261.27
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.828
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.82
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.828
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.75
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.828
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.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 14621640 kB
Buffers: 1991504 kB
Cached: 15717108 kB
SwapCached: 0 kB
Active: 6767508 kB
Inactive: 11006288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 14621640 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5224 kB
Writeback: 0 kB
AnonPages: 64652 kB
Mapped: 14428 kB
Slab: 491580 kB
PageTables: 5208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 187668 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= 72544 MiB
End job on node112 at 2011-04-28 11:55:25