Trace number 3174183

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-2-mt? (TO) 4800.3 1203.24

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf
MD5SUM6b69f72e1046222baee8c8d817a4adac
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark485.529
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174183-1304110470.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     225 undec:      48 neg:     227
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       488      2119         0         0      6439         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.00/0.15	c  N st     8      4915       488      2119         0      4834      6439    113409   no data   no data
0.00/0.42	c  N st    10     11300       488      2119         0      4473      6439     73762   no data   no data
0.00/0.69	c  N st    11     17043       488      2119         0     10066      6439    199687   no data   no data
4.36/1.11	c  F st    12     25000       488      2119         0     12361      6439    245423   no data   no data
4.36/1.12	c  N st    12     25000       488      2119         0     12361      6439    245423   no data   no data
5.14/1.38	c  N dy    18     30001       488      2119         0     10659      6439    192130   no data   no data
5.14/1.38	c  S st    18     30001       488      2119         0     10659      6439    192130   no data   no data
5.54/1.41	c  S st    18     30504       488      2119         0     11161      6439    202923   no data   no data
5.54/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.54/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.54/1.41	c blocked clauses removed:        2 vars:      1 tried:         488 T: 0.00 s
5.54/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.54/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.54/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
5.54/1.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.54/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.54/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.54/1.48	c lits-rem:       173  cl-subs:      628  v-elim:      0  v-fix:    0  time:  0.06 s
5.54/1.49	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
5.54/1.49	c calculated reachability. Time: 0.00
5.54/1.49	c  N dy    18     30504       487      2117         0     10533      6433    187643   no data   no data
7.04/1.85	c  N dy    24     35977       487      2117         0      8141      6433    102660     15.45     16.28
7.63/2.06	c  N dy    38     40336       487      2117         0     12444      6433    197571     15.39     16.24
9.76/2.84	c  N dy    40     45759       487      2117         0      8970      6433    101426     14.74     14.08
9.76/2.84	c  S st    40     45759       487      2117         0      8970      6433    101426     14.74     14.08
9.76/2.84	c  S st    40     46263       487      2117         0      9474      6433    112428     14.74   no data
9.76/2.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.76/2.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.76/2.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.76/2.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.76/2.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.76/2.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
9.76/2.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.76/2.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.76/2.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.76/2.90	c lits-rem:        17  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
9.76/2.90	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
9.76/2.90	c vivif2 --  cl tried     9469 cl shrink        0 lits rem          0 time: 0.00
9.76/2.90	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.00
9.76/2.90	c calculated reachability. Time: 0.00
9.76/2.90	c  N dy    40     46263       487      2117         0      9469      6433    112308     14.74   no data
10.56/3.14	c  N dy    60     51239       487      2117         0     14379      6433    219012     14.79     15.71
11.54/3.47	c  N dy    66     56200       487      2117         0     19266      6433    322631     14.63     15.47
12.74/3.72	c  N dy    85     60407       487      2117         0     13573      6433    182653     14.65     15.48
14.75/4.20	c  N dy   101     67270       487      2117         0     20320      6433    328707     14.59     15.57
15.13/4.38	c  S st   117     69395       487      2117         0     11601      6433    120912     14.65   no data
15.53/4.41	c  S st   117     69895       487      2117         0     12100      6433    132410     14.65   no data
15.53/4.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.53/4.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
15.53/4.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/4.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/4.44	c lits-rem:        23  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.01 s
15.53/4.44	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
15.53/4.44	c vivif2 --  cl tried    12076 cl shrink        0 lits rem          0 time: 0.00
15.53/4.45	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
15.53/4.45	c calculated reachability. Time: 0.00
15.53/4.45	c  N dy   117     69895       487      2117         0     12076      6433    131751     14.65   no data
16.73/4.78	c  N dy   131     75066       487      2117         0     17154      6433    237740     14.61     15.42
18.32/5.15	c  N dy   156     79913       487      2117         0     21940      6433    343434     14.66     16.08
19.92/5.53	c  N dy   186     85077       487      2117         0     15190      6433    181136     14.72     15.83
20.72/5.70	c  F st   202     87501       487      2117         0     17586      6433    232499     14.75   no data
21.53/5.95	c  N st   207     90801       487      2117         0     20834      6433    308060     14.75   no data
22.33/6.11	c Decided on static restart strategy
24.32/6.64	c  N st   210     99807       487      2117         0     16869      6433    316037     14.75   no data
25.89/7.03	c  S st   211    104844       487      2117         0     21811      6433    426818     14.75   no data
25.89/7.09	c  S st   211    105345       487      2117         0     22310      6433    438103     14.75   no data
25.89/7.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.89/7.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.89/7.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.89/7.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.89/7.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.89/7.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
25.89/7.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.29/7.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.29/7.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/7.33	c lits-rem:       221  cl-subs:     1062  v-elim:      0  v-fix:    0  time:  0.21 s
27.09/7.33	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
27.09/7.33	c vivif2 --  cl tried    21248 cl shrink        0 lits rem          0 time: 0.00
27.09/7.34	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
27.09/7.34	c calculated reachability. Time: 0.00
27.09/7.34	c  N st   211    105345       487      2117         0     21248      6433    411062     14.75   no data
30.68/8.22	c  N st   212    114944       487      2117         0     16919      6433    246896     14.75   no data
35.48/9.49	c  N st   213    129341       487      2117         0     16392      6433    249077     14.75   no data
43.06/11.31	c  N st   214    150936       487      2117         0     21829      6433    335467     14.75   no data
45.86/12.03	c  S st   215    158019       487      2117         0     28736      6433    487630     14.75   no data
46.25/12.10	c  S st   215    158523       487      2117         0     29240      6433    499483     14.75   no data
46.25/12.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.25/12.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.25/12.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.25/12.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.25/12.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.25/12.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
46.25/12.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.25/12.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.25/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.25/12.65	c lits-rem:       305  cl-subs:     2222  v-elim:      0  v-fix:    0  time:  0.52 s
48.25/12.65	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
48.25/12.66	c vivif2 --  cl tried    27018 cl shrink        0 lits rem          0 time: 0.01
48.25/12.67	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.02
48.25/12.67	c calculated reachability. Time: 0.00
48.25/12.67	c  N st   215    158523       487      2117         0     27018      6433    453877     14.75   no data
68.60/17.71	c  N st   216    207111       487      2117         0     21697      6433    294763     14.75   no data
80.99/20.85	c  N st   217    237785       487      2117         0     32063      6433    509086     14.75   no data
80.99/20.85	c  S st   217    237785       487      2117         0     32063      6433    509086     14.75   no data
81.39/20.92	c  S st   217    238286       487      2117         0     32561      6433    520585     14.75   no data
81.39/20.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.39/20.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.39/20.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.39/20.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.39/20.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.39/20.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
81.39/20.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.39/20.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.39/20.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.79/21.51	c lits-rem:       196  cl-subs:     2268  v-elim:      0  v-fix:    0  time:  0.55 s
83.79/21.51	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
83.79/21.51	c vivif2 --  cl tried    30293 cl shrink        0 lits rem          0 time: 0.01
83.79/21.53	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.02
83.79/21.53	c calculated reachability. Time: 0.00
83.79/21.53	c  N st   217    238286       487      2117         0     30293      6433    474743     14.75   no data
114.92/29.37	c  F st   218    306250       487      2117         0     32289      6433    467714     14.75   no data
114.92/29.37	c  N st   218    306250       487      2117         0     32289      6433    467714     14.75   no data
117.71/30.01	c Decided on static restart strategy
127.69/32.59	c  N st   228    334556       487      2117         0     36608      6433    584367     14.75   no data
138.88/35.39	c  N st   230    357429       487      2117         0     34544      6433    494127     14.75   no data
138.88/35.39	c  S st   230    357429       487      2117         0     34544      6433    494127     14.75   no data
139.27/35.48	c  S st   230    357931       487      2117         0     35045      6433    505597     14.75   no data
139.27/35.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.27/35.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
139.27/35.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.27/35.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.27/35.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.27/35.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
139.27/35.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
139.67/35.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.67/35.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.87/35.82	c lits-rem:       178  cl-subs:     1302  v-elim:      0  v-fix:    0  time:  0.30 s
140.87/35.82	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
140.87/35.82	c vivif2 --  cl tried    33743 cl shrink        0 lits rem          0 time: 0.01
140.87/35.84	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.02
140.87/35.85	c calculated reachability. Time: 0.00
140.87/35.85	c  N st   230    357931       487      2117         0     33743      6433    476454     14.75   no data
157.65/40.00	c  N st   231    390325       487      2117         0     40019      6433    608424     14.75   no data
184.80/46.87	c  N st   232    438915       487      2117         0     33717      6433    432140     14.75   no data
225.91/57.17	c  N st   233    511797       487      2117         0     47025      6433    708234     14.75   no data
240.30/60.77	c  N st   234    536897       487      2117         0     41354      6433    568565     14.75   no data
240.30/60.77	c  S st   234    536897       487      2117         0     41354      6433    568565     14.75   no data
240.69/60.88	c  S st   234    537400       487      2117         0     41856      6433    579788     14.75   no data
240.69/60.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.69/60.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
240.69/60.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.69/60.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.69/60.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.69/60.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
240.69/60.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.09/60.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.09/60.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.11/61.43	c lits-rem:       180  cl-subs:     1835  v-elim:      0  v-fix:    0  time:  0.51 s
243.11/61.43	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
243.11/61.44	c vivif2 --  cl tried    40021 cl shrink        0 lits rem          0 time: 0.01
243.11/61.47	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.03
243.11/61.47	c calculated reachability. Time: 0.00
243.11/61.47	c  N st   234    537400       487      2117         0     40021      6433    537261     14.75   no data
350.49/88.35	c  N st   235    701385       487      2117         0     69215      6433   1150201     14.75   no data
426.37/107.37	c  N st   236    806101       487      2117         0     62944      6433    944452     14.75   no data
426.37/107.37	c  S st   236    806101       487      2117         0     62944      6433    944452     14.75   no data
427.18/107.56	c  S st   236    806605       487      2117         0     63447      6433    956225     14.75   no data
427.18/107.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
427.18/107.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
427.18/107.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
427.18/107.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
427.18/107.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
427.18/107.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
427.18/107.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
427.58/107.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
427.58/107.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.36/110.85	c lits-rem:       326  cl-subs:     6417  v-elim:      0  v-fix:    0  time:  3.21 s
440.36/110.85	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
440.36/110.86	c vivif2 --  cl tried    57030 cl shrink        0 lits rem          0 time: 0.01
440.76/110.91	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.05
440.76/110.91	c calculated reachability. Time: 0.00
440.76/110.91	c  N st   236    806605       487      2117         0     57030      6433    823886     14.75   no data
652.78/164.02	c  F st   237   1071876       487      2117         0     72869      6433   1073720     14.75   no data
652.78/164.02	c  N st   237   1071876       487      2117         0     72869      6433   1073720     14.75   no data
657.97/165.31	c Decided on static restart strategy
679.93/170.81	c  N st   247   1100184       487      2117         0     56910      6433    725990     14.75   no data
712.68/179.03	c  N st   249   1136177       487      2117         0     47210      6433    485799     14.75   no data
739.81/185.83	c  N st   250   1168571       487      2117         0     78712      6433   1206638     14.75   no data
793.32/199.29	c  N st   251   1209907       487      2117         0     73466      6433   1053997     14.75   no data
793.32/199.29	c  S st   251   1209907       487      2117         0     73466      6433   1053997     14.75   no data
794.52/199.52	c  S st   251   1210419       487      2117         0     73977      6433   1065959     14.75   no data
794.52/199.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
794.52/199.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
794.52/199.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
794.52/199.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
794.52/199.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.52/199.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
794.52/199.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
794.52/199.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
794.92/199.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.50/202.09	c lits-rem:       470  cl-subs:     4767  v-elim:      0  v-fix:    0  time:  2.48 s
804.50/202.09	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
804.50/202.10	c vivif2 --  cl tried    69210 cl shrink        0 lits rem          0 time: 0.01
804.92/202.16	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.06
804.92/202.16	c calculated reachability. Time: 0.00
804.92/202.16	c  N st   251   1210419       487      2117         0     69210      6433    968955     14.75   no data
871.22/218.79	c  N st   252   1283302       487      2117         0     93207      6433   1541902     14.75   no data
985.78/247.44	c  N st   253   1392626       487      2117         0     53865      6433    562700     14.75   no data
1127.13/282.81	c  N st   254   1556610       487      2117         0     58549      6433    622890     14.75   no data
1268.47/318.26	c  N st   255   1710419       487      2117         0    100014      6433   1573757     14.75   no data
1268.47/318.26	c  S st   255   1710419       487      2117         0    100014      6433   1573757     14.75   no data
1269.68/318.59	c  S st   255   1710922       487      2117         0    100517      6433   1585590     14.75   no data
1269.68/318.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1270.08/318.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1270.08/318.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1270.08/318.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1270.08/318.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1270.08/318.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1270.08/318.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1270.08/318.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1270.49/318.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1308.01/328.15	c lits-rem:       827  cl-subs:     9283  v-elim:      0  v-fix:    0  time:  9.43 s
1308.01/328.15	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
1308.01/328.17	c vivif2 --  cl tried    91234 cl shrink        0 lits rem          0 time: 0.02
1308.41/328.26	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.09
1308.41/328.27	c calculated reachability. Time: 0.00
1308.41/328.27	c  N st   255   1710922       487      2117         0     91234      6433   1384397     14.75   no data
1702.86/427.01	c  N st   256   2079886       487      2117         0    102979      6433   1484914     14.75   no data
1862.98/467.11	c  N st   257   2210923       487      2117         0    106902      6433   1548599     14.75   no data
1862.98/467.11	c  S st   257   2210923       487      2117         0    106902      6433   1548599     14.75   no data
1864.17/467.49	c  S st   257   2211425       487      2117         0    107404      6433   1560365     14.75   no data
1864.58/467.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1864.58/467.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1864.58/467.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1864.58/467.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1864.58/467.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1864.58/467.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1864.58/467.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1864.58/467.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1864.98/467.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1899.31/476.28	c lits-rem:      1028  cl-subs:    10692  v-elim:      0  v-fix:    0  time:  8.66 s
1899.31/476.28	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
1899.71/476.31	c vivif2 --  cl tried    96712 cl shrink        0 lits rem          0 time: 0.02
1900.11/476.41	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.10
1900.11/476.41	c calculated reachability. Time: 0.00
1900.11/476.41	c  N st   257   2211425       487      2117         0     96712      6433   1350635     14.75   no data
2510.26/629.21	c  N st   258   2711427       487      2117         0    120066      6433   1789579     14.75   no data
2510.26/629.21	c  S st   258   2711427       487      2117         0    120066      6433   1789579     14.75   no data
2511.86/629.63	c  S st   258   2711928       487      2117         0    120566      6433   1802037     14.75   no data
2511.86/629.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2511.86/629.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2511.86/629.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2512.26/629.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2512.26/629.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2512.26/629.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
2512.26/629.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2512.26/629.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2512.26/629.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2573.06/645.14	c lits-rem:       612  cl-subs:    11826  v-elim:      0  v-fix:    0  time: 15.26 s
2573.06/645.14	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
2573.06/645.16	c vivif2 --  cl tried   108740 cl shrink        0 lits rem          0 time: 0.02
2573.46/645.27	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.11
2573.46/645.28	c calculated reachability. Time: 0.00
2573.46/645.28	c  N st   258   2711928       487      2117         0    108740      6433   1561323     14.75   no data
3239.27/812.38	c  N st   259   3211928       487      2117         0     85059      6433    904215     14.75   no data
3239.27/812.38	c  S st   259   3211928       487      2117         0     85059      6433    904215     14.75   no data
3240.47/812.63	c  S st   259   3212432       487      2117         0     85563      6433    916899     14.75   no data
3240.47/812.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3240.47/812.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3240.47/812.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3240.47/812.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3240.47/812.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3240.47/812.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
3240.47/812.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3240.47/812.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3240.86/812.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3243.66/813.44	c lits-rem:       151  cl-subs:     2167  v-elim:      0  v-fix:    0  time:  0.72 s
3243.66/813.44	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
3243.66/813.46	c vivif2 --  cl tried    83396 cl shrink        0 lits rem          0 time: 0.01
3244.06/813.53	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.08
3244.06/813.54	c calculated reachability. Time: 0.00
3244.06/813.54	c  N st   259   3212432       487      2117         0     83396      6433    877864     14.75   no data
3943.69/988.76	c  N st   260   3712433       487      2117         0     94018      6433   1035742     14.75   no data
3943.69/988.76	c  S st   260   3712433       487      2117         0     94018      6433   1035742     14.75   no data
3945.68/989.26	c  S st   260   3712935       487      2117         0     94518      6433   1047657     14.75   no data
3945.68/989.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3946.08/989.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.07
3946.08/989.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3946.08/989.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3946.08/989.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3946.08/989.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
3946.08/989.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3946.08/989.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3946.48/989.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3954.07/991.34	c lits-rem:       101  cl-subs:     2135  v-elim:      0  v-fix:    0  time:  1.91 s
3954.07/991.34	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
3954.07/991.36	c vivif2 --  cl tried    92383 cl shrink        0 lits rem          0 time: 0.02
3954.86/991.51	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.15
3954.86/991.51	c calculated reachability. Time: 0.00
3954.86/991.51	c  N st   260   3712935       487      2117         0     92383      6433   1004723     14.75   no data
4019.17/1007.68	c  F st   261   3751564       487      2117         0    129793      6433   1883016     14.75   no data
4019.17/1007.68	c  N st   261   3751564       487      2117         0    129793      6433   1883016     14.75   no data
4027.96/1009.83	c Decided on static restart strategy
4070.27/1020.41	c  N st   271   3779872       487      2117         0    157312      6433   2520160     14.75   no data
4115.81/1031.89	c  N st   273   3815864       487      2117         0    110135      6433   1417228     14.75   no data
4170.49/1045.56	c  N st   274   3848258       487      2117         0    141566      6433   2134631     14.75   no data
4239.20/1062.70	c  N st   275   3896846       487      2117         0    105195      6433   1229094     14.75   no data
4342.20/1088.54	c  N st   276   3969729       487      2117         0     91585      6433    916821     14.75   no data
4499.52/1127.90	c  N st   277   4079053       487      2117         0    112416      6433   1387298     14.75   no data
4694.80/1176.83	c  N st   278   4212935       487      2117         0    155710      6433   2328615     14.75   no data
4694.80/1176.83	c  S st   278   4212935       487      2117         0    155710      6433   2328615     14.75   no data
4696.80/1177.36	c  S st   278   4213439       487      2117         0    156213      6433   2340839     14.75   no data
4696.80/1177.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4697.20/1177.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4697.20/1177.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4697.20/1177.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4697.20/1177.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4697.20/1177.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
4697.20/1177.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4697.20/1177.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4697.60/1177.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3174183-1304110470/watcher-3174183-1304110470 -o /tmp/evaluation-result-3174183-1304110470/solver-3174183-1304110470 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174183-1304110470.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.12 8.13 7.85 5/178 14242
/proc/meminfo: memFree=30980980/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 522645631 52441088 348 33554432000 4194304 4627427 140733662412080 18446744073709551615 242970606577 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 12803 348 299 106 0 7774 0
[pid=14242/tid=14243] ppid=14240 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522645632 52441088 348 33554432000 4194304 4627427 140733662412080 18446744073709551615 47228121585586 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522645632 52441088 348 33554432000 4194304 4627427 140733662412080 18446744073709551615 47228121585586 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522645632 52441088 348 33554432000 4194304 4627427 140733662412080 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.856523 s]
/proc/loadavg: 8.12 8.13 7.85 5/178 14242
/proc/meminfo: memFree=30980980/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=284964 CPUtime=3.39 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 5084 0 0 0 339 0 0 0 19 0 4 0 522645631 291803136 2522 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 71241 2522 385 106 0 66212 0
[pid=14242/tid=14243] ppid=14240 vsize=284964 CPUtime=0.84 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1195 0 0 0 84 0 0 0 25 0 4 0 522645632 291803136 2522 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=284964 CPUtime=0.84 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1195 0 0 0 84 0 0 0 19 0 4 0 522645632 291803136 2522 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=284964 CPUtime=0.84 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1116 0 0 0 84 0 0 0 19 0 4 0 522645632 291803136 2522 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 284964

[startup+0.900514 s]
/proc/loadavg: 8.12 8.13 7.85 5/178 14242
/proc/meminfo: memFree=30980980/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=284964 CPUtime=3.57 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 5177 0 0 0 357 0 0 0 19 0 4 0 522645631 291803136 2615 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 71241 2615 385 106 0 66212 0
[pid=14242/tid=14243] ppid=14240 vsize=284964 CPUtime=0.89 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1220 0 0 0 89 0 0 0 25 0 4 0 522645632 291803136 2615 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=284964 CPUtime=0.89 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1218 0 0 0 89 0 0 0 19 0 4 0 522645632 291803136 2615 33554432000 4194304 4627427 140733662412080 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=284964 CPUtime=0.89 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1138 0 0 0 89 0 0 0 19 0 4 0 522645632 291803136 2615 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 284964

[startup+1.0005 s]
/proc/loadavg: 8.12 8.13 7.85 5/178 14242
/proc/meminfo: memFree=30980980/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=285104 CPUtime=3.94 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 5414 0 0 0 393 1 0 0 19 0 4 0 522645631 291946496 2852 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 71276 2852 385 106 0 66247 0
[pid=14242/tid=14243] ppid=14240 vsize=285104 CPUtime=0.98 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1283 0 0 0 98 0 0 0 25 0 4 0 522645632 291946496 2852 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=285104 CPUtime=0.99 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1278 0 0 0 99 0 0 0 19 0 4 0 522645632 291946496 2855 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=285104 CPUtime=0.97 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1189 0 0 0 97 0 0 0 19 0 4 0 522645632 291946496 2855 33554432000 4194304 4627427 140733662412080 18446744073709551615 4330984 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 285104

[startup+1.10348 s]
/proc/loadavg: 8.12 8.13 7.85 5/178 14242
/proc/meminfo: memFree=30980980/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=285236 CPUtime=4.36 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 5702 0 0 0 435 1 0 0 19 0 4 0 522645631 292081664 3140 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 71309 3140 386 106 0 66280 0
[pid=14242/tid=14243] ppid=14240 vsize=285236 CPUtime=1.08 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1355 0 0 0 108 0 0 0 25 0 4 0 522645632 292081664 3140 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=285236 CPUtime=1.09 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1359 0 0 0 109 0 0 0 19 0 4 0 522645632 292081664 3140 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=285236 CPUtime=1.07 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1276 0 0 0 107 0 0 0 19 0 4 0 522645632 292081664 3140 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 285236

[startup+1.50041 s]
/proc/loadavg: 8.12 8.13 7.85 5/178 14242
/proc/meminfo: memFree=30980980/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=287012 CPUtime=5.95 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 8410 0 0 0 593 2 0 0 20 0 4 0 522645631 293900288 4581 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 71753 4581 392 106 0 66724 0
[pid=14242/tid=14243] ppid=14240 vsize=287012 CPUtime=1.48 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1700 0 0 0 148 0 0 0 25 0 4 0 522645632 293900288 4581 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=287012 CPUtime=1.49 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1709 0 0 0 149 0 0 0 19 0 4 0 522645632 293900288 4581 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=287012 CPUtime=1.47 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1633 0 0 0 147 0 0 0 20 0 4 0 522645632 293900288 4581 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 287012

[startup+3.10314 s]
/proc/loadavg: 8.12 8.13 7.85 10/182 14246
/proc/meminfo: memFree=30945112/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=278364 CPUtime=10.56 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 13828 0 0 0 989 67 0 0 17 0 4 0 522645631 285044736 7934 33554432000 4194304 4627427 140733662412080 18446744073709551615 4321457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 69591 7936 389 106 0 64562 0
[pid=14242/tid=14243] ppid=14240 vsize=278364 CPUtime=2.76 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 3625 0 0 0 275 1 0 0 18 0 4 0 522645632 285044736 7938 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=278364 CPUtime=3.05 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 4301 0 0 0 251 54 0 0 18 0 4 0 522645632 285044736 7940 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=278364 CPUtime=2.02 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 1698 0 0 0 196 6 0 0 22 0 4 0 522645632 285044736 7942 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 278364

[startup+6.30059 s]
/proc/loadavg: 8.43 8.19 7.87 9/182 14246
/proc/meminfo: memFree=30946216/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=270004 CPUtime=23.14 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 23984 0 0 0 2244 70 0 0 23 0 4 0 522645631 276484096 12324 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 67501 12324 389 106 0 62472 0
[pid=14242/tid=14243] ppid=14240 vsize=270004 CPUtime=5.94 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 6876 0 0 0 592 2 0 0 25 0 4 0 522645632 276484096 12324 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=270004 CPUtime=6.24 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 6780 0 0 0 570 54 0 0 25 0 4 0 522645632 276484096 12324 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420281 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=270004 CPUtime=5.01 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 4624 0 0 0 494 7 0 0 25 0 4 0 522645632 276484096 12324 33554432000 4194304 4627427 140733662412080 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.14
Current children cumulated vsize (KiB) 270004

[startup+12.7005 s]
/proc/loadavg: 8.40 8.19 7.87 9/182 14246
/proc/meminfo: memFree=30923528/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=290048 CPUtime=48.65 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 41017 0 0 0 4789 76 0 0 25 0 4 0 522645631 297009152 20602 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 72512 20602 389 106 0 67483 0
[pid=14242/tid=14243] ppid=14240 vsize=290048 CPUtime=12.29 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 10753 0 0 0 1227 2 0 0 25 0 4 0 522645632 297009152 20602 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=290048 CPUtime=12.62 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 9675 0 0 0 1207 55 0 0 25 0 4 0 522645632 297009152 20602 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=290048 CPUtime=11.4 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 9094 0 0 0 1129 11 0 0 25 0 4 0 522645632 297009152 20602 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.65
Current children cumulated vsize (KiB) 290048

[startup+25.5003 s]
/proc/loadavg: 8.38 8.19 7.88 9/182 14246
/proc/meminfo: memFree=30895496/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=319108 CPUtime=99.75 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 59383 0 0 0 9895 80 0 0 25 0 4 0 522645631 326766592 25817 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 79777 25817 389 106 0 74748 0
[pid=14242/tid=14243] ppid=14240 vsize=319108 CPUtime=25.03 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 15798 0 0 0 2499 4 0 0 25 0 4 0 522645632 326766592 25817 33554432000 4194304 4627427 140733662412080 18446744073709551615 4327647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=319108 CPUtime=25.42 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 13568 0 0 0 2486 56 0 0 25 0 4 0 522645632 326766592 25817 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=319108 CPUtime=24.19 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 13411 0 0 0 2406 13 0 0 25 0 4 0 522645632 326766592 25817 33554432000 4194304 4627427 140733662412080 18446744073709551615 4352141 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (KiB) 319108

[startup+51.1009 s]
/proc/loadavg: 8.25 8.18 7.88 9/182 14247
/proc/meminfo: memFree=30852960/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=320156 CPUtime=201.96 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 90494 0 0 0 20106 90 0 0 25 0 4 0 522645631 327839744 30847 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 80039 30847 389 106 0 75010 0
[pid=14242/tid=14243] ppid=14240 vsize=320156 CPUtime=50.49 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 25891 0 0 0 5043 6 0 0 25 0 4 0 522645632 327839744 30847 33554432000 4194304 4627427 140733662412080 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=320156 CPUtime=51 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 18871 0 0 0 5042 58 0 0 25 0 4 0 522645632 327839744 30847 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=320156 CPUtime=49.76 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 20842 0 0 0 4959 17 0 0 25 0 4 0 522645632 327839744 30847 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.96
Current children cumulated vsize (KiB) 320156

[startup+102.301 s]
/proc/loadavg: 8.15 8.16 7.89 9/182 14248
/proc/meminfo: memFree=30828948/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=331976 CPUtime=406.4 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 138812 0 0 0 40535 105 0 0 25 0 4 0 522645631 339943424 39027 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14242/statm: 82994 39027 389 106 0 77965 0
[pid=14242/tid=14243] ppid=14240 vsize=331976 CPUtime=101.4 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 39538 0 0 0 10130 10 0 0 25 0 4 0 522645632 339943424 39027 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308881 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=331976 CPUtime=102.16 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 26352 0 0 0 10156 60 0 0 25 0 4 0 522645632 339943424 39027 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=331976 CPUtime=100.92 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 35543 0 0 0 10070 22 0 0 25 0 4 0 522645632 339943424 39027 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.4
Current children cumulated vsize (KiB) 331976

[startup+162.301 s]

################
# More data... #
################

[pid=14242] ppid=14240 vsize=512728 CPUtime=2561.87 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 438878 0 0 0 255908 279 0 0 25 0 4 0 522645631 525033472 83719 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 128182 83719 389 106 0 123153 0
[pid=14242/tid=14243] ppid=14240 vsize=512728 CPUtime=638.27 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 119421 0 0 0 63785 42 0 0 25 0 4 0 522645632 525033472 83719 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=512728 CPUtime=641.83 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 99034 0 0 0 64092 91 0 0 25 0 4 0 522645632 525033472 83719 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=512728 CPUtime=640.05 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 109660 0 0 0 63897 108 0 0 25 0 4 0 522645632 525033472 83719 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.87
Current children cumulated vsize (KiB) 512728

[startup+702.301 s]
/proc/loadavg: 7.93 8.03 7.94 9/182 14306
/proc/meminfo: memFree=30824264/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=501156 CPUtime=2801.45 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 462683 0 0 0 279855 290 0 0 25 0 4 0 522645631 513183744 85380 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 125289 85380 389 106 0 120260 0
[pid=14242/tid=14243] ppid=14240 vsize=501156 CPUtime=697.94 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 126768 0 0 0 69748 46 0 0 25 0 4 0 522645632 513183744 85380 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=501156 CPUtime=701.77 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 105580 0 0 0 70083 94 0 0 25 0 4 0 522645632 513183744 85380 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=501156 CPUtime=700.04 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 115917 0 0 0 69893 111 0 0 25 0 4 0 522645632 513183744 85380 33554432000 4194304 4627427 140733662412080 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.45
Current children cumulated vsize (KiB) 501156

[startup+762.3 s]
/proc/loadavg: 8.12 8.08 7.96 9/182 14309
/proc/meminfo: memFree=30772900/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=566988 CPUtime=3039.64 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 485763 0 0 0 303649 315 0 0 25 0 4 0 522645631 580595712 91793 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 141747 91793 389 106 0 136718 0
[pid=14242/tid=14243] ppid=14240 vsize=566988 CPUtime=757.09 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 133055 0 0 0 75646 63 0 0 25 0 4 0 522645632 580595712 91793 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=566988 CPUtime=761.49 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 113043 0 0 0 76051 98 0 0 25 0 4 0 522645632 580595712 91793 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=566988 CPUtime=760.03 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 120307 0 0 0 75890 113 0 0 25 0 4 0 522645632 580595712 91793 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.64
Current children cumulated vsize (KiB) 566988

[startup+822.301 s]
/proc/loadavg: 8.04 8.06 7.96 9/182 14311
/proc/meminfo: memFree=30753132/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=567116 CPUtime=3279.18 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 508226 0 0 0 327594 324 0 0 25 0 4 0 522645631 580726784 94680 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 141779 94680 389 106 0 136750 0
[pid=14242/tid=14243] ppid=14240 vsize=567116 CPUtime=816.69 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 139930 0 0 0 81603 66 0 0 25 0 4 0 522645632 580726784 94681 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=567116 CPUtime=821.46 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 118886 0 0 0 82045 101 0 0 25 0 4 0 522645632 580726784 94681 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=567116 CPUtime=820.01 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 126624 0 0 0 81887 114 0 0 25 0 4 0 522645632 580726784 94681 33554432000 4194304 4627427 140733662412080 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.18
Current children cumulated vsize (KiB) 567116

[startup+882.307 s]
/proc/loadavg: 8.05 8.06 7.97 9/182 14312
/proc/meminfo: memFree=30679304/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=554672 CPUtime=3518.81 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 535257 0 0 0 351544 337 0 0 25 0 4 0 522645631 567984128 95791 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 138668 95791 389 106 0 133639 0
[pid=14242/tid=14243] ppid=14240 vsize=554672 CPUtime=876.32 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 146141 0 0 0 87561 71 0 0 25 0 4 0 522645632 567984128 95791 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=554672 CPUtime=881.46 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 126695 0 0 0 88043 103 0 0 25 0 4 0 522645632 567984128 95791 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=554672 CPUtime=880.02 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 132830 0 0 0 87885 117 0 0 25 0 4 0 522645632 567984128 95791 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309059 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.81
Current children cumulated vsize (KiB) 554672

[startup+942.3 s]
/proc/loadavg: 8.09 8.06 7.97 9/182 14314
/proc/meminfo: memFree=30676280/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=554788 CPUtime=3758.4 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 555408 0 0 0 375494 346 0 0 25 0 4 0 522645631 568102912 98146 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 138697 98146 389 106 0 133668 0
[pid=14242/tid=14243] ppid=14240 vsize=554788 CPUtime=935.94 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 150445 0 0 0 93521 73 0 0 25 0 4 0 522645632 568102912 98146 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=554788 CPUtime=941.45 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 132930 0 0 0 94039 106 0 0 25 0 4 0 522645632 568102912 98146 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=554788 CPUtime=940.01 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 138944 0 0 0 93882 119 0 0 25 0 4 0 522645632 568102912 98146 33554432000 4194304 4627427 140733662412080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.4
Current children cumulated vsize (KiB) 554788

[startup+1002.3 s]
/proc/loadavg: 8.12 8.08 7.98 9/182 14315
/proc/meminfo: memFree=30613864/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=620376 CPUtime=3998 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 573240 0 0 0 399443 357 0 0 25 0 4 0 522645631 635265024 105947 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 155094 105947 389 106 0 150065 0
[pid=14242/tid=14243] ppid=14240 vsize=620376 CPUtime=995.56 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 154530 0 0 0 99479 77 0 0 25 0 4 0 522645632 635265024 105947 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=620376 CPUtime=1001.45 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 137248 0 0 0 100037 108 0 0 25 0 4 0 522645632 635265024 105947 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=620376 CPUtime=1000.02 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 142735 0 0 0 99881 121 0 0 25 0 4 0 522645632 635265024 105947 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998
Current children cumulated vsize (KiB) 620376

[startup+1062.3 s]
/proc/loadavg: 8.12 8.08 7.99 9/182 14317
/proc/meminfo: memFree=30597680/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=568700 CPUtime=4237.58 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 594307 0 0 0 423392 366 0 0 25 0 4 0 522645631 582348800 101848 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 142175 101848 389 106 0 137146 0
[pid=14242/tid=14243] ppid=14240 vsize=568700 CPUtime=1055.17 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 160527 0 0 0 105437 80 0 0 25 0 4 0 522645632 582348800 101848 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=568700 CPUtime=1061.45 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 143670 0 0 0 106034 111 0 0 25 0 4 0 522645632 582348800 101848 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=568700 CPUtime=1060.02 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 148460 0 0 0 105878 124 0 0 25 0 4 0 522645632 582348800 101848 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.58
Current children cumulated vsize (KiB) 568700

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 8.00 9/182 14319
/proc/meminfo: memFree=30553348/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=686688 CPUtime=4477.16 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 614463 0 0 0 447338 378 0 0 25 0 4 0 522645631 703168512 111874 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 171672 111874 389 106 0 166643 0
[pid=14242/tid=14243] ppid=14240 vsize=686688 CPUtime=1114.79 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 165516 0 0 0 111393 86 0 0 25 0 4 0 522645632 703168512 111874 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=686688 CPUtime=1121.45 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 147925 0 0 0 112033 112 0 0 25 0 4 0 522645632 703168512 111874 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=686688 CPUtime=1120.02 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 153225 0 0 0 111876 126 0 0 25 0 4 0 522645632 703168512 111874 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.16
Current children cumulated vsize (KiB) 686688

[startup+1182.3 s]
/proc/loadavg: 8.15 8.09 8.00 9/182 14320
/proc/meminfo: memFree=30508404/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=634364 CPUtime=4716.77 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 635954 0 0 0 471289 388 0 0 25 0 4 0 522645631 649588736 123702 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 158591 123702 389 106 0 153562 0
[pid=14242/tid=14243] ppid=14240 vsize=634364 CPUtime=1174.41 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 171509 0 0 0 117351 90 0 0 25 0 4 0 522645632 649588736 123702 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=634364 CPUtime=1181.45 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 154169 0 0 0 118032 113 0 0 25 0 4 0 522645632 649588736 123702 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=634364 CPUtime=1180.03 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 156146 0 0 0 117875 128 0 0 25 0 4 0 522645632 649588736 123702 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.77
Current children cumulated vsize (KiB) 634364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.10 8.08 8.00 9/182 14321
/proc/meminfo: memFree=30531332/32951132 swapFree=67111364/67111528
[pid=14242] ppid=14240 vsize=568828 CPUtime=4800.24 cores=0,2,4,6
/proc/14242/stat : 14242 (strangenight2-m) R 14240 14242 13971 0 -1 4202496 637369 0 0 0 479634 390 0 0 25 0 4 0 522645631 582479872 112164 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14242/statm: 142207 112164 389 106 0 137178 0
[pid=14242/tid=14243] ppid=14240 vsize=568828 CPUtime=1195.18 cores=0,2,4,6
/proc/14242/task/14243/stat : 14243 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 172188 0 0 0 119427 91 0 0 25 0 4 0 522645632 582479872 112164 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14242/tid=14244] ppid=14240 vsize=568828 CPUtime=1202.35 cores=0,2,4,6
/proc/14242/task/14244/stat : 14244 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 154169 0 0 0 120122 113 0 0 25 0 4 0 522645632 582479872 112164 33554432000 4194304 4627427 140733662412080 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14242/tid=14245] ppid=14240 vsize=568828 CPUtime=1200.92 cores=0,2,4,6
/proc/14242/task/14245/stat : 14245 (strangenight2-m) R 14240 14242 13971 0 -1 4202560 156882 0 0 0 119964 128 0 0 25 0 4 0 522645632 582479872 112164 33554432000 4194304 4627427 140733662412080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 568828

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): 1203.24
CPU time (s): 4800.3
CPU user time (s): 4796.37
CPU system time (s): 3.9244
CPU usage (%): 398.949
Max. virtual memory (cumulated for all children) (KiB): 723024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.37
system time used= 3.9244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637369
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= 865
involuntary context switches= 21271

runsolver used 1.89671 second user time and 4.89426 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 22:54:30
IDJOB=3174183
IDBENCH=83001
IDSOLVER=1586
FILE ID=node128/3174183-1304110470
RUNJOBID= node128-1304108698-13990
PBS_JOBID= 13170670
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174183-1304110470/watcher-3174183-1304110470 -o /tmp/evaluation-result-3174183-1304110470/solver-3174183-1304110470 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174183-1304110470.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6b69f72e1046222baee8c8d817a4adac
RANDOM SEED=2129891804

node128.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.852
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.70
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.852
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.852
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.852
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.75
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.852
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.82
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30981268 kB
Buffers:        408580 kB
Cached:         777588 kB
SwapCached:          0 kB
Active:         439644 kB
Inactive:      1116136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30981268 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:      368916 kB
Mapped:          15764 kB
Slab:           351832 kB
PageTables:       5508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   621076 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66964 MiB
End job on node128 at 2011-04-29 23:14:35