Trace number 3400856

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)UNSAT 2279.68 72.6378

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2279.68
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400856-1307053962.cnf'
0.00/0.09	c -- header says num vars:           8756
0.00/0.09	c -- header says num clauses:       55571
10.36/0.61	c -- clauses added:            0 learnts,        55571 normals,            0 xors
10.36/0.61	c -- vars added       8756
10.36/0.61	c Parsing time:  0.08 s
10.36/0.61	c  N st     0         0      8756     42719     12794         0    187620         0   no data   no data
57.61/2.13	c asymm  cl-useful: 22/8916/42701 lits-rem:29 time: 1.49
77.11/3.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.1M T:  0.63
86.60/3.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.60/3.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
86.60/3.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
88.74/3.54	c Subs w/ non-existent bins:      8 l-rem:      4 v-fix:     0 done:   8714 time:  0.05 s
88.74/3.59	c Removed useless bin:       0  fixed:     0  props:   2.44M  time:  0.05 s
95.05/3.74	c lits-rem:       108  cl-subs:      229  v-elim:    111  v-fix:    0  time:  0.14 s
95.05/3.76	c Finding binary XORs  T:     0.02 s  found:       0
98.24/3.81	c Finding non-binary XORs:     0.04 s (found:      53, avg size: 3.0)
98.24/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.24/3.82	c calculated reachability. Time: 0.01
98.24/3.83	c Calc default polars -  time:   0.01 s pos:    4239 undec:     158 neg:    4359
98.24/3.83	c =========================================================================================
98.24/3.83	c types(t): F = full restart, N = normal restart
98.24/3.83	c types(t): S = simplification begin/end, E = solution found
98.24/3.83	c restart types(rt): st = static, dy = dynamic
98.24/3.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
98.24/3.83	c  B st     0         0      8603     42243     12684         0    186454         0   no data   no data
133.40/4.97	c  N dy    19      4694      8597     42243     12766      4546    186454     61063      6.33      6.71
162.16/5.84	c  N dy    44      8777      8576     42243     14288      5056    186454     39480      6.49      7.08
168.55/6.00	c Finding binary XORs  T:     0.01 s  found:     125
168.55/6.01	c Replacing      135 vars Replaced     3908 lits Time:     0.01 s 
191.56/6.77	c  N dy    74     12782      8412     42036     15620      8797    185459    112707      6.69      7.26
223.49/7.72	c  N dy   109     16905      8397     42036     15649      7260    185459     63888      7.02      7.44
251.65/8.63	c  N dy   140     21053      8390     42036     17574     11331    185459    158484      7.23      7.69
264.42/9.02	c Finding binary XORs  T:     0.01 s  found:     405
264.42/9.04	c Replacing      410 vars Replaced    17776 lits Time:     0.02 s 
277.22/9.45	c  F st   163     25001      7966     41899     17221      7650    184652     53884      7.29   no data
277.22/9.47	c Replacing        6 vars Replaced      158 lits Time:     0.01 s 
280.41/9.56	c  N st   164     25251      7957     41855     17170      7827    184415     67611      7.29   no data
312.37/10.54	c  N dy   169     30001      7957     41855     17179     12525    184415    238615      7.29   no data
312.37/10.54	c  S st   169     30001      7957     41855     17179     12525    184415    238615      7.29   no data
318.77/10.71	c  S st   169     30504      7957     41855     18170     13017    184415    250468      7.29   no data
318.77/10.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
357.14/11.96	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:  278 Bins:  43856 BRemL:  23617 BRemN:     68 P: 15.3M T:  1.24
357.14/12.00	c Replacing      280 vars Replaced    14413 lits Time:     0.03 s 
360.33/12.02	c blocked clauses removed:       40 vars:      4 tried:        7628 T: 0.01 s
360.33/12.03	c bin-w-bin subsume rem         1768 bins  time:  0.01 s
360.33/12.05	c subs with bin:      751  lits-rem:       653  v-fix:    0  time:  0.02 s
360.33/12.08	c Subs w/ non-existent bins:     75 l-rem:    112 v-fix:     0 done:   7663 time:  0.03 s
360.33/12.09	c Removed useless bin:      63  fixed:     0  props:   0.53M  time:  0.01 s
364.11/12.18	c lits-rem:        20  cl-subs:     4011  v-elim:    153  v-fix:    0  time:  0.08 s
364.11/12.22	c subs with bin:      359  lits-rem:      1516  v-fix:    0  time:  0.02 s
367.35/12.27	c lits-rem:       211  cl-subs:      330  v-elim:      0  v-fix:    0  time:  0.03 s
367.35/12.27	c Added XOR as norm:13
402.48/13.38	c asymm  cl-useful: 58/8406/37330 lits-rem:70 time: 1.11
402.48/13.39	c calculated reachability. Time: 0.01
402.48/13.39	c  N dy   169     30504      7510     37326     24845      9056    165693    106139      7.29   no data
405.07/13.40	c Finding binary XORs  T:     0.02 s  found:       2
434.43/14.36	c  N dy   199     34609      7507     37326     24887     13072    165693    204016      7.37      7.86
462.58/15.29	c  N dy   225     38855      7502     37326     40615     11274    165693    165992      7.39      7.87
465.78/15.36	c Finding binary XORs  T:     0.01 s  found:     438
465.78/15.38	c Replacing      440 vars Replaced    20888 lits Time:     0.02 s 
494.52/16.26	c  N dy   252     42940      7055     37253     42363     14922    165359    264730      7.43      9.91
516.88/16.93	c  S st   279     45756      7053     37253     42371     17708    165359    340952      7.57   no data
520.07/17.08	c  S st   279     46258      7053     37253     42372     18209    165359    354125      7.57   no data
520.07/17.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
555.24/18.14	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  152 Bins:  17483 BRemL:  22651 BRemN:     75 P: 13.9M T:  1.05
555.24/18.17	c Replacing      152 vars Replaced     9541 lits Time:     0.03 s 
555.24/18.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
555.24/18.20	c bin-w-bin subsume rem         3180 bins  time:  0.01 s
558.44/18.22	c subs with bin:      221  lits-rem:       205  v-fix:    0  time:  0.02 s
558.44/18.24	c Subs w/ non-existent bins:     19 l-rem:     37 v-fix:     0 done:   6900 time:  0.03 s
558.44/18.25	c Removed useless bin:      22  fixed:     0  props:   0.43M  time:  0.01 s
561.64/18.33	c lits-rem:        22  cl-subs:     2837  v-elim:     42  v-fix:    0  time:  0.07 s
564.83/18.43	c subs with bin:      208  lits-rem:      4100  v-fix:    0  time:  0.08 s
568.03/18.52	c lits-rem:       816  cl-subs:      361  v-elim:      0  v-fix:    0  time:  0.07 s
568.03/18.54	c vivif2 --  cl tried    34243 cl shrink       76 lits rem         83 time: 0.03
568.03/18.57	c vivif2 --  cl tried    15912 cl shrink     2760 lits rem       9116 time: 0.03
606.39/19.72	c asymm  cl-useful: 0/8447/34239 lits-rem:0 time: 1.14
606.39/19.73	c calculated reachability. Time: 0.00
606.39/19.73	c  N dy   279     46258      6858     34239     29627     15904    151956    243029      7.57   no data
606.39/19.74	c Finding binary XORs  T:     0.01 s  found:       7
631.94/20.59	c  N dy   303     50271      6855     34239     42058     12225    151956    188386      7.60      8.06
638.34/20.75	c Finding binary XORs  T:     0.02 s  found:     341
638.34/20.77	c Replacing      348 vars Replaced    16665 lits Time:     0.02 s 
660.71/21.44	c  N dy   326     54399      6506     34218     40944     16108    151852    284017      7.60      8.00
692.67/22.49	c  N dy   349     58714      6505     34218     45350     20380    151852    414981      7.60      8.00
724.63/23.43	c  N dy   369     62821      6505     34218     45738     14311    151852    268364      7.60      8.02
727.83/23.54	c Finding binary XORs  T:     0.01 s  found:     265
727.83/23.56	c Replacing      265 vars Replaced    13977 lits Time:     0.02 s 
756.59/24.49	c  N dy   388     66907      6239     34209     45036     17654    151809    394449      7.60      8.41
782.18/25.25	c  S st   406     69387      6239     34209     61794     20098    151807    544484      7.64      6.70
785.96/25.36	c Finding binary XORs  T:     0.01 s  found:      98
785.96/25.39	c Replacing       98 vars Replaced     9868 lits Time:     0.02 s 
791.75/25.52	c  S st   406     69892      6137     34180     61436     20481    151674    557973      7.64   no data
791.75/25.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
824.35/26.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   9950 BRemL:  27159 BRemN:      7 P: 13.3M T:  1.04
824.35/26.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
826.91/26.60	c bin-w-bin subsume rem         6196 bins  time:  0.01 s
826.91/26.62	c subs with bin:      154  lits-rem:       121  v-fix:    0  time:  0.02 s
826.91/26.64	c Subs w/ non-existent bins:     13 l-rem:     27 v-fix:     0 done:   6137 time:  0.02 s
826.91/26.65	c Removed useless bin:      23  fixed:     0  props:   0.51M  time:  0.01 s
830.10/26.73	c lits-rem:        19  cl-subs:     3459  v-elim:     34  v-fix:    0  time:  0.07 s
836.50/26.91	c subs with bin:      362  lits-rem:      3811  v-fix:    0  time:  0.16 s
836.50/26.99	c lits-rem:       681  cl-subs:      479  v-elim:      0  v-fix:    0  time:  0.07 s
839.70/27.02	c vivif2 --  cl tried    30644 cl shrink       41 lits rem         47 time: 0.02
839.70/27.05	c vivif2 --  cl tried    16819 cl shrink     2488 lits rem      14052 time: 0.03
862.07/27.73	c asymm  cl-useful: 4/4875/30644 lits-rem:12 time: 0.68
862.07/27.74	c calculated reachability. Time: 0.00
862.07/27.74	c  N dy   406     69892      6103     30640     32431     16817    136005    261982      7.64   no data
862.07/27.76	c Finding binary XORs  T:     0.01 s  found:       5
903.63/29.05	c  N dy   425     74535      6100     30640     42063     13200    136005    172447      7.64      8.05
919.62/29.54	c Finding binary XORs  T:     0.01 s  found:     246
919.62/29.56	c Replacing      251 vars Replaced    15494 lits Time:     0.02 s 
945.18/30.34	c  N dy   455     79306      5845     30606     40370     17267    135825    354220      7.69      8.17
989.93/31.80	c  N dy   496     84388      5843     30606     42059     22309    135825    560407      7.80      8.31
1025.10/32.80	c Finding binary XORs  T:     0.01 s  found:     158
1025.10/32.81	c Replacing      158 vars Replaced    11518 lits Time:     0.01 s 
1025.10/32.87	c  F st   518     87501      5685     30601     49342     13413    135784    160409      7.86   no data
1053.86/33.75	c  N st   523     90798      5685     30601     49345     16678    135784    282940      7.86   no data
1108.19/35.44	c  N dy   555     96602      5683     30601     51406     22450    135784    516140      7.94      9.45
1152.95/36.89	c Finding binary XORs  T:     0.02 s  found:     118
1156.14/36.93	c Replacing      118 vars Replaced    13909 lits Time:     0.03 s 
1172.72/37.52	c  N dy   607    102776      5565     30592     50641     14767    135741    173643      8.06      8.54
1191.31/38.04	c  S st   619    104838      5565     30592     50643     16819    135741    281282      8.08      7.92
1197.70/38.21	c  S st   619    105340      5565     30592     55778     17317    135741    311023      8.08   no data
1197.70/38.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1223.27/39.06	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   81 Bins:   7886 BRemL:  20807 BRemN:     29 P: 11.0M T:  0.84
1223.27/39.09	c Replacing       81 vars Replaced     5278 lits Time:     0.02 s 
1226.47/39.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1226.47/39.11	c bin-w-bin subsume rem         7751 bins  time:  0.01 s
1226.47/39.13	c subs with bin:      127  lits-rem:        91  v-fix:    0  time:  0.02 s
1226.47/39.15	c Subs w/ non-existent bins:     10 l-rem:     12 v-fix:     0 done:   5481 time:  0.02 s
1226.47/39.16	c Removed useless bin:       8  fixed:     0  props:   0.34M  time:  0.01 s
1229.66/39.22	c lits-rem:         6  cl-subs:     3042  v-elim:     29  v-fix:    0  time:  0.06 s
1229.66/39.28	c subs with bin:      220  lits-rem:       816  v-fix:    0  time:  0.05 s
1232.85/39.32	c lits-rem:       146  cl-subs:      347  v-elim:      0  v-fix:    0  time:  0.03 s
1232.85/39.34	c vivif2 --  cl tried    27477 cl shrink       56 lits rem         56 time: 0.02
1232.85/39.36	c vivif2 --  cl tried    14802 cl shrink      641 lits rem       2281 time: 0.01
1267.98/40.43	c asymm  cl-useful: 189/6452/27475 lits-rem:239 time: 1.07
1267.98/40.44	c calculated reachability. Time: 0.00
1267.98/40.44	c  N dy   619    105340      5452     27473     31789     14801    121943    145980      8.08   no data
1267.98/40.46	c Finding binary XORs  T:     0.01 s  found:       6
1322.31/42.14	c Finding binary XORs  T:     0.01 s  found:     128
1322.31/42.16	c Replacing      134 vars Replaced    10124 lits Time:     0.02 s 
1325.51/42.21	c  N dy   647    112111      5306     27432     34688     19650    121685    361772      8.09     12.12
1392.63/44.31	c  N dy   702    119798      5305     27432     36864     15339    121685    169063      8.20      8.68
1418.81/45.19	c Finding binary XORs  T:     0.01 s  found:      89
1418.81/45.21	c Replacing       89 vars Replaced     7817 lits Time:     0.02 s 
1453.97/46.29	c  N dy   763    127471      5215     27418     36480     22880    121622    459680      8.33      8.77
1501.32/47.74	c Finding binary XORs  T:     0.01 s  found:      76
1501.32/47.77	c Replacing       76 vars Replaced     8876 lits Time:     0.03 s 
1536.47/48.81	c  N dy   803    135688      5136     27404     38725     28840    121544    733383      8.38     12.39
1594.62/50.64	c Finding binary XORs  T:     0.01 s  found:      79
1594.62/50.65	c Replacing       79 vars Replaced     5337 lits Time:     0.01 s 
1610.00/51.14	c  N dy   884    144391      5054     27394     41347     23565    121472    427243      8.58     14.68
1693.12/53.79	c  N dy   967    153643      5051     27394     41601     32773    121472    734407      8.77     10.52
1728.28/54.89	c  S st   987    158010      5051     27394     45090     20506    121472    279449      8.79      7.59
1731.48/54.91	c Finding binary XORs  T:     0.01 s  found:     129
1731.48/54.93	c Replacing      129 vars Replaced    11561 lits Time:     0.02 s 
1735.27/55.10	c  S st   987    158512      4921     27383     43385     20865    121393    293277      8.79   no data
1735.27/55.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1753.84/55.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1232 BRemL:  11617 BRemN:      0 P:  8.3M T:  0.56
1753.84/55.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1753.84/55.69	c bin-w-bin subsume rem         6175 bins  time:  0.01 s
1757.05/55.70	c subs with bin:       86  lits-rem:        85  v-fix:    0  time:  0.01 s
1757.05/55.72	c Subs w/ non-existent bins:      5 l-rem:      2 v-fix:     0 done:   4921 time:  0.01 s
1757.05/55.72	c Removed useless bin:       5  fixed:     0  props:   0.28M  time:  0.01 s
1757.05/55.78	c lits-rem:         9  cl-subs:     2551  v-elim:     39  v-fix:    0  time:  0.06 s
1760.25/55.83	c subs with bin:      218  lits-rem:       794  v-fix:    0  time:  0.03 s
1760.25/55.88	c lits-rem:       279  cl-subs:      603  v-elim:      0  v-fix:    0  time:  0.04 s
1760.25/55.89	c vivif2 --  cl tried    24832 cl shrink       57 lits rem         61 time: 0.02
1763.44/55.91	c vivif2 --  cl tried    17310 cl shrink      684 lits rem       1470 time: 0.02
1795.40/56.99	c asymm  cl-useful: 176/7576/24830 lits-rem:217 time: 1.08
1795.40/57.00	c calculated reachability. Time: 0.00
1795.40/57.00	c  N dy   987    158512      4882     24817     25739     17310    110135    149692      8.79   no data
1830.57/58.09	c Finding binary XORs  T:     0.01 s  found:      79
1830.57/58.10	c Replacing       79 vars Replaced     4408 lits Time:     0.01 s 
1875.91/59.47	c  N dy  1033    168728      4797     24796     27272     25701    109986    461533      8.81      9.67
1964.82/62.21	c  N dy  1106    179981      4794     24796     27913     21827    109986    316790      8.87      9.35
1999.98/63.34	c Finding binary XORs  T:     0.01 s  found:     109
1999.98/63.36	c Replacing      109 vars Replaced     9031 lits Time:     0.02 s 
2060.69/65.24	c  N dy  1161    191500      4685     24787     28657     33097    109914    653259      8.88      9.36
2102.22/66.55	c Finding binary XORs  T:     0.01 s  found:      83
2102.22/66.57	c Replacing       83 vars Replaced     5166 lits Time:     0.01 s 
2153.37/68.18	c  N dy  1220    203886      4602     24787     30905     27431    109914    407590      8.89      9.43
2198.14/69.50	c Finding binary XORs  T:     0.01 s  found:      61
2198.14/69.52	c Replacing       61 vars Replaced     6113 lits Time:     0.02 s 
2279.55/72.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
2279.55/72.51	c num threads              : 32         
2279.55/72.51	c restarts                 : 1393       
2279.55/72.51	c dynamic restarts         : 1375       
2279.55/72.51	c static restarts          : 18         
2279.55/72.51	c full restarts            : 2          
2279.55/72.51	c total simplify time      : 1.01       
2279.55/72.51	c learnts DL2              : 0          
2279.55/72.51	c learnts size 2           : 217983     
2279.55/72.51	c learnts size 1           : 1438        (16.42     % of vars)
2279.55/72.51	c filedLit time            : 2.33        (3.25      % time)
2279.55/72.51	c v-elim SatELite          : 314         (3.59      % vars)
2279.55/72.51	c SatELite time            : 0.24        (0.33      % time)
2279.55/72.51	c v-elim xor               : 0           (0.00      % vars)
2279.55/72.51	c xor elim time            : 0.02        (0.02      % time)
2279.55/72.51	c num binary xor trees     : 827        
2279.55/72.51	c binxor trees' crown      : 3625        (4.38      leafs/tree)
2279.55/72.51	c bin xor find time        : 0.31       
2279.55/72.51	c OTF clause improved      : 2039        (0.01      clauses/conflict)
2279.55/72.51	c OTF impr. size diff      : 2473        (1.21       lits/clause)
2279.55/72.51	c OTF cl watch-shrink      : 157596      (0.68      clauses/conflict)
2279.55/72.51	c OTF cl watch-sh-lit      : 860039      (5.46       lits/clause)
2279.55/72.51	c tried to recurMin cls    : 90560       (39.21      % of conflicts)
2279.55/72.51	c updated cache            : 0           (0.00       lits/tried recurMin)
2279.55/72.51	c unit cls recevied        : 172         (11.96     % of units)
2279.55/72.51	c unit cls sent            : 11          (0.76      % of units)
2279.55/72.51	c bin cls recevied         : 183783     
2279.55/72.51	c bin cls sent             : 9783       
2279.55/72.51	c clauses over max glue    : 0           (0.00      % of all clauses)
2279.55/72.51	c conflicts                : 230965      (3228.11   / sec)
2279.55/72.51	c decisions                : 500162      (1.98      % random)
2279.55/72.51	c bogo-props               : 2582900680  (36100187.84 / sec)
2279.55/72.51	c conflict literals        : 7209980     (40.15     % deleted)
2279.55/72.51	c Memory used              : 3349.15     MB
2279.55/72.51	c single-thread CPU time   : 71.55       s
2279.55/72.51	c all-threads sum CPU time : 2269.35     s
2279.55/72.51	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3400856-1307053962/watcher-3400856-1307053962 -o /tmp/evaluation-result-3400856-1307053962/solver-3400856-1307053962 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400856-1307053962.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: 25.61 27.81 26.81 1/413 9085
/proc/meminfo: memFree=263278200/264257624 swapFree=67054984/67111528
[pid=9085] ppid=9083 vsize=797976 CPUtime=0.76 cores=0-31
/proc/9085/stat : 9085 (strangenight2-m) R 9083 9085 9001 0 -1 4202496 4043 0 0 0 47 29 0 0 25 0 32 0 11308639 817127424 3906 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9085/statm: 199494 3959 322 95 0 194476 0
[pid=9085/tid=9086] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9086/stat : 9086 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 117 0 0 0 1 0 0 0 22 0 32 0 11308640 817127424 4113 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9085/tid=9087] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9087/stat : 9087 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 160 0 0 0 1 0 0 0 18 0 32 0 11308640 817127424 4197 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9085/tid=9088] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9088/stat : 9088 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 160 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 4274 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9085/tid=9089] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9089/stat : 9089 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 109 0 0 0 1 1 0 0 22 0 32 0 11308640 817127424 4334 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9085/tid=9090] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9090/stat : 9090 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 102 0 0 0 1 0 0 0 22 0 32 0 11308640 817127424 4385 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9085/tid=9091] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9091/stat : 9091 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 119 0 0 0 1 0 0 0 23 0 32 0 11308640 817127424 4446 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9085/tid=9092] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9092/stat : 9092 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 159 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 4509 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9085/tid=9093] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9093/stat : 9093 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 143 0 0 0 1 1 0 0 24 0 32 0 11308640 817127424 4587 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9085/tid=9094] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9094/stat : 9094 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 176 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 4656 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9085/tid=9095] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9095/stat : 9095 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 128 0 0 0 1 0 0 0 24 0 32 0 11308640 817127424 4701 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9085/tid=9096] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9096/stat : 9096 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 147 0 0 0 1 1 0 0 24 0 32 0 11308640 817127424 4766 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9085/tid=9097] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9097/stat : 9097 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 120 0 0 0 1 0 0 0 24 0 32 0 11308640 817127424 4822 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9085/tid=9098] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9098/stat : 9098 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 122 0 0 0 1 1 0 0 24 0 32 0 11308640 817127424 4871 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9085/tid=9099] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9099/stat : 9099 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 112 0 0 0 1 1 0 0 24 0 32 0 11308640 817127424 4938 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9085/tid=9100] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9100/stat : 9100 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 146 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5003 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9085/tid=9101] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9101/stat : 9101 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 183 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 5064 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9085/tid=9102] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9102/stat : 9102 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 149 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5108 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9085/tid=9103] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9103/stat : 9103 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 125 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5151 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9085/tid=9104] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9104/stat : 9104 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 169 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5213 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9085/tid=9105] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9105/stat : 9105 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 165 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 5274 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9085/tid=9106] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9106/stat : 9106 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 144 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5352 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9085/tid=9107] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9107/stat : 9107 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 174 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5414 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9085/tid=9108] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9108/stat : 9108 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 192 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5456 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9085/tid=9109] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9109/stat : 9109 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 135 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5506 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9085/tid=9110] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9110/stat : 9110 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 167 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5564 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9085/tid=9111] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9111/stat : 9111 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 176 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5634 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9085/tid=9112] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9112/stat : 9112 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 154 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5679 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9085/tid=9113] ppid=9083 vsize=797976 CPUtime=0.01 cores=0-31
/proc/9085/task/9113/stat : 9113 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 200 0 0 0 0 1 0 0 25 0 32 0 11308640 817127424 5752 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9085/tid=9114] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9114/stat : 9114 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 147 0 0 0 1 1 0 0 25 0 32 0 11308640 817127424 5833 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9085/tid=9115] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9115/stat : 9115 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 214 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 5903 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9085/tid=9116] ppid=9083 vsize=797976 CPUtime=0.02 cores=0-31
/proc/9085/task/9116/stat : 9116 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 222 0 0 0 1 1 0 0 18 0 32 0 11308640 817127424 5995 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.129837 s]
/proc/loadavg: 25.61 27.81 26.81 1/413 9085
/proc/meminfo: memFree=263278200/264257624 swapFree=67054984/67111528
[pid=9085] ppid=9083 vsize=1273032 CPUtime=1.79 cores=0-31
/proc/9085/stat : 9085 (strangenight2-m) D 9083 9085 9001 0 -1 4202496 18113 0 0 0 58 121 0 0 17 0 32 0 11308639 1303584768 17076 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9085/statm: 318258 17077 331 95 0 313240 0
[pid=9085/tid=9086] ppid=9083 vsize=1273032 CPUtime=0.05 cores=0-31
/proc/9085/task/9086/stat : 9086 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 610 0 0 0 1 4 0 0 22 0 32 0 11308640 1303584768 17084 268435456000 4194304 4580107 140736419455776 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9085/tid=9087] ppid=9083 vsize=1273032 CPUtime=0.05 cores=0-31
/proc/9085/task/9087/stat : 9087 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 645 0 0 0 2 3 0 0 17 0 32 0 11308640 1303584768 17106 268435456000 4194304 4580107 140736419455776 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9085/tid=9088] ppid=9083 vsize=1273032 CPUtime=0.04 cores=0-31
/proc/9085/task/9088/stat : 9088 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 585 0 0 0 1 3 0 0 17 0 32 0 11308640 1303584768 17133 268435456000 4194304 4580107 140736419455776 18446744073709551615 4307480 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9085/tid=9089] ppid=9083 vsize=1273032 CPUtime=0.04 cores=0-31
/proc/9085/task/9089/stat : 9089 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 421 0 0 0 1 3 0 0 17 0 32 0 11308640 1303584768 17133 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744071566927664 0 0 -1 0 0 0 0
[pid=9085/tid=9090] ppid=9083 vsize=1273548 CPUtime=0.04 cores=0-31
/proc/9085/task/9090/stat : 9090 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 508 0 0 0 1 3 0 0 22 0 32 0 11308640 1304113152 17138 268435456000 4194304 4580107 140736419455776 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9085/tid=9091] ppid=9083 vsize=1273548 CPUtime=0.05 cores=0-31
/proc/9085/task/9091/stat : 9091 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 561 0 0 0 1 4 0 0 22 0 32 0 11308640 1304113152 17140 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9085/tid=9092] ppid=9083 vsize=1273548 CPUtime=0.06 cores=0-31
/proc/9085/task/9092/stat : 9092 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 709 0 0 0 2 4 0 0 17 0 32 0 11308640 1304113152 17149 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9085/tid=9093] ppid=9083 vsize=1273548 CPUtime=0.04 cores=0-31
/proc/9085/task/9093/stat : 9093 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 715 0 0 0 1 3 0 0 17 0 32 0 11308640 1304113152 17149 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9085/tid=9094] ppid=9083 vsize=1273740 CPUtime=0.03 cores=0-31
/proc/9085/task/9094/stat : 9094 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 302 0 0 0 1 2 0 0 17 0 32 0 11308640 1304309760 17158 268435456000 4194304 4580107 140736419455776 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9085/tid=9095] ppid=9083 vsize=1273932 CPUtime=0.06 cores=0-31
/proc/9085/task/9095/stat : 9095 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 680 0 0 0 2 4 0 0 17 0 32 0 11308640 1304506368 17171 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9085/tid=9096] ppid=9083 vsize=1273932 CPUtime=0.05 cores=0-31
/proc/9085/task/9096/stat : 9096 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 701 0 0 0 1 4 0 0 17 0 32 0 11308640 1304506368 17191 268435456000 4194304 4580107 140736419455776 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9085/tid=9097] ppid=9083 vsize=1273932 CPUtime=0.04 cores=0-31
/proc/9085/task/9097/stat : 9097 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 481 0 0 0 1 3 0 0 17 0 32 0 11308640 1304506368 17203 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9085/tid=9098] ppid=9083 vsize=1273932 CPUtime=0.05 cores=0-31
/proc/9085/task/9098/stat : 9098 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 689 0 0 0 1 4 0 0 18 0 32 0 11308640 1304506368 17203 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9085/tid=9099] ppid=9083 vsize=1274124 CPUtime=0.05 cores=0-31
/proc/9085/task/9099/stat : 9099 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 543 0 0 0 2 3 0 0 17 0 32 0 11308640 1304702976 17215 268435456000 4194304 4580107 140736419455776 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9085/tid=9100] ppid=9083 vsize=1274124 CPUtime=0.05 cores=0-31
/proc/9085/task/9100/stat : 9100 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 484 0 0 0 1 4 0 0 17 0 32 0 11308640 1304702976 17238 268435456000 4194304 4580107 140736419455776 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9085/tid=9101] ppid=9083 vsize=1274124 CPUtime=0.04 cores=0-31
/proc/9085/task/9101/stat : 9101 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 598 0 0 0 1 3 0 0 17 0 32 0 11308640 1304702976 17238 268435456000 4194304 4580107 140736419455776 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9085/tid=9102] ppid=9083 vsize=1274316 CPUtime=0.05 cores=0-31
/proc/9085/task/9102/stat : 9102 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 541 0 0 0 2 3 0 0 17 0 32 0 11308640 1304899584 17243 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9085/tid=9103] ppid=9083 vsize=1274316 CPUtime=0.04 cores=0-31
/proc/9085/task/9103/stat : 9103 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 562 0 0 0 1 3 0 0 17 0 32 0 11308640 1304899584 17258 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9085/tid=9104] ppid=9083 vsize=1274316 CPUtime=0.07 cores=0-31
/proc/9085/task/9104/stat : 9104 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 754 0 0 0 2 5 0 0 18 0 32 0 11308640 1304899584 17308 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9085/tid=9105] ppid=9083 vsize=1274316 CPUtime=0.05 cores=0-31
/proc/9085/task/9105/stat : 9105 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 720 0 0 0 2 3 0 0 17 0 32 0 11308640 1304899584 17329 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9085/tid=9106] ppid=9083 vsize=1274508 CPUtime=0.04 cores=0-31
/proc/9085/task/9106/stat : 9106 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 424 0 0 0 1 3 0 0 17 0 32 0 11308640 1305096192 17330 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604497485258208 0 0 -1 21 0 0 0
[pid=9085/tid=9107] ppid=9083 vsize=1274508 CPUtime=0.04 cores=0-31
/proc/9085/task/9107/stat : 9107 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 479 0 0 0 1 3 0 0 17 0 32 0 11308640 1305096192 17333 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744071566924344 0 0 -1 22 0 0 0
[pid=9085/tid=9108] ppid=9083 vsize=1274508 CPUtime=0.04 cores=0-31
/proc/9085/task/9108/stat : 9108 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 549 0 0 0 1 3 0 0 17 0 32 0 11308640 1305096192 17344 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9085/tid=9109] ppid=9083 vsize=1274508 CPUtime=0.06 cores=0-31
/proc/9085/task/9109/stat : 9109 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 561 0 0 0 2 4 0 0 17 0 32 0 11308640 1305096192 17349 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744071566930104 0 0 -1 25 0 0 0
[pid=9085/tid=9110] ppid=9083 vsize=1274508 CPUtime=0.04 cores=0-31
/proc/9085/task/9110/stat : 9110 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 572 0 0 0 1 3 0 0 17 0 32 0 11308640 1305096192 17372 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744071566925944 0 0 -1 26 0 0 0
[pid=9085/tid=9111] ppid=9083 vsize=1274508 CPUtime=0.03 cores=0-31
/proc/9085/task/9111/stat : 9111 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 338 0 0 0 1 2 0 0 17 0 32 0 11308640 1305096192 17423 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604503578107360 0 0 -1 23 0 0 0
[pid=9085/tid=9112] ppid=9083 vsize=1274508 CPUtime=0.05 cores=0-31
/proc/9085/task/9112/stat : 9112 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 597 0 0 0 1 4 0 0 17 0 32 0 11308640 1305096192 17432 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9085/tid=9113] ppid=9083 vsize=1274508 CPUtime=0.02 cores=0-31
/proc/9085/task/9113/stat : 9113 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 370 0 0 0 0 2 0 0 17 0 32 0 11308640 1305096192 17432 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744071566925944 0 0 -1 4 0 0 0
[pid=9085/tid=9114] ppid=9083 vsize=1274508 CPUtime=0.05 cores=0-31
/proc/9085/task/9114/stat : 9114 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 652 0 0 0 1 4 0 0 17 0 32 0 11308640 1305096192 17450 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9085/tid=9115] ppid=9083 vsize=1274508 CPUtime=0.04 cores=0-31
/proc/9085/task/9115/stat : 9115 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 462 0 0 0 1 3 0 0 17 0 32 0 11308640 1305096192 17476 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9085/tid=9116] ppid=9083 vsize=1274508 CPUtime=0.04 cores=0-31
/proc/9085/task/9116/stat : 9116 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 674 0 0 0 1 3 0 0 17 0 32 0 11308640 1305096192 17504 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 1273032

[startup+0.203851 s]
/proc/loadavg: 25.61 27.81 26.81 1/413 9085
/proc/meminfo: memFree=263278200/264257624 swapFree=67054984/67111528
[pid=9085] ppid=9083 vsize=1347936 CPUtime=2.67 cores=0-31
/proc/9085/stat : 9085 (strangenight2-m) S 9083 9085 9001 0 -1 4202496 31654 0 0 0 70 197 0 0 17 0 32 0 11308639 1380286464 27452 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9085/statm: 339292 27464 337 95 0 334274 0
[pid=9085/tid=9086] ppid=9083 vsize=1357168 CPUtime=0.08 cores=0-31
/proc/9085/task/9086/stat : 9086 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 1112 0 0 0 2 6 0 0 17 0 32 0 11308640 1389740032 27477 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9085/tid=9087] ppid=9083 vsize=1357168 CPUtime=0.07 cores=0-31
/proc/9085/task/9087/stat : 9087 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 951 0 0 0 2 5 0 0 17 0 32 0 11308640 1389740032 27500 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9085/tid=9088] ppid=9083 vsize=1357168 CPUtime=0.08 cores=0-31
/proc/9085/task/9088/stat : 9088 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 1032 0 0 0 2 6 0 0 17 0 32 0 11308640 1389740032 27528 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604498135916000 0 0 -1 20 0 0 0
[pid=9085/tid=9089] ppid=9083 vsize=1357168 CPUtime=0.07 cores=0-31
/proc/9085/task/9089/stat : 9089 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 682 0 0 0 2 5 0 0 17 0 32 0 11308640 1389740032 27531 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604460261596640 0 0 -1 0 0 0 0
[pid=9085/tid=9090] ppid=9083 vsize=1357168 CPUtime=0.08 cores=0-31
/proc/9085/task/9090/stat : 9090 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 896 0 0 0 2 6 0 0 18 0 32 0 11308640 1389740032 27535 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9085/tid=9091] ppid=9083 vsize=1356652 CPUtime=0.08 cores=0-31
/proc/9085/task/9091/stat : 9091 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 1000 0 0 0 1 7 0 0 17 0 32 0 11308640 1389211648 27406 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9085/tid=9092] ppid=9083 vsize=1356652 CPUtime=0.09 cores=0-31
/proc/9085/task/9092/stat : 9092 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 1224 0 0 0 2 7 0 0 17 0 32 0 11308640 1389211648 27418 268435456000 4194304 4580107 140736419455776 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9085/tid=9093] ppid=9083 vsize=1356652 CPUtime=0.08 cores=0-31
/proc/9085/task/9093/stat : 9093 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 1230 0 0 0 2 6 0 0 17 0 32 0 11308640 1389211648 27440 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604499831471584 0 0 -1 3 0 0 0
[pid=9085/tid=9094] ppid=9083 vsize=1356652 CPUtime=0.03 cores=0-31
/proc/9085/task/9094/stat : 9094 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 302 0 0 0 1 2 0 0 16 0 32 0 11308640 1389211648 27474 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 9 0 0 0
[pid=9085/tid=9095] ppid=9083 vsize=1356652 CPUtime=0.1 cores=0-31
/proc/9085/task/9095/stat : 9095 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 1203 0 0 0 3 7 0 0 17 0 32 0 11308640 1389211648 27474 268435456000 4194304 4580107 140736419455776 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9085/tid=9096] ppid=9083 vsize=1356652 CPUtime=0.08 cores=0-31
/proc/9085/task/9096/stat : 9096 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 1149 0 0 0 2 6 0 0 17 0 32 0 11308640 1389211648 27345 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604461963722208 0 0 -1 7 0 0 0
[pid=9085/tid=9097] ppid=9083 vsize=1356136 CPUtime=0.07 cores=0-31
/proc/9085/task/9097/stat : 9097 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 721 0 0 0 2 5 0 0 17 0 32 0 11308640 1388683264 27345 268435456000 4194304 4580107 140736419455776 18446744073709551615 258651060958 0 0 4096 2 18446604562676342240 0 0 -1 8 0 0 0
[pid=9085/tid=9098] ppid=9083 vsize=1356136 CPUtime=0.09 cores=0-31
/proc/9085/task/9098/stat : 9098 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 1205 0 0 0 2 7 0 0 18 0 32 0 11308640 1388683264 27357 268435456000 4194304 4580107 140736419455776 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9085/tid=9099] ppid=9083 vsize=1356136 CPUtime=0.08 cores=0-31
/proc/9085/task/9099/stat : 9099 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 1090 0 0 0 2 6 0 0 17 0 32 0 11308640 1388683264 27357 268435456000 4194304 4580107 140736419455776 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9085/tid=9100] ppid=9083 vsize=1356136 CPUtime=0.07 cores=0-31
/proc/9085/task/9100/stat : 9100 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 1003 0 0 0 1 6 0 0 17 0 32 0 11308640 1388683264 27228 268435456000 4194304 4580107 140736419455776 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9085/tid=9101] ppid=9083 vsize=1355620 CPUtime=0.07 cores=0-31
/proc/9085/task/9101/stat : 9101 (strangenight2-m) D 9083 9085 9001 0 -1 4202560 1181 0 0 0 1 6 0 0 17 0 32 0 11308640 1388154880 27232 268435456000 4194304 4580107 140736419455776 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9085/tid=9102] ppid=9083 vsize=1355620 CPUtime=0.07 cores=0-31

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

/proc/9085/task/9108/stat : 9108 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17717 0 0 0 6934 30 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9085/tid=9109] ppid=9083 vsize=3429524 CPUtime=69.7 cores=0-31
/proc/9085/task/9109/stat : 9109 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18532 0 0 0 6939 31 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9085/tid=9110] ppid=9083 vsize=3429524 CPUtime=69.54 cores=0-31
/proc/9085/task/9110/stat : 9110 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15584 0 0 0 6913 41 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9085/tid=9111] ppid=9083 vsize=3429524 CPUtime=69.63 cores=0-31
/proc/9085/task/9111/stat : 9111 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17987 0 0 0 6934 29 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4330262 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9085/tid=9112] ppid=9083 vsize=3429524 CPUtime=69.61 cores=0-31
/proc/9085/task/9112/stat : 9112 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16565 0 0 0 6931 30 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9085/tid=9113] ppid=9083 vsize=3429524 CPUtime=69.58 cores=0-31
/proc/9085/task/9113/stat : 9113 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17682 0 0 0 6928 30 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9085/tid=9114] ppid=9083 vsize=3429524 CPUtime=69.58 cores=0-31
/proc/9085/task/9114/stat : 9114 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17387 0 0 0 6920 38 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9085/tid=9115] ppid=9083 vsize=3429524 CPUtime=69.64 cores=0-31
/proc/9085/task/9115/stat : 9115 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17336 0 0 0 6929 35 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9085/tid=9116] ppid=9083 vsize=3429524 CPUtime=69.88 cores=0-31
/proc/9085/task/9116/stat : 9116 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15531 0 0 0 6969 19 0 0 25 0 32 0 11308640 3511832576 287825 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2227.48
Current children cumulated vsize (KiB) 3429524

[startup+72.0016 s]
/proc/loadavg: 30.14 28.73 27.20 33/445 9119
/proc/meminfo: memFree=262128804/264257624 swapFree=67054984/67111528
[pid=9085] ppid=9083 vsize=3429524 CPUtime=2278.04 cores=0-31
/proc/9085/stat : 9085 (strangenight2-m) R 9083 9085 9001 0 -1 4202496 550224 0 0 0 226781 1023 0 0 25 0 32 0 11308639 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9085/statm: 857381 291321 378 95 0 852363 0
[pid=9085/tid=9086] ppid=9083 vsize=3429524 CPUtime=71.33 cores=0-31
/proc/9085/task/9086/stat : 9086 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18102 0 0 0 7106 27 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717975 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9085/tid=9087] ppid=9083 vsize=3429524 CPUtime=71.12 cores=0-31
/proc/9085/task/9087/stat : 9087 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 14903 0 0 0 7080 32 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9085/tid=9088] ppid=9083 vsize=3429524 CPUtime=71.24 cores=0-31
/proc/9085/task/9088/stat : 9088 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16556 0 0 0 7095 29 0 0 22 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9085/tid=9089] ppid=9083 vsize=3429524 CPUtime=71.36 cores=0-31
/proc/9085/task/9089/stat : 9089 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 14812 0 0 0 7111 25 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717975 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9085/tid=9090] ppid=9083 vsize=3429524 CPUtime=71.21 cores=0-31
/proc/9085/task/9090/stat : 9090 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17983 0 0 0 7091 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717975 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9085/tid=9091] ppid=9083 vsize=3429524 CPUtime=71.17 cores=0-31
/proc/9085/task/9091/stat : 9091 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15408 0 0 0 7083 34 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9085/tid=9092] ppid=9083 vsize=3429524 CPUtime=71.32 cores=0-31
/proc/9085/task/9092/stat : 9092 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16919 0 0 0 7101 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9085/tid=9093] ppid=9083 vsize=3429524 CPUtime=71.34 cores=0-31
/proc/9085/task/9093/stat : 9093 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17031 0 0 0 7103 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182693419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9085/tid=9094] ppid=9083 vsize=3429524 CPUtime=71.19 cores=0-31
/proc/9085/task/9094/stat : 9094 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16095 0 0 0 7092 27 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9085/tid=9095] ppid=9083 vsize=3429524 CPUtime=71.37 cores=0-31
/proc/9085/task/9095/stat : 9095 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 20469 0 0 0 7104 33 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9085/tid=9096] ppid=9083 vsize=3429524 CPUtime=71.32 cores=0-31
/proc/9085/task/9096/stat : 9096 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18512 0 0 0 7102 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9085/tid=9097] ppid=9083 vsize=3429524 CPUtime=71.15 cores=0-31
/proc/9085/task/9097/stat : 9097 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16949 0 0 0 7076 39 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717975 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9085/tid=9098] ppid=9083 vsize=3429524 CPUtime=71.36 cores=0-31
/proc/9085/task/9098/stat : 9098 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18457 0 0 0 7107 29 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9085/tid=9099] ppid=9083 vsize=3429524 CPUtime=71.33 cores=0-31
/proc/9085/task/9099/stat : 9099 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 19486 0 0 0 7104 29 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9085/tid=9100] ppid=9083 vsize=3429524 CPUtime=70.74 cores=0-31
/proc/9085/task/9100/stat : 9100 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18290 0 0 0 7041 33 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9085/tid=9101] ppid=9083 vsize=3429524 CPUtime=71.2 cores=0-31
/proc/9085/task/9101/stat : 9101 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15720 0 0 0 7088 32 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9085/tid=9102] ppid=9083 vsize=3429524 CPUtime=71.23 cores=0-31
/proc/9085/task/9102/stat : 9102 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15770 0 0 0 7090 33 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9085/tid=9103] ppid=9083 vsize=3429524 CPUtime=71.3 cores=0-31
/proc/9085/task/9103/stat : 9103 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18235 0 0 0 7102 28 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717975 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9085/tid=9104] ppid=9083 vsize=3429524 CPUtime=71.28 cores=0-31
/proc/9085/task/9104/stat : 9104 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17657 0 0 0 7093 35 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9085/tid=9105] ppid=9083 vsize=3429524 CPUtime=71.34 cores=0-31
/proc/9085/task/9105/stat : 9105 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 19029 0 0 0 7104 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9085/tid=9106] ppid=9083 vsize=3429524 CPUtime=69.67 cores=0-31
/proc/9085/task/9106/stat : 9106 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15622 0 0 0 6936 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9085/tid=9107] ppid=9083 vsize=3429524 CPUtime=71.08 cores=0-31
/proc/9085/task/9107/stat : 9107 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17834 0 0 0 7068 40 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9085/tid=9108] ppid=9083 vsize=3429524 CPUtime=71.22 cores=0-31
/proc/9085/task/9108/stat : 9108 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17722 0 0 0 7092 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9085/tid=9109] ppid=9083 vsize=3429524 CPUtime=71.28 cores=0-31
/proc/9085/task/9109/stat : 9109 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 18532 0 0 0 7097 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9085/tid=9110] ppid=9083 vsize=3429524 CPUtime=71.12 cores=0-31
/proc/9085/task/9110/stat : 9110 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16669 0 0 0 7070 42 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9085/tid=9111] ppid=9083 vsize=3429524 CPUtime=71.21 cores=0-31
/proc/9085/task/9111/stat : 9111 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 19030 0 0 0 7092 29 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9085/tid=9112] ppid=9083 vsize=3429524 CPUtime=71.19 cores=0-31
/proc/9085/task/9112/stat : 9112 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 16644 0 0 0 7089 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717971 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9085/tid=9113] ppid=9083 vsize=3429524 CPUtime=71.16 cores=0-31
/proc/9085/task/9113/stat : 9113 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17756 0 0 0 7086 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9085/tid=9114] ppid=9083 vsize=3429524 CPUtime=71.15 cores=0-31
/proc/9085/task/9114/stat : 9114 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17446 0 0 0 7077 38 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9085/tid=9115] ppid=9083 vsize=3429524 CPUtime=71.22 cores=0-31
/proc/9085/task/9115/stat : 9115 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17350 0 0 0 7087 35 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717981 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9085/tid=9116] ppid=9083 vsize=3429524 CPUtime=71.46 cores=0-31
/proc/9085/task/9116/stat : 9116 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 15601 0 0 0 7127 19 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182717977 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2278.04
Current children cumulated vsize (KiB) 3429524

[startup+72.4018 s]
/proc/loadavg: 30.14 28.73 27.20 33/445 9119
/proc/meminfo: memFree=262128804/264257624 swapFree=67054984/67111528
[pid=9085] ppid=9083 vsize=3429524 CPUtime=2279.35 cores=0-31
/proc/9085/stat : 9085 (strangenight2-m) S 9083 9085 9001 0 -1 4202496 550224 0 0 0 226912 1023 0 0 25 0 32 0 11308639 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9085/statm: 857381 291321 378 95 0 852363 0
[pid=9085/tid=9086] ppid=9083 vsize=3429524 CPUtime=71.33 cores=0-31
/proc/9085/task/9086/stat : 9086 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 18102 0 0 0 7106 27 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604484581342688 0 0 -1 29 0 0 0
[pid=9085/tid=9087] ppid=9083 vsize=3429524 CPUtime=71.13 cores=0-31
/proc/9085/task/9087/stat : 9087 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 14903 0 0 0 7081 32 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604504522857952 0 0 -1 22 0 0 0
[pid=9085/tid=9088] ppid=9083 vsize=3429524 CPUtime=71.24 cores=0-31
/proc/9085/task/9088/stat : 9088 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 16556 0 0 0 7095 29 0 0 22 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604468418870752 0 0 -1 2 0 0 0
[pid=9085/tid=9089] ppid=9083 vsize=3429524 CPUtime=71.36 cores=0-31
/proc/9085/task/9089/stat : 9089 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 14812 0 0 0 7111 25 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446744071566932144 0 0 -1 28 0 0 0
[pid=9085/tid=9090] ppid=9083 vsize=3429524 CPUtime=71.22 cores=0-31
/proc/9085/task/9090/stat : 9090 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17983 0 0 0 7092 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604505659940320 0 0 -1 8 0 0 0
[pid=9085/tid=9091] ppid=9083 vsize=3429524 CPUtime=71.18 cores=0-31
/proc/9085/task/9091/stat : 9091 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 15408 0 0 0 7084 34 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604483965918688 0 0 -1 5 0 0 0
[pid=9085/tid=9092] ppid=9083 vsize=3429524 CPUtime=71.33 cores=0-31
/proc/9085/task/9092/stat : 9092 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 16919 0 0 0 7102 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604501135924704 0 0 -1 6 0 0 0
[pid=9085/tid=9093] ppid=9083 vsize=3429524 CPUtime=71.74 cores=0-31
/proc/9085/task/9093/stat : 9093 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 17031 0 0 0 7143 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9085/tid=9094] ppid=9083 vsize=3429524 CPUtime=71.2 cores=0-31
/proc/9085/task/9094/stat : 9094 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 16095 0 0 0 7093 27 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604500625743328 0 0 -1 9 0 0 0
[pid=9085/tid=9095] ppid=9083 vsize=3429524 CPUtime=71.41 cores=0-31
/proc/9085/task/9095/stat : 9095 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 20469 0 0 0 7108 33 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604499831471584 0 0 -1 28 0 0 0
[pid=9085/tid=9096] ppid=9083 vsize=3429524 CPUtime=71.33 cores=0-31
/proc/9085/task/9096/stat : 9096 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 18512 0 0 0 7103 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604474953637344 0 0 -1 19 0 0 0
[pid=9085/tid=9097] ppid=9083 vsize=3429524 CPUtime=71.15 cores=0-31
/proc/9085/task/9097/stat : 9097 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 16949 0 0 0 7076 39 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604500558421472 0 0 -1 21 0 0 0
[pid=9085/tid=9098] ppid=9083 vsize=3429524 CPUtime=71.36 cores=0-31
/proc/9085/task/9098/stat : 9098 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 18457 0 0 0 7107 29 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604501839846880 0 0 -1 12 0 0 0
[pid=9085/tid=9099] ppid=9083 vsize=3429524 CPUtime=71.34 cores=0-31
/proc/9085/task/9099/stat : 9099 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 19486 0 0 0 7105 29 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604562676342240 0 0 -1 4 0 0 0
[pid=9085/tid=9100] ppid=9083 vsize=3429524 CPUtime=70.75 cores=0-31
/proc/9085/task/9100/stat : 9100 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 18290 0 0 0 7042 33 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604461963722208 0 0 -1 25 0 0 0
[pid=9085/tid=9101] ppid=9083 vsize=3429524 CPUtime=71.2 cores=0-31
/proc/9085/task/9101/stat : 9101 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 15720 0 0 0 7088 32 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604503578107360 0 0 -1 30 0 0 0
[pid=9085/tid=9102] ppid=9083 vsize=3429524 CPUtime=71.24 cores=0-31
/proc/9085/task/9102/stat : 9102 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 15770 0 0 0 7091 33 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604506189536736 0 0 -1 27 0 0 0
[pid=9085/tid=9103] ppid=9083 vsize=3429524 CPUtime=71.3 cores=0-31
/proc/9085/task/9103/stat : 9103 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 18235 0 0 0 7102 28 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604498135916000 0 0 -1 17 0 0 0
[pid=9085/tid=9104] ppid=9083 vsize=3429524 CPUtime=71.28 cores=0-31
/proc/9085/task/9104/stat : 9104 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17657 0 0 0 7093 35 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604468073266656 0 0 -1 18 0 0 0
[pid=9085/tid=9105] ppid=9083 vsize=3429524 CPUtime=71.34 cores=0-31
/proc/9085/task/9105/stat : 9105 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 19029 0 0 0 7104 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604505835347424 0 0 -1 15 0 0 0
[pid=9085/tid=9106] ppid=9083 vsize=3429524 CPUtime=69.68 cores=0-31
/proc/9085/task/9106/stat : 9106 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 15622 0 0 0 6937 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604497485258208 0 0 -1 31 0 0 0
[pid=9085/tid=9107] ppid=9083 vsize=3429524 CPUtime=71.08 cores=0-31
/proc/9085/task/9107/stat : 9107 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17834 0 0 0 7068 40 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604505304399328 0 0 -1 20 0 0 0
[pid=9085/tid=9108] ppid=9083 vsize=3429524 CPUtime=71.22 cores=0-31
/proc/9085/task/9108/stat : 9108 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17722 0 0 0 7092 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604463275490784 0 0 -1 3 0 0 0
[pid=9085/tid=9109] ppid=9083 vsize=3429524 CPUtime=71.28 cores=0-31
/proc/9085/task/9109/stat : 9109 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 18532 0 0 0 7097 31 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604499201687008 0 0 -1 1 0 0 0
[pid=9085/tid=9110] ppid=9083 vsize=3429524 CPUtime=71.46 cores=0-31
/proc/9085/task/9110/stat : 9110 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 16669 0 0 0 7104 42 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604503913848288 0 0 -1 11 0 0 0
[pid=9085/tid=9111] ppid=9083 vsize=3429524 CPUtime=71.61 cores=0-31
/proc/9085/task/9111/stat : 9111 (strangenight2-m) R 9083 9085 9001 0 -1 4202560 19030 0 0 0 7132 29 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9085/tid=9112] ppid=9083 vsize=3429524 CPUtime=71.2 cores=0-31
/proc/9085/task/9112/stat : 9112 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 16644 0 0 0 7090 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604450803719648 0 0 -1 24 0 0 0
[pid=9085/tid=9113] ppid=9083 vsize=3429524 CPUtime=71.17 cores=0-31
/proc/9085/task/9113/stat : 9113 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17756 0 0 0 7087 30 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604483965910496 0 0 -1 0 0 0 0
[pid=9085/tid=9114] ppid=9083 vsize=3429524 CPUtime=71.16 cores=0-31
/proc/9085/task/9114/stat : 9114 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17446 0 0 0 7078 38 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604501182463456 0 0 -1 13 0 0 0
[pid=9085/tid=9115] ppid=9083 vsize=3429524 CPUtime=71.22 cores=0-31
/proc/9085/task/9115/stat : 9115 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 17350 0 0 0 7087 35 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604481266589152 0 0 -1 14 0 0 0
[pid=9085/tid=9116] ppid=9083 vsize=3429524 CPUtime=71.47 cores=0-31
/proc/9085/task/9116/stat : 9116 (strangenight2-m) S 9083 9085 9001 0 -1 4202560 15601 0 0 0 7128 19 0 0 25 0 32 0 11308640 3511832576 291321 268435456000 4194304 4580107 140736419455776 18446744073709551615 47204182718004 0 0 4096 2 18446604503000669664 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2279.35
Current children cumulated vsize (KiB) 3429524

[startup+72.6018 s]
/proc/loadavg: 30.14 28.73 27.20 2/415 9119
/proc/meminfo: memFree=263233144/264257624 swapFree=67054984/67111528
[pid=9085] ppid=9083 vsize=0 CPUtime=2279.67 cores=0-31
/proc/9085/stat : 9085 (strangenight2-m) Z 9083 9085 9001 0 -1 4203548 550228 0 0 0 226935 1032 0 0 20 0 1 0 11308639 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9085/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2279.67
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 72.6378
CPU time (s): 2279.68
CPU user time (s): 2269.36
CPU system time (s): 10.3274
CPU usage (%): 3138.42
Max. virtual memory (cumulated for all children) (KiB): 3495420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2269.36
system time used= 10.3274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550228
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= 284175
involuntary context switches= 16640

runsolver used 0.494924 second user time and 1.66075 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 00:32:43
IDJOB=3400856
IDBENCH=84211
IDSOLVER=1886
FILE ID=node200/3400856-1307053962
RUNJOBID= node200-1307053925-9015
PBS_JOBID= 13497761
Free space on /tmp= 61744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400856-1307053962/watcher-3400856-1307053962 -o /tmp/evaluation-result-3400856-1307053962/solver-3400856-1307053962 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400856-1307053962.cnf

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

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=1207942935

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:      263278612 kB
Buffers:         36864 kB
Cached:         772296 kB
SwapCached:       7848 kB
Active:          74316 kB
Inactive:       752840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263278612 kB
SwapTotal:    67111528 kB
SwapFree:     67054984 kB
Dirty:            6472 kB
Writeback:          12 kB
AnonPages:       14344 kB
Mapped:           8812 kB
Slab:            52852 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   188000 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 00:33:55