Trace number 3366592

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 (fixed)? (TO) 4800.33 1203.46

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-3366592-1305409602.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.10	c Parsing time:  0.00 s
0.00/0.10	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.10	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     225 undec:      48 neg:     227
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	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.77/0.20	c  N st     8      4915       488      2119         0      4834      6439    113409   no data   no data
1.56/0.42	c  N st    10     11300       488      2119         0      4473      6439     73762   no data   no data
2.76/0.70	c  N st    11     17043       488      2119         0     10066      6439    199687   no data   no data
4.38/1.13	c  F st    12     25000       488      2119         0     12361      6439    245423   no data   no data
4.38/1.13	c  N st    12     25000       488      2119         0     12361      6439    245423   no data   no data
5.15/1.39	c  N dy    18     30001       488      2119         0     10659      6439    192130   no data   no data
5.15/1.39	c  S st    18     30001       488      2119         0     10659      6439    192130   no data   no data
5.55/1.42	c  S st    18     30504       488      2119         0     11161      6439    202923   no data   no data
5.55/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.42	c blocked clauses removed:        2 vars:      1 tried:         488 T: 0.00 s
5.55/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
5.55/1.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.49	c lits-rem:       173  cl-subs:      628  v-elim:      0  v-fix:    0  time:  0.06 s
5.96/1.50	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N dy    18     30504       487      2117         0     10533      6433    187643   no data   no data
7.15/1.81	c  N dy    24     35977       487      2117         0      8141      6433    102660     15.45     16.28
7.95/2.03	c  N dy    38     40336       487      2117         0     12444      6433    197571     15.39     16.24
9.54/2.41	c  N dy    40     45759       487      2117         0      8970      6433    101426     14.74     14.08
9.54/2.41	c  S st    40     45759       487      2117         0      8970      6433    101426     14.74     14.08
9.54/2.44	c  S st    40     46263       487      2117         0      9474      6433    112428     14.74   no data
9.54/2.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
9.54/2.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.45	c lits-rem:        17  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.45	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
9.54/2.45	c vivif2 --  cl tried     9469 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
9.54/2.46	c calculated reachability. Time: 0.00
9.54/2.46	c  N dy    40     46263       487      2117         0      9469      6433    112308     14.74   no data
10.74/2.74	c  N dy    60     51239       487      2117         0     14379      6433    219012     14.79     15.71
11.94/3.07	c  N dy    66     56200       487      2117         0     19266      6433    322631     14.63     15.47
13.16/3.34	c  N dy    85     60407       487      2117         0     13573      6433    182653     14.65     15.48
15.13/3.82	c  N dy   101     67270       487      2117         0     20320      6433    328707     14.59     15.57
15.52/3.99	c  S st   117     69395       487      2117         0     11601      6433    120912     14.65   no data
15.92/4.03	c  S st   117     69895       487      2117         0     12100      6433    132410     14.65   no data
15.92/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.92/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.92/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
15.92/4.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.92/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.05	c lits-rem:        23  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.01 s
15.92/4.05	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
15.92/4.05	c vivif2 --  cl tried    12076 cl shrink        0 lits rem          0 time: 0.00
15.92/4.06	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
15.92/4.06	c calculated reachability. Time: 0.00
15.92/4.06	c  N dy   117     69895       487      2117         0     12076      6433    131751     14.65   no data
17.12/4.39	c  N dy   131     75066       487      2117         0     17154      6433    237740     14.61     15.42
18.72/4.78	c  N dy   156     79913       487      2117         0     21940      6433    343434     14.66     16.08
20.31/5.15	c  N dy   186     85077       487      2117         0     15190      6433    181136     14.72     15.83
21.11/5.32	c  F st   202     87501       487      2117         0     17586      6433    232499     14.75   no data
21.93/5.59	c  N st   207     90801       487      2117         0     20834      6433    308060     14.75   no data
22.70/5.75	c Decided on static restart strategy
24.71/6.28	c  N st   210     99807       487      2117         0     16869      6433    316037     14.75   no data
26.32/6.69	c  S st   211    104844       487      2117         0     21811      6433    426818     14.75   no data
26.74/6.74	c  S st   211    105345       487      2117         0     22310      6433    438103     14.75   no data
26.74/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.74/6.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
26.74/6.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.74/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.98	c lits-rem:       221  cl-subs:     1062  v-elim:      0  v-fix:    0  time:  0.22 s
27.49/6.98	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
27.49/6.99	c vivif2 --  cl tried    21248 cl shrink        0 lits rem          0 time: 0.00
27.89/7.00	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.01
27.89/7.00	c calculated reachability. Time: 0.00
27.89/7.00	c  N st   211    105345       487      2117         0     21248      6433    411062     14.75   no data
31.13/7.88	c  N st   212    114944       487      2117         0     16919      6433    246896     14.75   no data
36.26/9.18	c  N st   213    129341       487      2117         0     16392      6433    249077     14.75   no data
43.45/10.99	c  N st   214    150936       487      2117         0     21829      6433    335467     14.75   no data
46.64/11.73	c  S st   215    158019       487      2117         0     28736      6433    487630     14.75   no data
47.04/11.80	c  S st   215    158523       487      2117         0     29240      6433    499483     14.75   no data
47.04/11.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.04/11.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.04/11.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.04/11.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.04/11.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.04/11.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
47.04/11.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.04/11.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.04/11.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.04/12.36	c lits-rem:       305  cl-subs:     2222  v-elim:      0  v-fix:    0  time:  0.52 s
49.04/12.36	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
49.04/12.37	c vivif2 --  cl tried    27018 cl shrink        0 lits rem          0 time: 0.00
49.04/12.38	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.02
49.04/12.38	c calculated reachability. Time: 0.00
49.04/12.38	c  N st   215    158523       487      2117         0     27018      6433    453877     14.75   no data
69.39/17.47	c  N st   216    207111       487      2117         0     21697      6433    294763     14.75   no data
82.15/20.63	c  N st   217    237785       487      2117         0     32063      6433    509086     14.75   no data
82.15/20.63	c  S st   217    237785       487      2117         0     32063      6433    509086     14.75   no data
82.55/20.71	c  S st   217    238286       487      2117         0     32561      6433    520585     14.75   no data
82.55/20.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.55/20.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.55/20.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.55/20.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.55/20.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.55/20.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
82.55/20.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.55/20.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.55/20.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.93/21.31	c lits-rem:       196  cl-subs:     2268  v-elim:      0  v-fix:    0  time:  0.55 s
84.93/21.31	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
84.93/21.32	c vivif2 --  cl tried    30293 cl shrink        0 lits rem          0 time: 0.01
84.93/21.33	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.02
84.93/21.34	c calculated reachability. Time: 0.00
84.93/21.34	c  N st   217    238286       487      2117         0     30293      6433    474743     14.75   no data
116.85/29.30	c  F st   218    306250       487      2117         0     32289      6433    467714     14.75   no data
116.85/29.30	c  N st   218    306250       487      2117         0     32289      6433    467714     14.75   no data
119.24/29.94	c Decided on static restart strategy
129.62/32.57	c  N st   228    334556       487      2117         0     36608      6433    584367     14.75   no data
141.17/35.43	c  N st   230    357429       487      2117         0     34544      6433    494127     14.75   no data
141.17/35.43	c  S st   230    357429       487      2117         0     34544      6433    494127     14.75   no data
141.57/35.53	c  S st   230    357931       487      2117         0     35045      6433    505597     14.75   no data
141.57/35.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.57/35.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.57/35.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.57/35.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.57/35.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.57/35.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
141.57/35.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.57/35.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.57/35.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.77/35.86	c lits-rem:       178  cl-subs:     1302  v-elim:      0  v-fix:    0  time:  0.30 s
142.77/35.86	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
142.77/35.87	c vivif2 --  cl tried    33743 cl shrink        0 lits rem          0 time: 0.01
142.77/35.89	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.02
142.77/35.89	c calculated reachability. Time: 0.00
142.77/35.89	c  N st   230    357931       487      2117         0     33743      6433    476454     14.75   no data
160.32/40.20	c  N st   231    390325       487      2117         0     40019      6433    608424     14.75   no data
187.45/47.05	c  N st   232    438915       487      2117         0     33717      6433    432140     14.75   no data
229.33/57.53	c  N st   233    511797       487      2117         0     47025      6433    708234     14.75   no data
243.69/61.18	c  N st   234    536897       487      2117         0     41354      6433    568565     14.75   no data
243.69/61.18	c  S st   234    536897       487      2117         0     41354      6433    568565     14.75   no data
244.09/61.29	c  S st   234    537400       487      2117         0     41856      6433    579788     14.75   no data
244.09/61.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
244.49/61.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
244.49/61.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.49/61.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.49/61.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.49/61.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
244.49/61.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.49/61.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
244.49/61.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.48/61.86	c lits-rem:       180  cl-subs:     1835  v-elim:      0  v-fix:    0  time:  0.51 s
246.48/61.86	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
246.48/61.86	c vivif2 --  cl tried    40021 cl shrink        0 lits rem          0 time: 0.01
246.48/61.89	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.03
246.48/61.89	c calculated reachability. Time: 0.00
246.48/61.89	c  N st   234    537400       487      2117         0     40021      6433    537261     14.75   no data
355.40/89.20	c  N st   235    701385       487      2117         0     69215      6433   1150201     14.75   no data
431.98/108.37	c  N st   236    806101       487      2117         0     62944      6433    944452     14.75   no data
431.98/108.37	c  S st   236    806101       487      2117         0     62944      6433    944452     14.75   no data
432.78/108.57	c  S st   236    806605       487      2117         0     63447      6433    956225     14.75   no data
432.78/108.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.78/108.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
432.78/108.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.78/108.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.78/108.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.78/108.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
432.78/108.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
433.18/108.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
433.18/108.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.34/111.92	c lits-rem:       326  cl-subs:     6417  v-elim:      0  v-fix:    0  time:  3.25 s
446.34/111.92	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
446.34/111.93	c vivif2 --  cl tried    57030 cl shrink        0 lits rem          0 time: 0.01
446.34/111.98	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.05
446.34/111.98	c calculated reachability. Time: 0.00
446.34/111.98	c  N st   236    806605       487      2117         0     57030      6433    823886     14.75   no data
661.36/165.88	c  F st   237   1071876       487      2117         0     72869      6433   1073720     14.75   no data
661.36/165.89	c  N st   237   1071876       487      2117         0     72869      6433   1073720     14.75   no data
666.95/167.21	c Decided on static restart strategy
688.48/172.69	c  N st   247   1100184       487      2117         0     56910      6433    725990     14.75   no data
721.99/181.00	c  N st   249   1136177       487      2117         0     47210      6433    485799     14.75   no data
752.31/188.68	c  N st   250   1168571       487      2117         0     78712      6433   1206638     14.75   no data
804.16/201.60	c  N st   251   1209907       487      2117         0     73466      6433   1053997     14.75   no data
804.16/201.60	c  S st   251   1209907       487      2117         0     73466      6433   1053997     14.75   no data
804.96/201.83	c  S st   251   1210419       487      2117         0     73977      6433   1065959     14.75   no data
804.96/201.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
804.96/201.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
804.96/201.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
804.96/201.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
804.96/201.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.96/201.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
804.96/201.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
804.96/201.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
805.36/201.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.33/204.42	c lits-rem:       470  cl-subs:     4767  v-elim:      0  v-fix:    0  time:  2.48 s
815.33/204.42	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
815.33/204.43	c vivif2 --  cl tried    69210 cl shrink        0 lits rem          0 time: 0.01
815.33/204.49	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.06
815.33/204.50	c calculated reachability. Time: 0.00
815.33/204.50	c  N st   251   1210419       487      2117         0     69210      6433    968955     14.75   no data
885.13/221.94	c  N st   252   1283302       487      2117         0     93207      6433   1541902     14.75   no data
998.02/250.28	c  N st   253   1392626       487      2117         0     53865      6433    562700     14.75   no data
1140.85/286.06	c  N st   254   1556610       487      2117         0     58549      6433    622890     14.75   no data
1284.43/322.06	c  N st   255   1710419       487      2117         0    100014      6433   1573757     14.75   no data
1284.43/322.06	c  S st   255   1710419       487      2117         0    100014      6433   1573757     14.75   no data
1286.07/322.41	c  S st   255   1710922       487      2117         0    100517      6433   1585590     14.75   no data
1286.07/322.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1286.07/322.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1286.07/322.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1286.07/322.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1286.07/322.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1286.07/322.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1286.07/322.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1286.07/322.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1286.43/322.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1324.72/332.13	c lits-rem:       827  cl-subs:     9283  v-elim:      0  v-fix:    0  time:  9.49 s
1324.72/332.13	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
1324.72/332.15	c vivif2 --  cl tried    91234 cl shrink        0 lits rem          0 time: 0.02
1325.14/332.25	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.09
1325.14/332.25	c calculated reachability. Time: 0.00
1325.14/332.25	c  N st   255   1710922       487      2117         0     91234      6433   1384397     14.75   no data
1723.21/432.02	c  N st   256   2079886       487      2117         0    102979      6433   1484914     14.75   no data
1884.77/472.56	c  N st   257   2210923       487      2117         0    106902      6433   1548599     14.75   no data
1884.77/472.56	c  S st   257   2210923       487      2117         0    106902      6433   1548599     14.75   no data
1886.37/472.94	c  S st   257   2211425       487      2117         0    107404      6433   1560365     14.75   no data
1886.37/472.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1886.79/473.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1886.79/473.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1886.79/473.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1886.79/473.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1886.79/473.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1886.79/473.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1886.79/473.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1886.79/473.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1921.89/481.88	c lits-rem:      1028  cl-subs:    10692  v-elim:      0  v-fix:    0  time:  8.71 s
1921.89/481.88	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
1921.89/481.90	c vivif2 --  cl tried    96712 cl shrink        0 lits rem          0 time: 0.02
1922.66/482.00	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.10
1922.66/482.01	c calculated reachability. Time: 0.00
1922.66/482.01	c  N st   257   2211425       487      2117         0     96712      6433   1350635     14.75   no data
2539.35/636.69	c  N st   258   2711427       487      2117         0    120066      6433   1789579     14.75   no data
2539.35/636.69	c  S st   258   2711427       487      2117         0    120066      6433   1789579     14.75   no data
2541.33/637.11	c  S st   258   2711928       487      2117         0    120566      6433   1802037     14.75   no data
2541.33/637.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2541.33/637.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2541.33/637.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2541.33/637.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2541.33/637.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2541.33/637.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
2541.33/637.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2541.73/637.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2541.73/637.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2603.96/652.87	c lits-rem:       612  cl-subs:    11826  v-elim:      0  v-fix:    0  time: 15.44 s
2603.96/652.87	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
2603.96/652.89	c vivif2 --  cl tried   108740 cl shrink        0 lits rem          0 time: 0.02
2604.76/653.01	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.11
2604.76/653.01	c calculated reachability. Time: 0.00
2604.76/653.01	c  N st   258   2711928       487      2117         0    108740      6433   1561323     14.75   no data
3271.30/820.16	c  N st   259   3211928       487      2117         0     85059      6433    904215     14.75   no data
3271.30/820.16	c  S st   259   3211928       487      2117         0     85059      6433    904215     14.75   no data
3272.49/820.41	c  S st   259   3212432       487      2117         0     85563      6433    916899     14.75   no data
3272.49/820.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3272.49/820.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3272.49/820.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3272.49/820.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3272.49/820.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3272.49/820.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
3272.49/820.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3272.49/820.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3272.89/820.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3275.69/821.23	c lits-rem:       151  cl-subs:     2167  v-elim:      0  v-fix:    0  time:  0.72 s
3275.69/821.23	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
3275.69/821.24	c vivif2 --  cl tried    83396 cl shrink        0 lits rem          0 time: 0.01
3276.09/821.32	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.08
3276.09/821.32	c calculated reachability. Time: 0.00
3276.09/821.32	c  N st   259   3212432       487      2117         0     83396      6433    877864     14.75   no data
3998.44/1002.49	c  N st   260   3712433       487      2117         0     94018      6433   1035742     14.75   no data
3998.44/1002.49	c  S st   260   3712433       487      2117         0     94018      6433   1035742     14.75   no data
4000.04/1002.80	c  S st   260   3712935       487      2117         0     94518      6433   1047657     14.75   no data
4000.04/1002.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4000.04/1002.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
4000.04/1002.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4000.04/1002.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4000.04/1002.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4000.04/1002.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
4000.04/1002.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4000.04/1002.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4000.44/1002.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4004.02/1003.83	c lits-rem:       101  cl-subs:     2135  v-elim:      0  v-fix:    0  time:  0.91 s
4004.02/1003.83	c vivif2 --  cl tried     2117 cl shrink        0 lits rem          0 time: 0.00
4004.02/1003.85	c vivif2 --  cl tried    92383 cl shrink        0 lits rem          0 time: 0.02
4004.42/1003.94	c asymm  cl-useful: 0/2117/2117 lits-rem:0 time: 0.09
4004.42/1003.94	c calculated reachability. Time: 0.00
4004.42/1003.94	c  N st   260   3712935       487      2117         0     92383      6433   1004723     14.75   no data
4052.28/1016.00	c  F st   261   3751564       487      2117         0    129793      6433   1883016     14.75   no data
4052.68/1016.00	c  N st   261   3751564       487      2117         0    129793      6433   1883016     14.75   no data
4061.06/1018.16	c Decided on static restart strategy
4103.74/1028.80	c  N st   271   3779872       487      2117         0    157312      6433   2520160     14.75   no data
4150.01/1040.44	c  N st   273   3815864       487      2117         0    110135      6433   1417228     14.75   no data
4205.05/1054.26	c  N st   274   3848258       487      2117         0    141566      6433   2134631     14.75   no data
4274.46/1071.60	c  N st   275   3896846       487      2117         0    105195      6433   1229094     14.75   no data
4378.18/1097.65	c  N st   276   3969729       487      2117         0     91585      6433    916821     14.75   no data
4536.96/1137.47	c  N st   277   4079053       487      2117         0    112416      6433   1387298     14.75   no data
4749.94/1190.82	c  N st   278   4212935       487      2117         0    155710      6433   2328615     14.75   no data
4749.94/1190.82	c  S st   278   4212935       487      2117         0    155710      6433   2328615     14.75   no data
4752.37/1191.48	c  S st   278   4213439       487      2117         0    156213      6433   2340839     14.75   no data
4752.37/1191.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4752.72/1191.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.09
4752.72/1191.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4752.72/1191.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4752.72/1191.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4752.72/1191.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
4752.72/1191.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4753.12/1191.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4753.12/1191.70	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: 961)

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-3366592-1305409602/watcher-3366592-1305409602 -o /tmp/evaluation-result-3366592-1305409602/solver-3366592-1305409602 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366592-1305409602.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: 7.84 7.95 8.03 6/358 18066
/proc/meminfo: memFree=24167280/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 633375645 52396032 351 33554432000 4194304 4580107 140735684094656 18446744073709551615 47287477118977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18066/statm: 12792 351 302 95 0 7774 0
[pid=18066/tid=18067] ppid=18064 vsize=281820 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 229 0 0 0 0 0 0 0 25 0 4 0 633375645 288583680 1004 33554432000 4194304 4580107 140735684094656 18446744073709551615 4399392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=281820 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 254 0 0 0 0 0 0 0 25 0 4 0 633375645 288583680 1004 33554432000 4194304 4580107 140735684094656 18446744073709551615 228095475607 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=281820 CPUtime=0 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 114 0 0 0 0 0 0 0 18 0 4 0 633375645 288583680 1005 33554432000 4194304 4580107 140735684094656 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.112281 s]
/proc/loadavg: 7.84 7.95 8.03 6/358 18066
/proc/meminfo: memFree=24167280/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=282080 CPUtime=0.41 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 1733 0 0 0 41 0 0 0 25 0 4 0 633375645 288849920 1612 33554432000 4194304 4580107 140735684094656 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 70520 1612 377 95 0 65502 0
[pid=18066/tid=18067] ppid=18064 vsize=282080 CPUtime=0.1 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 347 0 0 0 10 0 0 0 25 0 4 0 633375645 288849920 1612 33554432000 4194304 4580107 140735684094656 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=282080 CPUtime=0.1 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 379 0 0 0 10 0 0 0 25 0 4 0 633375645 288849920 1612 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=282080 CPUtime=0.1 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 254 0 0 0 10 0 0 0 18 0 4 0 633375645 288849920 1612 33554432000 4194304 4580107 140735684094656 18446744073709551615 4316636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282080

[startup+0.200265 s]
/proc/loadavg: 7.84 7.95 8.03 6/358 18066
/proc/meminfo: memFree=24167280/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=283228 CPUtime=0.77 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 2306 0 0 0 77 0 0 0 25 0 4 0 633375645 290025472 1633 33554432000 4194304 4580107 140735684094656 18446744073709551615 4322656 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 70807 1633 377 95 0 65789 0
[pid=18066/tid=18067] ppid=18064 vsize=283228 CPUtime=0.19 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 486 0 0 0 19 0 0 0 25 0 4 0 633375645 290025472 1633 33554432000 4194304 4580107 140735684094656 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=283228 CPUtime=0.19 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 524 0 0 0 19 0 0 0 25 0 4 0 633375645 290025472 1633 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=283228 CPUtime=0.19 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 392 0 0 0 19 0 0 0 18 0 4 0 633375645 290025472 1633 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283228

[startup+0.300246 s]
/proc/loadavg: 7.84 7.95 8.03 6/358 18066
/proc/meminfo: memFree=24167280/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=283360 CPUtime=1.16 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 2719 0 0 0 116 0 0 0 25 0 4 0 633375645 290160640 2046 33554432000 4194304 4580107 140735684094656 18446744073709551615 4318850 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 70840 2046 377 95 0 65822 0
[pid=18066/tid=18067] ppid=18064 vsize=283360 CPUtime=0.29 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 583 0 0 0 29 0 0 0 25 0 4 0 633375645 290160640 2046 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=283360 CPUtime=0.29 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 631 0 0 0 29 0 0 0 25 0 4 0 633375645 290160640 2046 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=283360 CPUtime=0.29 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 505 0 0 0 29 0 0 0 18 0 4 0 633375645 290160640 2046 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283360

[startup+0.700174 s]
/proc/loadavg: 7.84 7.95 8.03 6/358 18066
/proc/meminfo: memFree=24167280/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=284476 CPUtime=2.76 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 4344 0 0 0 276 0 0 0 25 0 4 0 633375645 291303424 2572 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 71119 2572 377 95 0 66101 0
[pid=18066/tid=18067] ppid=18064 vsize=284476 CPUtime=0.69 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 961 0 0 0 69 0 0 0 25 0 4 0 633375645 291303424 2572 33554432000 4194304 4580107 140735684094656 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=284476 CPUtime=0.69 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 1005 0 0 0 69 0 0 0 25 0 4 0 633375645 291303424 2573 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=284476 CPUtime=0.69 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 1011 0 0 0 69 0 0 0 18 0 4 0 633375645 291303424 2573 33554432000 4194304 4580107 140735684094656 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284476

[startup+1.50103 s]
/proc/loadavg: 7.84 7.95 8.03 9/362 18070
/proc/meminfo: memFree=24155840/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=285452 CPUtime=5.96 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 8375 0 0 0 595 1 0 0 25 0 4 0 633375645 292302848 4444 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 71363 4444 379 95 0 66345 0
[pid=18066/tid=18067] ppid=18064 vsize=285452 CPUtime=1.49 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 1686 0 0 0 149 0 0 0 25 0 4 0 633375645 292302848 4444 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=285452 CPUtime=1.49 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 1740 0 0 0 149 0 0 0 25 0 4 0 633375645 292302848 4444 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=285452 CPUtime=1.49 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 1616 0 0 0 149 0 0 0 20 0 4 0 633375645 292302848 4445 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285452

[startup+3.10073 s]
/proc/loadavg: 7.84 7.95 8.03 9/362 18070
/proc/meminfo: memFree=24139224/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=283916 CPUtime=12.34 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 16842 0 0 0 1231 3 0 0 25 0 4 0 633375645 290729984 9422 33554432000 4194304 4580107 140735684094656 18446744073709551615 4322736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 70979 9422 379 95 0 65961 0
[pid=18066/tid=18067] ppid=18064 vsize=283916 CPUtime=3.08 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 3932 0 0 0 308 0 0 0 25 0 4 0 633375645 290729984 9422 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=283916 CPUtime=3.09 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 4601 0 0 0 308 1 0 0 25 0 4 0 633375645 290729984 9422 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=283916 CPUtime=3.09 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 4099 0 0 0 309 0 0 0 25 0 4 0 633375645 290729984 9422 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283916

[startup+6.30114 s]
/proc/loadavg: 7.85 7.95 8.02 9/362 18070
/proc/meminfo: memFree=24120136/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=294180 CPUtime=25.11 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 26933 0 0 0 2506 5 0 0 25 0 4 0 633375645 301240320 12319 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 73545 12319 379 95 0 68527 0
[pid=18066/tid=18067] ppid=18064 vsize=294180 CPUtime=6.28 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 7166 0 0 0 628 0 0 0 25 0 4 0 633375645 301240320 12319 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=294180 CPUtime=6.29 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 7805 0 0 0 627 2 0 0 25 0 4 0 633375645 301240320 12319 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=294180 CPUtime=6.28 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 6013 0 0 0 628 0 0 0 25 0 4 0 633375645 301240320 12319 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 294180

[startup+12.701 s]
/proc/loadavg: 7.86 7.95 8.02 9/362 18071
/proc/meminfo: memFree=24075188/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=290312 CPUtime=50.64 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 42868 0 0 0 5055 9 0 0 25 0 4 0 633375645 297279488 21862 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 72578 21862 379 95 0 67560 0
[pid=18066/tid=18067] ppid=18064 vsize=290312 CPUtime=12.68 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 11187 0 0 0 1267 1 0 0 25 0 4 0 633375645 297279488 21862 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=290312 CPUtime=12.69 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 10763 0 0 0 1266 3 0 0 25 0 4 0 633375645 297279488 21862 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=290312 CPUtime=12.68 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 10113 0 0 0 1267 1 0 0 25 0 4 0 633375645 297279488 21862 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 290312

[startup+25.5006 s]
/proc/loadavg: 7.89 7.95 8.02 9/362 18071
/proc/meminfo: memFree=24049272/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=309700 CPUtime=101.68 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 61617 0 0 0 10155 13 0 0 25 0 4 0 633375645 317132800 26354 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 77425 26354 379 95 0 72407 0
[pid=18066/tid=18067] ppid=18064 vsize=309700 CPUtime=25.48 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 15658 0 0 0 2546 2 0 0 25 0 4 0 633375645 317132800 26354 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=309700 CPUtime=25.49 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 16435 0 0 0 2545 4 0 0 25 0 4 0 633375645 317132800 26354 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=309700 CPUtime=25.48 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 13467 0 0 0 2546 2 0 0 25 0 4 0 633375645 317132800 26354 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 309700

[startup+51.1009 s]
/proc/loadavg: 8.01 7.97 8.03 9/362 18072
/proc/meminfo: memFree=24019320/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=320408 CPUtime=203.81 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 90677 0 0 0 20360 21 0 0 25 0 4 0 633375645 328097792 30850 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 80102 30850 379 95 0 75084 0
[pid=18066/tid=18067] ppid=18064 vsize=320408 CPUtime=51.09 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 24673 0 0 0 5105 4 0 0 25 0 4 0 633375645 328097792 30850 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=320408 CPUtime=51.09 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 24978 0 0 0 5102 7 0 0 25 0 4 0 633375645 328097792 30850 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=320408 CPUtime=51.08 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 16979 0 0 0 5105 3 0 0 25 0 4 0 633375645 328097792 30850 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 320408

[startup+102.3 s]
/proc/loadavg: 8.08 7.99 8.03 9/362 18103
/proc/meminfo: memFree=24007632/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=311340 CPUtime=408.06 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 137692 0 0 0 40772 34 0 0 25 0 4 0 633375645 318812160 38480 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 77835 38480 379 95 0 72817 0
[pid=18066/tid=18067] ppid=18064 vsize=311340 CPUtime=102.3 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 38429 0 0 0 10222 8 0 0 25 0 4 0 633375645 318812160 38482 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=311340 CPUtime=102.3 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 37295 0 0 0 10219 11 0 0 25 0 4 0 633375645 318812160 38482 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=311340 CPUtime=102.3 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 25634 0 0 0 10224 6 0 0 25 0 4 0 633375645 318812160 38482 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 311340

[startup+162.3 s]

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

[pid=18066] ppid=18064 vsize=532520 CPUtime=2801.42 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 467330 0 0 0 279978 164 0 0 25 0 4 0 633375645 545300480 82454 33554432000 4194304 4580107 140735684094656 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 133130 82454 379 95 0 128112 0
[pid=18066/tid=18067] ppid=18064 vsize=532520 CPUtime=702.3 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 125841 0 0 0 70189 41 0 0 25 0 4 0 633375645 545300480 82454 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=532520 CPUtime=702.31 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 135528 0 0 0 70181 50 0 0 25 0 4 0 633375645 545300480 82454 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=532520 CPUtime=702.28 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 103870 0 0 0 70191 37 0 0 25 0 4 0 633375645 545300480 82454 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 532520

[startup+762.3 s]
/proc/loadavg: 8.12 8.10 8.05 9/362 18121
/proc/meminfo: memFree=23669744/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=532768 CPUtime=3040.79 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 490081 0 0 0 303904 175 0 0 25 0 4 0 633375645 545554432 82481 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 133192 82481 379 95 0 128174 0
[pid=18066/tid=18067] ppid=18064 vsize=532768 CPUtime=762.31 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 129406 0 0 0 76189 42 0 0 25 0 4 0 633375645 545554432 82481 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=532768 CPUtime=762.32 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 143675 0 0 0 76178 54 0 0 25 0 4 0 633375645 545554432 82481 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=532768 CPUtime=762.3 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 110187 0 0 0 76189 41 0 0 25 0 4 0 633375645 545554432 82481 33554432000 4194304 4580107 140735684094656 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.79
Current children cumulated vsize (KiB) 532768

[startup+822.3 s]
/proc/loadavg: 8.08 8.09 8.05 9/362 18122
/proc/meminfo: memFree=23617280/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=553484 CPUtime=3280.07 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 517725 0 0 0 327821 186 0 0 25 0 4 0 633375645 566767616 93117 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 138371 93117 379 95 0 133353 0
[pid=18066/tid=18067] ppid=18064 vsize=553484 CPUtime=822.3 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 135247 0 0 0 82185 45 0 0 25 0 4 0 633375645 566767616 93117 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=553484 CPUtime=822.31 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 152368 0 0 0 82174 57 0 0 25 0 4 0 633375645 566767616 93117 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=553484 CPUtime=822.29 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 118574 0 0 0 82185 44 0 0 25 0 4 0 633375645 566767616 93117 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.07
Current children cumulated vsize (KiB) 553484

[startup+882.313 s]
/proc/loadavg: 8.10 8.10 8.06 9/362 18133
/proc/meminfo: memFree=23594800/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=562164 CPUtime=3519.43 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 539176 0 0 0 351748 195 0 0 25 0 4 0 633375645 575655936 99458 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 140541 99458 379 95 0 135523 0
[pid=18066/tid=18067] ppid=18064 vsize=562164 CPUtime=882.32 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 139570 0 0 0 88185 47 0 0 25 0 4 0 633375645 575655936 99458 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=562164 CPUtime=882.33 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 159444 0 0 0 88173 60 0 0 25 0 4 0 633375645 575655936 99458 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=562164 CPUtime=882.27 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 123669 0 0 0 88181 46 0 0 25 0 4 0 633375645 575655936 99458 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.43
Current children cumulated vsize (KiB) 562164

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.06 10/362 18134
/proc/meminfo: memFree=23561388/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=575012 CPUtime=3758.72 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 558034 0 0 0 375669 203 0 0 25 0 4 0 633375645 588812288 105906 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 143753 105906 379 95 0 138735 0
[pid=18066/tid=18067] ppid=18064 vsize=575012 CPUtime=942.31 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 144661 0 0 0 94182 49 0 0 25 0 4 0 633375645 588812288 105906 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=575012 CPUtime=942.31 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 166028 0 0 0 94169 62 0 0 25 0 4 0 633375645 588812288 105906 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=575012 CPUtime=942.26 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 127711 0 0 0 94178 48 0 0 25 0 4 0 633375645 588812288 105906 33554432000 4194304 4580107 140735684094656 18446744073709551615 4323028 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.72
Current children cumulated vsize (KiB) 575012

[startup+1002.3 s]
/proc/loadavg: 8.05 8.09 8.06 9/362 18136
/proc/meminfo: memFree=23587400/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=575064 CPUtime=3998.04 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 571268 0 0 0 399595 209 0 0 25 0 4 0 633375645 588865536 102401 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 143766 102401 379 95 0 138748 0
[pid=18066/tid=18067] ppid=18064 vsize=575064 CPUtime=1002.31 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 147306 0 0 0 100181 50 0 0 25 0 4 0 633375645 588865536 102401 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=575064 CPUtime=1002.32 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 172263 0 0 0 100167 65 0 0 25 0 4 0 633375645 588865536 102401 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=575064 CPUtime=1002.26 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 127909 0 0 0 100178 48 0 0 25 0 4 0 633375645 588865536 102401 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.04
Current children cumulated vsize (KiB) 575064

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.06 10/362 18138
/proc/meminfo: memFree=23539756/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=576468 CPUtime=4237.37 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 588183 0 0 0 423520 217 0 0 25 0 4 0 633375645 590303232 111446 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 144117 111446 379 95 0 139099 0
[pid=18066/tid=18067] ppid=18064 vsize=576468 CPUtime=1062.31 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 153232 0 0 0 106178 53 0 0 25 0 4 0 633375645 590303232 111446 33554432000 4194304 4580107 140735684094656 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=576468 CPUtime=1062.32 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 178814 0 0 0 106164 68 0 0 25 0 4 0 633375645 590303232 111446 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=576468 CPUtime=1062.27 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 128664 0 0 0 106178 49 0 0 25 0 4 0 633375645 590303232 111446 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.37
Current children cumulated vsize (KiB) 576468

[startup+1122.3 s]
/proc/loadavg: 8.17 8.10 8.06 10/362 18139
/proc/meminfo: memFree=23529436/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=586972 CPUtime=4476.7 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 602945 0 0 0 447446 224 0 0 25 0 4 0 633375645 601059328 113086 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 146743 113086 379 95 0 141725 0
[pid=18066/tid=18067] ppid=18064 vsize=586972 CPUtime=1122.31 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 156107 0 0 0 112177 54 0 0 25 0 4 0 633375645 601059328 113086 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=586972 CPUtime=1122.32 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 185173 0 0 0 112162 70 0 0 25 0 4 0 633375645 601059328 113086 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=586972 CPUtime=1122.27 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 131221 0 0 0 112176 51 0 0 25 0 4 0 633375645 601059328 113086 33554432000 4194304 4580107 140735684094656 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.7
Current children cumulated vsize (KiB) 586972

[startup+1182.3 s]
/proc/loadavg: 8.18 8.11 8.07 10/362 18141
/proc/meminfo: memFree=23486388/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=652560 CPUtime=4716.03 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 622035 0 0 0 471372 231 0 0 25 0 4 0 633375645 668221440 122540 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 163140 122540 379 95 0 158122 0
[pid=18066/tid=18067] ppid=18064 vsize=652560 CPUtime=1182.31 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 160145 0 0 0 118174 57 0 0 25 0 4 0 633375645 668221440 122540 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=652560 CPUtime=1182.32 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 194189 0 0 0 118159 73 0 0 25 0 4 0 633375645 668221440 122540 33554432000 4194304 4580107 140735684094656 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=652560 CPUtime=1182.27 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 131240 0 0 0 118176 51 0 0 25 0 4 0 633375645 668221440 122540 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.03
Current children cumulated vsize (KiB) 652560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.12 8.10 8.06 10/362 18141
/proc/meminfo: memFree=23512164/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=639340 CPUtime=4800.25 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 624431 0 0 0 479792 233 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4406400 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 159835 117267 379 95 0 154817 0
[pid=18066/tid=18067] ppid=18064 vsize=639340 CPUtime=1203.44 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 160145 0 0 0 120287 57 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=639340 CPUtime=1203.45 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 194548 0 0 0 120271 74 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=639340 CPUtime=1203.4 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 132708 0 0 0 120288 52 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 639340

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1203.4 s]
/proc/loadavg: 8.12 8.10 8.06 10/362 18141
/proc/meminfo: memFree=23512164/32951124 swapFree=65980216/67111528
[pid=18066] ppid=18064 vsize=639340 CPUtime=4800.25 cores=0,2,4,6
/proc/18066/stat : 18066 (strangenight2-m) R 18064 18066 17667 0 -1 4202496 624431 0 0 0 479792 233 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4406400 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18066/statm: 159835 117267 379 95 0 154817 0
[pid=18066/tid=18067] ppid=18064 vsize=639340 CPUtime=1203.44 cores=0,2,4,6
/proc/18066/task/18067/stat : 18067 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 160145 0 0 0 120287 57 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18066/tid=18068] ppid=18064 vsize=639340 CPUtime=1203.45 cores=0,2,4,6
/proc/18066/task/18068/stat : 18068 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 194548 0 0 0 120271 74 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18066/tid=18069] ppid=18064 vsize=639340 CPUtime=1203.4 cores=0,2,4,6
/proc/18066/task/18069/stat : 18069 (strangenight2-m) R 18064 18066 17667 0 -1 4202560 132708 0 0 0 120288 52 0 0 25 0 4 0 633375645 654684160 117267 33554432000 4194304 4580107 140735684094656 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 639340

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.33
CPU user time (s): 4797.97
CPU system time (s): 2.36064
CPU usage (%): 398.878
Max. virtual memory (cumulated for all children) (KiB): 718096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.97
system time used= 2.36064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624431
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= 209
involuntary context switches= 22447

runsolver used 3.79442 second user time and 9.69753 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 23:46:42
IDJOB=3366592
IDBENCH=83001
IDSOLVER=1844
FILE ID=node142/3366592-1305409602
RUNJOBID= node142-1305409539-18012
PBS_JOBID= 13324504
Free space on /tmp= 73440 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366592-1305409602/watcher-3366592-1305409602 -o /tmp/evaluation-result-3366592-1305409602/solver-3366592-1305409602 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366592-1305409602.cnf

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

MD5SUM BENCH= 6b69f72e1046222baee8c8d817a4adac
RANDOM SEED=274193220

node142.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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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	: 5131.95
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.846
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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:      24167444 kB
Buffers:        315800 kB
Cached:        3835860 kB
SwapCached:      11520 kB
Active:        6132792 kB
Inactive:      2320212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24167444 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:            5508 kB
Writeback:           0 kB
AnonPages:     4297996 kB
Mapped:          20608 kB
Slab:           234024 kB
PageTables:      32100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77216548 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73432 MiB
End job on node142 at 2011-05-15 00:06:47