Trace number 3308944
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/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf |
| MD5SUM | e6407843d1fbd00b68d4ad600a25dfb2 |
| 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 | 48639 |
| Number of clauses | 162901 |
| Sum of the clauses size | 415741 |
| Maximum clause length | 1542 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 83161 |
| Number of clauses of size 3 | 78900 |
| Number of clauses of size 4 | 230 |
| Number of clauses of size 5 | 19 |
| Number of clauses of size over 5 | 590 |
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-3308944-1303984717.cnf
0.00/0.00 c found header 'p cnf 48639 162901'
0.09/0.11 c finished parsing
0.09/0.11 c
0.09/0.11 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.11 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.11 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.11 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.11 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.11 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.11 c
0.09/0.11 c sizeof vars[0] = 16 alignment = 0 1 MB
0.09/0.11 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.11 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.11 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.11 c
0.09/0.11 c starting search after 0.1 seconds
0.09/0.11 c no decision limit
0.09/0.12 c
0.09/0.12 c original/binary fixed eliminated learned agility
0.09/0.12 c seconds variables equivalent conflicts height MB
0.09/0.12 c
0.09/0.12 c * 0.1 152865 45582 1608 1449 0 0 0 0.0 0 13
1.10/1.15 c s 1.2 96714 15916 2171 2498 28054 0 0 0.0 0 11
1.10/1.15 c l 1.2 96714 15916 2171 2498 28054 0 85599 0.0 0 11
1.10/1.18 c N 1.2 98009 15916 2171 2498 28054 105 105 215.4 25 12
1.10/1.19 c R 1.2 98032 15916 2171 2498 28054 205 205 232.6 23 12
1.19/1.28 c R 1.3 98778 15916 2171 2498 28054 813 813 127.6 23 13
1.29/1.31 c B 1.3 98779 15916 2171 2498 28054 1003 1003 123.3 19 13
1.69/1.76 c B 1.8 209955 15214 2830 2541 28054 2003 2003 99.6 18 20
1.79/1.82 c R 1.8 209980 15214 2830 2541 28054 2423 2423 94.1 18 20
2.30/2.39 c s 2.4 158699 15214 2830 2541 28054 5887 5887 87.7 18 16
2.30/2.39 c - 2.4 158699 15214 2830 2541 28054 5887 82176 87.7 18 16
2.39/2.47 c R 2.5 158699 15214 2830 2541 28054 6432 6432 87.7 20 17
2.79/2.83 c B 2.8 166738 15146 2891 2548 28054 8006 8005 87.9 17 18
4.89/4.99 c s 5.0 177388 14209 3274 2571 28585 16814 12538 84.4 13 19
4.89/4.99 c - 5.0 177388 14209 3274 2571 28585 16814 79711 84.4 13 19
6.09/6.11 c R 6.1 188065 14159 3312 2583 28585 22483 18206 91.6 22 22
6.29/6.33 c B 6.3 188083 14159 3312 2583 28585 24012 19735 90.2 14 22
7.79/7.89 c s 7.9 184588 14058 3391 2605 28585 29801 25520 88.9 17 22
7.79/7.89 c - 7.9 184588 14058 3391 2605 28585 29801 78914 88.9 17 22
11.49/11.50 c
11.49/11.50 c original/binary fixed eliminated learned agility
11.49/11.50 c seconds variables equivalent conflicts height MB
11.49/11.50 c
11.49/11.50 c s 11.5 180319 13650 3522 2687 28780 44679 39731 85.7 16 25
11.49/11.50 c - 11.5 180319 13650 3522 2687 28780 44679 78125 85.7 16 25
15.49/15.54 c s 15.5 162367 13484 3679 2696 28780 60163 55208 84.7 20 27
15.49/15.54 c - 15.5 162367 13484 3679 2696 28780 60163 77344 84.7 20 27
16.29/16.38 c B 16.4 162445 13475 3687 2697 28780 64030 59073 84.2 15 30
17.39/17.42 c R 17.4 162490 13474 3689 2696 28780 68060 63102 85.7 16 32
19.39/19.41 c s 19.4 160868 13371 3689 2696 28883 72717 62306 85.2 18 29
20.80/20.82 c + 20.8 165488 13294 3766 2696 28883 77345 85078 86.3 16 33
24.10/24.12 c s 24.1 158078 13222 3838 2696 28883 87496 77083 86.0 16 33
24.10/24.12 c - 24.1 158078 13222 3838 2696 28883 87496 84228 86.0 16 33
26.20/26.28 c + 26.3 159148 13217 3843 2696 28883 95714 92650 85.5 19 38
29.19/29.27 c s 29.3 148564 13179 3843 2700 28917 104936 92953 85.6 23 37
32.90/32.95 c R 33.0 151658 13110 3891 2721 28917 119378 92753 84.7 10 41
33.00/33.01 c + 33.0 151658 13110 3891 2721 28917 119640 101915 84.6 9 41
34.49/34.59 c s 34.6 149075 13110 3891 2721 28917 123028 96070 84.1 16 39
40.09/40.18 c s 40.2 147428 13035 3938 2721 28945 137434 100317 83.3 15 42
43.79/43.84 c + 43.8 147895 13029 3941 2724 28945 149550 112106 84.4 18 47
45.79/45.87 c s 45.9 147861 13016 3949 2729 28945 153435 106043 84.7 16 44
47.09/47.18 c B 47.2 148286 13007 3955 2732 28945 160053 112117 84.1 14 48
51.79/51.80 c
51.79/51.80 c original/binary fixed eliminated learned agility
51.79/51.80 c seconds variables equivalent conflicts height MB
51.79/51.80 c
51.79/51.80 c s 51.8 146962 12977 3981 2730 28951 172093 112190 84.2 12 45
56.79/56.80 c + 56.8 147147 12977 3981 2730 28951 186935 123316 84.4 13 49
57.69/57.73 c s 57.7 147142 12977 3981 2730 28951 188731 114066 84.1 15 45
74.00/74.07 c + 74.1 147142 12977 3981 2730 28951 233665 135647 82.5 18 56
74.59/74.61 c R 74.6 147142 12977 3981 2730 28951 234854 125051 82.4 18 57
86.29/86.33 c s 86.3 147143 12977 3981 2730 28951 266085 136074 81.0 23 55
93.29/93.36 c s 93.4 147241 12977 3981 2730 28951 285333 135777 80.3 11 54
95.60/95.68 c + 95.7 147301 12976 3982 2730 28951 292081 149211 80.0 20 58
100.29/100.39 c s 100.4 136078 12965 3989 2730 28955 302486 146116 79.8 15 57
108.39/108.41 c s 108.4 136208 12961 3993 2730 28955 322325 149661 79.6 15 57
116.09/116.15 c s 116.2 136040 12945 4008 2730 28956 339787 149209 79.5 17 57
124.89/124.91 c + 124.9 136040 12945 4008 2730 28956 365101 164132 79.9 15 61
128.99/129.05 c s 129.1 136048 12945 4008 2730 28956 375514 159814 80.4 13 58
132.59/132.63 c B 132.6 136062 12945 4008 2730 28956 384124 164232 80.3 14 64
136.69/136.76 c s 136.8 136067 12945 4008 2730 28956 394758 164344 80.1 16 59
143.89/143.98 c s 144.0 136074 12945 4008 2730 28956 413948 164279 80.5 17 59
158.89/158.93 c s 158.9 134149 12939 4014 2730 28956 452783 164374 80.3 19 59
160.39/160.47 c + 160.5 134149 12939 4014 2730 28956 456376 180545 80.3 16 63
167.60/167.69 c s 167.7 134183 12939 4014 2730 28956 472123 179942 80.0 19 64
176.90/176.93 c
176.90/176.93 c original/binary fixed eliminated learned agility
176.90/176.93 c seconds variables equivalent conflicts height MB
176.90/176.93 c
176.90/176.93 c s 176.9 134189 12939 4014 2730 28956 492130 180713 79.8 11 64
186.29/186.32 c s 186.3 134283 12939 4014 2730 28956 514114 180694 79.6 15 64
203.90/203.96 c s 204.0 134284 12939 4014 2730 28956 557186 180813 78.9 13 70
210.10/210.12 c + 210.1 134348 12939 4014 2730 28956 570470 198599 78.8 15 75
214.40/214.40 c s 214.4 134379 12939 4014 2730 28956 578199 188443 78.6 22 71
223.90/223.92 c s 223.9 134397 12939 4014 2730 28956 599222 198802 78.8 14 74
233.30/233.32 c s 233.3 134398 12939 4014 2730 28956 618990 198810 79.3 12 75
243.40/243.46 c s 243.5 134401 12939 4014 2730 28956 640552 199131 79.4 19 75
253.10/253.15 c s 253.2 134408 12939 4014 2730 28956 662738 198872 78.7 9 75
263.91/263.98 c s 264.0 134555 12939 4014 2730 28956 683319 198694 78.5 14 73
275.50/275.51 c s 275.5 134251 12931 4019 2731 28958 703801 197895 78.2 19 71
279.31/279.40 c + 279.4 134251 12931 4019 2731 28958 713086 218458 78.1 15 76
286.60/286.64 c s 286.6 134274 12931 4019 2731 28958 726525 212320 78.0 24 74
300.10/300.10 c s 300.1 134276 12931 4019 2731 28958 751019 218584 77.8 10 76
315.70/315.75 c s 315.8 134277 12931 4019 2731 28958 780674 218718 77.6 14 76
326.50/326.55 c s 326.6 134406 12931 4019 2731 28958 807933 218849 77.4 17 75
337.50/337.53 c s 337.5 134423 12931 4019 2731 28958 828109 218937 77.6 20 76
367.21/367.22 c s 367.2 134424 12931 4019 2731 28958 891216 218657 77.6 15 76
367.21/367.29 c + 367.3 134424 12931 4019 2731 28958 891357 240303 77.6 17 78
369.41/369.40 c
369.41/369.40 c original/binary fixed eliminated learned agility
369.41/369.40 c seconds variables equivalent conflicts height MB
369.41/369.40 c
369.41/369.40 c B 369.4 134424 12931 4019 2731 28958 896251 223542 77.7 22 81
392.60/392.65 c s 392.7 134425 12931 4019 2731 28958 944340 240625 77.9 20 91
405.51/405.53 c s 405.6 134441 12931 4019 2731 28958 966937 240678 78.0 19 92
417.91/417.92 c s 417.9 134442 12931 4019 2731 28958 991342 240738 78.1 18 92
437.30/437.38 c s 437.4 134443 12931 4019 2731 28958 1026408 240722 78.3 15 94
451.40/451.45 c s 451.5 134446 12931 4019 2731 28958 1052629 240573 78.2 20 94
465.70/465.73 c s 465.7 134448 12931 4019 2731 28958 1077539 240884 78.1 13 92
478.20/478.27 c s 478.3 134461 12931 4019 2731 28958 1102333 240573 78.1 15 87
484.60/484.69 c + 484.7 134461 12931 4019 2731 28958 1114195 264333 78.0 15 92
490.30/490.37 c s 490.4 134463 12931 4019 2731 28958 1124126 250446 77.9 8 88
504.71/504.74 c R 504.8 134463 12931 4019 2731 28958 1156560 264551 78.5 15 101
505.41/505.48 c s 505.5 134468 12931 4019 2731 28958 1156560 264551 78.5 15 94
550.11/550.18 c s 550.2 134478 12931 4019 2731 28958 1240292 264649 77.6 15 98
564.41/564.44 c s 564.5 134524 12931 4019 2731 28958 1265536 264362 77.5 11 97
580.21/580.28 c s 580.3 134525 12931 4019 2731 28958 1296552 264809 77.6 13 99
593.60/593.67 c s 593.7 134565 12931 4019 2731 28958 1320046 264571 77.2 8 100
608.01/608.07 c s 608.1 134584 12931 4019 2731 28958 1345307 264867 77.2 20 100
622.20/622.28 c s 622.3 134385 12928 4021 2732 28958 1368464 264520 77.2 13 99
635.61/635.64 c s 635.7 134393 12928 4021 2732 28958 1391632 264720 77.3 14 97
635.91/635.96 c
635.91/635.96 c original/binary fixed eliminated learned agility
635.91/635.96 c seconds variables equivalent conflicts height MB
635.91/635.96 c
635.91/635.96 c + 636.0 134393 12928 4021 2732 28958 1392742 290766 77.3 15 98
646.31/646.39 c s 646.4 134394 12928 4021 2732 28958 1414696 286818 77.4 13 106
685.62/685.65 c s 685.7 134395 12928 4021 2732 28958 1487802 290971 77.5 14 105
702.82/702.80 c s 702.8 134363 12927 4022 2732 28958 1514066 291094 77.5 15 106
717.61/717.67 c s 717.7 134386 12927 4022 2732 28958 1542129 290849 77.2 15 104
734.22/734.23 c s 734.3 134389 12927 4022 2732 28958 1568636 290904 77.1 18 105
750.32/750.31 c s 750.3 134398 12927 4022 2732 28958 1596839 290964 77.1 18 102
811.22/811.23 c R 811.3 134398 12927 4022 2732 28958 1720624 291272 77.2 17 119
812.01/812.07 c s 812.1 134416 12927 4022 2732 28958 1720624 291272 77.2 17 106
821.42/821.49 c + 821.5 134419 12927 4022 2732 28958 1740925 319842 77.4 18 112
823.01/823.09 c s 823.1 134419 12927 4022 2732 28958 1743059 293140 77.4 17 107
835.52/835.54 c s 835.6 134533 12927 4022 2732 28958 1767119 317200 77.4 17 120
864.31/864.36 c s 864.4 134535 12927 4022 2732 28958 1824754 319967 77.2 13 133
881.22/881.28 c s 881.3 134557 12927 4022 2732 28958 1851427 320336 77.3 13 135
898.32/898.36 c s 898.4 134564 12927 4022 2732 28958 1879149 320552 77.4 18 137
933.02/933.00 c s 933.0 134586 12927 4022 2732 28958 1939880 320531 77.5 17 134
949.12/949.10 c s 949.1 134597 12927 4022 2732 28958 1966204 320004 77.6 15 133
966.02/966.04 c s 966.1 134600 12927 4022 2732 28958 1994657 320106 77.6 15 130
981.22/981.27 c s 981.3 134602 12927 4022 2732 28958 2022904 320289 77.5 14 125
994.02/994.07 c
994.02/994.07 c original/binary fixed eliminated learned agility
994.02/994.07 c seconds variables equivalent conflicts height MB
994.02/994.07 c
994.02/994.07 c B 994.1 134602 12927 4022 2732 28958 2048484 320270 77.5 11 129
1062.42/1062.43 c s 1062.5 134608 12927 4022 2732 28958 2161527 319979 77.8 23 113
1071.12/1071.11 c + 1071.2 134610 12927 4022 2732 28958 2176155 351826 78.0 10 124
1078.52/1078.51 c s 1078.5 134619 12927 4022 2732 28958 2186507 330639 78.0 12 118
1095.33/1095.31 c s 1095.3 134672 12927 4022 2732 28958 2212501 352061 78.2 12 127
1194.03/1194.05 c s 1194.1 134673 12927 4022 2732 28958 2369573 351896 78.3 13 134
1216.33/1216.36 c s 1216.4 134607 12923 4023 2734 28959 2401689 351836 78.3 17 132
1237.93/1237.96 c s 1238.0 134630 12923 4023 2734 28959 2431317 351978 78.2 14 131
1258.13/1258.12 c s 1258.2 134641 12923 4023 2734 28959 2459908 352310 78.2 15 132
1277.53/1277.56 c s 1277.6 134646 12923 4023 2734 28959 2489551 352275 78.4 18 131
1300.03/1300.00 c
1300.03/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00 c
1300.03/1300.00 c 2519642 conflicts, 4594685 decisions, 124 random
1300.03/1300.00 c 4 iterations, 5211 restarts, 76 skipped
1300.03/1300.00 c 16 enlarged, 2001 shrunken, 24636 rescored, 587 rebiased
1300.03/1300.00 c 81 simplifications, 0 reductions
1300.03/1300.00 c
1300.03/1300.00 c vars: 4023 fixed, 2734 equiv, 28959 elim, 2959 merged
1300.03/1300.00 c elim: 6827520 resolutions, 27 phases, 14 rounds
1300.03/1300.00 c sbst: 86% substituted, 1.8% nots, 78.1% ands, 16.9% xors, 3.3% ites
1300.03/1300.00 c arty: 2.14 and 2.00 xor average arity
1300.03/1300.00 c prbe: 8991843 probed, 1036 phases, 346 rounds
1300.03/1300.00 c prbe: 1024 failed, 292 lifted, 714 merged
1300.03/1300.00 c sccs: 104 non trivial, 0 fixed, 203 merged
1300.03/1300.00 c hash: 309 units, 2042 merged
1300.03/1300.00 c mins: 213396731 learned, 25% deleted, 514 strong, 85 depth
1300.03/1300.00 c subs: 2539 forward, 4343 backward, 9806 doms
1300.03/1300.00 c strs: 2335 forward, 1028 backward
1300.03/1300.00 c doms: 17240 dominators, 5075 high, 2 low
1300.03/1300.00 c prps: 1663906690 propagations, 1.28 megaprops
1300.03/1300.00 c
1300.03/1300.00 c 1300.0 seconds, 152 MB max, 777 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-3308944-1303984717/watcher-3308944-1303984717 -o /tmp/evaluation-result-3308944-1303984717/solver-3308944-1303984717 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308944-1303984717.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.01 3.99 3.21 4/193 23611
/proc/meminfo: memFree=15634120/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=5668 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 1303 0 0 0 0 0 0 0 25 0 1 0 510069564 5804032 1259 33554432000 134512640 135151029 4289765280 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 1417 1260 65 156 0 1260 0
[startup+0.071526 s]
/proc/loadavg: 4.01 3.99 3.21 4/193 23611
/proc/meminfo: memFree=15634120/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=11596 CPUtime=0.06 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 2897 0 0 0 6 0 0 0 25 0 1 0 510069564 11874304 2755 33554432000 134512640 135151029 4289765280 18446744073709551615 134570761 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 2899 2756 65 156 0 2742 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11596
[startup+0.100554 s]
/proc/loadavg: 4.01 3.99 3.21 4/193 23611
/proc/meminfo: memFree=15634120/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=15132 CPUtime=0.09 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 3796 0 0 0 8 1 0 0 25 0 1 0 510069564 15495168 3654 33554432000 134512640 135151029 4289765280 18446744073709551615 134572823 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 3783 3654 65 156 0 3626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15132
[startup+0.300542 s]
/proc/loadavg: 4.01 3.99 3.21 4/193 23611
/proc/meminfo: memFree=15634120/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=17208 CPUtime=0.29 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 4973 0 0 0 28 1 0 0 25 0 1 0 510069564 17620992 4173 33554432000 134512640 135151029 4289765280 18446744073709551615 134579924 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 4302 4173 80 156 0 4145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17208
[startup+0.70047 s]
/proc/loadavg: 4.01 3.99 3.21 4/193 23611
/proc/meminfo: memFree=15634120/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=24884 CPUtime=0.69 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 7340 0 0 0 68 1 0 0 25 0 1 0 510069564 25481216 5945 33554432000 134512640 135151029 4289765280 18446744073709551615 134526325 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 6221 5945 80 156 0 6064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24884
[startup+1.50032 s]
/proc/loadavg: 4.01 3.99 3.21 5/194 23612
/proc/meminfo: memFree=15616968/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=23116 CPUtime=1.49 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 7879 0 0 0 147 2 0 0 25 0 1 0 510069564 23670784 5524 33554432000 134512640 135151029 4289765280 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 5779 5524 80 156 0 5622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23116
[startup+3.10102 s]
/proc/loadavg: 4.01 3.99 3.21 5/194 23612
/proc/meminfo: memFree=15584976/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=24304 CPUtime=3.09 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 8776 0 0 0 307 2 0 0 25 0 1 0 510069564 24887296 5844 33554432000 134512640 135151029 4289765280 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 6076 5844 80 156 0 5919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24304
[startup+6.30045 s]
/proc/loadavg: 4.01 3.99 3.21 5/194 23612
/proc/meminfo: memFree=15581752/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=26492 CPUtime=6.29 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 10830 0 0 0 627 2 0 0 25 0 1 0 510069564 27127808 6363 33554432000 134512640 135151029 4289765280 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 6623 6363 80 156 0 6466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26492
[startup+12.7003 s]
/proc/loadavg: 4.01 3.99 3.22 5/194 23612
/proc/meminfo: memFree=15566020/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=31860 CPUtime=12.69 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 15227 0 0 0 1266 3 0 0 25 0 1 0 510069564 32624640 7706 33554432000 134512640 135151029 4289765280 18446744073709551615 134574614 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 7965 7706 80 156 0 7808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31860
[startup+25.5009 s]
/proc/loadavg: 4.01 3.99 3.23 5/194 23613
/proc/meminfo: memFree=15543200/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=41160 CPUtime=25.5 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 22099 0 0 0 2545 5 0 0 25 0 1 0 510069564 42147840 10053 33554432000 134512640 135151029 4289765280 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 10290 10054 80 156 0 10133 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 41160
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.25 5/194 23614
/proc/meminfo: memFree=15448752/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=54816 CPUtime=51.09 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 31487 0 0 0 5103 6 0 0 25 0 1 0 510069564 56131584 13429 33554432000 134512640 135151029 4289765280 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 13704 13429 80 156 0 13547 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54816
[startup+102.307 s]
/proc/loadavg: 4.06 4.00 3.29 5/194 23615
/proc/meminfo: memFree=15329336/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=67356 CPUtime=102.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 39652 0 0 0 10222 8 0 0 25 0 1 0 510069564 68972544 16575 33554432000 134512640 135151029 4289765280 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 16839 16575 80 156 0 16682 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 67356
[startup+162.301 s]
/proc/loadavg: 4.10 4.02 3.34 5/194 23625
/proc/meminfo: memFree=15257068/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=70440 CPUtime=162.29 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 45724 0 0 0 16220 9 0 0 25 0 1 0 510069564 72130560 17353 33554432000 134512640 135151029 4289765280 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 17610 17353 80 156 0 17453 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 70440
[startup+222.301 s]
/proc/loadavg: 4.04 4.01 3.38 5/194 23627
/proc/meminfo: memFree=15264732/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=87552 CPUtime=222.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 51796 0 0 0 22218 12 0 0 25 0 1 0 510069564 89653248 21543 33554432000 134512640 135151029 4289765280 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 21888 21543 80 156 0 21731 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 87552
[startup+282.301 s]
/proc/loadavg: 4.05 4.02 3.42 5/194 23629
/proc/meminfo: memFree=15240540/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=88692 CPUtime=282.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 54624 0 0 0 28217 13 0 0 25 0 1 0 510069564 90820608 21911 33554432000 134512640 135151029 4289765280 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 22173 21911 80 156 0 22016 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 88692
[startup+342.3 s]
/proc/loadavg: 4.02 4.02 3.46 5/194 23630
/proc/meminfo: memFree=15192272/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=91188 CPUtime=342.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 57539 0 0 0 34217 13 0 0 25 0 1 0 510069564 93376512 22557 33554432000 134512640 135151029 4289765280 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 22797 22557 80 156 0 22640 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 91188
[startup+402.3 s]
/proc/loadavg: 3.61 3.91 3.45 4/188 23653
/proc/meminfo: memFree=16083392/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=107732 CPUtime=402.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 62146 0 0 0 40215 15 0 0 25 0 1 0 510069564 110317568 26653 33554432000 134512640 135151029 4289765280 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 26933 26653 80 156 0 26776 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 107732
[startup+462.3 s]
/proc/loadavg: 3.22 3.74 3.42 4/188 23654
/proc/meminfo: memFree=16040076/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=110524 CPUtime=462.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 63888 0 0 0 46214 16 0 0 25 0 1 0 510069564 113176576 27393 33554432000 134512640 135151029 4289765280 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 27631 27393 80 156 0 27474 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 110524
[startup+522.301 s]
/proc/loadavg: 2.51 3.45 3.34 3/182 23674
/proc/meminfo: memFree=16822144/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=111460 CPUtime=522.3 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 65000 0 0 0 52214 16 0 0 25 0 1 0 510069564 114135040 27616 33554432000 134512640 135151029 4289765280 18446744073709551615 134580564 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 27865 27616 80 156 0 27708 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 111460
[startup+582.301 s]
/proc/loadavg: 2.19 3.19 3.25 3/182 23676
/proc/meminfo: memFree=16813564/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=120260 CPUtime=582.31 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 67597 0 0 0 58214 17 0 0 25 0 1 0 510069564 123146240 29640 33554432000 134512640 135151029 4289765280 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 30065 29640 80 156 0 29908 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 120260
[startup+642.301 s]
/proc/loadavg: 2.07 2.97 3.17 3/182 23677
/proc/meminfo: memFree=16813172/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=120260 CPUtime=642.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 69187 0 0 0 64214 18 0 0 25 0 1 0 510069564 123146240 29702 33554432000 134512640 135151029 4289765280 18446744073709551615 134581827 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 30065 29702 80 156 0 29908 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 120260
[startup+702.301 s]
/proc/loadavg: 2.02 2.79 3.10 3/182 23679
/proc/meminfo: memFree=16806316/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=126976 CPUtime=702.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 71670 0 0 0 70213 19 0 0 25 0 1 0 510069564 130023424 31421 33554432000 134512640 135151029 4289765280 18446744073709551615 134522096 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 31744 31421 80 156 0 31587 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 126976
[startup+762.307 s]
/proc/loadavg: 2.01 2.64 3.03 3/182 23681
/proc/meminfo: memFree=16806044/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=126976 CPUtime=762.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 71886 0 0 0 76213 19 0 0 25 0 1 0 510069564 130023424 31446 33554432000 134512640 135151029 4289765280 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 31744 31446 80 156 0 31587 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 126976
[startup+822.301 s]
/proc/loadavg: 2.00 2.52 2.96 3/182 23682
/proc/meminfo: memFree=16804392/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=128432 CPUtime=822.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 72503 0 0 0 82213 19 0 0 25 0 1 0 510069564 131514368 31872 33554432000 134512640 135151029 4289765280 18446744073709551615 134554525 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 32108 31872 80 156 0 31951 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 128432
[startup+882.301 s]
/proc/loadavg: 2.00 2.42 2.90 3/182 23684
/proc/meminfo: memFree=16777208/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=156232 CPUtime=882.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 80376 0 0 0 88210 22 0 0 25 0 1 0 510069564 159981568 38662 33554432000 134512640 135151029 4289765280 18446744073709551615 134574672 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 39058 38662 80 156 0 38901 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 156232
[startup+942.301 s]
/proc/loadavg: 2.00 2.34 2.84 3/182 23685
/proc/meminfo: memFree=16775548/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=157244 CPUtime=942.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 81473 0 0 0 94210 22 0 0 25 0 1 0 510069564 161017856 39070 33554432000 134512640 135151029 4289765280 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 39311 39070 80 156 0 39154 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 157244
[startup+1002.3 s]
/proc/loadavg: 2.00 2.28 2.78 3/182 23687
/proc/meminfo: memFree=16775520/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=157692 CPUtime=1002.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 82111 0 0 0 100210 22 0 0 25 0 1 0 510069564 161476608 39135 33554432000 134512640 135151029 4289765280 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 39423 39135 80 156 0 39266 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 157692
[startup+1062.3 s]
/proc/loadavg: 2.07 2.24 2.73 3/182 23688
/proc/meminfo: memFree=16761616/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=157692 CPUtime=1062.32 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 82302 0 0 0 106210 22 0 0 25 0 1 0 510069564 161476608 39135 33554432000 134512640 135151029 4289765280 18446744073709551615 134578445 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 39423 39135 80 156 0 39266 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 157692
[startup+1122.3 s]
/proc/loadavg: 2.02 2.20 2.69 3/182 23690
/proc/meminfo: memFree=16762336/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=157692 CPUtime=1122.33 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 82684 0 0 0 112210 23 0 0 25 0 1 0 510069564 161476608 39135 33554432000 134512640 135151029 4289765280 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 39423 39135 80 156 0 39266 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 157692
[startup+1182.3 s]
/proc/loadavg: 2.01 2.16 2.64 3/182 23692
/proc/meminfo: memFree=16757720/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=163252 CPUtime=1182.33 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 83972 0 0 0 118210 23 0 0 25 0 1 0 510069564 167170048 40423 33554432000 134512640 135151029 4289765280 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 40813 40423 80 156 0 40656 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 163252
[startup+1242.3 s]
/proc/loadavg: 2.00 2.13 2.60 3/182 23693
/proc/meminfo: memFree=16758432/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=161712 CPUtime=1242.33 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 85937 0 0 0 124210 23 0 0 25 0 1 0 510069564 165593088 40201 33554432000 134512640 135151029 4289765280 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 40428 40201 80 156 0 40271 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 161712
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.47 1.96 2.51 2/176 23713
/proc/meminfo: memFree=16947280/32951124 swapFree=67111528/67111528
[pid=23611] ppid=23609 vsize=161712 CPUtime=1300.03 cores=0,2
/proc/23611/stat : 23611 (precosat) R 23609 23611 23266 0 -1 4202496 86897 0 0 0 129980 23 0 0 25 0 1 0 510069564 165593088 40201 33554432000 134512640 135151029 4289765280 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/23611/statm: 40428 40201 80 156 0 40271 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 161712
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.05
CPU user time (s): 1299.81
CPU system time (s): 0.247962
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 164076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.81
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3465
runsolver used 2.20466 second user time and 4.89226 second system time
The end
Launcher Data
Begin job on node133 at 2011-04-28 11:58:37
IDJOB=3308944
IDBENCH=83135
IDSOLVER=1690
FILE ID=node133/3308944-1303984717
RUNJOBID= node133-1303983198-23284
PBS_JOBID= 13168693
Free space on /tmp= 71796 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308944-1303984717/watcher-3308944-1303984717 -o /tmp/evaluation-result-3308944-1303984717/solver-3308944-1303984717 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308944-1303984717.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=184029305
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: 15634276 kB
Buffers: 2187492 kB
Cached: 13126708 kB
SwapCached: 0 kB
Active: 10261272 kB
Inactive: 6487648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15634276 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3524 kB
Writeback: 0 kB
AnonPages: 1434260 kB
Mapped: 16004 kB
Slab: 500632 kB
PageTables: 7784 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1633052 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= 71892 MiB
End job on node133 at 2011-04-28 12:20:19