Trace number 3250452

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-st? (TO) 1300.05 1300.01

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
MD5SUM86d9f733c618d2ca060f457ab8a19463
Bench CategoryCRAFTED (crafted 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 variables4230
Number of clauses100443
Sum of the clauses size411786
Maximum clause length5
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 490429
Number of clauses of size 510014
Number of clauses of size over 50

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250452-1303543715.cnf'
0.00/0.00	c -- header says num vars:           4230
0.00/0.00	c -- header says num clauses:      100443
0.00/0.04	c -- clauses added:            0 learnts,       100443 normals,            0 xors
0.00/0.04	c -- vars added       4230
0.00/0.04	c Parsing time:  0.03 s
0.00/0.04	c  N st     0         0      4230    100443         0         0    411786         0   no data   no data  --
0.39/0.42	c asymm  cl-useful: 0/82574/100443 lits-rem:0 time: 0.38
0.39/0.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
0.39/0.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4230 time:  0.00 s
0.39/0.48	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.58/0.67	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.19 s
0.58/0.67	c Finding binary XORs  T:     0.00 s  found:       0
0.68/0.71	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
0.68/0.71	c calculated reachability. Time: 0.00
0.68/0.72	c Calc default polars -  time:   0.00 s pos:    4220 undec:      10 neg:       0
0.68/0.72	c =========================================================================================
0.68/0.72	c types(t): F = full restart, N = normal restart
0.68/0.72	c types(t): S = simplification begin/end, E = solution found
0.68/0.72	c restart types(rt): st = static, dy = dynamic
0.68/0.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.68/0.72	c  B st     0         0      4220    100348         0         0    412331         0   no data   no data  --
0.78/0.80	c Decided on static restart strategy
0.88/0.92	c  N st     8      4917      4220    100348         0      4846    412331    321352   no data   no data  --
1.19/1.22	c  N st    10     11302      4220    100348         0     11137    412331    753071   no data   no data  --
1.59/1.61	c  N st    11     17046      4220    100348         0     16762    412331   1154605   no data   no data  --
2.09/2.20	c  F st    12     25001      4220    100348         0     14727    412331    796390   no data   no data  --
2.19/2.22	c Found part        1 vars:       2121 clauses:     51335 lits size:    210961
2.19/2.22	c Found part        9 vars:       2099 clauses:     49013 lits size:    201370
2.19/2.22	c Found parts:          2 time: 0.02 s
2.19/2.22	c Solving part 9
2.19/2.29	c  N st     0         0      2099     49013         0     11428    201370    656749   no data   no data  --
2.38/2.46	c asymm  cl-useful: 0/49013/49013 lits-rem:0 time: 0.16
2.38/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
2.38/2.48	c Finding binary XORs  T:     0.00 s  found:       0
2.49/2.51	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
2.49/2.51	c calculated reachability. Time: 0.00
2.49/2.51	c Calc default polars -  time:   0.00 s pos:    2099 undec:    2131 neg:       0
2.49/2.51	c =========================================================================================
2.49/2.51	c types(t): F = full restart, N = normal restart
2.49/2.51	c types(t): S = simplification begin/end, E = solution found
2.49/2.51	c restart types(rt): st = static, dy = dynamic
2.49/2.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.49/2.51	c  B st     0         0      2099     49013         0     11428    201370    656749   no data   no data  --
2.59/2.62	c Decided on static restart strategy
2.69/2.78	c  N st     8      4917      2099     49013         0     16283    201370    973532   no data   no data  --
3.20/3.23	c  N st    10     11301      2099     49013         0     12831    201370    684519   no data   no data  --
3.59/3.68	c  N st    11     17044      2099     49013         0     18489    201370   1081507   no data   no data  --
4.19/4.24	c  F st    12     25000      2099     49013         0     16937    201370    924466   no data   no data  --
4.19/4.24	c  N st    12     25000      2099     49013         0     16937    201370    924466   no data   no data  --
4.49/4.58	c Decided on static restart strategy
4.49/4.58	c  N st    18     30195      2099     49013         0     12365    201370    531234   no data   no data  --
5.09/5.11	c  N st    20     37305      2099     49013         0     19314    201370   1011513   no data   no data  --
5.50/5.55	c  N st    21     43704      2099     49013         0     15265    201370    701374   no data   no data  --
6.29/6.34	c  N st    22     53303      2099     49013         0     13597    201370    758759   no data   no data  --
7.69/7.74	c  N st    23     67701      2099     49013         0     15809    201370    904931   no data   no data  --
10.29/10.35	c  F st    24     87500      2099     49013         0     22448    201370   1785842   no data   no data  --
10.29/10.35	c  N st    24     87500      2099     49013         0     22448    201370   1785842   no data   no data  --
10.69/10.70	c  N dy    33     93091      2099     49013         0     27985    201370   2300472     51.48     54.94  --
11.00/11.03	c  N dy    50     99078      2099     49013         0     19807    201370    686477     44.84     47.92  --
11.39/11.43	c  N dy    81    105424      2099     49013         0     26100    201370   1059137     44.61     50.76  --
11.89/11.99	c  N dy   106    114044      2099     49013         0     19563    201370    557013     43.61     46.20  --
12.39/12.48	c  N dy   146    121438      2099     49013         0     26911    201370    988105     43.66     46.32  --
12.99/13.10	c  N dy   187    129628      2099     49013         0     18986    201370    438650     43.71     46.29  --
13.59/13.67	c  N dy   233    138035      2099     49013         0     27347    201370    931522     43.75     46.80  --
14.30/14.36	c  N dy   271    146924      2099     49013         0     19125    201370    384761     43.57     51.59  --
14.99/15.03	c  N dy   322    156393      2099     49013         0     28542    201370    939583     43.62     46.32  --
15.79/15.87	c  N dy   367    166916      2099     49013         0     20913    201370    422930     43.53     47.54  --
16.69/16.71	c  N dy   428    177999      2099     49013         0     31928    201370   1070633     43.55     46.41  --
17.50/17.56	c  N dy   487    189432      2099     49013         0     24245    201370    566332     43.54     46.06  --
18.39/18.47	c  N dy   551    202048      2099     49013         0     36744    201370   1299027     43.57     45.87  --
19.39/19.48	c  N dy   614    215036      2099     49013         0     29623    201370    822317     43.54     45.86  --
20.69/20.74	c  N dy   685    228821      2099     49013         0     22309    201370    337361     43.54     45.94  --
21.90/21.91	c  N dy   758    243502      2099     49013         0     36878    201370   1192563     43.54     46.37  --
23.19/23.25	c  N dy   823    259057      2099     49013         0     30318    201370    764924     43.52     45.91  --
24.89/24.94	c  N dy   929    275833      2099     49013         0     23975    201370    327799     43.64     46.26  --
26.59/26.64	c  N dy  1038    294962      2099     49013         0     42975    201370   1461152     43.70     47.12  --
27.69/27.71	c  F st  1102    306250      2099     49013         0     30173    201370    653642     43.73     41.39  --
28.09/28.12	c Decided on static restart strategy
28.29/28.37	c  N st  1109    314289      2099     49013         0     38112    201370   1169208     43.73   no data  --
30.49/30.50	c  N st  1112    334553      2099     49013         0     33264    201370   2441633     43.73   no data  --
34.49/34.57	c  N st  1114    370547      2099     49013         0     42742    201370   2249770     43.73   no data  --
38.69/38.77	c  N st  1115    402939      2099     49013         0     47714    201370   2576596     43.73   no data  --
45.00/45.10	c  N st  1116    451527      2099     49013         0     39278    201370   2792906     43.73   no data  --
55.69/55.77	c  N st  1117    524411      2099     49013         0     51039    201370   3166278     43.73   no data  --
81.40/81.46	c  N st  1118    633735      2099     49013         0     61106    201370   5796810     43.73   no data  --
121.79/121.81	c  N st  1119    797720      2099     49013         0     39288    201370   1368743     43.73   no data  --
164.09/164.10	c  N st  1120   1043696      2099     49013         0     73617    201370   4003096     43.73   no data  --
166.70/166.74	c  F st  1121   1071875      2099     49013         0     56977    201370   2456952     43.73   no data  --
166.70/166.74	c  N st  1121   1071875      2099     49013         0     56977    201370   2456952     43.73   no data  --
167.20/167.24	c Decided on static restart strategy
169.60/169.67	c  N st  1131   1100178      2099     49013         0     84856    201370   4545648     43.73   no data  --
175.40/175.41	c  N st  1133   1136171      2099     49013         0     74862    201370   5523759     43.73   no data  --
179.49/179.51	c  N st  1134   1168564      2099     49013         0     60322    201370   2970875     43.73   no data  --
191.49/191.58	c  N st  1135   1217152      2099     49013         0     60989    201370   3609030     43.73   no data  --
206.00/206.05	c  N st  1136   1290038      2099     49013         0     84473    201370   5875027     43.73   no data  --
223.31/223.39	c  N st  1137   1399361      2099     49013         0     91564    201370   4558679     43.73   no data  --
262.80/262.87	c  N st  1138   1563345      2099     49013         0     96909    201370   9292086     43.73   no data  --
351.10/351.10	c  N st  1139   1809321      2099     49013         0    116071    201370  13141855     43.73   no data  --
461.80/461.80	c  N st  1140   2178286      2099     49013         0    114917    201370   9555400     43.73   no data  --
664.61/664.65	c  N st  1141   2731732      2099     49013         0    119745    201370   9841512     43.73   no data  --
953.22/953.29	c  N st  1142   3561902      2099     49013         0     90054    201370   3437552     43.73   no data  --
996.32/996.36	c  F st  1143   3751570      2099     49013         0    108957    201370   4334194     43.73   no data  --
996.32/996.36	c  N st  1143   3751570      2099     49013         0    108957    201370   4334194     43.73   no data  --
997.02/997.05	c Decided on static restart strategy
1000.21/1000.23	c  N st  1153   3779876      2099     49013         0    136834    201370   6278447     43.73   no data  --
1007.52/1007.51	c  N st  1155   3815868      2099     49013         0     87236    201370   2376640     43.73   no data  --
1012.32/1012.31	c  N st  1156   3848260      2099     49013         0    119061    201370   4630146     43.73   no data  --
1022.22/1022.24	c  N st  1157   3896848      2099     49013         0    166654    201370   7974868     43.73   no data  --
1036.92/1036.94	c  N st  1158   3969731      2099     49013         0    152154    201370   7125720     43.73   no data  --
1065.72/1065.74	c  N st  1159   4079054      2099     49013         0    172621    201370   8756970     43.73   no data  --
1105.22/1105.24	c  N st  1160   4243038      2099     49013         0    157222    201370   7647426     43.73   no data  --
1177.73/1177.78	c  N st  1161   4489015      2099     49013         0    127319    201370   5062319     43.73   no data  --
1275.72/1275.75	c  N st  1162   4857980      2099     49013         0    113903    201370   3711178     43.73   no data  --

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-3250452-1303543715/watcher-3250452-1303543715 -o /tmp/evaluation-result-3250452-1303543715/solver-3250452-1303543715 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3250452-1303543715.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: 3.38 3.84 3.59 6/189 14586
/proc/meminfo: memFree=11958024/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=30268 CPUtime=0 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 896 0 0 0 0 0 0 0 20 0 1 0 465969405 30994432 836 33554432000 4194304 4650387 140736913396640 18446744073709551615 4361410 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 7567 846 327 112 0 2532 0

[startup+0.0786749 s]
/proc/loadavg: 3.38 3.84 3.59 6/189 14586
/proc/meminfo: memFree=11958024/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=35892 CPUtime=0.07 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 2849 0 0 0 7 0 0 0 20 0 1 0 465969405 36753408 2722 33554432000 4194304 4650387 140736913396640 18446744073709551615 4370698 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 8973 2722 346 112 0 3938 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35892

[startup+0.100664 s]
/proc/loadavg: 3.38 3.84 3.59 6/189 14586
/proc/meminfo: memFree=11958024/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=36024 CPUtime=0.09 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 2865 0 0 0 9 0 0 0 20 0 1 0 465969405 36888576 2738 33554432000 4194304 4650387 140736913396640 18446744073709551615 4370691 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 9006 2738 346 112 0 3971 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36024

[startup+0.300627 s]
/proc/loadavg: 3.38 3.84 3.59 6/189 14586
/proc/meminfo: memFree=11958024/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=36288 CPUtime=0.29 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 2919 0 0 0 29 0 0 0 21 0 1 0 465969405 37158912 2792 33554432000 4194304 4650387 140736913396640 18446744073709551615 4371119 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 9072 2792 346 112 0 4037 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36288

[startup+0.700552 s]
/proc/loadavg: 3.38 3.84 3.59 6/189 14586
/proc/meminfo: memFree=11958024/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=59844 CPUtime=0.68 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 8826 0 0 0 68 0 0 0 22 0 1 0 465969405 61280256 7258 33554432000 4194304 4650387 140736913396640 18446744073709551615 4389611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 14961 7258 370 112 0 9926 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 59844

[startup+1.50041 s]
/proc/loadavg: 3.38 3.84 3.59 6/189 14588
/proc/meminfo: memFree=11872064/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=59844 CPUtime=1.49 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 9919 0 0 0 148 1 0 0 25 0 1 0 465969405 61280256 8351 33554432000 4194304 4650387 140736913396640 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 14961 8351 380 112 0 9926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59844

[startup+3.10115 s]
/proc/loadavg: 3.38 3.84 3.59 6/194 14594
/proc/meminfo: memFree=11774312/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=84428 CPUtime=3.09 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 16206 0 0 0 307 2 0 0 25 0 1 0 465969405 86454272 10888 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365325 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 21107 10888 383 112 0 16072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84428

[startup+6.30057 s]
/proc/loadavg: 3.43 3.84 3.59 6/194 14594
/proc/meminfo: memFree=11614820/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=107288 CPUtime=6.29 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 21255 0 0 0 627 2 0 0 25 0 1 0 465969405 109862912 14465 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365314 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 26822 14465 383 112 0 21787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 107288

[startup+12.7004 s]
/proc/loadavg: 3.48 3.85 3.59 6/194 14594
/proc/meminfo: memFree=11553348/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=108236 CPUtime=12.69 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 24756 0 0 0 1266 3 0 0 25 0 1 0 465969405 110833664 17966 33554432000 4194304 4650387 140736913396640 18446744073709551615 4364745 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 27059 17966 383 112 0 22024 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108236

[startup+25.5011 s]
/proc/loadavg: 3.59 3.85 3.60 6/194 14595
/proc/meminfo: memFree=11525348/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=108236 CPUtime=25.49 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 25766 0 0 0 2546 3 0 0 25 0 1 0 465969405 110833664 18976 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 27059 18976 383 112 0 22024 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108236

[startup+51.1004 s]
/proc/loadavg: 3.79 3.88 3.61 6/194 14595
/proc/meminfo: memFree=11520824/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=162384 CPUtime=51.09 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 46104 0 0 0 5101 8 0 0 25 0 1 0 465969405 166281216 19513 33554432000 4194304 4650387 140736913396640 18446744073709551615 4334203 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 40596 19513 383 112 0 35561 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 162384

[startup+102.307 s]
/proc/loadavg: 3.91 3.90 3.63 6/194 14597
/proc/meminfo: memFree=11462100/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=137972 CPUtime=102.3 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 92625 0 0 0 10212 18 0 0 25 0 1 0 465969405 141283328 26848 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365291 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 34493 26848 383 112 0 29458 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 137972

[startup+162.301 s]
/proc/loadavg: 3.96 3.91 3.65 6/194 14625
/proc/meminfo: memFree=11446560/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=121344 CPUtime=162.29 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 121483 0 0 0 16205 24 0 0 25 0 1 0 465969405 124256256 23207 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 30336 23207 383 112 0 25301 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 121344

[startup+222.3 s]
/proc/loadavg: 4.04 3.94 3.68 6/194 14627
/proc/meminfo: memFree=11450172/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=189544 CPUtime=222.29 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 151881 0 0 0 22198 31 0 0 25 0 1 0 465969405 194093056 24188 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365311 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 47386 24188 383 112 0 42351 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 189544

[startup+282.3 s]
/proc/loadavg: 4.01 3.95 3.69 6/194 14629
/proc/meminfo: memFree=11394708/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=206708 CPUtime=282.3 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 185484 0 0 0 28189 41 0 0 25 0 1 0 465969405 211668992 35145 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365293 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 51677 35145 383 112 0 46642 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 206708

[startup+342.3 s]
/proc/loadavg: 4.00 3.95 3.71 6/194 14630
/proc/meminfo: memFree=11433760/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=177044 CPUtime=342.3 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 223898 0 0 0 34178 52 0 0 25 0 1 0 465969405 181293056 25703 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 44261 25703 383 112 0 39226 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 177044

[startup+402.301 s]
/proc/loadavg: 4.00 3.96 3.73 6/194 14632
/proc/meminfo: memFree=11410796/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=180460 CPUtime=402.3 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 262631 0 0 0 40169 61 0 0 25 0 1 0 465969405 184791040 26769 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366837 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 45115 26769 383 112 0 40080 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 180460

[startup+462.301 s]
/proc/loadavg: 4.00 3.96 3.74 6/194 14660
/proc/meminfo: memFree=11451268/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=184088 CPUtime=462.31 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 300869 0 0 0 46159 72 0 0 25 0 1 0 465969405 188506112 27875 33554432000 4194304 4650387 140736913396640 18446744073709551615 4364756 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 46022 27875 383 112 0 40987 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 184088

[startup+522.301 s]
/proc/loadavg: 4.10 4.00 3.76 6/194 14689
/proc/meminfo: memFree=11423316/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=187432 CPUtime=522.3 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 335620 0 0 0 52150 80 0 0 25 0 1 0 465969405 191930368 25290 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365311 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 46858 25290 383 112 0 41823 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 187432

[startup+582.301 s]
/proc/loadavg: 4.13 4.03 3.79 6/194 14691
/proc/meminfo: memFree=11428836/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=188996 CPUtime=582.31 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 366785 0 0 0 58144 87 0 0 25 0 1 0 465969405 193531904 29838 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366847 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 47249 29838 383 112 0 42214 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 188996

[startup+642.301 s]
/proc/loadavg: 4.20 4.07 3.81 6/194 14692
/proc/meminfo: memFree=11396820/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=191048 CPUtime=642.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 395842 0 0 0 64137 95 0 0 25 0 1 0 465969405 195633152 30985 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366784 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 47762 30985 383 112 0 42727 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 191048

[startup+702.301 s]
/proc/loadavg: 4.07 4.05 3.82 6/194 14694
/proc/meminfo: memFree=11450244/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=148792 CPUtime=702.31 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 432346 0 0 0 70126 105 0 0 25 0 1 0 465969405 152363008 28375 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 37198 28375 383 112 0 32163 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 148792

[startup+762.307 s]
/proc/loadavg: 4.14 4.07 3.84 6/194 14695
/proc/meminfo: memFree=11315300/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=234848 CPUtime=762.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 454531 0 0 0 76122 110 0 0 25 0 1 0 465969405 240484352 42709 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366874 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 58712 42709 383 112 0 53677 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 234848

[startup+822.301 s]
/proc/loadavg: 4.12 4.07 3.85 6/194 14697
/proc/meminfo: memFree=11346024/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=234848 CPUtime=822.31 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 477808 0 0 0 82115 116 0 0 25 0 1 0 465969405 240484352 40987 33554432000 4194304 4650387 140736913396640 18446744073709551615 4364730 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 58712 40987 383 112 0 53677 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 234848

[startup+882.3 s]
/proc/loadavg: 4.04 4.06 3.86 6/194 14699
/proc/meminfo: memFree=11403156/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=234848 CPUtime=882.31 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 499134 0 0 0 88110 121 0 0 25 0 1 0 465969405 240484352 35912 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 58712 35912 383 112 0 53677 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 234848

[startup+942.3 s]
/proc/loadavg: 4.01 4.04 3.86 6/194 14700
/proc/meminfo: memFree=11299836/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=256412 CPUtime=942.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 523242 0 0 0 94103 129 0 0 25 0 1 0 465969405 262565888 48926 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365314 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 64103 48926 383 112 0 59068 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 256412

[startup+1002.3 s]
/proc/loadavg: 4.00 4.03 3.87 6/194 14702
/proc/meminfo: memFree=11321392/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=238264 CPUtime=1002.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 539494 0 0 0 100098 134 0 0 25 0 1 0 465969405 243982336 38327 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 59566 38327 383 112 0 54531 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 238264

[startup+1062.3 s]
/proc/loadavg: 4.00 4.02 3.87 6/194 14703
/proc/meminfo: memFree=11306120/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=238264 CPUtime=1062.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 552187 0 0 0 106095 137 0 0 25 0 1 0 465969405 243982336 39515 33554432000 4194304 4650387 140736913396640 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 59566 39515 383 112 0 54531 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 238264

[startup+1122.3 s]
/proc/loadavg: 4.00 4.02 3.88 6/194 14705
/proc/meminfo: memFree=11361524/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=238264 CPUtime=1122.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 563166 0 0 0 112092 140 0 0 25 0 1 0 465969405 243982336 37310 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 59566 37310 383 112 0 54531 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 238264

[startup+1182.3 s]
/proc/loadavg: 4.10 4.04 3.90 6/194 14707
/proc/meminfo: memFree=11325148/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=258972 CPUtime=1182.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 578828 0 0 0 118087 145 0 0 25 0 1 0 465969405 265187328 43225 33554432000 4194304 4650387 140736913396640 18446744073709551615 4364719 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 64743 43225 383 112 0 59708 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 258972

[startup+1242.3 s]
/proc/loadavg: 4.07 4.05 3.91 6/194 14708
/proc/meminfo: memFree=11290652/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=258972 CPUtime=1242.32 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 591245 0 0 0 124084 148 0 0 25 0 1 0 465969405 265187328 45936 33554432000 4194304 4650387 140736913396640 18446744073709551615 4365291 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 64743 45936 383 112 0 59708 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 258972



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.04 3.91 6/194 14710
/proc/meminfo: memFree=11368240/32951124 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=155876 CPUtime=1300.03 cores=0,2
/proc/14586/stat : 14586 (strangenight1-s) R 14584 14586 13829 0 -1 4202496 617636 0 0 0 129847 156 0 0 25 0 1 0 465969405 159617024 30631 33554432000 4194304 4650387 140736913396640 18446744073709551615 4366787 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/14586/statm: 38969 30631 383 112 0 33934 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 155876

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.05
CPU user time (s): 1298.48
CPU system time (s): 1.57176
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 258972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.48
system time used= 1.57176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617636
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= 6
involuntary context switches= 2776

runsolver used 2.29465 second user time and 4.78327 second system time

The end

Launcher Data

Begin job on node133 at 2011-04-23 09:28:35
IDJOB=3250452
IDBENCH=83254
IDSOLVER=1589
FILE ID=node133/3250452-1303543715
RUNJOBID= node133-1303543715-14551
PBS_JOBID= 13143105
Free space on /tmp= 71612 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250452-1303543715/watcher-3250452-1303543715 -o /tmp/evaluation-result-3250452-1303543715/solver-3250452-1303543715 -C 2400 -W 1300 -M 7680  ./strangenight1-st HOME/instance-3250452-1303543715.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 86d9f733c618d2ca060f457ab8a19463
RANDOM SEED=150140069

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:      11958428 kB
Buffers:       2159364 kB
Cached:       18199764 kB
SwapCached:          0 kB
Active:        8970116 kB
Inactive:     11462332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11958428 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           27364 kB
Writeback:           0 kB
AnonPages:       72652 kB
Mapped:          15280 kB
Slab:           497488 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   248636 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= 71576 MiB
End job on node133 at 2011-04-23 09:50:17