Trace number 3174227

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 1201.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
MD5SUM5668e95cadc5ec51544c425c57e1c075
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.049991
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3174227-1304115488.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 1/2769/2769 lits-rem:3 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:        2  lits-rem:         1  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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     302 undec:      69 neg:     279
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       635      2753         2         0      8363         0   no data   no data
0.08/0.07	c Decided on static restart strategy
0.37/0.17	c  N st     8      4914       635      2753         2      4868      8363    141883   no data   no data
1.57/0.44	c  N st    10     11296       635      2753         2      4500      8363     87423   no data   no data
2.77/0.72	c  N st    11     17041       635      2753         2     10132      8363    244428   no data   no data
4.39/1.17	c  F st    12     25001       635      2753         2     12468      8363    314699   no data   no data
4.39/1.17	c  N st    12     25001       635      2753         2     12468      8363    314699   no data   no data
5.57/1.42	c Decided on static restart strategy
5.57/1.42	c  N st    18     30002       635      2753         2     10705      8363    232857   no data   no data
5.57/1.42	c  S st    18     30002       635      2753         2     10705      8363    232857   no data   no data
5.57/1.45	c  S st    18     30503       635      2753         2     11206      8363    245040   no data   no data
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.46	c blocked clauses removed:        9 vars:      2 tried:         635 T: 0.00 s
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c lits-rem:       136  cl-subs:      332  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.53	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
5.97/1.53	c calculated reachability. Time: 0.00
5.97/1.53	c  N st    18     30503       633      2744         2     10873      8336    234604   no data   no data
7.56/1.94	c  N st    20     37613       633      2744         2     10131      8336    203709   no data   no data
9.16/2.36	c  N st    21     44012       633      2744         2     16430      8336    403323   no data   no data
9.56/2.49	c  S st    22     45754       633      2744         2      9336      8336    158420   no data   no data
9.96/2.51	c  S st    22     46255       633      2744         2      9837      8336    171220   no data   no data
9.96/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
9.96/2.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.54	c lits-rem:        36  cl-subs:       59  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.54	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
9.96/2.54	c vivif2 --  cl tried     9778 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
9.96/2.55	c calculated reachability. Time: 0.00
9.96/2.55	c  N st    22     46255       633      2744         2      9778      8336    169142   no data   no data
13.96/3.54	c  N st    23     60653       633      2744         2     14126      8336    288358   no data   no data
16.35/4.16	c  N st    24     69383       633      2744         2     11931      8336    210790   no data   no data
16.35/4.16	c  S st    24     69383       633      2744         2     11931      8336    210790   no data   no data
16.35/4.19	c  S st    24     69886       633      2744         2     12434      8336    224264   no data   no data
16.35/4.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
16.75/4.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.75/4.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.23	c lits-rem:        54  cl-subs:       81  v-elim:      0  v-fix:    0  time:  0.02 s
16.75/4.23	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
16.75/4.23	c vivif2 --  cl tried    12353 cl shrink        0 lits rem          0 time: 0.00
16.75/4.24	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
16.75/4.24	c calculated reachability. Time: 0.00
16.75/4.24	c  N st    24     69886       633      2744         2     12353      8336    221613   no data   no data
22.34/5.64	c  F st    25     87503       633      2744         2     17873      8336    364309   no data   no data
22.34/5.64	c  N st    25     87503       633      2744         2     17873      8336    364309   no data   no data
23.94/6.04	c Decided on static restart strategy
25.14/6.31	c  N st    32     95545       633      2744         2     12995      8336    195244   no data   no data
27.53/6.98	c  N st    34    104829       633      2744         2     22114      8336    437234   no data   no data
27.53/6.98	c  S st    34    104829       633      2744         2     22114      8336    437234   no data   no data
27.93/7.03	c  S st    34    105331       633      2744         2     22615      8336    450177   no data   no data
27.93/7.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.93/7.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.93/7.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.93/7.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.93/7.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
27.93/7.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.93/7.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.93/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.22	c lits-rem:       119  cl-subs:      684  v-elim:      0  v-fix:    0  time:  0.16 s
28.74/7.22	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
28.74/7.23	c vivif2 --  cl tried    21931 cl shrink        0 lits rem          0 time: 0.01
28.74/7.24	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
28.74/7.24	c calculated reachability. Time: 0.00
28.74/7.24	c  N st    34    105331       633      2744         2     21931      8336    429640   no data   no data
31.93/8.00	c  N st    35    114929       633      2744         2     17576      8336    294419   no data   no data
36.72/9.28	c  N st    36    129326       633      2744         2     17010      8336    265788   no data   no data
44.71/11.21	c  N st    37    150922       633      2744         2     22469      8336    416874   no data   no data
47.51/11.99	c  S st    38    157998       633      2744         2     29430      8336    630215   no data   no data
47.93/12.06	c  S st    38    158500       633      2744         2     29932      8336    643359   no data   no data
47.93/12.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.93/12.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.93/12.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.93/12.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.93/12.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.93/12.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
47.93/12.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.93/12.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.93/12.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.90/12.57	c lits-rem:       332  cl-subs:     1206  v-elim:      0  v-fix:    0  time:  0.47 s
49.90/12.57	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
49.90/12.58	c vivif2 --  cl tried    28726 cl shrink        0 lits rem          0 time: 0.01
49.90/12.59	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.02
50.30/12.60	c calculated reachability. Time: 0.00
50.30/12.60	c  N st    38    158500       633      2744         2     28726      8336    602661   no data   no data
69.89/17.55	c  N st    39    207089       633      2744         2     23522      8336    405187   no data   no data
83.86/21.07	c  N st    40    237750       633      2744         2     33892      8336    666751   no data   no data
83.86/21.07	c  S st    40    237750       633      2744         2     33892      8336    666751   no data   no data
84.26/21.15	c  S st    40    238251       633      2744         2     34393      8336    681244   no data   no data
84.26/21.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.26/21.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.26/21.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.26/21.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.26/21.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.26/21.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
84.26/21.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.26/21.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.65/21.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.06/21.90	c lits-rem:       290  cl-subs:     1643  v-elim:      0  v-fix:    0  time:  0.70 s
87.06/21.90	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
87.48/21.90	c vivif2 --  cl tried    32750 cl shrink        0 lits rem          0 time: 0.01
87.48/21.93	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.02
87.48/21.93	c calculated reachability. Time: 0.00
87.48/21.93	c  N st    40    238251       633      2744         2     32750      8336    630837   no data   no data
120.60/30.27	c  F st    41    306250       633      2744         2     34789      8336    664283   no data   no data
120.60/30.27	c  N st    41    306250       633      2744         2     34789      8336    664283   no data   no data
123.81/31.03	c Decided on static restart strategy
135.38/33.95	c  N st    51    334556       633      2744         2     39119      8336    742136   no data   no data
146.57/36.71	c  N st    53    357376       633      2744         2     36984      8336    677413   no data   no data
146.57/36.71	c  S st    53    357376       633      2744         2     36984      8336    677413   no data   no data
146.57/36.80	c  S st    53    357880       633      2744         2     37488      8336    691562   no data   no data
146.97/36.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.97/36.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.97/36.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.97/36.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.97/36.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.97/36.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
146.97/36.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.97/36.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.97/36.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.17/37.12	c lits-rem:       154  cl-subs:      639  v-elim:      0  v-fix:    0  time:  0.28 s
148.17/37.12	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
148.17/37.13	c vivif2 --  cl tried    36849 cl shrink        0 lits rem          0 time: 0.01
148.17/37.16	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.03
148.17/37.16	c calculated reachability. Time: 0.00
148.17/37.16	c  N st    53    357880       633      2744         2     36849      8336    670475   no data   no data
166.15/41.67	c  N st    54    390272       633      2744         2     43031      8336    828466   no data   no data
194.50/48.77	c  N st    55    438860       633      2744         2     36690      8336    591126   no data   no data
239.65/60.09	c  N st    56    511743       633      2744         2     50271      8336    989053   no data   no data
254.03/63.70	c  N st    57    536821       633      2744         2     44431      8336    772036   no data   no data
254.03/63.70	c  S st    57    536821       633      2744         2     44431      8336    772036   no data   no data
254.85/63.81	c  S st    57    537324       633      2744         2     44934      8336    785420   no data   no data
254.85/63.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
254.85/63.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
254.85/63.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
254.85/63.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.85/63.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.85/63.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
254.85/63.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
254.85/63.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
254.85/63.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.63/64.56	c lits-rem:       155  cl-subs:     1576  v-elim:      0  v-fix:    0  time:  0.69 s
257.63/64.56	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
257.63/64.57	c vivif2 --  cl tried    43358 cl shrink        0 lits rem          0 time: 0.01
258.02/64.60	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.03
258.02/64.60	c calculated reachability. Time: 0.00
258.02/64.60	c  N st    57    537324       633      2744         2     43358      8336    740522   no data   no data
379.05/94.95	c  N st    58    701308       633      2744         2     37496      8336    472454   no data   no data
462.14/115.71	c  N st    59    805986       633      2744         2     66830      8336   1332037   no data   no data
462.14/115.71	c  S st    59    805986       633      2744         2     66830      8336   1332037   no data   no data
462.54/115.88	c  S st    59    806489       633      2744         2     67333      8336   1345384   no data   no data
462.54/115.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.94/115.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.94/115.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.94/115.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.94/115.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.94/115.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
462.94/115.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.94/115.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.94/115.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.73/118.63	c lits-rem:       381  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  2.65 s
473.73/118.63	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
473.73/118.65	c vivif2 --  cl tried    65145 cl shrink        0 lits rem          0 time: 0.02
474.14/118.71	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.06
474.14/118.71	c calculated reachability. Time: 0.00
474.14/118.71	c  N st    59    806489       633      2744         2     65145      8336   1276198   no data   no data
713.40/178.61	c  F st    60   1071875       633      2744         2     81165      8336   1641047   no data   no data
713.40/178.61	c  N st    60   1071875       633      2744         2     81165      8336   1641047   no data   no data
719.80/180.22	c Decided on static restart strategy
738.56/184.92	c  N st    70   1100181       633      2744         2     64847      8336   1097214   no data   no data
773.72/193.77	c  N st    72   1136174       633      2744         2     55017      8336    771999   no data   no data
803.28/201.16	c  N st    73   1168567       633      2744         2     86849      8336   1705701   no data   no data
848.41/212.45	c  N st    74   1209733       633      2744         2     81085      8336   1562947   no data   no data
848.41/212.45	c  S st    74   1209733       633      2744         2     81085      8336   1562947   no data   no data
849.61/212.72	c  S st    74   1210237       633      2744         2     81589      8336   1577035   no data   no data
849.61/212.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
849.61/212.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
849.61/212.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
849.61/212.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
849.61/212.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
849.61/212.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
849.61/212.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
850.01/212.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
850.01/212.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
866.39/216.99	c lits-rem:       399  cl-subs:     2665  v-elim:      0  v-fix:    0  time:  4.14 s
866.39/216.99	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
866.79/217.01	c vivif2 --  cl tried    78924 cl shrink        0 lits rem          0 time: 0.02
866.79/217.09	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.08
866.79/217.09	c calculated reachability. Time: 0.00
866.79/217.09	c  N st    74   1210237       633      2744         2     78924      8336   1492987   no data   no data
942.28/235.90	c  N st    75   1283122       633      2744         2     55186      8336    710475   no data   no data
1050.16/262.91	c  N st    76   1392445       633      2744         2     63258      8336    928044   no data   no data
1216.31/304.50	c  N st    77   1556429       633      2744         2     68482      8336   1038501   no data   no data
1397.29/349.84	c  N st    78   1710239       633      2744         2    110316      8336   2286692   no data   no data
1397.29/349.84	c  S st    78   1710239       633      2744         2    110316      8336   2286692   no data   no data
1398.86/350.20	c  S st    78   1710746       633      2744         2    110823      8336   2301434   no data   no data
1398.86/350.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1398.86/350.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1398.86/350.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1398.86/350.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1398.86/350.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1398.86/350.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
1398.86/350.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1399.26/350.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1399.26/350.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.41/364.15	c lits-rem:      1379  cl-subs:     5835  v-elim:      0  v-fix:    0  time: 13.78 s
1454.41/364.15	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
1454.41/364.18	c vivif2 --  cl tried   104988 cl shrink        0 lits rem          0 time: 0.03
1455.18/364.30	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.11
1455.18/364.30	c calculated reachability. Time: 0.00
1455.18/364.30	c  N st    78   1710746       633      2744         2    104988      8336   2115117   no data   no data
1919.75/480.87	c  N st    79   2079712       633      2744         2    116143      8336   2329500   no data   no data
2084.73/522.12	c  N st    80   2210746       633      2744         2    120320      8336   2335920   no data   no data
2084.73/522.12	c  S st    80   2210746       633      2744         2    120320      8336   2335920   no data   no data
2085.94/522.49	c  S st    80   2211249       633      2744         2    120823      8336   2351006   no data   no data
2085.94/522.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2086.35/522.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2086.35/522.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2086.35/522.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2086.35/522.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2086.35/522.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2086.35/522.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2086.72/522.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2086.72/522.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2143.85/536.92	c lits-rem:       794  cl-subs:     7059  v-elim:      0  v-fix:    0  time: 14.25 s
2143.85/536.92	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
2143.85/536.95	c vivif2 --  cl tried   113764 cl shrink        0 lits rem          0 time: 0.03
2144.25/537.08	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.12
2144.25/537.08	c calculated reachability. Time: 0.00
2144.25/537.08	c  N st    80   2211249       633      2744         2    113764      8336   2158757   no data   no data
2807.34/703.06	c  N st    81   2711250       633      2744         2    138136      8336   2834829   no data   no data
2807.34/703.06	c  S st    81   2711250       633      2744         2    138136      8336   2834829   no data   no data
2809.34/703.50	c  S st    81   2711754       633      2744         2    138639      8336   2848433   no data   no data
2809.34/703.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2809.34/703.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2809.34/703.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2809.34/703.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2809.34/703.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2809.34/703.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2809.34/703.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2809.74/703.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2810.14/703.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2894.85/724.91	c lits-rem:       639  cl-subs:     7550  v-elim:      0  v-fix:    0  time: 21.19 s
2894.85/724.91	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
2894.85/724.95	c vivif2 --  cl tried   131089 cl shrink        0 lits rem          0 time: 0.04
2895.62/725.10	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.15
2895.62/725.10	c calculated reachability. Time: 0.00
2895.62/725.10	c  N st    81   2711754       633      2744         2    131089      8336   2624909   no data   no data
3688.15/923.59	c  N st    82   3211754       633      2744         2    106045      8336   1639027   no data   no data
3688.15/923.59	c  S st    82   3211754       633      2744         2    106045      8336   1639027   no data   no data
3690.16/924.00	c  S st    82   3212257       633      2744         2    106548      8336   1652291   no data   no data
3690.16/924.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3690.16/924.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3690.16/924.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3690.16/924.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3690.16/924.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3690.16/924.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
3690.16/924.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3690.54/924.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3690.54/924.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3718.11/931.06	c lits-rem:       341  cl-subs:     3508  v-elim:      0  v-fix:    0  time:  6.88 s
3718.11/931.06	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
3718.11/931.09	c vivif2 --  cl tried   103040 cl shrink        0 lits rem          0 time: 0.03
3718.91/931.20	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.12
3718.91/931.21	c calculated reachability. Time: 0.00
3718.91/931.21	c  N st    82   3212257       633      2744         2    103040      8336   1562382   no data   no data
4541.38/1137.19	c  N st    83   3712257       633      2744         2    114142      8336   1781181   no data   no data
4541.38/1137.19	c  S st    83   3712257       633      2744         2    114142      8336   1781181   no data   no data
4542.98/1137.56	c  S st    83   3712760       633      2744         2    114645      8336   1794806   no data   no data
4542.98/1137.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4543.38/1137.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4543.38/1137.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4543.38/1137.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4543.38/1137.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4543.38/1137.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
4543.38/1137.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4543.38/1137.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4543.78/1137.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4562.16/1142.33	c lits-rem:       552  cl-subs:     3207  v-elim:      0  v-fix:    0  time:  4.61 s
4562.16/1142.33	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
4562.16/1142.35	c vivif2 --  cl tried   111438 cl shrink        0 lits rem          0 time: 0.03
4562.56/1142.47	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.12
4562.56/1142.47	c calculated reachability. Time: 0.00
4562.56/1142.47	c  N st    83   3712760       633      2744         2    111438      8336   1703011   no data   no data
4632.85/1160.00	c  F st    84   3751562       633      2744         2    149522      8336   2824746   no data   no data
4632.85/1160.01	c  N st    84   3751562       633      2744         2    149522      8336   2824746   no data   no data
4643.67/1162.74	c Decided on static restart strategy
4683.98/1172.84	c  N st    94   3779866       633      2744         2     93969      8336   1119505   no data   no data
4735.54/1185.72	c  N st    96   3815860       633      2744         2    129451      8336   2180516   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174227-1304115488/watcher-3174227-1304115488 -o /tmp/evaluation-result-3174227-1304115488/solver-3174227-1304115488 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174227-1304115488.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.45 7.94 7.97 4/176 4235
/proc/meminfo: memFree=30891136/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 503964694 52441088 347 33554432000 4194304 4627427 140734407598928 18446744073709551615 47035270956972 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 12803 347 299 106 0 7774 0
[pid=4233/tid=4237] ppid=4230 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 503964695 52441088 347 33554432000 4194304 4627427 140734407598928 18446744073709551615 47035270956978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 503964695 52441088 347 33554432000 4194304 4627427 140734407598928 18446744073709551615 47035270956978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 503964695 52441088 347 33554432000 4194304 4627427 140734407598928 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0278309 s]
/proc/loadavg: 7.45 7.94 7.97 4/176 4235
/proc/meminfo: memFree=30891136/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=347660 CPUtime=0.08 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 1554 0 0 0 8 0 0 0 18 0 4 0 503964694 356003840 1358 33554432000 4194304 4627427 140734407598928 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 86915 1358 384 106 0 81886 0
[pid=4233/tid=4237] ppid=4230 vsize=347660 CPUtime=0.02 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 320 0 0 0 2 0 0 0 18 0 4 0 503964695 356003840 1358 33554432000 4194304 4627427 140734407598928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=347660 CPUtime=0.02 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 358 0 0 0 2 0 0 0 18 0 4 0 503964695 356003840 1358 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=347660 CPUtime=0.01 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 166 0 0 0 1 0 0 0 25 0 4 0 503964695 356003840 1358 33554432000 4194304 4627427 140734407598928 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 347660

[startup+0.100818 s]
/proc/loadavg: 7.45 7.94 7.97 4/176 4235
/proc/meminfo: memFree=30891136/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=347660 CPUtime=0.37 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 1964 0 0 0 37 0 0 0 18 0 4 0 503964694 356003840 1768 33554432000 4194304 4627427 140734407598928 18446744073709551615 4305958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 86915 1768 384 106 0 81886 0
[pid=4233/tid=4237] ppid=4230 vsize=347660 CPUtime=0.09 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 431 0 0 0 9 0 0 0 18 0 4 0 503964695 356003840 1768 33554432000 4194304 4627427 140734407598928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=347660 CPUtime=0.09 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 472 0 0 0 9 0 0 0 18 0 4 0 503964695 356003840 1768 33554432000 4194304 4627427 140734407598928 18446744073709551615 4325997 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=347660 CPUtime=0.09 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 248 0 0 0 9 0 0 0 25 0 4 0 503964695 356003840 1768 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 347660

[startup+0.300781 s]
/proc/loadavg: 7.45 7.94 7.97 4/176 4235
/proc/meminfo: memFree=30891136/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=349316 CPUtime=1.17 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 3117 0 0 0 117 0 0 0 18 0 4 0 503964694 357699584 2241 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308615 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 87329 2241 385 106 0 82300 0
[pid=4233/tid=4237] ppid=4230 vsize=349316 CPUtime=0.29 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 717 0 0 0 29 0 0 0 18 0 4 0 503964695 357699584 2241 33554432000 4194304 4627427 140734407598928 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=349316 CPUtime=0.29 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 768 0 0 0 29 0 0 0 18 0 4 0 503964695 357699584 2241 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=349316 CPUtime=0.29 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 538 0 0 0 29 0 0 0 25 0 4 0 503964695 357699584 2241 33554432000 4194304 4627427 140734407598928 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349316

[startup+0.700708 s]
/proc/loadavg: 7.45 7.94 7.97 4/176 4235
/proc/meminfo: memFree=30891136/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=350024 CPUtime=2.77 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 4860 0 0 0 277 0 0 0 18 0 4 0 503964694 358424576 2967 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 87506 2967 385 106 0 82477 0
[pid=4233/tid=4237] ppid=4230 vsize=350024 CPUtime=0.69 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 1175 0 0 0 69 0 0 0 18 0 4 0 503964695 358424576 2967 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=350024 CPUtime=0.69 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 1220 0 0 0 69 0 0 0 18 0 4 0 503964695 358424576 2967 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=350024 CPUtime=0.69 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 953 0 0 0 69 0 0 0 25 0 4 0 503964695 358424576 2967 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350024

[startup+1.50056 s]
/proc/loadavg: 7.45 7.94 7.97 11/184 4243
/proc/meminfo: memFree=30864356/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=351492 CPUtime=5.97 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 9813 0 0 0 596 1 0 0 20 0 4 0 503964694 359927808 5011 33554432000 4194304 4627427 140734407598928 18446744073709551615 4420154 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 87873 5011 389 106 0 82844 0
[pid=4233/tid=4237] ppid=4230 vsize=351492 CPUtime=1.49 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 2050 0 0 0 149 0 0 0 19 0 4 0 503964695 359927808 5012 33554432000 4194304 4627427 140734407598928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=351492 CPUtime=1.49 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 2056 0 0 0 149 0 0 0 20 0 4 0 503964695 359927808 5012 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=351492 CPUtime=1.48 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 1846 0 0 0 148 0 0 0 25 0 4 0 503964695 359927808 5012 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 351492

[startup+3.10027 s]
/proc/loadavg: 7.45 7.94 7.97 10/184 4243
/proc/meminfo: memFree=30839432/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=340912 CPUtime=12.36 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 19261 0 0 0 1234 2 0 0 25 0 4 0 503964694 349093888 11018 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 85228 11018 389 106 0 80199 0
[pid=4233/tid=4237] ppid=4230 vsize=340912 CPUtime=3.08 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 4523 0 0 0 308 0 0 0 25 0 4 0 503964695 349093888 11018 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=340912 CPUtime=3.09 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 5214 0 0 0 308 1 0 0 25 0 4 0 503964695 349093888 11018 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=340912 CPUtime=3.07 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 4479 0 0 0 307 0 0 0 25 0 4 0 503964695 349093888 11018 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 340912

[startup+6.30068 s]
/proc/loadavg: 7.49 7.94 7.97 10/184 4243
/proc/meminfo: memFree=30784500/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=358860 CPUtime=25.14 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 29547 0 0 0 2509 5 0 0 25 0 4 0 503964694 367472640 15104 33554432000 4194304 4627427 140734407598928 18446744073709551615 4338635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 89715 15104 389 106 0 84686 0
[pid=4233/tid=4237] ppid=4230 vsize=358860 CPUtime=6.28 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 8299 0 0 0 627 1 0 0 25 0 4 0 503964695 367472640 15104 33554432000 4194304 4627427 140734407598928 18446744073709551615 4328754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=358860 CPUtime=6.29 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 7658 0 0 0 627 2 0 0 25 0 4 0 503964695 367472640 15104 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=358860 CPUtime=6.25 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 6208 0 0 0 625 0 0 0 25 0 4 0 503964695 367472640 15104 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 358860

[startup+12.7005 s]
/proc/loadavg: 7.69 7.98 7.98 10/184 4243
/proc/meminfo: memFree=30731848/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=349348 CPUtime=50.7 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 45293 0 0 0 5063 7 0 0 25 0 4 0 503964694 357732352 22846 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 87337 22846 389 106 0 82308 0
[pid=4233/tid=4237] ppid=4230 vsize=349348 CPUtime=12.68 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 11792 0 0 0 1267 1 0 0 25 0 4 0 503964695 357732352 22846 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=349348 CPUtime=12.68 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 10957 0 0 0 1266 2 0 0 25 0 4 0 503964695 357732352 22846 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=349348 CPUtime=12.62 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 9909 0 0 0 1261 1 0 0 25 0 4 0 503964695 357732352 22846 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 349348

[startup+25.5011 s]
/proc/loadavg: 7.76 7.98 7.98 9/184 4244
/proc/meminfo: memFree=30649836/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=376632 CPUtime=101.83 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 70427 0 0 0 10170 13 0 0 25 0 4 0 503964694 385671168 33595 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 94158 33595 389 106 0 89129 0
[pid=4233/tid=4237] ppid=4230 vsize=376632 CPUtime=25.49 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 18902 0 0 0 2546 3 0 0 25 0 4 0 503964695 385671168 33595 33554432000 4194304 4627427 140734407598928 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=376632 CPUtime=25.48 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 19154 0 0 0 2544 4 0 0 25 0 4 0 503964695 385671168 33595 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=376632 CPUtime=25.35 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 12925 0 0 0 2533 2 0 0 25 0 4 0 503964695 385671168 33595 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 376632

[startup+51.1004 s]
/proc/loadavg: 7.84 7.98 7.98 10/184 4244
/proc/meminfo: memFree=30600748/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=413180 CPUtime=204.1 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 100750 0 0 0 20390 20 0 0 25 0 4 0 503964694 423096320 44623 33554432000 4194304 4627427 140734407598928 18446744073709551615 4332615 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 103295 44623 389 106 0 98266 0
[pid=4233/tid=4237] ppid=4230 vsize=413180 CPUtime=51.09 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 26892 0 0 0 5104 5 0 0 25 0 4 0 503964695 423096320 44623 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=413180 CPUtime=51.09 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 28410 0 0 0 5103 6 0 0 25 0 4 0 503964695 423096320 44623 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=413180 CPUtime=50.8 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 18720 0 0 0 5077 3 0 0 25 0 4 0 503964695 423096320 44623 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 413180

[startup+102.307 s]
/proc/loadavg: 8.02 8.01 7.99 10/184 4246
/proc/meminfo: memFree=30539700/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=445448 CPUtime=408.64 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 147435 0 0 0 40831 33 0 0 25 0 4 0 503964694 456138752 54036 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 111362 54036 389 106 0 106333 0
[pid=4233/tid=4237] ppid=4230 vsize=445448 CPUtime=102.29 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 39868 0 0 0 10221 8 0 0 25 0 4 0 503964695 456138752 54036 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=445448 CPUtime=102.28 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 36555 0 0 0 10219 9 0 0 25 0 4 0 503964695 456138752 54036 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=445448 CPUtime=101.73 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 32983 0 0 0 10166 7 0 0 25 0 4 0 503964695 456138752 54036 33554432000 4194304 4627427 140734407598928 18446744073709551615 4310544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 445448

[startup+162.301 s]

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

[pid=4233] ppid=4230 vsize=721660 CPUtime=2804.55 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 503892 0 0 0 280285 170 0 0 25 0 4 0 503964694 738979840 108993 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 180415 108993 389 106 0 175386 0
[pid=4233/tid=4237] ppid=4230 vsize=721660 CPUtime=702.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 128357 0 0 0 70175 39 0 0 25 0 4 0 503964695 738979840 108993 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=721660 CPUtime=702.24 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 134161 0 0 0 70178 46 0 0 25 0 4 0 503964695 738979840 108993 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=721660 CPUtime=697.84 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 118857 0 0 0 69739 45 0 0 25 0 4 0 503964695 738979840 108993 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.55
Current children cumulated vsize (KiB) 721660

[startup+762.307 s]
/proc/loadavg: 8.07 8.13 8.06 10/184 4266
/proc/meminfo: memFree=30091108/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=709200 CPUtime=3044.24 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 534563 0 0 0 304240 184 0 0 25 0 4 0 503964694 726220800 116896 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 177300 116896 389 106 0 172271 0
[pid=4233/tid=4237] ppid=4230 vsize=709200 CPUtime=762.15 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 135824 0 0 0 76172 43 0 0 25 0 4 0 503964695 726220800 116896 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=709200 CPUtime=762.25 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 142884 0 0 0 76175 50 0 0 25 0 4 0 503964695 726220800 116896 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=709200 CPUtime=757.52 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 126397 0 0 0 75703 49 0 0 25 0 4 0 503964695 726220800 116896 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.24
Current children cumulated vsize (KiB) 709200

[startup+822.3 s]
/proc/loadavg: 8.08 8.12 8.06 10/184 4268
/proc/meminfo: memFree=30048024/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=774932 CPUtime=3283.9 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 558087 0 0 0 328195 195 0 0 25 0 4 0 503964694 793530368 122073 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 193733 122073 389 106 0 188704 0
[pid=4233/tid=4237] ppid=4230 vsize=774932 CPUtime=822.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 143189 0 0 0 82169 45 0 0 25 0 4 0 503964695 793530368 122073 33554432000 4194304 4627427 140734407598928 18446744073709551615 4332845 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=774932 CPUtime=822.23 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 150970 0 0 0 82171 52 0 0 25 0 4 0 503964695 793530368 122073 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=774932 CPUtime=817.2 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 127589 0 0 0 81670 50 0 0 25 0 4 0 503964695 793530368 122073 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.9
Current children cumulated vsize (KiB) 774932

[startup+882.301 s]
/proc/loadavg: 8.08 8.11 8.06 10/184 4270
/proc/meminfo: memFree=30010528/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=722648 CPUtime=3523.57 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 581865 0 0 0 352148 209 0 0 25 0 4 0 503964694 739991552 124327 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 180662 124327 389 106 0 175633 0
[pid=4233/tid=4237] ppid=4230 vsize=722648 CPUtime=882.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 152557 0 0 0 88165 49 0 0 25 0 4 0 503964695 739991552 124327 33554432000 4194304 4627427 140734407598928 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=722648 CPUtime=882.23 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 158326 0 0 0 88165 58 0 0 25 0 4 0 503964695 739991552 124327 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=722648 CPUtime=876.86 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 131166 0 0 0 87634 52 0 0 25 0 4 0 503964695 739991552 124327 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.57
Current children cumulated vsize (KiB) 722648

[startup+942.301 s]
/proc/loadavg: 8.08 8.10 8.05 9/184 4271
/proc/meminfo: memFree=29966452/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=776812 CPUtime=3763.24 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 608816 0 0 0 376103 221 0 0 25 0 4 0 503964694 795455488 138728 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 194203 138728 389 106 0 189174 0
[pid=4233/tid=4237] ppid=4230 vsize=776812 CPUtime=942.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 158683 0 0 0 94161 53 0 0 25 0 4 0 503964695 795455488 138728 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=776812 CPUtime=942.23 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 167388 0 0 0 94162 61 0 0 25 0 4 0 503964695 795455488 138728 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=776812 CPUtime=936.54 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 138131 0 0 0 93599 55 0 0 25 0 4 0 503964695 795455488 138728 33554432000 4194304 4627427 140734407598928 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.24
Current children cumulated vsize (KiB) 776812

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.05 10/184 4273
/proc/meminfo: memFree=29982896/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=724380 CPUtime=4002.91 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 632905 0 0 0 400060 231 0 0 25 0 4 0 503964694 741765120 133500 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 181095 133500 389 106 0 176066 0
[pid=4233/tid=4237] ppid=4230 vsize=724380 CPUtime=1002.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 164051 0 0 0 100158 56 0 0 25 0 4 0 503964695 741765120 133500 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=724380 CPUtime=1002.23 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 174766 0 0 0 100158 65 0 0 25 0 4 0 503964695 741765120 133500 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=724380 CPUtime=996.21 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 145243 0 0 0 99564 57 0 0 25 0 4 0 503964695 741765120 133500 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 724380

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.05 10/184 4274
/proc/meminfo: memFree=29993380/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=745936 CPUtime=4242.6 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 657820 0 0 0 424017 243 0 0 25 0 4 0 503964694 763838464 128172 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 186484 128172 389 106 0 181455 0
[pid=4233/tid=4237] ppid=4230 vsize=745936 CPUtime=1062.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 170056 0 0 0 106156 58 0 0 25 0 4 0 503964695 763838464 128172 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=745936 CPUtime=1062.22 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 181798 0 0 0 106154 68 0 0 25 0 4 0 503964695 763838464 128172 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=745936 CPUtime=1055.9 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 152308 0 0 0 105529 61 0 0 25 0 4 0 503964695 763838464 128172 33554432000 4194304 4627427 140734407598928 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.6
Current children cumulated vsize (KiB) 745936

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.05 10/184 4276
/proc/meminfo: memFree=29940624/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=860032 CPUtime=4482.27 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 683250 0 0 0 447974 253 0 0 25 0 4 0 503964694 880672768 140193 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 215008 140193 389 106 0 209979 0
[pid=4233/tid=4237] ppid=4230 vsize=860032 CPUtime=1122.15 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 178604 0 0 0 112154 61 0 0 25 0 4 0 503964695 880672768 140193 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=860032 CPUtime=1122.21 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 187111 0 0 0 112151 70 0 0 25 0 4 0 503964695 880672768 140193 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=860032 CPUtime=1115.57 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 158543 0 0 0 111495 62 0 0 25 0 4 0 503964695 880672768 140193 33554432000 4194304 4627427 140734407598928 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.27
Current children cumulated vsize (KiB) 860032

[startup+1182.3 s]
/proc/loadavg: 8.09 8.09 8.06 10/184 4278
/proc/meminfo: memFree=29940576/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=767668 CPUtime=4721.94 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 707061 0 0 0 471930 264 0 0 25 0 4 0 503964694 786092032 142666 33554432000 4194304 4627427 140734407598928 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 191917 142666 389 106 0 186888 0
[pid=4233/tid=4237] ppid=4230 vsize=767668 CPUtime=1182.14 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 184260 0 0 0 118151 63 0 0 25 0 4 0 503964695 786092032 142666 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=767668 CPUtime=1182.21 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 197211 0 0 0 118147 74 0 0 25 0 4 0 503964695 786092032 142666 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=767668 CPUtime=1175.25 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 162442 0 0 0 117462 63 0 0 25 0 4 0 503964695 786092032 142666 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 767668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.19 8.12 8.07 5/179 4279
/proc/meminfo: memFree=30322028/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=875084 CPUtime=4800.25 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 713701 0 0 0 479759 266 0 0 25 0 4 0 503964694 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 218771 141505 389 106 0 213742 0
[pid=4233/tid=4237] ppid=4230 vsize=875084 CPUtime=1201.74 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 187091 0 0 0 120110 64 0 0 25 0 4 0 503964695 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=875084 CPUtime=1201.81 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 198545 0 0 0 120106 75 0 0 25 0 4 0 503964695 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=875084 CPUtime=1194.75 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 164731 0 0 0 119411 64 0 0 25 0 4 0 503964695 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 875084

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

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

[startup+1201.9 s]
/proc/loadavg: 8.19 8.12 8.07 5/179 4279
/proc/meminfo: memFree=30322028/32951124 swapFree=67105204/67111528
[pid=4233] ppid=4230 vsize=875084 CPUtime=4800.25 cores=0,2,4,6
/proc/4233/stat : 4233 (strangenight2-m) R 4230 4233 3436 0 -1 4202496 713701 0 0 0 479759 266 0 0 25 0 4 0 503964694 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4233/statm: 218771 141505 389 106 0 213742 0
[pid=4233/tid=4237] ppid=4230 vsize=875084 CPUtime=1201.74 cores=0,2,4,6
/proc/4233/task/4237/stat : 4237 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 187091 0 0 0 120110 64 0 0 25 0 4 0 503964695 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4233/tid=4238] ppid=4230 vsize=875084 CPUtime=1201.81 cores=0,2,4,6
/proc/4233/task/4238/stat : 4238 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 198545 0 0 0 120106 75 0 0 25 0 4 0 503964695 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4233/tid=4239] ppid=4230 vsize=875084 CPUtime=1194.75 cores=0,2,4,6
/proc/4233/task/4239/stat : 4239 (strangenight2-m) R 4230 4233 3436 0 -1 4202560 164731 0 0 0 119411 64 0 0 25 0 4 0 503964695 896086016 141505 33554432000 4194304 4627427 140734407598928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 875084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.3
CPU user time (s): 4797.61
CPU system time (s): 2.69259
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 960044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.61
system time used= 2.69259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713702
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= 336
involuntary context switches= 39277

runsolver used 1.80672 second user time and 4.73728 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-30 00:18:08
IDJOB=3174227
IDBENCH=83045
IDSOLVER=1586
FILE ID=node147/3174227-1304115488
RUNJOBID= node147-1304115488-4216
PBS_JOBID= 13170669
Free space on /tmp= 72660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174227-1304115488/watcher-3174227-1304115488 -o /tmp/evaluation-result-3174227-1304115488/solver-3174227-1304115488 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174227-1304115488.cnf

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

MD5SUM BENCH= 5668e95cadc5ec51544c425c57e1c075
RANDOM SEED=1957344610

node147.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.836
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.67
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.836
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.836
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.836
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.836
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.836
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.76
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.836
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.836
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:      30891572 kB
Buffers:        289292 kB
Cached:        1383956 kB
SwapCached:       3064 kB
Active:         159472 kB
Inactive:      1575236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30891572 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           11328 kB
Writeback:           0 kB
AnonPages:       59096 kB
Mapped:          14400 kB
Slab:           261200 kB
PageTables:       4896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182328 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= 72652 MiB
End job on node147 at 2011-04-30 00:38:12