Trace number 3400874

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 8305.38 262.019

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
MD5SUM349e2f9eff952d4e42f8e1caefaa382b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2669.83
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400874-1307099421.cnf'
2.01/0.10	c -- header says num vars:           1156
2.01/0.10	c -- header says num clauses:      194072
18.37/1.67	c -- clauses added:            0 learnts,       194072 normals,            0 xors
18.37/1.67	c -- vars added       1156
18.37/1.67	c Parsing time:  0.16 s
18.37/1.67	c  N st     0         0      1156    117674     76398         0    507926         0   no data   no data
32.82/2.13	c asymm  cl-useful: 45/2958/117674 lits-rem:131 time: 0.46
38.56/2.42	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.26
54.20/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56.98/3.73	c bin-w-bin subsume rem        38156 bins  time:  0.08 s
63.29/3.97	c subs with bin:    19440  lits-rem:     12988  v-fix:    0  time:  0.25 s
66.48/4.00	c Subs w/ non-existent bins:    193 l-rem:     65 v-fix:     0 done:   1155 time:  0.03 s
69.68/4.10	c Removed useless bin:    7340  fixed:     0  props:   5.78M  time:  0.05 s
76.70/4.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.30 s
76.70/4.41	c Finding binary XORs  T:     0.00 s  found:       0
79.89/4.44	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
79.89/4.44	c calculated reachability. Time: 0.00
79.89/4.45	c Calc default polars -  time:   0.01 s pos:       0 undec:       1 neg:    1155
79.89/4.45	c =========================================================================================
79.89/4.45	c types(t): F = full restart, N = normal restart
79.89/4.45	c types(t): S = simplification begin/end, E = solution found
79.89/4.45	c restart types(rt): st = static, dy = dynamic
79.89/4.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
79.89/4.45	c  B st     0         0      1155     97297     44331         0    382659         0   no data   no data
111.79/5.52	c  N dy    17      4201      1155     97297     44333      4152    382659    122305      8.88      9.40
133.57/6.20	c Finding binary XORs  T:     0.00 s  found:       0
146.99/6.61	c  N dy    43      8466      1155     97297     51071      8389    382659    254148      9.30      9.86
185.31/7.78	c  N dy    62     12877      1155     97297     51085     12753    382659    367150      9.11      9.60
220.49/8.89	c  N dy    86     17052      1155     97297     51085     16879    382659    472452      9.17      9.74
258.18/10.08	c  N dy   112     21189      1155     97297     51089     11064    382659    221935      9.26      9.78
290.79/11.09	c  F st   129     25000      1155     97297     51093     14833    382659    315949      9.23      7.23
293.34/11.18	c  N st   130     25251      1155     97297     51093     15083    382659    323984      9.23   no data
331.66/12.36	c  N dy   135     30001      1155     97297     51093     19776    382659    468292      9.23   no data
331.66/12.36	c  S st   135     30001      1155     97297     51093     19776    382659    468292      9.23   no data
334.86/12.50	c  S st   135     30504      1155     97297     51093     20279    382659    480259      9.23   no data
338.06/12.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
344.46/12.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     45 BRemL:   6670 BRemN:      0 P:  9.7M T:  0.28
347.69/12.81	c blocked clauses removed:        0 vars:      0 tried:        1155 T: 0.00 s
347.69/12.83	c bin-w-bin subsume rem         3157 bins  time:  0.01 s
350.85/12.90	c subs with bin:      111  lits-rem:        74  v-fix:    0  time:  0.07 s
350.85/12.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
350.85/12.93	c Removed useless bin:      18  fixed:     0  props:   4.14M  time:  0.01 s
350.85/12.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
405.11/14.66	c subs with bin:        8  lits-rem:       481  v-fix:    0  time:  1.64 s
417.90/15.10	c lits-rem:       893  cl-subs:     2508  v-elim:      0  v-fix:    0  time:  0.41 s
433.87/15.56	c asymm  cl-useful: 0/3018/97186 lits-rem:0 time: 0.46
433.87/15.57	c calculated reachability. Time: 0.00
433.87/15.57	c  N dy   135     30504      1155     97186     41369     17763    376194    430481      9.23   no data
469.06/16.68	c  N dy   162     34542      1155     97186     41374     21760    376194    539376      9.32     10.03
507.39/17.82	c  N dy   187     38622      1155     97186     41377     25791    376194    641712      9.41     10.26
542.46/18.92	c  N dy   208     42672      1155     97186     41377     29800    376194    746708      9.39      9.89
568.67/19.80	c  S st   228     45756      1155     97186     41388     17529    376194    309724      9.43   no data
574.42/19.93	c  S st   228     46261      1155     97186     41388     18034    376194    323454      9.43   no data
574.42/19.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
583.93/20.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:     12 P:  9.7M T:  0.27
583.93/20.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
583.93/20.25	c bin-w-bin subsume rem           72 bins  time:  0.01 s
587.13/20.32	c subs with bin:        9  lits-rem:         6  v-fix:    0  time:  0.07 s
587.13/20.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
587.13/20.36	c Removed useless bin:      34  fixed:     0  props:   4.19M  time:  0.01 s
587.13/20.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
622.29/21.41	c subs with bin:        7  lits-rem:        98  v-fix:    0  time:  1.00 s
625.49/21.54	c lits-rem:       229  cl-subs:      783  v-elim:      0  v-fix:    0  time:  0.11 s
625.49/21.57	c vivif2 --  cl tried    97177 cl shrink        0 lits rem          0 time: 0.03
628.68/21.60	c vivif2 --  cl tried    17244 cl shrink     3336 lits rem       4999 time: 0.03
642.09/22.09	c asymm  cl-useful: 0/2883/97177 lits-rem:0 time: 0.48
642.09/22.10	c calculated reachability. Time: 0.00
642.09/22.10	c  N dy   228     46261      1155     97177     41274     17244    376055    309086      9.43   no data
679.82/23.25	c  N dy   255     50360      1155     97177     41277     21277    376055    412613      9.50     10.77
714.90/24.35	c  N dy   281     54372      1155     97177     41277     25244    376055    515473      9.53     11.03
753.17/25.55	c  N dy   301     58484      1155     97177     41281     29316    376055    622401      9.52     10.04
791.45/26.76	c  N dy   327     62724      1155     97177     41282     33523    376055    738515      9.53     10.17
833.01/28.03	c  N dy   347     66869      1155     97177     41282     19087    376055    259256      9.53     10.27
855.37/28.72	c  S st   358     69391      1155     97177     41284     21574    376055    326264      9.51   no data
858.58/28.85	c  S st   358     69893      1155     97177     41284     22075    376055    338970      9.51   no data
858.58/28.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
868.17/29.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  9.9M T:  0.27
868.17/29.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
868.17/29.17	c bin-w-bin subsume rem            7 bins  time:  0.01 s
871.37/29.24	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.07 s
871.37/29.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
871.37/29.27	c Removed useless bin:       0  fixed:     0  props:   4.19M  time:  0.01 s
871.37/29.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
906.43/30.35	c subs with bin:        5  lits-rem:        26  v-fix:    0  time:  1.03 s
912.83/30.53	c lits-rem:       281  cl-subs:     1276  v-elim:      0  v-fix:    0  time:  0.16 s
912.83/30.56	c vivif2 --  cl tried    97174 cl shrink        0 lits rem          0 time: 0.03
912.83/30.59	c vivif2 --  cl tried    20794 cl shrink     1745 lits rem       2762 time: 0.03
928.81/31.06	c asymm  cl-useful: 7/2868/97174 lits-rem:21 time: 0.47
928.81/31.07	c calculated reachability. Time: 0.00
928.81/31.07	c  N dy   358     69893      1155     97167     41287     20794    376045    322435      9.51   no data
973.47/32.46	c  N dy   378     74774      1155     97167     41288     25600    376045    446349      9.49     10.09
1018.05/33.87	c  N dy   400     79593      1155     97167     41291     30365    376045    573671      9.48     10.09
1072.28/35.50	c  N dy   428     84685      1155     97167     41293     35387    376045    704390      9.48     10.05
1098.45/36.37	c  F st   448     87501      1155     97167     41298     38173    376045    779903      9.49      7.67
1136.14/37.54	c  N st   453     90802      1155     97167     41298     20814    376045    267826      9.49   no data
1190.45/39.24	c  N dy   477     96716      1155     97167     41302     26660    376045    432407      9.50     10.01
1247.91/41.09	c  N dy   517    102952      1155     97167     41311     32818    376045    599995      9.53     10.28
1267.10/41.64	c  S st   528    104839      1155     97167     41311     34683    376045    650313      9.54   no data
1270.92/41.80	c  S st   528    105343      1155     97167     41314     35187    376045    663322      9.54   no data
1270.92/41.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1283.07/42.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 10.5M T:  0.30
1283.07/42.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1283.07/42.16	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1286.30/42.23	c subs with bin:       17  lits-rem:        16  v-fix:    0  time:  0.08 s
1286.30/42.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
1286.30/42.27	c Removed useless bin:       0  fixed:     0  props:   4.18M  time:  0.01 s
1286.30/42.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1344.32/44.05	c subs with bin:       10  lits-rem:       262  v-fix:    0  time:  1.65 s
1359.67/44.58	c lits-rem:       708  cl-subs:     2683  v-elim:      0  v-fix:    0  time:  0.50 s
1362.91/44.61	c vivif2 --  cl tried    97150 cl shrink        0 lits rem          0 time: 0.04
1362.91/44.67	c vivif2 --  cl tried    32494 cl shrink     5229 lits rem       9240 time: 0.06
1379.48/45.16	c asymm  cl-useful: 2/2595/97150 lits-rem:6 time: 0.47
1379.48/45.17	c calculated reachability. Time: 0.00
1379.48/45.18	c  N dy   528    105343      1155     97148     41333     32494    376026    614581      9.54   no data
1446.53/47.32	c  N dy   560    112110      1155     97148     41338     39173    376026    790542      9.54     10.10
1522.53/49.67	c  N dy   610    119489      1155     97148     41341     24312    376026    270901      9.57     10.19
1595.88/51.90	c  N dy   657    127132      1155     97148     41347     31844    376026    474872      9.61     10.16
1675.73/54.46	c  N dy   704    135613      1155     97148     41354     40225    376026    697522      9.61     10.38
1762.50/57.20	c  N dy   751    144321      1155     97148     41361     25429    376026    249939      9.61     10.15
1848.03/59.85	c  N dy   793    153538      1155     97148     41363     34535    376026    501763      9.61     10.36
1892.76/61.22	c  S st   817    158016      1155     97148     41364     38956    376026    619321      9.62      9.48
1895.93/61.37	c  S st   817    158520      1155     97148     41364     39460    376026    631836      9.62   no data
1895.93/61.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1906.15/61.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      2 BRemN:      0 P: 10.4M T:  0.31
1908.71/61.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1908.71/61.72	c bin-w-bin subsume rem           16 bins  time:  0.01 s
1911.90/61.80	c subs with bin:        7  lits-rem:         6  v-fix:    0  time:  0.08 s
1911.90/61.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
1911.90/61.84	c Removed useless bin:       0  fixed:     0  props:   4.18M  time:  0.01 s
1911.90/61.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1966.17/63.60	c subs with bin:       24  lits-rem:        23  v-fix:    0  time:  1.68 s
1988.54/64.24	c lits-rem:       611  cl-subs:     2992  v-elim:      0  v-fix:    0  time:  0.63 s
1988.54/64.28	c vivif2 --  cl tried    97141 cl shrink        0 lits rem          0 time: 0.04
1991.74/64.34	c vivif2 --  cl tried    36444 cl shrink     5285 lits rem       9188 time: 0.06
2004.54/64.81	c asymm  cl-useful: 1/2661/97141 lits-rem:3 time: 0.47
2008.35/64.82	c calculated reachability. Time: 0.00
2008.35/64.82	c  N dy   817    158520      1155     97140     41355     36444    376018    582884      9.62   no data
2113.62/68.14	c  N dy   880    168988      1155     97140     41357     46737    376018    852128      9.64     10.28
2215.20/71.32	c  N dy   945    179806      1155     97140     41363     32919    376018    436777      9.66     10.18
2317.51/74.60	c  N dy  1011    191314      1155     97140     41366     44296    376018    741898      9.68     10.39
2438.95/78.31	c  N dy  1089    203723      1155     97140     41366     30969    376018    369521      9.70     10.46
2557.22/82.00	c  N dy  1153    216781      1155     97140     41369     43884    376018    723306      9.70     10.38
2685.08/86.06	c Finding binary XORs  T:     0.00 s  found:       0
2688.28/86.18	c  N dy  1231    230669      1155     97140     41458     30978    376018    307526      9.71     10.34
2752.21/88.17	c  S st  1272    237780      1155     97140     41458     38015    376018    499730      9.72     11.54
2758.60/88.31	c  S st  1272    238280      1155     97140     41458     38514    376018    512985      9.72   no data
2758.60/88.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2768.19/88.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     83 BRemN:      0 P: 10.2M T:  0.29
2768.19/88.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2768.19/88.65	c bin-w-bin subsume rem            6 bins  time:  0.01 s
2771.40/88.73	c subs with bin:        8  lits-rem:         5  v-fix:    0  time:  0.08 s
2771.40/88.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
2771.40/88.77	c Removed useless bin:       0  fixed:     0  props:   4.20M  time:  0.01 s
2771.40/88.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2828.92/90.50	c subs with bin:       69  lits-rem:        37  v-fix:    0  time:  1.67 s
2844.92/91.02	c lits-rem:       500  cl-subs:     2037  v-elim:      0  v-fix:    0  time:  0.50 s
2844.92/91.06	c vivif2 --  cl tried    97132 cl shrink        0 lits rem          0 time: 0.04
2848.12/91.12	c vivif2 --  cl tried    36408 cl shrink     4020 lits rem       6620 time: 0.06
2864.09/91.61	c asymm  cl-useful: 4/2683/97132 lits-rem:12 time: 0.50
2864.09/91.62	c calculated reachability. Time: 0.00
2864.09/91.62	c  N dy  1272    238280      1155     97128     41378     36408    376006    474986      9.72   no data
3001.53/95.95	c  N dy  1360    253637      1155     97128     41381     51588    376006    885302      9.73     10.42
3151.75/100.65	c  N dy  1452    269955      1155     97128     41390     40054    376006    501023      9.74     10.40
3314.67/105.74	c  N dy  1546    287305      1155     97128     41393     57198    376006    964901      9.75     10.26
3480.91/111.00	c  N dy  1648    305984      1155     97128     41397     47000    376006    661386      9.76     10.28
3484.73/111.09	c  F st  1650    306252      1155     97128     41397     47266    376006    667723      9.76      8.26
3669.43/116.89	c  N dy  1735    325627      1155     97128     41398     36761    376006    357106      9.76     10.31
3854.83/122.69	c  N dy  1843    345967      1155     97128     41402     56818    376006    898080      9.78     10.68
3963.52/126.08	c  S st  1916    357420      1155     97128     41403     37532    376006    358755      9.80   no data
3969.92/126.21	c  S st  1916    357921      1155     97128     41403     38032    376006    371705      9.80   no data
3969.92/126.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3976.91/126.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      5 BRemN:      0 P: 10.0M T:  0.28
3980.10/126.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3980.10/126.54	c bin-w-bin subsume rem            5 bins  time:  0.01 s
3982.69/126.62	c subs with bin:       14  lits-rem:        12  v-fix:    0  time:  0.08 s
3982.69/126.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
3982.69/126.66	c Removed useless bin:       0  fixed:     0  props:   4.20M  time:  0.01 s
3982.69/126.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4017.83/127.77	c subs with bin:       32  lits-rem:        56  v-fix:    0  time:  1.06 s
4030.62/128.13	c lits-rem:       322  cl-subs:     1212  v-elim:      0  v-fix:    0  time:  0.33 s
4030.62/128.16	c vivif2 --  cl tried    97114 cl shrink        0 lits rem          0 time: 0.04
4033.85/128.21	c vivif2 --  cl tried    36788 cl shrink     2639 lits rem       4429 time: 0.04
4047.23/128.69	c asymm  cl-useful: 3/2771/97114 lits-rem:9 time: 0.48
4047.23/128.70	c calculated reachability. Time: 0.00
4047.23/128.70	c  N dy  1916    357921      1155     97111     41409     36788    375989    348635      9.80   no data
4235.20/134.59	c  N dy  2034    377978      1155     97111     41415     56631    375989    905658      9.81     10.39
4427.00/140.58	c  N dy  2148    398007      1155     97111     41425     44781    375989    533093      9.83     10.41
4621.97/146.64	c  N dy  2273    418097      1155     97111     41427     64606    375989   1065537      9.85     10.83
4810.57/152.52	c  N dy  2387    438342      1155     97111     41428     52025    375989    703703      9.85     10.46
5005.51/158.63	c  N dy  2501    458671      1155     97111     41432     38540    375989    321515      9.86     10.43
5190.92/164.42	c  N dy  2616    478784      1155     97111     41434     58419    375989    866373      9.87     10.42
5379.53/170.31	c  N dy  2726    498843      1155     97111     41437     43653    375989    448068      9.88     10.40
5568.05/176.21	c  N dy  2840    519141      1155     97111     41442     63670    375989   1000570      9.89     10.57
5738.09/181.58	c  S st  2955    536882      1155     97111     41443     45651    375989    477532      9.91   no data
5743.85/181.72	c  S st  2955    537382      1155     97111     41443     46151    375989    490079      9.91   no data
5743.85/181.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5753.44/182.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P: 10.3M T:  0.29
5753.44/182.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5753.44/182.06	c bin-w-bin subsume rem           12 bins  time:  0.01 s
5756.64/182.14	c subs with bin:       18  lits-rem:        14  v-fix:    0  time:  0.08 s
5756.64/182.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1155 time:  0.02 s
5756.64/182.17	c Removed useless bin:       0  fixed:     0  props:   4.19M  time:  0.01 s
5759.84/182.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
5805.22/183.72	c subs with bin:       51  lits-rem:        31  v-fix:    0  time:  1.48 s
5823.77/184.22	c lits-rem:       422  cl-subs:     1592  v-elim:      0  v-fix:    0  time:  0.48 s
5823.77/184.25	c vivif2 --  cl tried    97093 cl shrink        0 lits rem          0 time: 0.03
5826.97/184.31	c vivif2 --  cl tried    44508 cl shrink     3536 lits rem       5724 time: 0.06
5840.38/184.78	c asymm  cl-useful: 5/2676/97093 lits-rem:15 time: 0.47
5840.38/184.79	c calculated reachability. Time: 0.00
5840.38/184.79	c  N dy  2955    537382      1155     97088     41449     44508    375964    459420      9.91   no data
6034.71/190.87	c  N dy  3069    557521      1155     97088     41454     64407    375964   1005678      9.91     10.88
6235.99/197.10	c  N dy  3183    577638      1155     97088     41464     47697    375964    506069      9.92     10.46
6427.71/203.13	c  N dy  3299    597691      1155     97088     41467     67504    375964   1062744      9.93     10.47
6622.44/209.24	c  N dy  3415    617707      1155     97088     41469     49753    375964    549478      9.94     10.68
6820.56/215.46	c  N dy  3542    638004      1155     97088     41473     69768    375964   1098700      9.95     10.48
7015.19/221.57	c  N dy  3646    658034      1155     97088     41481     51049    375964    569683      9.94     10.61
7216.40/227.84	c  N dy  3755    678114      1155     97088     41484     70813    375964   1100756      9.95     10.52
7411.40/233.92	c  N dy  3853    698355      1155     97088     41486     51357    375964    541310      9.95     10.97
7606.37/240.01	c  N dy  3973    718447      1155     97088     41487     71170    375964   1082123      9.96     11.55
7804.58/246.23	c  N dy  4086    738500      1155     97088     41492     50531    375964    483033      9.96     10.77
7996.33/252.23	c  N dy  4213    758562      1155     97088     41495     70334    375964   1023926      9.97     11.11
8198.26/258.54	c  N dy  4328    778688      1155     97088     41499     48736    375964    398368      9.98     10.55
8303.74/261.86	c Following stats are for *FIRST FINISHED THREAD ONLY*
8303.74/261.86	c num threads              : 32         
8303.74/261.86	c restarts                 : 4671       
8303.74/261.86	c dynamic restarts         : 4647       
8303.74/261.86	c static restarts          : 24         
8303.74/261.86	c full restarts            : 3          
8303.74/261.86	c total simplify time      : 0.01       
8303.74/261.86	c learnts DL2              : 0          
8303.74/261.86	c learnts size 2           : 97181      
8303.74/261.86	c learnts size 1           : 1           (0.09      % of vars)
8303.74/261.86	c filedLit time            : 0.85        (0.33      % time)
8303.74/261.86	c v-elim SatELite          : 0           (0.00      % vars)
8303.74/261.86	c SatELite time            : 2.48        (0.96      % time)
8303.74/261.86	c v-elim xor               : 0           (0.00      % vars)
8303.74/261.86	c xor elim time            : 0.02        (0.01      % time)
8303.74/261.86	c num binary xor trees     : 0          
8303.74/261.86	c binxor trees' crown      : 0           (nan       leafs/tree)
8303.74/261.86	c bin xor find time        : 0.01       
8303.74/261.86	c OTF clause improved      : 10534       (0.01      clauses/conflict)
8303.74/261.86	c OTF impr. size diff      : 14403       (1.37       lits/clause)
8303.74/261.86	c OTF cl watch-shrink      : 535281      (0.62      clauses/conflict)
8303.74/261.86	c OTF cl watch-sh-lit      : 2900300     (5.42       lits/clause)
8303.74/261.86	c tried to recurMin cls    : 278488      (32.24      % of conflicts)
8303.74/261.86	c updated cache            : 5896        (0.02       lits/tried recurMin)
8303.74/261.86	c unit cls recevied        : 0           (0.00      % of units)
8303.74/261.86	c unit cls sent            : 0           (0.00      % of units)
8303.74/261.86	c bin cls recevied         : 7109       
8303.74/261.86	c bin cls sent             : 22         
8303.74/261.86	c clauses over max glue    : 0           (0.00      % of all clauses)
8303.74/261.86	c conflicts                : 863845      (3324.66   / sec)
8303.74/261.86	c decisions                : 1961905     (1.07      % random)
8303.74/261.86	c bogo-props               : 10749018196 (41369506.69 / sec)
8303.74/261.86	c conflict literals        : 23366613    (55.88     % deleted)
8303.74/261.86	c Memory used              : 3335.44     MB
8303.74/261.86	c single-thread CPU time   : 259.83      s
8303.74/261.86	c all-threads sum CPU time : 8291.30     s
8303.74/261.86	s SATISFIABLE
8303.74/261.86	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 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 1156 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400874-1307099421/watcher-3400874-1307099421 -o /tmp/evaluation-result-3400874-1307099421/solver-3400874-1307099421 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400874-1307099421.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 21.66 27.32 27.14 1/413 14469
/proc/meminfo: memFree=262940292/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=338000 CPUtime=0.77 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) R 14467 14469 14323 0 -1 4202496 437 0 0 0 77 0 0 0 24 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/14469/statm: 84500 376 297 95 0 79482 0
[pid=14469/tid=14470] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14470/stat : 14470 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841000 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14469/tid=14471] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14471/stat : 14471 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14469/tid=14472] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14472/stat : 14472 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14469/tid=14473] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14473/stat : 14473 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14469/tid=14474] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14474/stat : 14474 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14469/tid=14475] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14475/stat : 14475 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14469/tid=14476] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14476/stat : 14476 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 15854466 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14469/tid=14477] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14477/stat : 14477 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14469/tid=14478] ppid=14467 vsize=338000 CPUtime=0 cores=0-31
/proc/14469/task/14478/stat : 14478 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14469/tid=14479] ppid=14467 vsize=338000 CPUtime=0 cores=0-31
/proc/14469/task/14479/stat : 14479 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14469/tid=14480] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14480/stat : 14480 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14469/tid=14482] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14482/stat : 14482 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14469/tid=14483] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14483/stat : 14483 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14469/tid=14484] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14484/stat : 14484 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14469/tid=14485] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14485/stat : 14485 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14469/tid=14486] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14486/stat : 14486 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14469/tid=14487] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14487/stat : 14487 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14469/tid=14488] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14488/stat : 14488 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14469/tid=14489] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14489/stat : 14489 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14469/tid=14490] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14490/stat : 14490 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14469/tid=14491] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14491/stat : 14491 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14469/tid=14492] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14492/stat : 14492 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14469/tid=14493] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14493/stat : 14493 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14469/tid=14494] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14494/stat : 14494 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841000 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14469/tid=14495] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14495/stat : 14495 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14469/tid=14496] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14496/stat : 14496 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14469/tid=14497] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14497/stat : 14497 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14469/tid=14498] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14498/stat : 14498 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841008 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14469/tid=14499] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14499/stat : 14499 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841010 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14469/tid=14500] ppid=14467 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14469/task/14500/stat : 14500 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15854467 346112000 376 268435456000 4194304 4580107 140734956371728 18446744073709551615 47894522841004 0 0 4096 2 0 0 0 -1 20 0 0 0

[startup+0.0850409 s]
/proc/loadavg: 21.66 27.32 27.14 1/413 14469
/proc/meminfo: memFree=262940292/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=757184 CPUtime=2.01 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) R 14467 14469 14323 0 -1 4202496 7480 0 0 0 139 62 0 0 18 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/14469/statm: 189296 7344 333 95 0 184278 0
[pid=14469/tid=14470] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14470/stat : 14470 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 256 0 0 0 4 1 0 0 18 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14469/tid=14471] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14471/stat : 14471 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 186 0 0 0 4 1 0 0 22 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14469/tid=14472] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14472/stat : 14472 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 214 0 0 0 4 2 0 0 22 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14469/tid=14473] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14473/stat : 14473 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 203 0 0 0 4 1 0 0 22 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14469/tid=14474] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14474/stat : 14474 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 199 0 0 0 4 1 0 0 22 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14469/tid=14475] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14475/stat : 14475 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 197 0 0 0 4 1 0 0 18 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14469/tid=14476] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14476/stat : 14476 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 216 0 0 0 4 2 0 0 18 0 32 0 15854466 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14469/tid=14477] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14477/stat : 14477 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 218 0 0 0 4 2 0 0 23 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14469/tid=14478] ppid=14467 vsize=757184 CPUtime=0.01 cores=0-31
/proc/14469/task/14478/stat : 14478 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 178 0 0 0 0 1 0 0 22 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14469/tid=14479] ppid=14467 vsize=757184 CPUtime=0.02 cores=0-31
/proc/14469/task/14479/stat : 14479 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 224 0 0 0 1 1 0 0 22 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14469/tid=14480] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14480/stat : 14480 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 182 0 0 0 4 1 0 0 23 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 228 0 0 0 4 2 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14469/tid=14482] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14482/stat : 14482 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 195 0 0 0 4 1 0 0 23 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14469/tid=14483] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14483/stat : 14483 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 194 0 0 0 4 1 0 0 23 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14469/tid=14484] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14484/stat : 14484 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 214 0 0 0 4 1 0 0 24 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14469/tid=14485] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14485/stat : 14485 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 236 0 0 0 4 1 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14469/tid=14486] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14486/stat : 14486 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 220 0 0 0 4 1 0 0 24 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14469/tid=14487] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14487/stat : 14487 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 269 0 0 0 4 2 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14469/tid=14488] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14488/stat : 14488 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 283 0 0 0 4 1 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14469/tid=14489] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14489/stat : 14489 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 182 0 0 0 4 1 0 0 24 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14469/tid=14490] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14490/stat : 14490 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 221 0 0 0 4 1 0 0 24 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14469/tid=14491] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14491/stat : 14491 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 184 0 0 0 4 1 0 0 25 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14469/tid=14492] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14492/stat : 14492 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 288 0 0 0 4 2 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14469/tid=14493] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14493/stat : 14493 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 226 0 0 0 4 2 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14469/tid=14494] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14494/stat : 14494 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 284 0 0 0 4 1 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14469/tid=14495] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14495/stat : 14495 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 212 0 0 0 4 2 0 0 25 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14469/tid=14496] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14496/stat : 14496 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 206 0 0 0 4 2 0 0 25 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14469/tid=14497] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14497/stat : 14497 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 226 0 0 0 4 1 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14469/tid=14498] ppid=14467 vsize=757184 CPUtime=0.06 cores=0-31
/proc/14469/task/14498/stat : 14498 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 256 0 0 0 4 2 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14469/tid=14499] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14499/stat : 14499 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 255 0 0 0 4 1 0 0 18 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14469/tid=14500] ppid=14467 vsize=757184 CPUtime=0.05 cores=0-31
/proc/14469/task/14500/stat : 14500 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 185 0 0 0 4 1 0 0 25 0 32 0 15854467 775356416 7344 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 757184

[startup+0.103007 s]
/proc/loadavg: 21.66 27.32 27.14 1/413 14469
/proc/meminfo: memFree=262940292/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=1085344 CPUtime=2.29 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) S 14467 14469 14323 0 -1 4202496 9418 0 0 0 140 89 0 0 18 0 32 0 15854466 1111392256 9282 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/14469/statm: 271336 9299 334 95 0 266318 0
[pid=14469/tid=14470] ppid=14467 vsize=1085344 CPUtime=0.06 cores=0-31
/proc/14469/task/14470/stat : 14470 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 288 0 0 0 4 2 0 0 17 0 32 0 15854466 1111392256 9299 268435456000 4194304 4580107 140734956371728 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14469/tid=14471] ppid=14467 vsize=1085344 CPUtime=0.06 cores=0-31
/proc/14469/task/14471/stat : 14471 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 256 0 0 0 4 2 0 0 22 0 32 0 15854466 1111392256 9304 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14469/tid=14472] ppid=14467 vsize=1093548 CPUtime=0.07 cores=0-31
/proc/14469/task/14472/stat : 14472 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 271 0 0 0 4 3 0 0 18 0 32 0 15854466 1119793152 9312 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14469/tid=14473] ppid=14467 vsize=1093548 CPUtime=0.06 cores=0-31
/proc/14469/task/14473/stat : 14473 (strangenight2-m) S 14467 14469 14323 0 -1 4202560 270 0 0 0 4 2 0 0 18 0 32 0 15854466 1119793152 9322 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927064 0 0 -1 16 0 0 0
[pid=14469/tid=14474] ppid=14467 vsize=1101752 CPUtime=0.06 cores=0-31
/proc/14469/task/14474/stat : 14474 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 276 0 0 0 4 2 0 0 22 0 32 0 15854466 1128194048 9323 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14469/tid=14475] ppid=14467 vsize=1101752 CPUtime=0.06 cores=0-31
/proc/14469/task/14475/stat : 14475 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 267 0 0 0 4 2 0 0 18 0 32 0 15854466 1128194048 9327 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14469/tid=14476] ppid=14467 vsize=1232824 CPUtime=0.06 cores=0-31
/proc/14469/task/14476/stat : 14476 (strangenight2-m) S 14467 14469 14323 0 -1 4202560 269 0 0 0 4 2 0 0 17 0 32 0 15854466 1262411776 9336 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446604632125390304 0 0 -1 10 0 0 0
[pid=14469/tid=14477] ppid=14467 vsize=1232824 CPUtime=0.07 cores=0-31
/proc/14469/task/14477/stat : 14477 (strangenight2-m) S 14467 14469 14323 0 -1 4202560 283 0 0 0 4 3 0 0 23 0 32 0 15854467 1262411776 9348 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446744071566933344 0 0 -1 6 0 0 0
[pid=14469/tid=14478] ppid=14467 vsize=1183696 CPUtime=0.02 cores=0-31
/proc/14469/task/14478/stat : 14478 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 260 0 0 0 0 2 0 0 22 0 32 0 15854467 1212104704 9349 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14469/tid=14479] ppid=14467 vsize=1183696 CPUtime=0.03 cores=0-31
/proc/14469/task/14479/stat : 14479 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 279 0 0 0 1 2 0 0 22 0 32 0 15854467 1212104704 9358 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14469/tid=14480] ppid=14467 vsize=1183696 CPUtime=0.06 cores=0-31
/proc/14469/task/14480/stat : 14480 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 260 0 0 0 4 2 0 0 23 0 32 0 15854467 1212104704 9359 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=1167288 CPUtime=0.06 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) S 14467 14469 14323 0 -1 4202560 279 0 0 0 4 2 0 0 17 0 32 0 15854467 1195302912 9360 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446604629215084000 0 0 -1 18 0 0 0
[pid=14469/tid=14482] ppid=14467 vsize=1167288 CPUtime=0.06 cores=0-31
/proc/14469/task/14482/stat : 14482 (strangenight2-m) S 14467 14469 14323 0 -1 4202560 266 0 0 0 4 2 0 0 23 0 32 0 15854467 1195302912 9366 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 30 0 0 0
[pid=14469/tid=14483] ppid=14467 vsize=1167288 CPUtime=0.07 cores=0-31
/proc/14469/task/14483/stat : 14483 (strangenight2-m) S 14467 14469 14323 0 -1 4202560 267 0 0 0 4 3 0 0 23 0 32 0 15854467 1195302912 9372 268435456000 4194304 4580107 140734956371728 18446744073709551615 258651060958 0 0 4096 2 18446604629671878112 0 0 -1 22 0 0 0
[pid=14469/tid=14484] ppid=14467 vsize=1167288 CPUtime=0.06 cores=0-31
/proc/14469/task/14484/stat : 14484 (strangenight2-m) D 14467 14469 14323 0 -1 4202560 294 0 0 0 4 2 0 0 24 0 32 0 15854467 1195302912 9376 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14469/tid=14485] ppid=14467 vsize=1167288 CPUtime=0.06 cores=0-31
/proc/14469/task/14485/stat : 14485 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 277 0 0 0 4 2 0 0 17 0 32 0 15854467 1195302912 9392 268435456000 4194304 4580107 140734956371728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14469/tid=14486] ppid=14467 vsize=1167288 CPUtime=0.06 cores=0-31

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

[pid=14469/tid=14499] ppid=14467 vsize=3415484 CPUtime=255.54 cores=0-31
/proc/14469/task/14499/stat : 14499 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42394 0 0 0 25506 48 0 0 25 0 32 0 15854467 3497455616 522303 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14469/tid=14500] ppid=14467 vsize=3415484 CPUtime=257.36 cores=0-31
/proc/14469/task/14500/stat : 14500 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38126 0 0 0 25700 36 0 0 25 0 32 0 15854467 3497455616 522303 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 8216.81
Current children cumulated vsize (KiB) 3415484

[startup+260.722 s]
/proc/loadavg: 31.91 30.06 28.32 33/445 14509
/proc/meminfo: memFree=260843116/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=3415484 CPUtime=8268.59 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) R 14467 14469 14323 0 -1 4202496 1259221 0 0 0 825467 1392 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14469/statm: 853871 524657 377 95 0 848853 0
[pid=14469/tid=14470] ppid=14467 vsize=3415484 CPUtime=259.53 cores=0-31
/proc/14469/task/14470/stat : 14470 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42341 0 0 0 25913 40 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14469/tid=14471] ppid=14467 vsize=3415484 CPUtime=256.47 cores=0-31
/proc/14469/task/14471/stat : 14471 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 36074 0 0 0 25601 46 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14469/tid=14472] ppid=14467 vsize=3415484 CPUtime=258.52 cores=0-31
/proc/14469/task/14472/stat : 14472 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39362 0 0 0 25808 44 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14469/tid=14473] ppid=14467 vsize=3415484 CPUtime=256.25 cores=0-31
/proc/14469/task/14473/stat : 14473 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42003 0 0 0 25575 50 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14469/tid=14474] ppid=14467 vsize=3415484 CPUtime=259.57 cores=0-31
/proc/14469/task/14474/stat : 14474 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39192 0 0 0 25916 41 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14469/tid=14475] ppid=14467 vsize=3415484 CPUtime=258.84 cores=0-31
/proc/14469/task/14475/stat : 14475 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41685 0 0 0 25837 47 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14469/tid=14476] ppid=14467 vsize=3415484 CPUtime=258.54 cores=0-31
/proc/14469/task/14476/stat : 14476 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 37316 0 0 0 25810 44 0 0 25 0 32 0 15854466 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14469/tid=14477] ppid=14467 vsize=3415484 CPUtime=258.51 cores=0-31
/proc/14469/task/14477/stat : 14477 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43084 0 0 0 25807 44 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14469/tid=14478] ppid=14467 vsize=3415484 CPUtime=258.64 cores=0-31
/proc/14469/task/14478/stat : 14478 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 34522 0 0 0 25822 42 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14469/tid=14479] ppid=14467 vsize=3415484 CPUtime=258.01 cores=0-31
/proc/14469/task/14479/stat : 14479 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41960 0 0 0 25763 38 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14469/tid=14480] ppid=14467 vsize=3415484 CPUtime=258.46 cores=0-31
/proc/14469/task/14480/stat : 14480 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43501 0 0 0 25799 47 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=3415484 CPUtime=258.67 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 31061 0 0 0 25828 39 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14469/tid=14482] ppid=14467 vsize=3415484 CPUtime=258.9 cores=0-31
/proc/14469/task/14482/stat : 14482 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 40307 0 0 0 25850 40 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14469/tid=14483] ppid=14467 vsize=3415484 CPUtime=258.08 cores=0-31
/proc/14469/task/14483/stat : 14483 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 30251 0 0 0 25771 37 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14469/tid=14484] ppid=14467 vsize=3415484 CPUtime=258.78 cores=0-31
/proc/14469/task/14484/stat : 14484 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39717 0 0 0 25837 41 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14469/tid=14485] ppid=14467 vsize=3415484 CPUtime=258.29 cores=0-31
/proc/14469/task/14485/stat : 14485 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39560 0 0 0 25790 39 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14469/tid=14486] ppid=14467 vsize=3415484 CPUtime=258.84 cores=0-31
/proc/14469/task/14486/stat : 14486 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38524 0 0 0 25843 41 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14469/tid=14487] ppid=14467 vsize=3415484 CPUtime=258.12 cores=0-31
/proc/14469/task/14487/stat : 14487 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38927 0 0 0 25769 43 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4318683 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14469/tid=14488] ppid=14467 vsize=3415484 CPUtime=258.19 cores=0-31
/proc/14469/task/14488/stat : 14488 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41918 0 0 0 25778 41 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14469/tid=14489] ppid=14467 vsize=3415484 CPUtime=258.36 cores=0-31
/proc/14469/task/14489/stat : 14489 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 33522 0 0 0 25793 43 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14469/tid=14490] ppid=14467 vsize=3415484 CPUtime=258.71 cores=0-31
/proc/14469/task/14490/stat : 14490 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43402 0 0 0 25825 46 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14469/tid=14491] ppid=14467 vsize=3415484 CPUtime=257.99 cores=0-31
/proc/14469/task/14491/stat : 14491 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43821 0 0 0 25756 43 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14469/tid=14492] ppid=14467 vsize=3415484 CPUtime=258.7 cores=0-31
/proc/14469/task/14492/stat : 14492 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 46534 0 0 0 25821 49 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14469/tid=14493] ppid=14467 vsize=3415484 CPUtime=259.04 cores=0-31
/proc/14469/task/14493/stat : 14493 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 37842 0 0 0 25857 47 0 0 22 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14469/tid=14494] ppid=14467 vsize=3415484 CPUtime=258.32 cores=0-31
/proc/14469/task/14494/stat : 14494 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41777 0 0 0 25790 42 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14469/tid=14495] ppid=14467 vsize=3415484 CPUtime=258.52 cores=0-31
/proc/14469/task/14495/stat : 14495 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38086 0 0 0 25809 43 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14469/tid=14496] ppid=14467 vsize=3415484 CPUtime=258.53 cores=0-31
/proc/14469/task/14496/stat : 14496 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43917 0 0 0 25807 46 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14469/tid=14497] ppid=14467 vsize=3415484 CPUtime=258.18 cores=0-31
/proc/14469/task/14497/stat : 14497 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 35885 0 0 0 25778 40 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14469/tid=14498] ppid=14467 vsize=3415484 CPUtime=259.09 cores=0-31
/proc/14469/task/14498/stat : 14498 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41498 0 0 0 25868 41 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14469/tid=14499] ppid=14467 vsize=3415484 CPUtime=257.16 cores=0-31
/proc/14469/task/14499/stat : 14499 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42394 0 0 0 25668 48 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14469/tid=14500] ppid=14467 vsize=3415484 CPUtime=258.98 cores=0-31
/proc/14469/task/14500/stat : 14500 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38126 0 0 0 25862 36 0 0 25 0 32 0 15854467 3497455616 524657 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 8268.59
Current children cumulated vsize (KiB) 3415484

[startup+261.502 s]
/proc/loadavg: 31.91 30.06 28.32 33/445 14509
/proc/meminfo: memFree=260843116/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=3415484 CPUtime=8293.53 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) R 14467 14469 14323 0 -1 4202496 1261257 0 0 0 827961 1392 0 0 25 0 32 0 15854466 3497455616 522323 268435456000 4194304 4580107 140734956371728 18446744073709551615 4318699 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14469/statm: 853871 522324 377 95 0 848853 0
[pid=14469/tid=14470] ppid=14467 vsize=3415484 CPUtime=260.31 cores=0-31
/proc/14469/task/14470/stat : 14470 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42341 0 0 0 25991 40 0 0 25 0 32 0 15854466 3497455616 522324 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14469/tid=14471] ppid=14467 vsize=3415484 CPUtime=257.25 cores=0-31
/proc/14469/task/14471/stat : 14471 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 36148 0 0 0 25679 46 0 0 25 0 32 0 15854466 3497455616 522324 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14469/tid=14472] ppid=14467 vsize=3415484 CPUtime=259.3 cores=0-31
/proc/14469/task/14472/stat : 14472 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39442 0 0 0 25886 44 0 0 25 0 32 0 15854466 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14469/tid=14473] ppid=14467 vsize=3415484 CPUtime=257.03 cores=0-31
/proc/14469/task/14473/stat : 14473 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42003 0 0 0 25653 50 0 0 25 0 32 0 15854466 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14469/tid=14474] ppid=14467 vsize=3415484 CPUtime=260.35 cores=0-31
/proc/14469/task/14474/stat : 14474 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39192 0 0 0 25994 41 0 0 25 0 32 0 15854466 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14469/tid=14475] ppid=14467 vsize=3415484 CPUtime=259.62 cores=0-31
/proc/14469/task/14475/stat : 14475 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41685 0 0 0 25915 47 0 0 25 0 32 0 15854466 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14469/tid=14476] ppid=14467 vsize=3415484 CPUtime=259.32 cores=0-31
/proc/14469/task/14476/stat : 14476 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 37316 0 0 0 25888 44 0 0 25 0 32 0 15854466 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14469/tid=14477] ppid=14467 vsize=3415484 CPUtime=259.29 cores=0-31
/proc/14469/task/14477/stat : 14477 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43167 0 0 0 25885 44 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4339038 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14469/tid=14478] ppid=14467 vsize=3415484 CPUtime=259.42 cores=0-31
/proc/14469/task/14478/stat : 14478 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 34522 0 0 0 25900 42 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14469/tid=14479] ppid=14467 vsize=3415484 CPUtime=258.79 cores=0-31
/proc/14469/task/14479/stat : 14479 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41960 0 0 0 25841 38 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14469/tid=14480] ppid=14467 vsize=3415484 CPUtime=259.24 cores=0-31
/proc/14469/task/14480/stat : 14480 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43570 0 0 0 25877 47 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=3415484 CPUtime=259.45 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 31061 0 0 0 25906 39 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14469/tid=14482] ppid=14467 vsize=3415484 CPUtime=259.68 cores=0-31
/proc/14469/task/14482/stat : 14482 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 40385 0 0 0 25928 40 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14469/tid=14483] ppid=14467 vsize=3415484 CPUtime=258.86 cores=0-31
/proc/14469/task/14483/stat : 14483 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 30251 0 0 0 25849 37 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14469/tid=14484] ppid=14467 vsize=3415484 CPUtime=259.56 cores=0-31
/proc/14469/task/14484/stat : 14484 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39717 0 0 0 25915 41 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14469/tid=14485] ppid=14467 vsize=3415484 CPUtime=259.07 cores=0-31
/proc/14469/task/14485/stat : 14485 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39560 0 0 0 25868 39 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14469/tid=14486] ppid=14467 vsize=3415484 CPUtime=259.62 cores=0-31
/proc/14469/task/14486/stat : 14486 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38534 0 0 0 25921 41 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14469/tid=14487] ppid=14467 vsize=3415484 CPUtime=258.9 cores=0-31
/proc/14469/task/14487/stat : 14487 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 39004 0 0 0 25847 43 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14469/tid=14488] ppid=14467 vsize=3415484 CPUtime=258.97 cores=0-31
/proc/14469/task/14488/stat : 14488 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41987 0 0 0 25856 41 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14469/tid=14489] ppid=14467 vsize=3415484 CPUtime=259.14 cores=0-31
/proc/14469/task/14489/stat : 14489 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 33522 0 0 0 25871 43 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14469/tid=14490] ppid=14467 vsize=3415484 CPUtime=259.48 cores=0-31
/proc/14469/task/14490/stat : 14490 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43481 0 0 0 25902 46 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14469/tid=14491] ppid=14467 vsize=3415484 CPUtime=258.77 cores=0-31
/proc/14469/task/14491/stat : 14491 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 43892 0 0 0 25834 43 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14469/tid=14492] ppid=14467 vsize=3415484 CPUtime=259.48 cores=0-31
/proc/14469/task/14492/stat : 14492 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 46692 0 0 0 25899 49 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14469/tid=14493] ppid=14467 vsize=3415484 CPUtime=259.82 cores=0-31
/proc/14469/task/14493/stat : 14493 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 37920 0 0 0 25935 47 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14469/tid=14494] ppid=14467 vsize=3415484 CPUtime=259.1 cores=0-31
/proc/14469/task/14494/stat : 14494 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41777 0 0 0 25868 42 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14469/tid=14495] ppid=14467 vsize=3415484 CPUtime=259.3 cores=0-31
/proc/14469/task/14495/stat : 14495 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38152 0 0 0 25887 43 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14469/tid=14496] ppid=14467 vsize=3415484 CPUtime=259.31 cores=0-31
/proc/14469/task/14496/stat : 14496 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 44884 0 0 0 25885 46 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14469/tid=14497] ppid=14467 vsize=3415484 CPUtime=258.96 cores=0-31
/proc/14469/task/14497/stat : 14497 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 35885 0 0 0 25856 40 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14469/tid=14498] ppid=14467 vsize=3415484 CPUtime=259.87 cores=0-31
/proc/14469/task/14498/stat : 14498 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 41498 0 0 0 25946 41 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14469/tid=14499] ppid=14467 vsize=3415484 CPUtime=257.94 cores=0-31
/proc/14469/task/14499/stat : 14499 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 42394 0 0 0 25746 48 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14469/tid=14500] ppid=14467 vsize=3415484 CPUtime=259.76 cores=0-31
/proc/14469/task/14500/stat : 14500 (strangenight2-m) R 14467 14469 14323 0 -1 4202560 38126 0 0 0 25940 36 0 0 25 0 32 0 15854467 3497455616 522325 268435456000 4194304 4580107 140734956371728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 8293.53
Current children cumulated vsize (KiB) 3415484

[startup+261.902 s]
/proc/loadavg: 31.91 30.06 28.32 33/445 14509
/proc/meminfo: memFree=260847060/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=0 CPUtime=8305.25 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) Z 14467 14469 14323 0 -1 4203548 1262641 0 0 0 829129 1396 0 0 25 0 2 0 15854466 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14469/statm: 0 0 0 0 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=0 CPUtime=259.84 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) R 14467 14469 14323 0 -1 4203588 31061 0 0 0 25942 42 0 0 25 0 2 0 15854467 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 8305.25
Current children cumulated vsize (KiB) 0

[startup+262.001 s]
/proc/loadavg: 31.91 30.06 28.32 33/445 14509
/proc/meminfo: memFree=260847060/264257624 swapFree=67054988/67111528
[pid=14469] ppid=14467 vsize=0 CPUtime=8305.35 cores=0-31
/proc/14469/stat : 14469 (strangenight2-m) Z 14467 14469 14323 0 -1 4203548 1262641 0 0 0 829129 1406 0 0 25 0 2 0 15854466 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14469/statm: 0 0 0 0 0 0 0
[pid=14469/tid=14481] ppid=14467 vsize=0 CPUtime=259.94 cores=0-31
/proc/14469/task/14481/stat : 14481 (strangenight2-m) R 14467 14469 14323 0 -1 4203588 31061 0 0 0 25942 52 0 0 25 0 2 0 15854467 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 8305.35
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 262.019
CPU time (s): 8305.38
CPU user time (s): 8291.3
CPU system time (s): 14.0779
CPU usage (%): 3169.76
Max. virtual memory (cumulated for all children) (KiB): 3563596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8291.3
system time used= 14.0779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1262641
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= 482940
involuntary context switches= 21570

runsolver used 1.68274 second user time and 5.80512 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 13:10:21
IDJOB=3400874
IDBENCH=85965
IDSOLVER=1886
FILE ID=node200/3400874-1307099421
RUNJOBID= node200-1307099268-14337
PBS_JOBID= 13498407
Free space on /tmp= 61740 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400874-1307099421/watcher-3400874-1307099421 -o /tmp/evaluation-result-3400874-1307099421/solver-3400874-1307099421 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400874-1307099421.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32

MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=454124956

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262940572 kB
Buffers:        106484 kB
Cached:        1015776 kB
SwapCached:       8428 kB
Active:         109352 kB
Inactive:      1031416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262940572 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:            8584 kB
Writeback:           0 kB
AnonPages:       15784 kB
Mapped:           8836 kB
Slab:            89224 kB
PageTables:       4480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   172456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-03 13:14:43