Trace number 3174016

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.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf
MD5SUMac60b7243bf21c022437e3832aafd05d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark354.235
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3174016-1304076784.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.10	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.10	c -- vars added        100
0.00/0.10	c Parsing time:  0.00 s
0.00/0.10	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.10	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
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:    100 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:      0  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:      46 undec:       2 neg:      52
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       100      2130         0         0     10650         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4922       100      2130         0      4622     10650     99934   no data   no data
1.18/0.30	c  N st    10     11304       100      2130         0      4249     10650     73915   no data   no data
1.58/0.49	c  N st    11     17047       100      2130         0      9559     10650    187116   no data   no data
2.78/0.78	c  F st    12     25002       100      2130         0     11674     10650    231765   no data   no data
2.78/0.78	c  N st    12     25002       100      2130         0     11674     10650    231765   no data   no data
3.58/0.97	c Decided on static restart strategy
3.58/0.97	c  N st    18     30000       100      2130         0     10047     10650    186434   no data   no data
3.58/0.97	c  S st    18     30000       100      2130         0     10047     10650    186434   no data   no data
3.58/0.99	c  S st    18     30502       100      2130         0     10530     10650    197245   no data   no data
3.58/0.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.00	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.17	c lits-rem:       229  cl-subs:     1793  v-elim:      0  v-fix:    0  time:  0.16 s
4.38/1.20	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.38/1.20	c calculated reachability. Time: 0.00
4.38/1.20	c  N st    18     30502       100      2130         0      8737     10650    158279   no data   no data
5.98/1.52	c  N st    20     37615       100      2130         0      8053     10650    131030   no data   no data
6.78/1.78	c  N st    21     44016       100      2130         0     13967     10650    255999   no data   no data
7.18/1.87	c  S st    22     45754       100      2130         0     15569     10650    288694   no data   no data
7.57/1.92	c  S st    22     46254       100      2130         0     16048     10650    299512   no data   no data
7.57/1.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/1.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.57/1.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.57/1.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.57/1.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.57/1.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.57/1.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.57/1.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.57/1.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.30	c lits-rem:       307  cl-subs:     2201  v-elim:      0  v-fix:    0  time:  0.37 s
9.19/2.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.19/2.31	c vivif2 --  cl tried    13847 cl shrink        0 lits rem          0 time: 0.00
9.19/2.36	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.19/2.36	c calculated reachability. Time: 0.00
9.19/2.36	c  N st    22     46254       100      2130         0     13847     10650    253750   no data   no data
11.97/3.09	c  N st    23     60653       100      2130         0      9794     10650    143285   no data   no data
13.96/3.54	c  N st    24     69381       100      2130         0     17806     10650    306808   no data   no data
13.96/3.54	c  S st    24     69381       100      2130         0     17806     10650    306808   no data   no data
13.96/3.59	c  S st    24     69885       100      2130         0     18292     10650    317783   no data   no data
13.96/3.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.36/3.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.36/3.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.10	c lits-rem:       452  cl-subs:     2856  v-elim:      0  v-fix:    0  time:  0.49 s
16.36/4.10	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.36/4.10	c vivif2 --  cl tried    15436 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.36/4.16	c calculated reachability. Time: 0.00
16.36/4.16	c  N st    24     69885       100      2130         0     15436     10650    263836   no data   no data
20.76/5.26	c  F st    25     87500       100      2130         0     21560     10650    373302   no data   no data
20.76/5.26	c  N st    25     87500       100      2130         0     21560     10650    373302   no data   no data
21.97/5.57	c Decided on static restart strategy
22.75/5.73	c  N st    32     95537       100      2130         0     18116     10650    309203   no data   no data
25.15/6.33	c  N st    34    104828       100      2130         0     14750     10650    233601   no data   no data
25.15/6.33	c  S st    34    104828       100      2130         0     14750     10650    233601   no data   no data
25.15/6.37	c  S st    34    105333       100      2130         0     15232     10650    244360   no data   no data
25.15/6.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.15/6.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.15/6.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.15/6.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.15/6.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.15/6.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.15/6.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.15/6.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.15/6.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.52	c lits-rem:       163  cl-subs:     1160  v-elim:      0  v-fix:    0  time:  0.14 s
25.95/6.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.95/6.52	c vivif2 --  cl tried    14072 cl shrink        0 lits rem          0 time: 0.00
25.95/6.57	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.95/6.57	c calculated reachability. Time: 0.00
25.95/6.57	c  N st    34    105333       100      2130         0     14072     10650    220603   no data   no data
28.35/7.19	c  N st    35    114932       100      2130         0     22984     10650    416354   no data   no data
32.34/8.11	c  N st    36    129331       100      2130         0     23413     10650    406517   no data   no data
38.34/9.62	c  N st    37    150927       100      2130         0     29459     10650    506802   no data   no data
39.95/10.06	c  S st    38    158000       100      2130         0     21268     10650    334867   no data   no data
40.33/10.11	c  S st    38    158504       100      2130         0     21756     10650    345869   no data   no data
40.33/10.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.33/10.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.33/10.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.33/10.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.33/10.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.33/10.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.33/10.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.33/10.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.33/10.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.53/10.48	c lits-rem:       364  cl-subs:     1775  v-elim:      0  v-fix:    0  time:  0.35 s
41.53/10.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.53/10.48	c vivif2 --  cl tried    19981 cl shrink        0 lits rem          0 time: 0.00
41.93/10.56	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
41.93/10.56	c calculated reachability. Time: 0.00
41.93/10.56	c  N st    38    158504       100      2130         0     19981     10650    309520   no data   no data
55.92/14.01	c  N st    39    207093       100      2130         0     32483     10650    547194   no data   no data
64.70/16.29	c  N st    40    237756       100      2130         0     24931     10650    385202   no data   no data
64.70/16.29	c  S st    40    237756       100      2130         0     24931     10650    385202   no data   no data
65.10/16.35	c  S st    40    238260       100      2130         0     25417     10650    396072   no data   no data
65.10/16.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.10/16.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
65.10/16.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.10/16.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.10/16.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.10/16.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
65.10/16.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.10/16.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
65.10/16.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.09/16.84	c lits-rem:       466  cl-subs:     1861  v-elim:      0  v-fix:    0  time:  0.47 s
67.09/16.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
67.09/16.85	c vivif2 --  cl tried    23556 cl shrink        0 lits rem          0 time: 0.00
67.49/16.94	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
67.49/16.94	c calculated reachability. Time: 0.00
67.49/16.94	c  N st    40    238260       100      2130         0     23556     10650    356679   no data   no data
93.07/23.30	c  F st    41    306251       100      2130         0     25527     10650    358134   no data   no data
93.07/23.30	c  N st    41    306251       100      2130         0     25527     10650    358134   no data   no data
94.66/23.73	c Decided on static restart strategy
103.45/25.97	c  N st    51    334556       100      2130         0     29499     10650    433207   no data   no data
113.44/28.47	c  N st    53    357390       100      2130         0     27561     10650    372595   no data   no data
113.44/28.47	c  S st    53    357390       100      2130         0     27561     10650    372595   no data   no data
113.84/28.54	c  S st    53    357896       100      2130         0     28046     10650    383415   no data   no data
113.84/28.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
113.84/28.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
113.84/28.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.84/28.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
113.84/28.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
113.84/28.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
113.84/28.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.84/28.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
113.84/28.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.03/28.85	c lits-rem:       155  cl-subs:     1431  v-elim:      0  v-fix:    0  time:  0.29 s
115.03/28.85	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
115.03/28.85	c vivif2 --  cl tried    26615 cl shrink        0 lits rem          0 time: 0.00
115.43/28.95	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
115.43/28.95	c calculated reachability. Time: 0.00
115.43/28.95	c  N st    53    357896       100      2130         0     26615     10650    354959   no data   no data
129.01/32.32	c  N st    54    390289       100      2130         0     32566     10650    474190   no data   no data
153.38/38.40	c  N st    55    438878       100      2130         0     26476     10650    322497   no data   no data
184.56/46.22	c  N st    56    511761       100      2130         0     39254     10650    576296   no data   no data
196.53/49.21	c  N st    57    536847       100      2130         0     33753     10650    441880   no data   no data
196.53/49.21	c  S st    57    536847       100      2130         0     33753     10650    441880   no data   no data
196.53/49.29	c  S st    57    537349       100      2130         0     34238     10650    452804   no data   no data
196.53/49.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
196.93/49.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
196.93/49.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
196.93/49.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
196.93/49.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.93/49.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
196.93/49.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
196.93/49.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
196.93/49.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.53/49.78	c lits-rem:       317  cl-subs:     1770  v-elim:      0  v-fix:    0  time:  0.46 s
198.53/49.78	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
198.53/49.79	c vivif2 --  cl tried    32468 cl shrink        0 lits rem          0 time: 0.00
199.33/49.91	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.13
199.33/49.92	c calculated reachability. Time: 0.00
199.33/49.92	c  N st    57    537349       100      2130         0     32468     10650    418002   no data   no data
280.43/70.21	c  N st    58    701333       100      2130         0     60093     10650    980653   no data   no data
336.75/84.30	c  N st    59    806024       100      2130         0     54269     10650    813914   no data   no data
336.75/84.30	c  S st    59    806024       100      2130         0     54269     10650    813914   no data   no data
337.15/84.45	c  S st    59    806527       100      2130         0     54752     10650    824855   no data   no data
337.15/84.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
337.15/84.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
337.15/84.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
337.15/84.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
337.15/84.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
337.15/84.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
337.15/84.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
337.15/84.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
337.56/84.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
349.13/87.48	c lits-rem:       840  cl-subs:     5896  v-elim:      0  v-fix:    0  time:  2.98 s
349.13/87.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
349.13/87.49	c vivif2 --  cl tried    48856 cl shrink        0 lits rem          0 time: 0.01
350.33/87.72	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
350.33/87.72	c calculated reachability. Time: 0.00
350.33/87.72	c  N st    59    806527       100      2130         0     48856     10650    710976   no data   no data
502.93/125.91	c  F st    60   1071876       100      2130         0     63839     10650    971427   no data   no data
502.93/125.91	c  N st    60   1071876       100      2130         0     63839     10650    971427   no data   no data
506.93/126.95	c Decided on static restart strategy
525.70/131.63	c  N st    70   1100185       100      2130         0     48890     10650    625812   no data   no data
553.68/138.61	c  N st    72   1136179       100      2130         0     81774     10650   1325653   no data   no data
575.25/144.05	c  N st    73   1168572       100      2130         0     69568     10650   1053100   no data   no data
604.40/151.33	c  N st    74   1209791       100      2130         0     64259     10650    903323   no data   no data
604.40/151.33	c  S st    74   1209791       100      2130         0     64259     10650    903323   no data   no data
605.20/151.51	c  S st    74   1210293       100      2130         0     64738     10650    914320   no data   no data
605.20/151.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
605.20/151.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
605.20/151.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
605.20/151.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
605.20/151.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
605.20/151.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
605.20/151.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
605.20/151.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
605.20/151.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
620.00/155.20	c lits-rem:       832  cl-subs:     6872  v-elim:      0  v-fix:    0  time:  3.62 s
620.00/155.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
620.00/155.22	c vivif2 --  cl tried    57866 cl shrink        0 lits rem          0 time: 0.01
620.78/155.48	c asymm  cl-useful: 0/1827/2130 lits-rem:0 time: 0.26
620.78/155.48	c calculated reachability. Time: 0.00
620.78/155.48	c  N st    74   1210293       100      2130         0     57866     10650    790689   no data   no data
683.89/171.29	c  N st    75   1283175       100      2130         0     80852     10650   1271107   no data   no data
772.18/193.33	c  N st    76   1392498       100      2130         0     90503     10650   1463428   no data   no data
900.81/225.60	c  N st    77   1556483       100      2130         0     98145     10650   1608852   no data   no data
1026.63/257.05	c  N st    78   1710293       100      2130         0     88012     10650   1382732   no data   no data
1026.63/257.05	c  S st    78   1710293       100      2130         0     88012     10650   1382732   no data   no data
1027.83/257.34	c  S st    78   1710794       100      2130         0     88490     10650   1393841   no data   no data
1027.83/257.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1027.83/257.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1027.83/257.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1027.83/257.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1027.83/257.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1027.83/257.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1027.83/257.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1028.24/257.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1028.24/257.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1074.16/268.98	c lits-rem:      2284  cl-subs:     9282  v-elim:      0  v-fix:    0  time: 11.52 s
1074.16/268.98	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1074.16/268.99	c vivif2 --  cl tried    79208 cl shrink        0 lits rem          0 time: 0.02
1075.76/269.31	c asymm  cl-useful: 0/1317/2130 lits-rem:0 time: 0.32
1075.76/269.31	c calculated reachability. Time: 0.00
1075.76/269.31	c  N st    78   1710794       100      2130         0     79208     10650   1202968   no data   no data
1442.46/361.14	c  N st    79   2079758       100      2130         0     90378     10650   1328206   no data   no data
1559.91/390.53	c  N st    80   2210794       100      2130         0     94150     10650   1404168   no data   no data
1559.91/390.53	c  S st    80   2210794       100      2130         0     94150     10650   1404168   no data   no data
1561.10/390.84	c  S st    80   2211299       100      2130         0     94637     10650   1415697   no data   no data
1561.10/390.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1561.10/390.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1561.10/390.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1561.10/390.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1561.10/390.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1561.10/390.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1561.10/390.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1561.50/390.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1561.50/390.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1610.24/403.17	c lits-rem:      1635  cl-subs:    11109  v-elim:      0  v-fix:    0  time: 12.22 s
1610.24/403.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1610.24/403.19	c vivif2 --  cl tried    83528 cl shrink        0 lits rem          0 time: 0.02
1611.44/403.41	c asymm  cl-useful: 0/813/2130 lits-rem:0 time: 0.22
1611.44/403.41	c calculated reachability. Time: 0.00
1611.44/403.41	c  N st    80   2211299       100      2130         0     83528     10650   1193472   no data   no data
2146.72/537.42	c  N st    81   2711301       100      2130         0    105691     10650   1554173   no data   no data
2146.72/537.42	c  S st    81   2711301       100      2130         0    105691     10650   1554173   no data   no data
2147.92/537.75	c  S st    81   2711803       100      2130         0    106167     10650   1565117   no data   no data
2147.92/537.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2148.32/537.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2148.32/537.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2148.32/537.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2148.32/537.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2148.32/537.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2148.32/537.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2148.32/537.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2148.32/537.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2202.23/551.37	c lits-rem:      1934  cl-subs:    13754  v-elim:      0  v-fix:    0  time: 13.49 s
2202.23/551.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2202.23/551.39	c vivif2 --  cl tried    92413 cl shrink        0 lits rem          0 time: 0.02
2203.83/551.71	c asymm  cl-useful: 0/1204/2130 lits-rem:0 time: 0.32
2203.83/551.71	c calculated reachability. Time: 0.00
2203.83/551.71	c  N st    81   2711803       100      2130         0     92413     10650   1319866   no data   no data
2818.60/705.62	c  N st    82   3211806       100      2130         0     71373     10650    754946   no data   no data
2818.60/705.62	c  S st    82   3211806       100      2130         0     71373     10650    754946   no data   no data
2819.40/705.85	c  S st    82   3212310       100      2130         0     71860     10650    765976   no data   no data
2819.40/705.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2819.40/705.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2819.40/705.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2819.40/705.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2819.40/705.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2819.40/705.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2819.40/705.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2819.81/705.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2819.81/705.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2821.01/706.28	c lits-rem:        24  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.36 s
2821.01/706.28	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2821.01/706.29	c vivif2 --  cl tried    71765 cl shrink        0 lits rem          0 time: 0.01
2821.80/706.48	c asymm  cl-useful: 0/926/2130 lits-rem:0 time: 0.19
2821.80/706.49	c calculated reachability. Time: 0.00
2821.80/706.49	c  N st    82   3212310       100      2130         0     71765     10650    764044   no data   no data
3405.01/852.41	c  N st    83   3712311       100      2130         0     81801     10650    915897   no data   no data
3405.01/852.41	c  S st    83   3712311       100      2130         0     81801     10650    915897   no data   no data
3405.82/852.68	c  S st    83   3712814       100      2130         0     82291     10650    927347   no data   no data
3405.82/852.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3406.20/852.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3406.20/852.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3406.20/852.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3406.20/852.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3406.20/852.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3406.20/852.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3406.20/852.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3406.20/852.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3410.22/853.71	c lits-rem:       187  cl-subs:     1548  v-elim:      0  v-fix:    0  time:  0.95 s
3410.22/853.71	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3410.22/853.73	c vivif2 --  cl tried    80743 cl shrink        0 lits rem          0 time: 0.02
3411.40/854.04	c asymm  cl-useful: 0/1327/2130 lits-rem:0 time: 0.31
3411.40/854.04	c calculated reachability. Time: 0.00
3411.40/854.04	c  N st    83   3712814       100      2130         0     80743     10650    898729   no data   no data
3455.74/865.17	c  F st    84   3751562       100      2130         0    116006     10650   1630960   no data   no data
3455.74/865.17	c  N st    84   3751562       100      2130         0    116006     10650   1630960   no data   no data
3462.54/866.89	c Decided on static restart strategy
3501.29/876.53	c  N st    94   3779865       100      2130         0    142141     10650   2218249   no data   no data
3546.44/887.86	c  N st    96   3815857       100      2130         0     97528     10650   1251186   no data   no data
3584.77/897.44	c  N st    97   3848249       100      2130         0    127290     10650   1907889   no data   no data
3642.29/911.87	c  N st    98   3896837       100      2130         0     93177     10650   1149020   no data   no data
3740.55/936.43	c  N st    99   3969719       100      2130         0     80314     10650    847859   no data   no data
3885.55/972.79	c  N st   100   4079042       100      2130         0     99984     10650   1267603   no data   no data
4051.75/1014.32	c  N st   101   4212815       100      2130         0    140909     10650   2149556   no data   no data
4051.75/1014.32	c  S st   101   4212815       100      2130         0    140909     10650   2149556   no data   no data
4053.33/1014.74	c  S st   101   4213320       100      2130         0    141386     10650   2160693   no data   no data
4053.33/1014.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4053.73/1014.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4053.73/1014.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4053.73/1014.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4053.73/1014.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4053.73/1014.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4053.73/1014.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4053.73/1014.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4054.12/1014.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4226.69/1058.18	c lits-rem:      3051  cl-subs:    16700  v-elim:      0  v-fix:    0  time: 43.25 s
4226.69/1058.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4227.10/1058.22	c vivif2 --  cl tried   124686 cl shrink        0 lits rem          0 time: 0.05
4229.49/1058.83	c asymm  cl-useful: 0/803/2130 lits-rem:0 time: 0.61
4229.49/1058.84	c calculated reachability. Time: 0.00
4229.49/1058.84	c  N st   101   4213320       100      2130         0    124686     10650   1831255   no data   no data
4646.91/1163.34	c  N st   102   4459297       100      2130         0    100493     10650   1219601   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-3174016-1304076784/watcher-3174016-1304076784 -o /tmp/evaluation-result-3174016-1304076784/solver-3174016-1304076784 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174016-1304076784.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.36 7.84 7.68 6/180 644
/proc/meminfo: memFree=19212124/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519278111 52441088 347 33554432000 4194304 4627427 140735676964240 18446744073709551615 274474023921 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 12803 347 299 106 0 7774 0
[pid=644/tid=645] ppid=642 vsize=338940 CPUtime=0 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 4 0 519278111 347074560 502 33554432000 4194304 4627427 140735676964240 18446744073709551615 274474010759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=646] ppid=642 vsize=298032 CPUtime=0 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 4 0 519278111 305184768 503 33554432000 4194304 4627427 140735676964240 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=273404 CPUtime=0 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 54 0 0 0 0 0 0 0 25 0 4 0 519278111 279965696 506 33554432000 4194304 4627427 140735676964240 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.106405 s]
/proc/loadavg: 7.36 7.84 7.68 6/180 644
/proc/meminfo: memFree=19212124/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=282232 CPUtime=0.41 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 1753 0 0 0 41 0 0 0 25 0 4 0 519278111 289005568 1611 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 70558 1611 383 106 0 65529 0
[pid=644/tid=645] ppid=642 vsize=282232 CPUtime=0.1 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 344 0 0 0 10 0 0 0 25 0 4 0 519278111 289005568 1611 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=282232 CPUtime=0.1 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 370 0 0 0 10 0 0 0 25 0 4 0 519278111 289005568 1611 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=282232 CPUtime=0.1 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 275 0 0 0 10 0 0 0 25 0 4 0 519278111 289005568 1611 33554432000 4194304 4627427 140735676964240 18446744073709551615 4321720 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) 282232

[startup+0.200389 s]
/proc/loadavg: 7.36 7.84 7.68 6/180 644
/proc/meminfo: memFree=19212124/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=283608 CPUtime=0.78 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 2444 0 0 0 78 0 0 0 25 0 4 0 519278111 290414592 1786 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 70902 1786 384 106 0 65873 0
[pid=644/tid=645] ppid=642 vsize=283608 CPUtime=0.19 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 516 0 0 0 19 0 0 0 25 0 4 0 519278111 290414592 1786 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=283608 CPUtime=0.19 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 537 0 0 0 19 0 0 0 25 0 4 0 519278111 290414592 1786 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=283608 CPUtime=0.19 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 458 0 0 0 19 0 0 0 25 0 4 0 519278111 290414592 1786 33554432000 4194304 4627427 140735676964240 18446744073709551615 4331285 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283608

[startup+0.300372 s]
/proc/loadavg: 7.36 7.84 7.68 6/180 644
/proc/meminfo: memFree=19212124/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=284184 CPUtime=1.18 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 3133 0 0 0 118 0 0 0 25 0 4 0 519278111 291004416 1874 33554432000 4194304 4627427 140735676964240 18446744073709551615 4305808 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 71046 1874 384 106 0 66017 0
[pid=644/tid=645] ppid=642 vsize=284184 CPUtime=0.29 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 721 0 0 0 29 0 0 0 25 0 4 0 519278111 291004416 1874 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=284184 CPUtime=0.29 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 632 0 0 0 29 0 0 0 25 0 4 0 519278111 291004416 1874 33554432000 4194304 4627427 140735676964240 18446744073709551615 4333037 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=284184 CPUtime=0.29 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 643 0 0 0 29 0 0 0 25 0 4 0 519278111 291004416 1874 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284184

[startup+0.7003 s]
/proc/loadavg: 7.36 7.84 7.68 6/180 644
/proc/meminfo: memFree=19212124/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=285048 CPUtime=2.78 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 5009 0 0 0 278 0 0 0 25 0 4 0 519278111 291889152 2529 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 71262 2529 384 106 0 66233 0
[pid=644/tid=645] ppid=642 vsize=285048 CPUtime=0.69 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 1159 0 0 0 69 0 0 0 25 0 4 0 519278111 291889152 2529 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=285048 CPUtime=0.69 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 1179 0 0 0 69 0 0 0 25 0 4 0 519278111 291889152 2529 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=285048 CPUtime=0.69 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 1092 0 0 0 69 0 0 0 25 0 4 0 519278111 291889152 2530 33554432000 4194304 4627427 140735676964240 18446744073709551615 274473628705 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285048

[startup+1.50116 s]
/proc/loadavg: 7.36 7.84 7.68 9/184 648
/proc/meminfo: memFree=19188036/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=291072 CPUtime=5.98 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 10308 0 0 0 597 1 0 0 25 0 4 0 519278111 298057728 5177 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 72768 5177 388 106 0 67739 0
[pid=644/tid=645] ppid=642 vsize=291072 CPUtime=1.48 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 2936 0 0 0 148 0 0 0 25 0 4 0 519278111 298057728 5177 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=291072 CPUtime=1.49 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 2001 0 0 0 149 0 0 0 25 0 4 0 519278111 298057728 5177 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=291072 CPUtime=1.49 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 1896 0 0 0 149 0 0 0 25 0 4 0 519278111 298057728 5177 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 291072

[startup+3.10088 s]
/proc/loadavg: 7.36 7.84 7.68 10/184 648
/proc/meminfo: memFree=19146252/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=294964 CPUtime=12.37 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 18437 0 0 0 1235 2 0 0 25 0 4 0 519278111 302043136 9486 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 73741 9486 388 106 0 68712 0
[pid=644/tid=645] ppid=642 vsize=294964 CPUtime=3.08 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 3969 0 0 0 308 0 0 0 25 0 4 0 519278111 302043136 9486 33554432000 4194304 4627427 140735676964240 18446744073709551615 4321445 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=294964 CPUtime=3.08 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 4713 0 0 0 308 0 0 0 25 0 4 0 519278111 302043136 9486 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=294964 CPUtime=3.09 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 4626 0 0 0 309 0 0 0 25 0 4 0 519278111 302043136 9486 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 294964

[startup+6.30032 s]
/proc/loadavg: 7.41 7.84 7.68 9/184 648
/proc/meminfo: memFree=19126928/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=316152 CPUtime=25.15 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 28111 0 0 0 2512 3 0 0 25 0 4 0 519278111 323739648 13056 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 79038 13056 388 106 0 74009 0
[pid=644/tid=645] ppid=642 vsize=316152 CPUtime=6.26 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 6918 0 0 0 626 0 0 0 25 0 4 0 519278111 323739648 13056 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=316152 CPUtime=6.28 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 7334 0 0 0 628 0 0 0 25 0 4 0 519278111 323739648 13056 33554432000 4194304 4627427 140735676964240 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=316152 CPUtime=6.29 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 6754 0 0 0 629 0 0 0 25 0 4 0 519278111 323739648 13056 33554432000 4194304 4627427 140735676964240 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 316152

[startup+12.7002 s]
/proc/loadavg: 7.46 7.84 7.68 9/184 678
/proc/meminfo: memFree=19088204/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=316872 CPUtime=50.71 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 43054 0 0 0 5066 5 0 0 25 0 4 0 519278111 324476928 17917 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 79218 17917 388 106 0 74189 0
[pid=644/tid=645] ppid=642 vsize=316872 CPUtime=12.63 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 11010 0 0 0 1262 1 0 0 25 0 4 0 519278111 324476928 17917 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=316872 CPUtime=12.68 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 12190 0 0 0 1267 1 0 0 25 0 4 0 519278111 324476928 17917 33554432000 4194304 4627427 140735676964240 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=316872 CPUtime=12.69 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 10885 0 0 0 1268 1 0 0 25 0 4 0 519278111 324476928 17917 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 316872

[startup+25.5009 s]
/proc/loadavg: 7.58 7.85 7.69 9/184 678
/proc/meminfo: memFree=19037568/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=317880 CPUtime=101.85 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 62477 0 0 0 10175 10 0 0 25 0 4 0 519278111 325509120 22060 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 79470 22060 388 106 0 74441 0
[pid=644/tid=645] ppid=642 vsize=317880 CPUtime=25.37 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 16458 0 0 0 2534 3 0 0 25 0 4 0 519278111 325509120 22060 33554432000 4194304 4627427 140735676964240 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=317880 CPUtime=25.49 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 16610 0 0 0 2547 2 0 0 25 0 4 0 519278111 325509120 22060 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=317880 CPUtime=25.48 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 16574 0 0 0 2546 2 0 0 25 0 4 0 519278111 325509120 22060 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 317880

[startup+51.1004 s]
/proc/loadavg: 7.72 7.86 7.69 9/184 679
/proc/meminfo: memFree=18988796/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=319056 CPUtime=204.12 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 94012 0 0 0 20394 18 0 0 25 0 4 0 519278111 326713344 26830 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 79764 26830 388 106 0 74735 0
[pid=644/tid=645] ppid=642 vsize=319056 CPUtime=50.83 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 24839 0 0 0 5079 4 0 0 25 0 4 0 519278111 326713344 26830 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=319056 CPUtime=51.09 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 26116 0 0 0 5105 4 0 0 25 0 4 0 519278111 326713344 26830 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=319056 CPUtime=51.09 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 24843 0 0 0 5104 5 0 0 25 0 4 0 519278111 326713344 26830 33554432000 4194304 4627427 140735676964240 18446744073709551615 4321703 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 319056

[startup+102.3 s]
/proc/loadavg: 7.92 7.89 7.71 9/184 680
/proc/meminfo: memFree=18926768/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=336736 CPUtime=408.67 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 145948 0 0 0 40835 32 0 0 25 0 4 0 519278111 344817664 35436 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 84184 35436 388 106 0 79155 0
[pid=644/tid=645] ppid=642 vsize=336736 CPUtime=101.78 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 35460 0 0 0 10170 8 0 0 25 0 4 0 519278111 344817664 35436 33554432000 4194304 4627427 140735676964240 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=336736 CPUtime=102.29 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 41548 0 0 0 10221 8 0 0 25 0 4 0 519278111 344817664 35436 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=336736 CPUtime=102.3 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 40177 0 0 0 10221 9 0 0 25 0 4 0 519278111 344817664 35436 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 336736

[startup+162.301 s]

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

[pid=644] ppid=642 vsize=506280 CPUtime=2565.75 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 412142 0 0 0 256450 125 0 0 25 0 4 0 519278111 518430720 89423 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 126570 89423 388 106 0 121541 0
[pid=644/tid=645] ppid=642 vsize=506280 CPUtime=638.88 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 100722 0 0 0 63858 30 0 0 25 0 4 0 519278111 518430720 89423 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=506280 CPUtime=642.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 128716 0 0 0 64192 38 0 0 25 0 4 0 519278111 518430720 89423 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=506280 CPUtime=642.3 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 107555 0 0 0 64197 33 0 0 25 0 4 0 519278111 518430720 89423 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 506280

[startup+702.301 s]
/proc/loadavg: 8.00 8.03 7.87 9/184 696
/proc/meminfo: memFree=18572012/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=506992 CPUtime=2805.42 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 429967 0 0 0 280410 132 0 0 25 0 4 0 519278111 519159808 89175 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 126748 89175 388 106 0 121719 0
[pid=644/tid=645] ppid=642 vsize=506992 CPUtime=698.56 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 105633 0 0 0 69824 32 0 0 25 0 4 0 519278111 519159808 89175 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=506992 CPUtime=702.29 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 136179 0 0 0 70189 40 0 0 25 0 4 0 519278111 519159808 89175 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=506992 CPUtime=702.3 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 112695 0 0 0 70194 36 0 0 25 0 4 0 519278111 519159808 89175 33554432000 4194304 4627427 140735676964240 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 506992

[startup+762.3 s]
/proc/loadavg: 8.00 8.02 7.88 9/184 698
/proc/meminfo: memFree=18529968/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=573156 CPUtime=3045.1 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 449003 0 0 0 304371 139 0 0 25 0 4 0 519278111 586911744 95933 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 143289 95933 388 106 0 138260 0
[pid=644/tid=645] ppid=642 vsize=573156 CPUtime=758.24 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 110223 0 0 0 75790 34 0 0 25 0 4 0 519278111 586911744 95933 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=573156 CPUtime=762.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 144936 0 0 0 76187 43 0 0 25 0 4 0 519278111 586911744 95933 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=573156 CPUtime=762.3 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 117931 0 0 0 76192 38 0 0 25 0 4 0 519278111 586911744 95933 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 573156

[startup+822.301 s]
/proc/loadavg: 8.04 8.03 7.89 9/184 700
/proc/meminfo: memFree=18550672/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=547824 CPUtime=3284.77 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 470209 0 0 0 328328 149 0 0 25 0 4 0 519278111 560971776 88456 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 136956 88456 388 106 0 131927 0
[pid=644/tid=645] ppid=642 vsize=547824 CPUtime=817.91 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 117230 0 0 0 81754 37 0 0 25 0 4 0 519278111 560971776 88456 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=547824 CPUtime=822.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 151516 0 0 0 82184 46 0 0 25 0 4 0 519278111 560971776 88456 33554432000 4194304 4627427 140735676964240 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=547824 CPUtime=822.31 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 122676 0 0 0 82190 41 0 0 25 0 4 0 519278111 560971776 88456 33554432000 4194304 4627427 140735676964240 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 547824

[startup+882.306 s]
/proc/loadavg: 8.05 8.04 7.90 10/184 701
/proc/meminfo: memFree=18477500/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=561208 CPUtime=3524.46 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 493375 0 0 0 352289 157 0 0 25 0 4 0 519278111 574676992 96646 33554432000 4194304 4627427 140735676964240 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 140302 96646 388 106 0 135273 0
[pid=644/tid=645] ppid=642 vsize=561208 CPUtime=877.6 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 123273 0 0 0 87721 39 0 0 25 0 4 0 519278111 574676992 96646 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=561208 CPUtime=882.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 159305 0 0 0 88182 48 0 0 25 0 4 0 519278111 574676992 96646 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=561208 CPUtime=882.31 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 126060 0 0 0 88188 43 0 0 25 0 4 0 519278111 574676992 96646 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 561208

[startup+942.301 s]
/proc/loadavg: 8.16 8.07 7.92 9/184 703
/proc/meminfo: memFree=18481084/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=574948 CPUtime=3764.12 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 511500 0 0 0 376247 165 0 0 25 0 4 0 519278111 588746752 93808 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 143737 93808 388 106 0 138708 0
[pid=644/tid=645] ppid=642 vsize=574948 CPUtime=937.26 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 126563 0 0 0 93686 40 0 0 25 0 4 0 519278111 588746752 93808 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=574948 CPUtime=942.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 165880 0 0 0 94179 51 0 0 25 0 4 0 519278111 588746752 93808 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=574948 CPUtime=942.31 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 129446 0 0 0 94187 44 0 0 25 0 4 0 519278111 588746752 93808 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 574948

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 7.92 9/184 704
/proc/meminfo: memFree=18479092/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=562868 CPUtime=4003.79 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 528784 0 0 0 400208 171 0 0 25 0 4 0 519278111 576376832 95517 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 140717 95517 388 106 0 135688 0
[pid=644/tid=645] ppid=642 vsize=562868 CPUtime=996.94 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 129980 0 0 0 99653 41 0 0 25 0 4 0 519278111 576376832 95517 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=562868 CPUtime=1002.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 172464 0 0 0 100176 54 0 0 25 0 4 0 519278111 576376832 95517 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=562868 CPUtime=1002.31 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 135094 0 0 0 100185 46 0 0 25 0 4 0 519278111 576376832 95517 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 562868

[startup+1062.3 s]
/proc/loadavg: 8.19 8.09 7.93 9/184 706
/proc/meminfo: memFree=18435068/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=569172 CPUtime=4243.46 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 544331 0 0 0 424170 176 0 0 25 0 4 0 519278111 582832128 102024 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 142293 102024 388 106 0 137264 0
[pid=644/tid=645] ppid=642 vsize=569172 CPUtime=1056.61 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 133502 0 0 0 105619 42 0 0 25 0 4 0 519278111 582832128 102024 33554432000 4194304 4627427 140735676964240 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=569172 CPUtime=1062.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 180449 0 0 0 106174 56 0 0 25 0 4 0 519278111 582832128 102024 33554432000 4194304 4627427 140735676964240 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=569172 CPUtime=1062.3 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 137463 0 0 0 106183 47 0 0 25 0 4 0 519278111 582832128 102024 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 569172

[startup+1122.3 s]
/proc/loadavg: 8.14 8.09 7.94 9/184 708
/proc/meminfo: memFree=18403564/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=577836 CPUtime=4483.13 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 552403 0 0 0 448130 183 0 0 25 0 4 0 519278111 591704064 108473 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 144459 108473 388 106 0 139430 0
[pid=644/tid=645] ppid=642 vsize=577836 CPUtime=1116.29 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 135784 0 0 0 111585 44 0 0 25 0 4 0 519278111 591704064 108473 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=577836 CPUtime=1122.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 180971 0 0 0 112173 57 0 0 25 0 4 0 519278111 591704064 108473 33554432000 4194304 4627427 140735676964240 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=577836 CPUtime=1122.31 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 140264 0 0 0 112182 49 0 0 25 0 4 0 519278111 591704064 108473 33554432000 4194304 4627427 140735676964240 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 577836

[startup+1182.3 s]
/proc/loadavg: 8.12 8.08 7.94 9/184 709
/proc/meminfo: memFree=18395612/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=643432 CPUtime=4722.81 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 567070 0 0 0 472092 189 0 0 25 0 4 0 519278111 658874368 112323 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 160858 112323 388 106 0 155829 0
[pid=644/tid=645] ppid=642 vsize=643432 CPUtime=1175.97 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 138895 0 0 0 117551 46 0 0 25 0 4 0 519278111 658874368 112323 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=643432 CPUtime=1182.3 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 187078 0 0 0 118171 59 0 0 25 0 4 0 519278111 658874368 112323 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=643432 CPUtime=1182.31 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 145533 0 0 0 118181 50 0 0 25 0 4 0 519278111 658874368 112323 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 643432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 7.94 9/184 710
/proc/meminfo: memFree=18373664/32950928 swapFree=67111528/67111528
[pid=644] ppid=642 vsize=643492 CPUtime=4800.3 cores=0,2,4,6
/proc/644/stat : 644 (strangenight2-m) R 642 644 499 0 -1 4202496 572295 0 0 0 479839 191 0 0 25 0 4 0 519278111 658935808 114386 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/644/statm: 160873 114386 388 106 0 155844 0
[pid=644/tid=645] ppid=642 vsize=643492 CPUtime=1195.26 cores=0,2,4,6
/proc/644/task/645/stat : 645 (strangenight2-m) R 642 644 499 0 -1 4202560 140309 0 0 0 119479 47 0 0 25 0 4 0 519278111 658935808 114387 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=644/tid=646] ppid=642 vsize=643492 CPUtime=1201.71 cores=0,2,4,6
/proc/644/task/646/stat : 646 (strangenight2-m) R 642 644 499 0 -1 4202560 189465 0 0 0 120111 60 0 0 25 0 4 0 519278111 658935808 114387 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=644/tid=647] ppid=642 vsize=643492 CPUtime=1201.72 cores=0,2,4,6
/proc/644/task/647/stat : 647 (strangenight2-m) R 642 644 499 0 -1 4202560 146836 0 0 0 120121 51 0 0 25 0 4 0 519278111 658935808 114387 33554432000 4194304 4627427 140735676964240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 643492

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.43
CPU system time (s): 1.9407
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 645808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.43
system time used= 1.9407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572297
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= 158
involuntary context switches= 35149

runsolver used 1.92571 second user time and 4.54031 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 13:33:04
IDJOB=3174016
IDBENCH=82834
IDSOLVER=1586
FILE ID=node125/3174016-1304076784
RUNJOBID= node125-1304075581-517
PBS_JOBID= 13170502
Free space on /tmp= 72760 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174016-1304076784/watcher-3174016-1304076784 -o /tmp/evaluation-result-3174016-1304076784/solver-3174016-1304076784 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174016-1304076784.cnf

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

MD5SUM BENCH= ac60b7243bf21c022437e3832aafd05d
RANDOM SEED=1001955623

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.828
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.74
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.828
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.75
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.828
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:     32950928 kB
MemFree:      19212784 kB
Buffers:       2217780 kB
Cached:       10924904 kB
SwapCached:          0 kB
Active:        8428464 kB
Inactive:      4779208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19212784 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11340 kB
Writeback:           0 kB
AnonPages:       63748 kB
Mapped:          15076 kB
Slab:           466808 kB
PageTables:       4260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   228108 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= 72752 MiB
End job on node125 at 2011-04-29 13:53:08