Trace number 3308962
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 | application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf |
| MD5SUM | 07ea67092ce3fd4529e72f69434e3f99 |
| 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 | 1808 |
| Number of clauses | 9968 |
| Sum of the clauses size | 39152 |
| Maximum clause length | 5 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 144 |
| Number of clauses of size 2 | 320 |
| Number of clauses of size 3 | 3904 |
| Number of clauses of size 4 | 1344 |
| Number of clauses of size 5 | 4256 |
| 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-3308962-1303984743.cnf
0.00/0.00 c found header 'p cnf 1808 9968'
0.00/0.00 c finished parsing
0.00/0.00 c
0.00/0.00 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00 c
0.00/0.00 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.00 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.00 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.00 c
0.00/0.00 c starting search after 0.0 seconds
0.00/0.00 c no decision limit
0.00/0.00 c
0.00/0.00 c original/binary fixed eliminated learned agility
0.00/0.00 c seconds variables equivalent conflicts height MB
0.00/0.00 c
0.00/0.00 c * 0.0 9760 1536 144 128 0 0 0 0.0 0 1
0.01/0.03 c s 0.0 8992 1408 144 256 0 0 0 0.0 0 1
0.01/0.03 c l 0.0 8992 1408 144 256 0 0 8928 0.0 0 1
0.01/0.03 c R 0.0 8992 1408 144 256 0 100 100 144.7 17 1
0.01/0.03 c R 0.0 8994 1407 144 257 0 201 199 146.3 22 1
0.01/0.04 c N 0.0 8996 1405 144 259 0 803 799 127.9 41 1
0.01/0.05 c B 0.0 8996 1405 144 259 0 1002 998 123.7 36 1
0.01/0.06 c B 0.1 8997 1404 144 260 0 2002 1997 110.4 38 1
0.01/0.07 c N 0.1 8997 1404 144 260 0 2411 2406 109.9 39 1
0.09/0.19 c N 0.2 9002 1401 144 263 0 6423 6413 98.1 42 2
0.19/0.21 c s 0.2 8988 1401 144 263 0 6553 6533 97.8 44 2
0.29/0.33 c B 0.3 8988 1401 144 263 0 8004 7984 92.6 47 2
0.39/0.42 c + 0.4 8988 1401 144 263 0 8928 9820 90.1 44 2
0.69/0.74 c + 0.7 8988 1401 144 263 0 11162 10802 86.6 47 3
0.79/0.86 c s 0.9 8989 1401 144 263 0 11911 10620 85.5 44 3
1.19/1.27 c + 1.3 8989 1401 144 263 0 13951 11882 82.2 43 4
1.59/1.65 c N 1.6 8989 1401 144 263 0 16043 11935 80.1 41 4
1.89/1.93 c + 1.9 8989 1401 144 263 0 17436 13070 78.9 44 5
2.79/2.83 c + 2.8 8989 1401 144 263 0 21795 14377 76.0 47 5
3.39/3.44 c
3.39/3.44 c original/binary fixed eliminated learned agility
3.39/3.44 c seconds variables equivalent conflicts height MB
3.39/3.44 c
3.39/3.44 c B 3.4 8989 1401 144 263 0 24010 14478 75.0 50 6
3.59/3.68 c s 3.7 8982 1400 144 264 0 24597 14486 74.7 49 5
4.09/4.18 c + 4.2 8982 1400 144 264 0 27241 15814 73.8 50 6
4.89/4.92 c s 4.9 8981 1399 144 265 0 30820 15859 72.6 50 6
5.59/5.60 c + 5.6 8981 1399 144 265 0 34051 17395 72.2 43 6
6.60/6.62 c N 6.6 8981 1399 144 265 0 38483 17459 71.6 47 7
7.49/7.56 c s 7.6 8982 1399 144 265 0 42064 17453 71.1 47 7
7.60/7.70 c + 7.7 8982 1399 144 265 0 42565 19134 71.0 49 7
8.09/8.16 c s 8.2 8981 1398 144 266 0 44410 19192 70.7 50 7
8.80/8.83 c s 8.8 8980 1397 144 267 0 47752 19191 70.1 48 7
9.49/9.57 c s 9.6 8979 1396 144 268 0 51398 19181 69.5 47 7
9.80/9.90 c + 9.9 8979 1396 144 268 0 53206 21047 69.2 47 7
11.39/11.42 c s 11.4 8978 1395 144 269 0 59674 21096 68.3 47 7
12.10/12.13 c s 12.1 8977 1394 144 270 0 62756 21095 67.8 48 7
12.39/12.42 c B 12.4 8977 1394 144 270 0 64023 21129 67.7 50 8
12.99/13.06 c + 13.1 8977 1394 144 270 0 66505 23151 67.5 49 8
17.39/17.48 c + 17.5 8977 1394 144 270 0 83132 25466 66.2 49 13
19.49/19.50 c N 19.5 8977 1394 144 270 0 89788 21171 65.9 46 8
19.59/19.63 c s 19.6 8976 1393 144 271 0 89917 21298 66.0 44 8
20.39/20.49 c
20.39/20.49 c original/binary fixed eliminated learned agility
20.39/20.49 c seconds variables equivalent conflicts height MB
20.39/20.49 c
20.39/20.49 c s 20.5 8978 1392 144 272 0 98278 25517 68.8 44 8
21.59/21.63 c + 21.6 8979 1392 144 272 0 103916 28012 68.4 49 9
21.59/21.69 c s 21.7 8979 1392 144 272 0 103991 25584 68.4 48 8
25.89/25.93 c s 25.9 8978 1391 144 273 0 117823 28114 67.2 45 10
26.89/26.92 c s 26.9 8978 1390 144 274 0 121962 28077 67.1 46 10
28.09/28.10 c s 28.1 8977 1389 144 275 0 129090 28058 66.9 49 10
28.09/28.16 c + 28.2 8977 1389 144 275 0 129895 30813 66.9 46 11
30.19/30.26 c s 30.3 8978 1389 144 275 0 136911 30868 66.5 49 11
38.50/38.56 c B 38.6 8978 1389 144 275 0 160045 33518 65.6 49 15
39.39/39.40 c + 39.4 8978 1389 144 275 0 162365 33894 65.5 50 16
39.99/40.01 c s 40.0 8977 1388 144 276 0 163399 36870 65.5 49 15
44.89/44.98 c s 45.0 8978 1388 144 276 0 178985 34757 64.8 48 13
46.39/46.49 c s 46.5 8974 1387 144 277 0 191283 33938 65.1 47 11
49.59/49.69 c + 49.7 8974 1387 144 277 0 202955 37283 64.9 48 12
50.39/50.41 c N 50.4 8974 1387 144 277 0 205165 36182 64.8 48 13
50.89/50.95 c s 51.0 8975 1387 144 277 0 206745 37364 64.8 50 13
52.69/52.78 c s 52.8 8972 1386 144 278 0 213371 37368 64.7 50 13
65.89/66.00 c + 66.0 8972 1386 144 278 0 253690 41011 63.6 48 20
71.79/71.82 c s 71.8 8967 1385 144 279 0 264376 59563 63.3 49 22
75.39/75.48 c
75.39/75.48 c original/binary fixed eliminated learned agility
75.39/75.48 c seconds variables equivalent conflicts height MB
75.39/75.48 c
75.39/75.48 c s 75.5 8966 1384 144 280 0 276521 34373 63.2 49 11
79.39/79.49 c s 79.5 8967 1384 144 280 0 290628 41086 63.1 50 13
80.89/80.94 c s 80.9 8966 1383 144 281 0 297419 41100 63.0 51 13
82.50/82.56 c s 82.6 8965 1381 144 283 0 305026 41061 63.0 49 13
86.59/86.61 c + 86.6 8965 1381 144 283 0 317110 45112 62.9 45 16
100.00/100.04 c s 100.1 8958 1380 144 284 0 351319 49539 62.7 48 19
102.09/102.14 c s 102.1 8958 1379 144 285 0 358213 45171 62.7 48 16
107.29/107.36 c B 107.4 8958 1379 144 285 0 384091 45182 62.4 49 16
110.90/110.96 c + 111.0 8958 1379 144 285 0 396385 49623 62.2 50 16
124.79/124.88 c s 124.9 8955 1378 144 286 0 436312 45682 61.8 45 14
127.29/127.35 c s 127.4 8954 1377 144 287 0 451301 49662 61.9 45 14
130.59/130.66 c N 130.7 8954 1377 144 287 0 461501 49674 61.8 48 17
134.49/134.58 c s 134.6 8951 1376 144 288 0 471366 49674 61.8 50 16
142.59/142.69 c + 142.7 8951 1376 144 288 0 495481 54585 61.8 47 20
206.80/206.87 c + 206.9 8951 1376 144 288 0 619351 60043 60.9 48 35
217.19/217.29 c s 217.3 8950 1375 144 289 0 637502 46045 60.8 40 20
219.29/219.30 c s 219.3 8950 1373 144 291 0 650202 58738 61.1 43 24
222.29/222.32 c s 222.3 8949 1372 144 292 0 668967 60090 61.7 46 21
255.29/255.34 c - 255.4 8945 1371 144 293 0 746874 59443 61.8 44 13
255.39/255.45 c
255.39/255.45 c original/binary fixed eliminated learned agility
255.39/255.45 c seconds variables equivalent conflicts height MB
255.39/255.45 c
255.39/255.45 c s 255.5 8944 1371 144 293 0 746874 45399 61.8 44 14
255.39/255.45 c - 255.5 8944 1371 144 293 0 746874 58849 61.8 44 14
256.59/256.63 c + 256.6 8948 1368 144 296 0 758780 64733 62.3 48 18
257.19/257.22 c s 257.2 8942 1368 144 296 0 763421 61938 62.4 48 17
260.09/260.11 c s 260.1 8941 1367 144 297 0 776811 64788 62.5 44 18
263.59/263.65 c s 263.7 8938 1367 144 297 0 784366 64818 62.5 48 18
326.60/326.66 c B 326.7 8938 1367 144 297 0 896166 64813 62.0 49 27
344.90/344.90 c s 344.9 8933 1366 144 298 0 931068 64754 61.8 46 25
351.20/351.24 c + 351.3 8933 1366 144 298 0 948477 71206 61.8 45 26
364.50/364.58 c s 364.6 8934 1366 144 298 0 976069 71249 61.6 48 24
367.20/367.25 c s 367.3 8933 1365 144 299 0 994133 71413 61.9 42 24
382.20/382.22 c N 382.2 8933 1365 144 299 0 1025340 71283 61.9 49 27
422.60/422.69 c s 422.7 8928 1364 144 300 0 1090870 64575 61.7 48 23
429.50/429.50 c s 429.5 8927 1363 144 301 0 1106869 71313 61.7 52 26
456.90/456.94 c + 457.0 8927 1363 144 301 0 1185595 78326 61.7 50 35
486.01/486.01 c s 486.0 8926 1362 144 302 0 1251422 78375 61.6 50 24
602.01/602.10 c + 602.1 8926 1362 144 302 0 1481992 86158 61.1 49 32
662.41/662.44 c s 662.5 8925 1361 144 303 0 1567979 68486 61.1 49 25
666.11/666.13 c s 666.2 8925 1359 144 305 0 1590070 86264 61.4 48 29
670.11/670.13 c
670.11/670.13 c original/binary fixed eliminated learned agility
670.11/670.13 c seconds variables equivalent conflicts height MB
670.11/670.13 c
670.11/670.13 c s 670.2 8916 1357 144 307 0 1615099 86235 61.8 50 24
800.51/800.57 c + 800.6 8916 1357 144 307 0 1852492 94773 61.6 49 25
885.63/885.66 c s 885.7 8917 1357 144 307 0 1985367 71351 61.3 39 25
889.83/889.86 c s 889.9 8916 1356 144 308 0 1996387 82369 61.4 46 29
900.73/900.77 c s 900.8 8911 1355 144 309 0 2018813 94840 61.4 47 32
905.63/905.68 c s 905.7 8910 1354 144 310 0 2036291 94831 61.4 48 30
910.83/910.87 c B 910.9 8910 1354 144 310 0 2048349 94872 61.4 49 33
978.72/978.73 c s 978.8 8907 1354 144 310 0 2164191 72954 61.4 47 27
1030.02/1030.06 c N 1030.1 8907 1354 144 310 0 2255586 94826 61.4 49 40
1074.73/1074.72 c + 1074.8 8907 1354 144 310 0 2315615 104250 61.4 49 33
1083.93/1083.94 c s 1084.0 8908 1354 144 310 0 2330453 97617 61.3 51 37
1105.03/1105.02 c s 1105.1 8907 1353 144 311 0 2381450 104330 61.3 48 35
1127.73/1127.72 c s 1127.8 8908 1353 144 311 0 2421996 104330 61.3 50 37
1134.83/1134.83 c s 1134.9 8903 1352 144 312 0 2456625 104290 61.3 49 35
1147.43/1147.43 c s 1147.5 8902 1351 144 313 0 2483684 104340 61.3 49 36
1257.73/1257.75 c s 1257.8 8897 1350 144 314 0 2731766 138655 61.2 49 53
1300.04/1300.00 c
1300.04/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.04/1300.00 c
1300.04/1300.00 c 2824709 conflicts, 3176196 decisions, 2 random
1300.04/1300.00 c 0 iterations, 2 restarts, 4971 skipped
1300.04/1300.00 c 26 enlarged, 125 shrunken, 27606 rescored, 668 rebiased
1300.04/1300.00 c 60 simplifications, 18 reductions
1300.04/1300.00 c
1300.04/1300.00 c vars: 144 fixed, 314 equiv, 0 elim, 314 merged
1300.04/1300.00 c elim: 1290036 resolutions, 32 phases, 32 rounds
1300.04/1300.00 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
1300.04/1300.00 c arty: 0.00 and 0.00 xor average arity
1300.04/1300.00 c prbe: 192546 probed, 70 phases, 70 rounds
1300.04/1300.00 c prbe: 0 failed, 0 lifted, 0 merged
1300.04/1300.00 c sccs: 0 non trivial, 0 fixed, 0 merged
1300.04/1300.00 c hash: 0 units, 314 merged
1300.04/1300.00 c mins: 228658413 learned, 37% deleted, 83 strong, 46 depth
1300.04/1300.00 c subs: 66 forward, 66 backward, 256 doms
1300.04/1300.00 c strs: 0 forward, 0 backward
1300.04/1300.00 c doms: 256 dominators, 0 high, 0 low
1300.04/1300.00 c prps: 1076973861 propagations, 0.83 megaprops
1300.04/1300.00 c
1300.04/1300.00 c 1300.1 seconds, 61 MB max, 902 MB recycled
1300.04/1300.00 c
1300.04/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.04/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-3308962-1303984743/watcher-3308962-1303984743 -o /tmp/evaluation-result-3308962-1303984743/solver-3308962-1303984743 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308962-1303984743.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: 4.09 3.98 3.20 5/189 23384
/proc/meminfo: memFree=15516832/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=1660 CPUtime=0 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 358 0 0 0 0 0 0 0 25 0 1 0 588704957 1699840 314 33554432000 134512640 135151029 4292049616 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 415 315 80 156 0 258 0
[startup+0.014221 s]
/proc/loadavg: 4.09 3.98 3.20 5/189 23384
/proc/meminfo: memFree=15516832/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=1828 CPUtime=0.01 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 382 0 0 0 1 0 0 0 25 0 1 0 588704957 1871872 331 33554432000 134512640 135151029 4292049616 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 457 333 80 156 0 300 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1828
[startup+0.101206 s]
/proc/loadavg: 4.09 3.98 3.20 5/189 23384
/proc/meminfo: memFree=15516832/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=2224 CPUtime=0.09 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 508 0 0 0 9 0 0 0 25 0 1 0 588704957 2277376 457 33554432000 134512640 135151029 4292049616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 556 457 80 156 0 399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2224
[startup+0.301164 s]
/proc/loadavg: 4.09 3.98 3.20 5/189 23384
/proc/meminfo: memFree=15516832/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=3148 CPUtime=0.29 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 723 0 0 0 29 0 0 0 25 0 1 0 588704957 3223552 672 33554432000 134512640 135151029 4292049616 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 787 672 80 156 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3148
[startup+0.701099 s]
/proc/loadavg: 4.09 3.98 3.20 5/189 23384
/proc/meminfo: memFree=15516832/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=4072 CPUtime=0.69 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 946 0 0 0 69 0 0 0 25 0 1 0 588704957 4169728 895 33554432000 134512640 135151029 4292049616 18446744073709551615 134530828 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 1018 895 80 156 0 861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4072
[startup+1.50094 s]
/proc/loadavg: 4.08 3.98 3.20 5/190 23385
/proc/meminfo: memFree=15513856/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=5260 CPUtime=1.49 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 1254 0 0 0 149 0 0 0 25 0 1 0 588704957 5386240 1203 33554432000 134512640 135151029 4292049616 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 1315 1203 80 156 0 1158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5260
[startup+3.10064 s]
/proc/loadavg: 4.08 3.98 3.20 5/190 23385
/proc/meminfo: memFree=15510756/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=7120 CPUtime=3.09 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 1703 0 0 0 309 0 0 0 25 0 1 0 588704957 7290880 1652 33554432000 134512640 135151029 4292049616 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 1780 1652 80 156 0 1623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7120
[startup+6.30104 s]
/proc/loadavg: 4.08 3.98 3.20 5/190 23385
/proc/meminfo: memFree=15509112/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=8300 CPUtime=6.29 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 2029 0 0 0 629 0 0 0 25 0 1 0 588704957 8499200 1978 33554432000 134512640 135151029 4292049616 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 2075 1978 80 156 0 1918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8300
[startup+12.7008 s]
/proc/loadavg: 4.07 3.98 3.21 5/190 23385
/proc/meminfo: memFree=15506020/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=9420 CPUtime=12.69 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 2294 0 0 0 1269 0 0 0 25 0 1 0 588704957 9646080 2243 33554432000 134512640 135151029 4292049616 18446744073709551615 134554797 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 2355 2243 80 156 0 2198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9420
[startup+25.5004 s]
/proc/loadavg: 4.06 3.98 3.21 5/190 23386
/proc/meminfo: memFree=15479848/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=16740 CPUtime=25.49 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 4123 0 0 0 2548 1 0 0 25 0 1 0 588704957 17141760 4072 33554432000 134512640 135151029 4292049616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 4185 4072 80 156 0 4028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16740
[startup+51.1005 s]
/proc/loadavg: 4.04 3.98 3.23 5/190 23386
/proc/meminfo: memFree=15486396/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=18564 CPUtime=51.09 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 4570 0 0 0 5108 1 0 0 25 0 1 0 588704957 19009536 4519 33554432000 134512640 135151029 4292049616 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 4641 4519 80 156 0 4484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18564
[startup+102.307 s]
/proc/loadavg: 4.01 3.98 3.28 5/190 23443
/proc/meminfo: memFree=16170500/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=26424 CPUtime=102.3 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 6533 0 0 0 10228 2 0 0 25 0 1 0 588704957 27058176 6482 33554432000 134512640 135151029 4292049616 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 6606 6482 80 156 0 6449 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26424
[startup+162.3 s]
/proc/loadavg: 4.00 3.98 3.32 5/190 23453
/proc/meminfo: memFree=16088216/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=28856 CPUtime=162.29 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 7162 0 0 0 16227 2 0 0 25 0 1 0 588704957 29548544 7111 33554432000 134512640 135151029 4292049616 18446744073709551615 134555008 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 7214 7111 80 156 0 7057 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28856
[startup+222.301 s]
/proc/loadavg: 4.00 3.98 3.36 5/190 23455
/proc/meminfo: memFree=16007756/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=45728 CPUtime=222.29 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 11319 0 0 0 22225 4 0 0 25 0 1 0 588704957 46825472 11213 33554432000 134512640 135151029 4292049616 18446744073709551615 134578440 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 11432 11213 80 156 0 11275 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45728
[startup+282.301 s]
/proc/loadavg: 4.00 3.98 3.39 5/190 23456
/proc/meminfo: memFree=15969924/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=45728 CPUtime=282.3 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 11320 0 0 0 28226 4 0 0 25 0 1 0 588704957 46825472 11214 33554432000 134512640 135151029 4292049616 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 11432 11214 80 156 0 11275 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 45728
[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.43 5/190 23458
/proc/meminfo: memFree=15944608/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=45728 CPUtime=342.3 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 11334 0 0 0 34225 5 0 0 25 0 1 0 588704957 46825472 11228 33554432000 134512640 135151029 4292049616 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 11432 11228 80 156 0 11275 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 45728
[startup+402.301 s]
/proc/loadavg: 4.05 3.99 3.47 5/190 23460
/proc/meminfo: memFree=15905160/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=45728 CPUtime=402.3 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 11334 0 0 0 40225 5 0 0 25 0 1 0 588704957 46825472 11228 33554432000 134512640 135151029 4292049616 18446744073709551615 134531093 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 11432 11228 80 156 0 11275 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 45728
[startup+462.301 s]
/proc/loadavg: 4.02 3.99 3.50 5/190 23461
/proc/meminfo: memFree=15897832/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=46452 CPUtime=462.3 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 11544 0 0 0 46225 5 0 0 25 0 1 0 588704957 47566848 11438 33554432000 134512640 135151029 4292049616 18446744073709551615 134573911 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 11613 11438 80 156 0 11456 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 46452
[startup+522.301 s]
/proc/loadavg: 3.84 3.96 3.52 4/184 23480
/proc/meminfo: memFree=16197192/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=45748 CPUtime=522.31 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 11631 0 0 0 52226 5 0 0 25 0 1 0 588704957 46845952 11342 33554432000 134512640 135151029 4292049616 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 11437 11342 80 156 0 11280 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 45748
[startup+582.301 s]
/proc/loadavg: 3.39 3.80 3.49 4/184 23481
/proc/meminfo: memFree=16178448/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=52692 CPUtime=582.31 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 13270 0 0 0 58225 6 0 0 25 0 1 0 588704957 53956608 12981 33554432000 134512640 135151029 4292049616 18446744073709551615 134551474 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 13173 12981 80 156 0 13016 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 52692
[startup+642.3 s]
/proc/loadavg: 3.14 3.65 3.45 4/184 23483
/proc/meminfo: memFree=16178436/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=52948 CPUtime=642.32 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 13327 0 0 0 64226 6 0 0 25 0 1 0 588704957 54218752 13038 33554432000 134512640 135151029 4292049616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 13237 13038 80 156 0 13080 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 52948
[startup+702.301 s]
/proc/loadavg: 3.05 3.53 3.42 4/184 23485
/proc/meminfo: memFree=16169748/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=61956 CPUtime=702.31 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 15524 0 0 0 70225 6 0 0 25 0 1 0 588704957 63442944 15235 33554432000 134512640 135151029 4292049616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 15489 15235 80 156 0 15332 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 61956
[startup+762.307 s]
/proc/loadavg: 3.02 3.43 3.39 4/184 23486
/proc/meminfo: memFree=16160308/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=61956 CPUtime=762.32 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 15539 0 0 0 76226 6 0 0 25 0 1 0 588704957 63442944 15250 33554432000 134512640 135151029 4292049616 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 15489 15250 80 156 0 15332 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 61956
[startup+822.301 s]
/proc/loadavg: 3.00 3.35 3.36 4/184 23488
/proc/meminfo: memFree=16156444/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=61956 CPUtime=822.31 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 15635 0 0 0 82225 6 0 0 25 0 1 0 588704957 63442944 15278 33554432000 134512640 135151029 4292049616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 15489 15278 80 156 0 15332 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 61956
[startup+882.301 s]
/proc/loadavg: 3.00 3.28 3.34 4/184 23489
/proc/meminfo: memFree=16153084/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=63804 CPUtime=882.32 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16158 0 0 0 88226 6 0 0 25 0 1 0 588704957 65335296 15801 33554432000 134512640 135151029 4292049616 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 15951 15801 80 156 0 15794 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 63804
[startup+942.3 s]
/proc/loadavg: 2.51 3.10 3.27 3/178 23508
/proc/meminfo: memFree=16356712/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65124 CPUtime=942.32 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16491 0 0 0 94225 7 0 0 25 0 1 0 588704957 66686976 16134 33554432000 134512640 135151029 4292049616 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16281 16134 80 156 0 16124 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 65124
[startup+1002.3 s]
/proc/loadavg: 2.19 2.90 3.19 3/178 23510
/proc/meminfo: memFree=16343556/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65124 CPUtime=1002.32 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16506 0 0 0 100225 7 0 0 25 0 1 0 588704957 66686976 16149 33554432000 134512640 135151029 4292049616 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16281 16149 80 156 0 16124 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 65124
[startup+1062.3 s]
/proc/loadavg: 2.07 2.73 3.11 3/178 23511
/proc/meminfo: memFree=16306456/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65124 CPUtime=1062.32 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16506 0 0 0 106225 7 0 0 25 0 1 0 588704957 66686976 16149 33554432000 134512640 135151029 4292049616 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16281 16149 80 156 0 16124 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 65124
[startup+1122.3 s]
/proc/loadavg: 2.07 2.61 3.05 3/178 23513
/proc/meminfo: memFree=16302596/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65124 CPUtime=1122.33 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16506 0 0 0 112226 7 0 0 25 0 1 0 588704957 66686976 16149 33554432000 134512640 135151029 4292049616 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16281 16149 80 156 0 16124 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 65124
[startup+1182.3 s]
/proc/loadavg: 1.39 2.32 2.92 2/172 23532
/proc/meminfo: memFree=16538640/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65124 CPUtime=1182.33 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16506 0 0 0 118226 7 0 0 25 0 1 0 588704957 66686976 16149 33554432000 134512640 135151029 4292049616 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16281 16149 80 156 0 16124 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 65124
[startup+1242.3 s]
/proc/loadavg: 1.14 2.07 2.79 2/172 23534
/proc/meminfo: memFree=16538604/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65124 CPUtime=1242.33 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16508 0 0 0 124226 7 0 0 25 0 1 0 588704957 66686976 16151 33554432000 134512640 135151029 4292049616 18446744073709551615 134574594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16281 16151 80 156 0 16124 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 65124
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.06 1.89 2.69 2/172 23536
/proc/meminfo: memFree=16538432/32950928 swapFree=67111528/67111528
[pid=23384] ppid=23382 vsize=65640 CPUtime=1300.04 cores=0,2
/proc/23384/stat : 23384 (precosat) R 23382 23384 23061 0 -1 4202496 16748 0 0 0 129997 7 0 0 25 0 1 0 588704957 67215360 16231 33554432000 134512640 135151029 4292049616 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23384/statm: 16410 16231 80 156 0 16253 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 65640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.06
CPU user time (s): 1299.97
CPU system time (s): 0.081987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 65640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.97
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16749
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= 15478
runsolver used 2.18267 second user time and 4.5813 second system time
The end
Launcher Data
Begin job on node114 at 2011-04-28 11:59:03
IDJOB=3308962
IDBENCH=83416
IDSOLVER=1690
FILE ID=node114/3308962-1303984743
RUNJOBID= node114-1303983220-23079
PBS_JOBID= 13168712
Free space on /tmp= 71780 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308962-1303984743/watcher-3308962-1303984743 -o /tmp/evaluation-result-3308962-1303984743/solver-3308962-1303984743 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308962-1303984743.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 07ea67092ce3fd4529e72f69434e3f99
RANDOM SEED=1782001321
node114.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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.73
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
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.848
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: 32950928 kB
MemFree: 15516988 kB
Buffers: 2319944 kB
Cached: 13399340 kB
SwapCached: 0 kB
Active: 8165004 kB
Inactive: 8677544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15516988 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 836 kB
Writeback: 0 kB
AnonPages: 1122696 kB
Mapped: 15992 kB
Slab: 524104 kB
PageTables: 7252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1312388 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= 71804 MiB
End job on node114 at 2011-04-28 12:20:45