Trace number 3174201

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-mtSAT 2136.34 535.029

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
MD5SUMea9dfa5adeec712c099d553962345305
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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-3174201-1304112981.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.63	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.00 s
0.00/0.63	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.63	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.63	c calculated reachability. Time: 0.00
0.00/0.63	c Calc default polars -  time:   0.00 s pos:     167 undec:      44 neg:     189
0.00/0.63	c =========================================================================================
0.00/0.63	c types(t): F = full restart, N = normal restart
0.00/0.63	c types(t): S = simplification begin/end, E = solution found
0.00/0.63	c restart types(rt): st = static, dy = dynamic
0.00/0.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.63	c  B st     0         0       393      1696         0         0      5123         0   no data   no data
0.00/0.63	c Decided on static restart strategy
0.00/0.63	c  N st     8      4921       393      1696         0      4808      5123     95771   no data   no data
0.00/0.63	c  N st    10     11304       393      1696         0      4431      5123     65828   no data   no data
2.49/0.66	c  N st    11     17048       393      1696         0     10015      5123    169798   no data   no data
4.37/1.10	c  F st    12     25000       393      1696         0     12305      5123    229047   no data   no data
4.37/1.10	c  N st    12     25000       393      1696         0     12305      5123    229047   no data   no data
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30001       393      1696         0     10636      5123    168256   no data   no data
5.17/1.30	c  S st    18     30001       393      1696         0     10636      5123    168256   no data   no data
5.57/1.40	c  S st    18     30507       393      1696         0     11142      5123    177950   no data   no data
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.40	c blocked clauses removed:       10 vars:      1 tried:         393 T: 0.00 s
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       101  cl-subs:      715  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.40	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30507       392      1686         0     10357      5093    162472   no data   no data
6.79/1.76	c  N st    20     37617       392      1686         0      9639      5093    137971   no data   no data
8.36/2.12	c  N st    21     44016       392      1686         0     15856      5093    263164   no data   no data
8.77/2.24	c  S st    22     45761       392      1686         0      8890      5093    109015   no data   no data
8.77/2.26	c  S st    22     46263       392      1686         0      9391      5093    118939   no data   no data
8.77/2.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
8.77/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.28	c lits-rem:        24  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.01 s
8.77/2.28	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
8.77/2.28	c vivif2 --  cl tried     9281 cl shrink        0 lits rem          0 time: 0.00
8.77/2.29	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.00
8.77/2.29	c calculated reachability. Time: 0.00
8.77/2.29	c  N st    22     46263       392      1686         0      9281      5093    116902   no data   no data
12.36/3.16	c  N st    23     60661       392      1686         0     13616      5093    201351   no data   no data
14.77/3.76	c  N st    24     69394       392      1686         0     11403      5093    142843   no data   no data
14.77/3.76	c  S st    24     69394       392      1686         0     11403      5093    142843   no data   no data
15.16/3.80	c  S st    24     69898       392      1686         0     11903      5093    153244   no data   no data
15.16/3.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.16/3.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
15.16/3.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.82	c lits-rem:        29  cl-subs:      164  v-elim:      0  v-fix:    0  time:  0.01 s
15.16/3.82	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
15.16/3.83	c vivif2 --  cl tried    11739 cl shrink        0 lits rem          0 time: 0.00
15.16/3.83	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.01
15.16/3.83	c calculated reachability. Time: 0.00
15.16/3.83	c  N st    24     69898       392      1686         0     11739      5093    149969   no data   no data
19.97/5.03	c  F st    25     87501       392      1686         0     17180      5093    255891   no data   no data
19.97/5.03	c  N st    25     87501       392      1686         0     17180      5093    255891   no data   no data
21.55/5.42	c Decided on static restart strategy
22.35/5.68	c  N st    32     95538       392      1686         0     25010      5093    420966   no data   no data
25.14/6.36	c  N st    34    104847       392      1686         0     21477      5093    331339   no data   no data
25.14/6.36	c  S st    34    104847       392      1686         0     21477      5093    331339   no data   no data
25.54/6.41	c  S st    34    105350       392      1686         0     21979      5093    341855   no data   no data
25.54/6.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.54/6.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
25.54/6.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.54/6.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.56	c lits-rem:       169  cl-subs:      932  v-elim:      0  v-fix:    0  time:  0.13 s
25.94/6.56	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
25.94/6.56	c vivif2 --  cl tried    21047 cl shrink        0 lits rem          0 time: 0.00
25.94/6.57	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.01
25.94/6.57	c calculated reachability. Time: 0.00
25.94/6.57	c  N st    34    105350       392      1686         0     21047      5093    322353   no data   no data
29.16/7.36	c  N st    35    114948       392      1686         0     16776      5093    218655   no data   no data
33.94/8.56	c  N st    36    129345       392      1686         0     16176      5093    188228   no data   no data
41.13/10.32	c  N st    37    150940       392      1686         0     21699      5093    301770   no data   no data
43.52/10.95	c  S st    38    158027       392      1686         0     28605      5093    451736   no data   no data
43.92/11.02	c  S st    38    158531       392      1686         0     29106      5093    461699   no data   no data
43.92/11.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.92/11.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.92/11.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.92/11.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.92/11.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.92/11.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
43.92/11.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.92/11.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.92/11.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.12/11.38	c lits-rem:       367  cl-subs:     1524  v-elim:      0  v-fix:    0  time:  0.33 s
45.12/11.38	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
45.12/11.38	c vivif2 --  cl tried    27582 cl shrink        0 lits rem          0 time: 0.01
45.52/11.40	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.02
45.52/11.40	c calculated reachability. Time: 0.00
45.52/11.40	c  N st    38    158531       392      1686         0     27582      5093    428822   no data   no data
64.69/16.23	c  N st    39    207121       392      1686         0     22285      5093    276649   no data   no data
76.67/19.22	c  N st    40    237796       392      1686         0     32625      5093    490240   no data   no data
76.67/19.22	c  S st    40    237796       392      1686         0     32625      5093    490240   no data   no data
77.10/19.31	c  S st    40    238302       392      1686         0     33128      5093    500998   no data   no data
77.10/19.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.10/19.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.10/19.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.10/19.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.10/19.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.10/19.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
77.10/19.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.10/19.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.10/19.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.68/19.75	c lits-rem:       257  cl-subs:     1548  v-elim:      0  v-fix:    0  time:  0.41 s
78.68/19.75	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
78.68/19.75	c vivif2 --  cl tried    31580 cl shrink        0 lits rem          0 time: 0.00
78.68/19.77	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.02
78.68/19.77	c calculated reachability. Time: 0.00
78.68/19.77	c  N st    40    238302       392      1686         0     31580      5093    468368   no data   no data
110.23/27.68	c  F st    41    306250       392      1686         0     33405      5093    451386   no data   no data
110.23/27.68	c  N st    41    306250       392      1686         0     33405      5093    451386   no data   no data
113.03/28.37	c Decided on static restart strategy
123.82/31.09	c  N st    51    334555       392      1686         0     37664      5093    527604   no data   no data
135.40/33.95	c  N st    53    357454       392      1686         0     35614      5093    485417   no data   no data
135.40/33.95	c  S st    53    357454       392      1686         0     35614      5093    485417   no data   no data
135.80/34.05	c  S st    53    357959       392      1686         0     36118      5093    495938   no data   no data
135.80/34.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.80/34.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.80/34.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.80/34.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.80/34.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.80/34.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
135.80/34.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.80/34.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.80/34.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.39/34.40	c lits-rem:       170  cl-subs:     1413  v-elim:      0  v-fix:    0  time:  0.32 s
137.39/34.40	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
137.39/34.41	c vivif2 --  cl tried    34705 cl shrink        0 lits rem          0 time: 0.01
137.39/34.43	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.02
137.39/34.43	c calculated reachability. Time: 0.00
137.39/34.43	c  N st    53    357959       392      1686         0     34705      5093    464466   no data   no data
155.37/38.91	c  N st    54    390353       392      1686         0     40892      5093    594512   no data   no data
183.73/46.06	c  N st    55    438941       392      1686         0     34536      5093    408746   no data   no data
228.47/57.24	c  N st    56    511823       392      1686         0     47939      5093    652482   no data   no data
244.07/61.20	c  N st    57    536939       392      1686         0     42246      5093    529303   no data   no data
244.07/61.20	c  S st    57    536939       392      1686         0     42246      5093    529303   no data   no data
244.85/61.31	c  S st    57    537443       392      1686         0     42750      5093    539784   no data   no data
244.85/61.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
244.85/61.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
244.85/61.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
244.85/61.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.85/61.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.85/61.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
244.85/61.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.85/61.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
244.85/61.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.85/61.83	c lits-rem:       168  cl-subs:     2249  v-elim:      0  v-fix:    0  time:  0.48 s
246.85/61.83	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
246.85/61.83	c vivif2 --  cl tried    40501 cl shrink        0 lits rem          0 time: 0.01
246.85/61.86	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.03
246.85/61.86	c calculated reachability. Time: 0.00
246.85/61.86	c  N st    57    537443       392      1686         0     40501      5093    498508   no data   no data
349.53/87.52	c  N st    58    701427       392      1686         0     69567      5093   1076590   no data   no data
422.62/105.80	c  N st    59    806167       392      1686         0     63452      5093    902859   no data   no data
422.62/105.80	c  S st    59    806167       392      1686         0     63452      5093    902859   no data   no data
423.02/105.98	c  S st    59    806672       392      1686         0     63955      5093    913863   no data   no data
423.02/105.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
423.41/106.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
423.41/106.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
423.41/106.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
423.41/106.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.41/106.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
423.41/106.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.41/106.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
423.41/106.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.60/108.32	c lits-rem:       369  cl-subs:     5357  v-elim:      0  v-fix:    0  time:  2.27 s
432.60/108.32	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
432.60/108.33	c vivif2 --  cl tried    58598 cl shrink        0 lits rem          0 time: 0.01
432.60/108.38	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.05
432.60/108.38	c calculated reachability. Time: 0.00
432.60/108.38	c  N st    59    806672       392      1686         0     58598      5093    811546   no data   no data
628.58/157.47	c  F st    60   1071875       392      1686         0     74240      5093   1055402   no data   no data
628.58/157.47	c  N st    60   1071875       392      1686         0     74240      5093   1055402   no data   no data
633.75/158.79	c Decided on static restart strategy
651.91/163.34	c  N st    70   1100176       392      1686         0     58368      5093    689083   no data   no data
687.06/172.20	c  N st    72   1136169       392      1686         0     48760      5093    488258   no data   no data
715.40/179.35	c  N st    73   1168561       392      1686         0     80072      5093   1111890   no data   no data
752.98/188.78	c  N st    74   1210008       392      1686         0     74620      5093    982404   no data   no data
752.98/188.78	c  S st    74   1210008       392      1686         0     74620      5093    982404   no data   no data
754.15/189.09	c  S st    74   1210508       392      1686         0     75117      5093    992822   no data   no data
754.55/189.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
754.55/189.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
754.55/189.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
754.55/189.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
754.55/189.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
754.55/189.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
754.55/189.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
754.55/189.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
754.55/189.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
770.55/193.12	c lits-rem:       709  cl-subs:     6859  v-elim:      0  v-fix:    0  time:  3.93 s
770.55/193.12	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
770.55/193.13	c vivif2 --  cl tried    68258 cl shrink        0 lits rem          0 time: 0.01
770.95/193.21	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.07
770.95/193.21	c calculated reachability. Time: 0.00
770.95/193.21	c  N st    74   1210508       392      1686         0     68258      5093    863703   no data   no data
843.24/211.37	c  N st    75   1283390       392      1686         0     92093      5093   1290501   no data   no data
946.71/237.25	c  N st    76   1392713       392      1686         0     53103      5093    509119   no data   no data
1096.12/274.64	c  N st    77   1556699       392      1686         0     57913      5093    570105   no data   no data
1249.91/313.14	c  N st    78   1710508       392      1686         0     98954      5093   1316795   no data   no data
1249.91/313.14	c  S st    78   1710508       392      1686         0     98954      5093   1316795   no data   no data
1251.08/313.48	c  S st    78   1711009       392      1686         0     99450      5093   1328013   no data   no data
1251.08/313.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1251.48/313.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1251.48/313.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1251.48/313.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1251.48/313.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1251.48/313.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
1251.48/313.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1251.48/313.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1251.48/313.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1277.84/320.17	c lits-rem:       683  cl-subs:    12254  v-elim:      0  v-fix:    0  time:  6.57 s
1277.84/320.17	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
1277.84/320.18	c vivif2 --  cl tried    87196 cl shrink        0 lits rem          0 time: 0.02
1278.24/320.27	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.08
1278.24/320.27	c calculated reachability. Time: 0.00
1278.24/320.27	c  N st    78   1711009       392      1686         0     87196      5093   1127418   no data   no data
1685.28/422.14	c  N st    79   2079973       392      1686         0     99044      5093   1306570   no data   no data
1845.06/462.19	c  N st    80   2211009       392      1686         0    102927      5093   1328677   no data   no data
1845.06/462.19	c  S st    80   2211009       392      1686         0    102927      5093   1328677   no data   no data
1846.66/462.53	c  S st    80   2211515       392      1686         0    103432      5093   1339801   no data   no data
1846.66/462.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1846.66/462.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1846.66/462.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1846.66/462.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1846.66/462.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1846.66/462.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
1846.66/462.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1847.08/462.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1847.08/462.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1873.03/469.19	c lits-rem:       269  cl-subs:    11951  v-elim:      0  v-fix:    0  time:  6.54 s
1873.03/469.19	c vivif2 --  cl tried     1686 cl shrink        0 lits rem          0 time: 0.00
1873.44/469.21	c vivif2 --  cl tried    91481 cl shrink        0 lits rem          0 time: 0.02
1873.44/469.30	c asymm  cl-useful: 0/1686/1686 lits-rem:0 time: 0.09
1873.84/469.30	c calculated reachability. Time: 0.00
1873.84/469.30	c  N st    80   2211515       392      1686         0     91481      5093   1134701   no data   no data
2136.26/535.01	c Following stats are for *FIRST FINISHED THREAD ONLY*
2136.26/535.01	c num threads              : 4          
2136.26/535.01	c restarts                 : 81         
2136.26/535.01	c dynamic restarts         : 0          
2136.26/535.01	c static restarts          : 81         
2136.26/535.01	c full restarts            : 4          
2136.26/535.01	c total simplify time      : 0.00       
2136.26/535.01	c learnts DL2              : 0          
2136.26/535.01	c learnts size 2           : 0          
2136.26/535.01	c learnts size 1           : 0           (0.00      % of vars)
2136.26/535.01	c filedLit time            : 0.12        (0.02      % time)
2136.26/535.01	c v-elim SatELite          : 7           (1.75      % vars)
2136.26/535.01	c SatELite time            : 7.65        (1.43      % time)
2136.26/535.01	c v-elim xor               : 0           (0.00      % vars)
2136.26/535.01	c xor elim time            : 0.02        (0.00      % time)
2136.26/535.01	c num binary xor trees     : 0          
2136.26/535.01	c binxor trees' crown      : 0           (nan       leafs/tree)
2136.26/535.01	c bin xor find time        : 0.00       
2136.26/535.01	c OTF clause improved      : 82451       (0.03      clauses/conflict)
2136.26/535.01	c OTF impr. size diff      : 90881       (1.10       lits/clause)
2136.26/535.01	c OTF cl watch-shrink      : 843119      (0.34      clauses/conflict)
2136.26/535.01	c OTF cl watch-sh-lit      : 1145667     (1.36       lits/clause)
2136.26/535.01	c tried to recurMin cls    : 252461      (10.11      % of conflicts)
2136.26/535.01	c updated cache            : 7675        (0.03       lits/tried recurMin)
2136.26/535.01	c unit cls recevied        : 0           (nan       % of units)
2136.26/535.01	c unit cls sent            : 0           (nan       % of units)
2136.26/535.01	c bin cls recevied         : 0          
2136.26/535.01	c bin cls sent             : 0          
2136.26/535.01	c clauses over max glue    : 0           (0.00      % of all clauses)
2136.26/535.01	c conflicts                : 2498322     (4677.73   / sec)
2136.26/535.01	c decisions                : 2914051     (0.91      % random)
2136.26/535.01	c bogo-props               : 65364675805 (122385406.83 / sec)
2136.26/535.01	c conflict literals        : 51941039    (26.79     % deleted)
2136.26/535.01	c Memory used              : 484.00      MB
2136.26/535.01	c single-thread CPU time   : 534.09      s
2136.26/535.01	c all-threads sum CPU time : 2135.21     s
2136.26/535.01	s SATISFIABLE
2136.26/535.01	v 1 -2 3 4 5 6 -7 -8 9 10 -11 -12 13 -14 15 -16 -17 18 -19 -20 21 -22 23 24 -25 -26 -27 -28 -29 -30 -31 -32 -33 34 -35 -36 -37 38 39 40 41 -42 -43 -44 45 46 47 -48 49 -50 51 -52 53 54 -55 -56 -57 58 -59 -60 -61 -62 63 64 -65 66 67 68 -69 -70 -71 -72 73 74 -75 76 77 -78 79 -80 -81 82 -83 84 -85 -86 87 88 89 -90 -91 92 93 -94 95 96 -97 98 99 100 101 102 -103 104 -105 -106 107 108 -109 -110 111 112 -113 -114 115 -116 -117 -118 -119 -120 -121 122 123 124 125 126 -127 128 -129 130 131 -132 -133 134 135 136 -137 -138 139 140 -141 142 -143 144 145 146 -147 -148 -149 -150 151 152 -153 154 -155 -156 -157 158 159 160 -161 -162 -163 -164 -165 166 167 168 -169 -170 -171 -172 -173 174 -175 -176 -177 178 179 180 -181 182 -183 -184 185 -186 -187 188 -189 190 191 192 -193 194 195 196 197 -198 -199 -200 -201 -202 -203 204 205 -206 207 -208 209 210 211 -212 213 -214 215 -216 -217 -218 -219 -220 -221 -222 -223 224 -225 -226 -227 -228 -229 230 -231 -232 -233 234 235 -236 237 238 -239 -240 241 -242 243 244 245 -246 247 248 -249 -250 251 252 253 -254 255 -256 -257 258 -259 -260 -261 262 263 264 265 -266 267 -268 269 -270 271 272 -273 274 275 -276 -277 278 -279 280 -281 282 -283 -284 285 -286 -287 -288 289 -290 291 292 -293 294 295 296 297 298 299 300 301 -302 303 -304 -305 -306 -307 308 -309 -310 -311 312 -313 314 -315 316 -317 318 319 320 -321 -322 323 324 325 -326 327 -328 -329 -330 -331 -332 -333 -334 335 336 -337 338 -339 -340 341 -342 -343 344 345 -346 -347 -348 -349 -350 351 352 -353 -354 -355 356 -357 -358 -359 360 361 362 363 -364 -365 -366 -367 -368 -369 370 371 372 -373 374 375 -376 -377 378 -379 -380 381 382 -383 -384 -385 -386 -387 -388 -389 -390 391 -392 -393 -394 -395 -396 -397 -398 399 400 0

Verifier Data 

OK

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

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

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


[startup+0 s]
/proc/loadavg: 8.04 8.07 8.02 9/180 26908
/proc/meminfo: memFree=24381532/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 601528787 52441088 353 33554432000 4194304 4627427 140735533707216 18446744073709551615 47033308538802 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 12803 353 303 106 0 7774 0
[pid=26908/tid=26909] ppid=26906 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601528787 52441088 353 33554432000 4194304 4627427 140735533707216 18446744073709551615 47033308538792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601528787 52441088 353 33554432000 4194304 4627427 140735533707216 18446744073709551615 47033308538802 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 601528787 52441088 353 33554432000 4194304 4627427 140735533707216 18446744073709551615 216735178683 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.630136 s]
/proc/loadavg: 8.04 8.07 8.02 9/180 26908
/proc/meminfo: memFree=24381532/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=284708 CPUtime=2.49 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 3772 0 0 0 249 0 0 0 18 0 4 0 601528787 291540992 2461 33554432000 4194304 4627427 140735533707216 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 71177 2461 385 106 0 66148 0
[pid=26908/tid=26909] ppid=26906 vsize=284708 CPUtime=0.62 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 874 0 0 0 62 0 0 0 18 0 4 0 601528787 291540992 2461 33554432000 4194304 4627427 140735533707216 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=284708 CPUtime=0.62 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 836 0 0 0 62 0 0 0 18 0 4 0 601528787 291540992 2461 33554432000 4194304 4627427 140735533707216 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=284708 CPUtime=0.62 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 814 0 0 0 62 0 0 0 18 0 4 0 601528787 291540992 2461 33554432000 4194304 4627427 140735533707216 18446744073709551615 4330928 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 284708

[startup+0.807396 s]
/proc/loadavg: 8.04 8.07 8.02 9/180 26908
/proc/meminfo: memFree=24381532/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=285220 CPUtime=3.2 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 4651 0 0 0 320 0 0 0 19 0 4 0 601528787 292065280 2411 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 71305 2411 385 106 0 66276 0
[pid=26908/tid=26909] ppid=26906 vsize=285220 CPUtime=0.79 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1094 0 0 0 79 0 0 0 19 0 4 0 601528787 292065280 2411 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=285220 CPUtime=0.79 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1053 0 0 0 79 0 0 0 19 0 4 0 601528787 292065280 2411 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=285220 CPUtime=0.8 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1022 0 0 0 80 0 0 0 19 0 4 0 601528787 292065280 2411 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285220

[startup+0.90038 s]
/proc/loadavg: 8.04 8.07 8.02 9/180 26908
/proc/meminfo: memFree=24381532/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=285384 CPUtime=3.57 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 4868 0 0 0 357 0 0 0 19 0 4 0 601528787 292233216 2628 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 71346 2628 385 106 0 66317 0
[pid=26908/tid=26909] ppid=26906 vsize=285384 CPUtime=0.89 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1153 0 0 0 89 0 0 0 19 0 4 0 601528787 292233216 2628 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=285384 CPUtime=0.89 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1102 0 0 0 89 0 0 0 19 0 4 0 601528787 292233216 2628 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=285384 CPUtime=0.89 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1081 0 0 0 89 0 0 0 19 0 4 0 601528787 292233216 2628 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 285384

[startup+1.00036 s]
/proc/loadavg: 8.04 8.07 8.02 9/180 26908
/proc/meminfo: memFree=24381532/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=285516 CPUtime=3.98 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 5158 0 0 0 397 1 0 0 19 0 4 0 601528787 292368384 2918 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 71379 2918 386 106 0 66350 0
[pid=26908/tid=26909] ppid=26906 vsize=285516 CPUtime=0.99 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1203 0 0 0 99 0 0 0 19 0 4 0 601528787 292368384 2918 33554432000 4194304 4627427 140735533707216 18446744073709551615 4321578 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=285516 CPUtime=0.99 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1189 0 0 0 99 0 0 0 19 0 4 0 601528787 292368384 2918 33554432000 4194304 4627427 140735533707216 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=285516 CPUtime=0.99 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1171 0 0 0 99 0 0 0 19 0 4 0 601528787 292368384 2918 33554432000 4194304 4627427 140735533707216 18446744073709551615 4329527 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 285516

[startup+1.50028 s]
/proc/loadavg: 8.04 8.07 8.02 9/180 26908
/proc/meminfo: memFree=24381532/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=286064 CPUtime=5.97 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 7833 0 0 0 596 1 0 0 20 0 4 0 601528787 292929536 4241 33554432000 4194304 4627427 140735533707216 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 71516 4241 389 106 0 66487 0
[pid=26908/tid=26909] ppid=26906 vsize=286064 CPUtime=1.49 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1579 0 0 0 149 0 0 0 20 0 4 0 601528787 292929536 4241 33554432000 4194304 4627427 140735533707216 18446744073709551615 4328399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=286064 CPUtime=1.48 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1561 0 0 0 148 0 0 0 20 0 4 0 601528787 292929536 4241 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=286064 CPUtime=1.49 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 1551 0 0 0 149 0 0 0 20 0 4 0 601528787 292929536 4241 33554432000 4194304 4627427 140735533707216 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286064

[startup+3.101 s]
/proc/loadavg: 8.11 8.08 8.03 9/184 26912
/proc/meminfo: memFree=24317732/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=293440 CPUtime=12.36 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 16447 0 0 0 1234 2 0 0 25 0 4 0 601528787 300482560 8025 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 73360 8025 389 106 0 68331 0
[pid=26908/tid=26909] ppid=26906 vsize=293440 CPUtime=3.08 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 3585 0 0 0 308 0 0 0 25 0 4 0 601528787 300482560 8025 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=293440 CPUtime=3.07 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 4359 0 0 0 307 0 0 0 25 0 4 0 601528787 300482560 8025 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=293440 CPUtime=3.09 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 4099 0 0 0 309 0 0 0 25 0 4 0 601528787 300482560 8025 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293440

[startup+6.30044 s]
/proc/loadavg: 8.11 8.08 8.03 9/184 26912
/proc/meminfo: memFree=24290716/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=294140 CPUtime=25.14 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 25223 0 0 0 2510 4 0 0 25 0 4 0 601528787 301199360 11088 33554432000 4194304 4627427 140735533707216 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 73535 11088 389 106 0 68506 0
[pid=26908/tid=26909] ppid=26906 vsize=294140 CPUtime=6.28 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 6372 0 0 0 627 1 0 0 25 0 4 0 601528787 301199360 11088 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=294140 CPUtime=6.26 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 6794 0 0 0 625 1 0 0 25 0 4 0 601528787 301199360 11088 33554432000 4194304 4627427 140735533707216 18446744073709551615 4324349 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=294140 CPUtime=6.28 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 5733 0 0 0 628 0 0 0 25 0 4 0 601528787 301199360 11088 33554432000 4194304 4627427 140735533707216 18446744073709551615 4330971 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 294140

[startup+12.7003 s]
/proc/loadavg: 8.10 8.08 8.03 9/184 26912
/proc/meminfo: memFree=24253256/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=301880 CPUtime=50.73 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 40983 0 0 0 5066 7 0 0 25 0 4 0 601528787 309125120 15823 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 75470 15823 389 106 0 70441 0
[pid=26908/tid=26909] ppid=26906 vsize=301880 CPUtime=12.69 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 9901 0 0 0 1267 2 0 0 25 0 4 0 601528787 309125120 15823 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=301880 CPUtime=12.63 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 9738 0 0 0 1262 1 0 0 25 0 4 0 601528787 309125120 15823 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=301880 CPUtime=12.69 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 9819 0 0 0 1268 1 0 0 25 0 4 0 601528787 309125120 15823 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 301880

[startup+25.5011 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 26913
/proc/meminfo: memFree=24205512/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=304432 CPUtime=101.85 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 63186 0 0 0 10173 12 0 0 25 0 4 0 601528787 311738368 21011 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 76108 21011 389 106 0 71079 0
[pid=26908/tid=26909] ppid=26906 vsize=304432 CPUtime=25.48 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 16068 0 0 0 2544 4 0 0 25 0 4 0 601528787 311738368 21011 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=304432 CPUtime=25.37 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 15492 0 0 0 2534 3 0 0 25 0 4 0 601528787 311738368 21011 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=304432 CPUtime=25.49 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 14335 0 0 0 2547 2 0 0 25 0 4 0 601528787 311738368 21011 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 304432

[startup+51.1006 s]
/proc/loadavg: 8.05 8.07 8.02 9/184 26913
/proc/meminfo: memFree=24154332/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=309596 CPUtime=204.11 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 94917 0 0 0 20388 23 0 0 25 0 4 0 601528787 317026304 26671 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 77399 26671 389 106 0 72370 0
[pid=26908/tid=26909] ppid=26906 vsize=309596 CPUtime=51.08 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 24487 0 0 0 5102 6 0 0 25 0 4 0 601528787 317026304 26671 33554432000 4194304 4627427 140735533707216 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=309596 CPUtime=50.83 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 23752 0 0 0 5077 6 0 0 25 0 4 0 601528787 317026304 26671 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=309596 CPUtime=51.08 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 21506 0 0 0 5104 4 0 0 25 0 4 0 601528787 317026304 26671 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 309596

[startup+102.301 s]
/proc/loadavg: 8.02 8.06 8.02 9/184 26915
/proc/meminfo: memFree=24103968/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=325460 CPUtime=408.63 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 139472 0 0 0 40828 35 0 0 25 0 4 0 601528787 333271040 32246 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 81365 32246 389 106 0 76336 0
[pid=26908/tid=26909] ppid=26906 vsize=325460 CPUtime=102.27 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 33654 0 0 0 10219 8 0 0 25 0 4 0 601528787 333271040 32246 33554432000 4194304 4627427 140735533707216 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=325460 CPUtime=101.75 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 35117 0 0 0 10166 9 0 0 25 0 4 0 601528787 333271040 32246 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=325460 CPUtime=102.29 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 33000 0 0 0 10221 8 0 0 25 0 4 0 601528787 333271040 32246 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 325460

[startup+162.3 s]

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

/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 50358 0 0 0 22149 14 0 0 25 0 4 0 601528787 357130240 53007 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.18
Current children cumulated vsize (KiB) 348760

[startup+282.306 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 26923
/proc/meminfo: memFree=23895948/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=360932 CPUtime=1126.87 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 247626 0 0 0 112614 73 0 0 25 0 4 0 601528787 369594368 57652 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 90233 57652 389 106 0 85204 0
[pid=26908/tid=26909] ppid=26906 vsize=360932 CPUtime=282.26 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 53667 0 0 0 28212 14 0 0 25 0 4 0 601528787 369594368 57652 33554432000 4194304 4627427 140735533707216 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=360932 CPUtime=280.79 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 69898 0 0 0 28058 21 0 0 25 0 4 0 601528787 369594368 57652 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=360932 CPUtime=281.63 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 56868 0 0 0 28147 16 0 0 25 0 4 0 601528787 369594368 57652 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1126.87
Current children cumulated vsize (KiB) 360932

[startup+342.301 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 26924
/proc/meminfo: memFree=23864052/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=363224 CPUtime=1366.52 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 275905 0 0 0 136570 82 0 0 25 0 4 0 601528787 371941376 63332 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 90806 63332 389 106 0 85777 0
[pid=26908/tid=26909] ppid=26906 vsize=363224 CPUtime=342.25 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 62638 0 0 0 34209 16 0 0 25 0 4 0 601528787 371941376 63332 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=363224 CPUtime=340.46 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77807 0 0 0 34022 24 0 0 25 0 4 0 601528787 371941376 63332 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=363224 CPUtime=341.62 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 59332 0 0 0 34145 17 0 0 25 0 4 0 601528787 371941376 63332 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1366.52
Current children cumulated vsize (KiB) 363224

[startup+402.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 26926
/proc/meminfo: memFree=23794952/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=494400 CPUtime=1606.19 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 301139 0 0 0 160527 92 0 0 25 0 4 0 601528787 506265600 71744 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 123600 71744 389 106 0 118571 0
[pid=26908/tid=26909] ppid=26906 vsize=494400 CPUtime=402.25 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 67579 0 0 0 40207 18 0 0 25 0 4 0 601528787 506265600 71744 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=494400 CPUtime=400.13 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 85004 0 0 0 39987 26 0 0 25 0 4 0 601528787 506265600 71744 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=494400 CPUtime=401.63 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 66186 0 0 0 40143 20 0 0 25 0 4 0 601528787 506265600 71744 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1606.19
Current children cumulated vsize (KiB) 494400

[startup+462.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 26927
/proc/meminfo: memFree=23831132/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=441316 CPUtime=1845.86 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 322230 0 0 0 184486 100 0 0 25 0 4 0 601528787 451907584 66907 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 110329 66907 389 106 0 105300 0
[pid=26908/tid=26909] ppid=26906 vsize=441316 CPUtime=462.24 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 70814 0 0 0 46205 19 0 0 25 0 4 0 601528787 451907584 66907 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=441316 CPUtime=459.81 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 93071 0 0 0 45952 29 0 0 25 0 4 0 601528787 451907584 66907 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=441316 CPUtime=461.62 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 69835 0 0 0 46141 21 0 0 25 0 4 0 601528787 451907584 66907 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1845.86
Current children cumulated vsize (KiB) 441316

[startup+522.3 s]
/proc/loadavg: 8.15 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23784984/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=483828 CPUtime=2085.53 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 348236 0 0 0 208443 110 0 0 25 0 4 0 601528787 495439872 76645 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 120957 76645 389 106 0 115928 0
[pid=26908/tid=26909] ppid=26906 vsize=483828 CPUtime=522.24 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 75574 0 0 0 52203 21 0 0 25 0 4 0 601528787 495439872 76645 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=483828 CPUtime=519.49 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 99246 0 0 0 51917 32 0 0 25 0 4 0 601528787 495439872 76645 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=483828 CPUtime=521.63 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77120 0 0 0 52138 25 0 0 25 0 4 0 601528787 495439872 76645 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2085.53
Current children cumulated vsize (KiB) 483828

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

[startup+525.407 s]
/proc/loadavg: 8.15 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23782748/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=483828 CPUtime=2097.94 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 349696 0 0 0 209684 110 0 0 25 0 4 0 601528787 495439872 75913 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 120957 75913 389 106 0 115928 0
[pid=26908/tid=26909] ppid=26906 vsize=483828 CPUtime=525.35 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 75775 0 0 0 52514 21 0 0 25 0 4 0 601528787 495439872 75913 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=483828 CPUtime=522.57 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 100134 0 0 0 52225 32 0 0 25 0 4 0 601528787 495439872 75913 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=483828 CPUtime=524.73 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77387 0 0 0 52448 25 0 0 25 0 4 0 601528787 495439872 75913 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2097.94
Current children cumulated vsize (KiB) 483828

[startup+531.801 s]
/proc/loadavg: 8.14 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23776796/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=483828 CPUtime=2123.48 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 351188 0 0 0 212237 111 0 0 25 0 4 0 601528787 495439872 77405 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 120957 77405 389 106 0 115928 0
[pid=26908/tid=26909] ppid=26906 vsize=483828 CPUtime=531.74 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 76199 0 0 0 53153 21 0 0 25 0 4 0 601528787 495439872 77405 33554432000 4194304 4627427 140735533707216 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=483828 CPUtime=528.93 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 100727 0 0 0 52861 32 0 0 25 0 4 0 601528787 495439872 77405 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=483828 CPUtime=531.12 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77862 0 0 0 53087 25 0 0 25 0 4 0 601528787 495439872 77405 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2123.48
Current children cumulated vsize (KiB) 483828

[startup+533.401 s]
/proc/loadavg: 8.13 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23778408/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=495616 CPUtime=2129.87 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 353030 0 0 0 212876 111 0 0 25 0 4 0 601528787 507510784 76846 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 123904 76846 389 106 0 118875 0
[pid=26908/tid=26909] ppid=26906 vsize=495616 CPUtime=533.34 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77042 0 0 0 53313 21 0 0 25 0 4 0 601528787 507510784 76846 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=495616 CPUtime=530.52 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 100840 0 0 0 53020 32 0 0 25 0 4 0 601528787 507510784 76846 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=495616 CPUtime=532.72 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 78748 0 0 0 53247 25 0 0 25 0 4 0 601528787 507510784 76846 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2129.87
Current children cumulated vsize (KiB) 495616

[startup+534.206 s]
/proc/loadavg: 8.13 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23773076/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=495616 CPUtime=2133.08 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 353285 0 0 0 213197 111 0 0 25 0 4 0 601528787 507510784 77101 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 123904 77101 389 106 0 118875 0
[pid=26908/tid=26909] ppid=26906 vsize=495616 CPUtime=534.15 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77129 0 0 0 53394 21 0 0 25 0 4 0 601528787 507510784 77101 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=495616 CPUtime=531.32 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 100892 0 0 0 53100 32 0 0 25 0 4 0 601528787 507510784 77101 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=495616 CPUtime=533.53 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 78864 0 0 0 53328 25 0 0 25 0 4 0 601528787 507510784 77101 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2133.08
Current children cumulated vsize (KiB) 495616

[startup+534.6 s]
/proc/loadavg: 8.13 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23773076/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=495616 CPUtime=2134.66 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 353405 0 0 0 213355 111 0 0 25 0 4 0 601528787 507510784 77221 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 123904 77221 389 106 0 118875 0
[pid=26908/tid=26909] ppid=26906 vsize=495616 CPUtime=534.54 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77169 0 0 0 53433 21 0 0 25 0 4 0 601528787 507510784 77221 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=495616 CPUtime=531.71 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 100920 0 0 0 53139 32 0 0 25 0 4 0 601528787 507510784 77221 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=495616 CPUtime=533.92 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 78916 0 0 0 53367 25 0 0 25 0 4 0 601528787 507510784 77221 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2134.66
Current children cumulated vsize (KiB) 495616

[startup+535 s]
/proc/loadavg: 8.13 8.10 8.04 9/184 26929
/proc/meminfo: memFree=23773076/32951124 swapFree=67102140/67111528
[pid=26908] ppid=26906 vsize=495616 CPUtime=2136.26 cores=0,2,4,6
/proc/26908/stat : 26908 (strangenight2-m) R 26906 26908 26610 0 -1 4202496 353527 0 0 0 213515 111 0 0 25 0 4 0 601528787 507510784 77343 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26908/statm: 123904 77344 389 106 0 118875 0
[pid=26908/tid=26909] ppid=26906 vsize=495616 CPUtime=534.94 cores=0,2,4,6
/proc/26908/task/26909/stat : 26909 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 77211 0 0 0 53473 21 0 0 25 0 4 0 601528787 507510784 77344 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26908/tid=26910] ppid=26906 vsize=495616 CPUtime=532.11 cores=0,2,4,6
/proc/26908/task/26910/stat : 26910 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 100944 0 0 0 53179 32 0 0 25 0 4 0 601528787 507510784 77344 33554432000 4194304 4627427 140735533707216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26908/tid=26911] ppid=26906 vsize=495616 CPUtime=534.32 cores=0,2,4,6
/proc/26908/task/26911/stat : 26911 (strangenight2-m) R 26906 26908 26610 0 -1 4202560 78973 0 0 0 53407 25 0 0 25 0 4 0 601528787 507510784 77344 33554432000 4194304 4627427 140735533707216 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2136.26
Current children cumulated vsize (KiB) 495616

Child status: 10
Real time (s): 535.029
CPU time (s): 2136.34
CPU user time (s): 2135.21
CPU system time (s): 1.13483
CPU usage (%): 399.294
Max. virtual memory (cumulated for all children) (KiB): 560748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2135.21
system time used= 1.13483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353542
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= 190
involuntary context switches= 15223

runsolver used 0.831873 second user time and 2.04869 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 23:36:21
IDJOB=3174201
IDBENCH=83019
IDSOLVER=1586
FILE ID=node119/3174201-1304112981
RUNJOBID= node119-1304110569-26628
PBS_JOBID= 13170679
Free space on /tmp= 71812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174201-1304112981/watcher-3174201-1304112981 -o /tmp/evaluation-result-3174201-1304112981/solver-3174201-1304112981 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174201-1304112981.cnf

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

MD5SUM BENCH= ea9dfa5adeec712c099d553962345305
RANDOM SEED=992025294

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24381812 kB
Buffers:       1911348 kB
Cached:        6031892 kB
SwapCached:       3688 kB
Active:         171608 kB
Inactive:      7835780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24381812 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           11296 kB
Writeback:           0 kB
AnonPages:       62984 kB
Mapped:          14968 kB
Slab:           499208 kB
PageTables:       4872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   274464 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= 71804 MiB
End job on node119 at 2011-04-29 23:45:16