Trace number 3400663

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 10303 340.839

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor064.cnf
MD5SUM902b28046d424b16042ca612ddad48e0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10303
Satisfiable
(Un)Satisfiability was proved
Number of variables51064
Number of clauses152039
Sum of the clauses size354755
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2101358
Number of clauses of size 350679
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
2.88/0.13	c This is CryptoMiniSat 3.0.0
2.88/0.13	c WARNING: for repeatability, setting FPU to use double precision
2.88/0.13	c Reading file 'HOME/instance-3400663-1306313087.cnf'
2.88/0.16	c -- header says num vars:          51064
2.88/0.16	c -- header says num clauses:      152039
23.57/1.49	c -- clauses added:            0 learnts,       152039 normals,            0 xors
23.57/1.49	c -- vars added      51064
23.57/1.49	c Parsing time:  0.23 s
23.57/1.49	c  N st     0         0     51064     50679    101358         0    354753         0   no data   no data
101.88/3.96	c asymm  cl-useful: 0/6338/50662 lits-rem:0 time: 2.46
1076.75/43.11	c Flit:     6 Blit:    123 bXBeca:    0 bXProp:  125 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 29.26
1076.75/43.11	c Cleaning up after failed var search:     0.00 s 
1076.75/43.15	c Replacing      125 vars Replaced     2382 lits Time:     0.04 s 
1076.75/43.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1079.92/43.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1079.92/43.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1107.46/44.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50792 time:  0.95 s
1115.71/44.52	c Removed useless bin:      58  fixed:     0  props:  20.00M  time:  0.29 s
1141.85/45.59	c lits-rem:         0  cl-subs:      396  v-elim:  16930  v-fix:    0  time:  0.53 s
1160.86/46.16	c Finding binary XORs  T:     0.57 s  found:       0
1160.86/46.21	c Finding non-binary XORs:     0.03 s (found:    2023, avg size: 3.0)
1160.86/46.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1166.61/46.34	c calculated reachability. Time: 0.13
1166.61/46.36	c Calc default polars -  time:   0.01 s pos:     638 undec:   20518 neg:   29908
1166.61/46.36	c =========================================================================================
1166.61/46.36	c types(t): F = full restart, N = normal restart
1166.61/46.36	c types(t): S = simplification begin/end, E = solution found
1166.61/46.36	c restart types(rt): st = static, dy = dynamic
1166.61/46.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1166.61/46.36	c  B st     0         0     33862     45402     62791         0    293139         0   no data   no data
1262.48/49.37	c  N dy     9      4998     33861     45402     62867      4871    293139    301362     15.25     16.10
1358.30/52.39	c  N dy    16     10202     33860     45402     68178      5792    293139    310649     12.58     13.93
1371.69/52.72	c Finding binary XORs  T:     0.31 s  found:     847
1371.69/52.75	c Replacing      847 vars Replaced    19532 lits Time:     0.03 s 
1428.62/54.55	c  N dy    26     14943     33008     43515     66502     10112    287442    444065     11.42     12.79
1508.53/57.05	c  N dy    45     19336     32999     43515     70066      7898    287442    195527     11.29     12.04
1553.26/58.46	c Finding binary XORs  T:     0.32 s  found:    1003
1553.26/58.49	c Replacing     1003 vars Replaced    31744 lits Time:     0.04 s 
1582.67/59.40	c  N dy    66     23406     31991     41575     70676     11066    281539    323082     11.59     14.39
1604.41/60.04	c  F st    69     25000     31991     41575     70711     12614    281539    365589     11.53      5.35
1652.95/61.57	c  N st    74     28296     31991     41575     70730     15864    281539    513393     11.53   no data
1684.32/62.60	c  S st    75     30001     31991     41575     73026      9624    281539    192971     11.53   no data
1703.49/63.12	c  S st    75     30502     31990     41575     73059     10091    281539    204452     11.53   no data
1703.49/63.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2445.01/86.30	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:  413 Bins:  10522 BRemL:     14 BRemN:      0 P: 194.7M T: 23.11
2445.01/86.36	c Replacing      413 vars Replaced    25628 lits Time:     0.05 s 
2445.01/86.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2448.20/86.40	c bin-w-bin subsume rem         3677 bins  time:  0.02 s
2448.20/86.44	c subs with bin:      738  lits-rem:       230  v-fix:    0  time:  0.04 s
2461.62/86.85	c Subs w/ non-existent bins:    198 l-rem:   1085 v-fix:     0 done:  31566 time:  0.39 s
2464.82/86.94	c Removed useless bin:      76  fixed:     0  props:   4.16M  time:  0.10 s
2473.78/87.30	c lits-rem:       100  cl-subs:      434  v-elim:  14164  v-fix:    0  time:  0.34 s
2476.97/87.33	c subs with bin:      232  lits-rem:       171  v-fix:    0  time:  0.02 s
2476.97/87.38	c lits-rem:        20  cl-subs:       77  v-elim:      0  v-fix:    0  time:  0.03 s
2524.93/88.86	c asymm  cl-useful: 938/8859/45539 lits-rem:938 time: 1.48
2528.12/88.95	c calculated reachability. Time: 0.08
2528.12/88.95	c  N dy    75     30502     17402     45539     34416      3987    248959     39374     11.53   no data
2535.14/89.18	c Finding binary XORs  T:     0.23 s  found:       0
2598.46/91.19	c  N dy    81     36838     17402     45539     34452     10211    248959    292403     10.82     11.61
2605.47/91.34	c Finding binary XORs  T:     0.12 s  found:    1533
2605.47/91.39	c Replacing     1533 vars Replaced    56947 lits Time:     0.04 s 
2672.55/93.46	c  N dy    88     40998     15860     41513     38049      7101    236067    157948     10.58     11.64
2735.87/95.40	c  N dy    98     45556     15858     41513     38983     11575    236057    359024     10.34     10.90
2735.87/95.47	c  S st    99     45754     15858     41513     38984     11769    236057    360948     10.32      5.76
2746.09/95.78	c  S st    99     46259     15858     41513     39004     12243    236057    372490     10.32   no data
2748.64/95.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3094.46/106.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   74 Bins:   7153 BRemL:     43 BRemN:      0 P: 74.4M T: 10.85
3097.66/106.72	c Replacing       74 vars Replaced     7545 lits Time:     0.04 s 
3097.66/106.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3097.66/106.76	c bin-w-bin subsume rem         2260 bins  time:  0.01 s
3097.66/106.80	c subs with bin:      348  lits-rem:       341  v-fix:    0  time:  0.03 s
3100.25/106.89	c Subs w/ non-existent bins:    235 l-rem:    446 v-fix:     0 done:  15784 time:  0.09 s
3103.45/106.92	c Removed useless bin:      65  fixed:     0  props:   0.74M  time:  0.03 s
3106.65/107.02	c lits-rem:         5  cl-subs:       15  v-elim:    215  v-fix:    0  time:  0.10 s
3106.65/107.09	c subs with bin:       38  lits-rem:       989  v-fix:    0  time:  0.05 s
3109.81/107.17	c lits-rem:       794  cl-subs:      735  v-elim:      0  v-fix:    0  time:  0.06 s
3113.01/107.29	c vivif2 --  cl tried    41051 cl shrink      153 lits rem        153 time: 0.12
3116.21/107.33	c vivif2 --  cl tried     8843 cl shrink     1590 lits rem       4468 time: 0.04
3164.75/108.88	c asymm  cl-useful: 0/3534/41051 lits-rem:0 time: 1.55
3167.98/108.94	c calculated reachability. Time: 0.05
3167.98/108.94	c  N dy    99     46259     15569     41051     41041      8842    237901    149710     10.32   no data
3170.57/109.08	c Finding binary XORs  T:     0.14 s  found:       0
3235.11/111.10	c  N dy   105     50714     15568     41051     46721     13232    237900    382840     10.12     10.69
3276.02/112.39	c Finding binary XORs  T:     0.13 s  found:      93
3311.21/113.48	c  N dy   117     54962     15568     41051     46729      9573    237881    184681     10.00     10.71
3394.27/116.05	c  N dy   131     59185     15566     41051     46932     13704    237881    325631      9.82     10.41
3455.00/117.92	c  N dy   147     63255     15560     41051     48149     17710    237881    462133      9.76     10.41
3512.55/119.73	c  N dy   165     67342     15560     41051     48165     11167    237881    156939      9.75     10.34
3531.72/120.37	c  S st   172     69388     15557     41051     48676     13194    237881    206611      9.73   no data
3544.52/120.73	c  S st   172     69891     15557     41051     48682     13686    237881    218777      9.73   no data
3544.52/120.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3915.24/132.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   35 Bins:   2399 BRemL:    757 BRemN:      0 P: 78.9M T: 11.62
3918.44/132.43	c Replacing      128 vars Replaced     6153 lits Time:     0.04 s 
3918.44/132.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3918.44/132.47	c bin-w-bin subsume rem          851 bins  time:  0.01 s
3921.64/132.50	c subs with bin:       67  lits-rem:        20  v-fix:    0  time:  0.03 s
3921.64/132.58	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:  15429 time:  0.08 s
3924.84/132.61	c Removed useless bin:       0  fixed:     0  props:   0.72M  time:  0.03 s
3924.84/132.69	c lits-rem:         4  cl-subs:        8  v-elim:     35  v-fix:    0  time:  0.08 s
3928.03/132.80	c subs with bin:       52  lits-rem:      1042  v-fix:    0  time:  0.08 s
3931.24/132.88	c lits-rem:       477  cl-subs:      379  v-elim:      0  v-fix:    0  time:  0.07 s
3934.43/133.01	c vivif2 --  cl tried    40702 cl shrink       66 lits rem         66 time: 0.12
3938.22/133.06	c vivif2 --  cl tried    12522 cl shrink     1564 lits rem       6815 time: 0.05
3988.75/134.62	c asymm  cl-useful: 3/3361/40702 lits-rem:9 time: 1.56
3988.75/134.69	c calculated reachability. Time: 0.05
3988.75/134.69	c  N dy   172     69891     15394     40699     48707     12516    236332    185166      9.73   no data
3995.15/134.83	c Finding binary XORs  T:     0.14 s  found:       1
4055.85/136.76	c  N dy   180     74360     15392     40699     53159     16911    236332    529624      9.60     10.28
4135.74/139.28	c  N dy   201     79506     15388     40699     53170     21977    236331    850484      9.58     10.15
4161.27/140.06	c Finding binary XORs  T:     0.14 s  found:      54
4215.61/141.77	c  N dy   228     84800     15383     40629     53317     15109    236032    359014      9.61     10.16
4250.77/142.91	c  F st   242     87500     15382     40629     57674     17783    236031    480028      9.60      7.73
4254.55/142.96	c Replacing       55 vars Replaced     6585 lits Time:     0.03 s 
4301.88/144.42	c  N st   247     90798     15326     40548     57448     20972    235656    743375      9.60   no data
4324.85/145.15	c Finding binary XORs  T:     0.14 s  found:       3
4375.38/146.78	c  N dy   266     96599     15325     40546     57949     25898    235641   1355232      9.57     13.25
4465.44/149.58	c  N dy   303    103088     15322     40546     58286     19191    235640    466041      9.59     10.22
4490.42/150.38	c  S st   317    104836     15322     40546     58288     20920    235640    570080      9.61      7.86
4500.59/150.71	c  S st   317    105337     15322     40546     58653     21410    235640    588667      9.61   no data
4503.82/150.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4883.40/162.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:   1074 BRemL:   1128 BRemN:      0 P: 82.3M T: 11.86
4883.40/162.66	c Replacing       16 vars Replaced     2040 lits Time:     0.05 s 
4883.40/162.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4883.40/162.70	c bin-w-bin subsume rem          626 bins  time:  0.01 s
4887.18/162.74	c subs with bin:       69  lits-rem:        47  v-fix:    0  time:  0.04 s
4890.37/162.83	c Subs w/ non-existent bins:      3 l-rem:     10 v-fix:     0 done:  15306 time:  0.09 s
4890.37/162.86	c Removed useless bin:       1  fixed:     0  props:   0.61M  time:  0.03 s
4892.97/162.94	c lits-rem:         0  cl-subs:       15  v-elim:     32  v-fix:    0  time:  0.08 s
4908.94/163.45	c subs with bin:      167  lits-rem:      2577  v-fix:    0  time:  0.47 s
4915.34/163.66	c lits-rem:       777  cl-subs:      600  v-elim:      0  v-fix:    0  time:  0.19 s
4918.51/163.79	c vivif2 --  cl tried    40433 cl shrink       52 lits rem         67 time: 0.13
4922.32/163.91	c vivif2 --  cl tried    19329 cl shrink     3198 lits rem      33622 time: 0.11
4950.46/164.74	c asymm  cl-useful: 2/2552/40430 lits-rem:6 time: 0.83
4953.66/164.80	c calculated reachability. Time: 0.05
4953.66/164.80	c  N dy   317    105337     15274     40428     55571     19290    235061    450302      9.61   no data
5052.73/167.96	c Finding binary XORs  T:     0.15 s  found:      41
5068.73/168.42	c  N dy   342    112079     15270     40395     60622     25858    234978    857164      9.57     10.14
5186.96/172.11	c  N dy   390    119614     15269     40395     61150     20526    234978    637362      9.61     10.16
5314.79/176.19	c  N dy   446    127253     15266     40395     61400     28010    234977   1129264      9.70     10.27
5429.84/179.75	c  N dy   504    135540     15263     40395     61830     21862    234977    381083      9.84     10.56
5541.69/183.28	c Finding binary XORs  T:     0.15 s  found:      34
5567.24/184.01	c  N dy   566    144247     15261     40355     62841     30219    234784    819453      9.99     13.74
5707.85/188.45	c  N dy   634    153462     15257     40355     63261     23751    234784    388505     10.18     10.83
5771.75/190.46	c  S st   665    158006     15257     40355     64616     28250    234784    603100     10.23   no data
5784.53/190.82	c  S st   665    158508     15257     40355     64624     28739    234784    626063     10.23   no data
5784.53/190.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
6193.55/203.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   1279 BRemL:    482 BRemN:      0 P: 89.2M T: 12.79
6196.75/203.71	c Replacing       83 vars Replaced    11325 lits Time:     0.06 s 
6196.75/203.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6196.75/203.76	c bin-w-bin subsume rem          822 bins  time:  0.01 s
6196.75/203.80	c subs with bin:      105  lits-rem:       171  v-fix:    0  time:  0.04 s
6203.14/203.91	c Subs w/ non-existent bins:      4 l-rem:     30 v-fix:     0 done:  15175 time:  0.11 s
6203.14/203.94	c Removed useless bin:       5  fixed:     0  props:   0.60M  time:  0.03 s
6206.34/204.02	c lits-rem:         3  cl-subs:       37  v-elim:     47  v-fix:    0  time:  0.09 s
6222.92/204.59	c subs with bin:      306  lits-rem:      4023  v-fix:    0  time:  0.52 s
6231.89/204.81	c lits-rem:      1553  cl-subs:      716  v-elim:      0  v-fix:    0  time:  0.20 s
6235.09/204.94	c vivif2 --  cl tried    40083 cl shrink      298 lits rem        326 time: 0.13
6241.48/205.10	c vivif2 --  cl tried    26167 cl shrink     3866 lits rem      35053 time: 0.16
6267.04/205.94	c asymm  cl-useful: 0/3492/40076 lits-rem:0 time: 0.84
6270.24/206.01	c calculated reachability. Time: 0.06
6270.24/206.01	c  N dy   665    158508     15128     40076     64161     26110    233089    463908     10.23   no data
6273.44/206.16	c Finding binary XORs  T:     0.15 s  found:       4
6455.56/211.84	c  N dy   715    168670     15116     40076     67865     36157    233089   1496408     10.27     10.93
6509.88/213.59	c Finding binary XORs  T:     0.15 s  found:      39
6656.91/218.11	c  N dy   777    180034     15099     40040     68831     31002    232790    840679     10.27     11.20
6855.65/224.36	c  N dy   856    191760     15088     40040     69997     25307    232786    349737     10.36     10.95
6861.43/224.52	c Finding binary XORs  T:     0.15 s  found:      89
7059.62/230.75	c Finding binary XORs  T:     0.15 s  found:      55
7062.81/230.81	c Replacing      187 vars Replaced    21669 lits Time:     0.06 s 
7072.38/231.17	c  N dy   942    204090     14887     39739     78679     34564    231056    937774     10.47     11.13
7286.51/237.89	c  N dy  1036    217182     14870     39739     84060     30033    231056    585276     10.61     16.85
7302.50/238.31	c Finding binary XORs  T:     0.15 s  found:      88
7523.64/245.26	c  N dy  1133    231102     14852     39672     85380     43263    230646   1417174     10.73     17.85
7641.28/248.92	c  S st  1168    237765     14846     39672     86088     30790    230618    534365     10.75   no data
7647.72/249.20	c  S st  1168    238265     14846     39672     86090     31282    230614    570440     10.75   no data
7650.88/249.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
8443.54/274.06	c Flit:     3 Blit:      4 bXBeca:    0 bXProp:  288 Bins:   4205 BRemL:    121 BRemN:      0 P: 196.6M T: 24.73
8446.74/274.13	c Replacing      376 vars Replaced    31541 lits Time:     0.07 s 
8446.74/274.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8446.74/274.18	c bin-w-bin subsume rem         5591 bins  time:  0.02 s
8449.94/274.22	c subs with bin:      718  lits-rem:      1952  v-fix:    0  time:  0.05 s
8453.14/274.33	c Subs w/ non-existent bins:    138 l-rem:   1309 v-fix:     0 done:  14463 time:  0.10 s
8453.14/274.36	c Removed useless bin:      25  fixed:     0  props:   0.57M  time:  0.03 s
8456.34/274.47	c lits-rem:       307  cl-subs:      502  v-elim:    280  v-fix:    0  time:  0.11 s
8465.93/274.74	c subs with bin:     1820  lits-rem:      3987  v-fix:    0  time:  0.22 s
8469.13/274.88	c lits-rem:       523  cl-subs:      869  v-elim:      0  v-fix:    0  time:  0.12 s
8476.15/275.06	c vivif2 --  cl tried    38148 cl shrink     1790 lits rem       3385 time: 0.18
8481.90/275.22	c vivif2 --  cl tried    24241 cl shrink     4490 lits rem      22342 time: 0.16
8513.86/276.21	c asymm  cl-useful: 1/1127/37758 lits-rem:3 time: 0.98
8517.06/276.31	c calculated reachability. Time: 0.09
8517.06/276.31	c  N dy  1168    238265     14183     37757     81388     23506    217226    389899     10.75   no data
8523.46/276.59	c Finding binary XORs  T:     0.28 s  found:     258
8526.65/276.62	c Replacing      258 vars Replaced    12657 lits Time:     0.03 s 
8676.87/281.30	c Finding binary XORs  T:     0.25 s  found:     121
8789.32/284.91	c  N dy  1262    253593     13844     37578     91246     36190    216022   1464463     10.86     11.69
8865.43/287.21	c Finding binary XORs  T:     0.25 s  found:     137
8868.62/287.31	c Replacing      258 vars Replaced    33575 lits Time:     0.09 s 
9044.43/292.87	c  N dy  1383    269781     13547     37388    102847     30589    214881    813009     11.04     11.99
9207.46/297.91	c Finding binary XORs  T:     0.25 s  found:     118
9335.31/301.90	c  N dy  1516    287067     13413     37000    101696     25538    212976    487398     11.29     12.07
9517.48/307.63	c Finding binary XORs  T:     0.25 s  found:     204
9520.67/307.71	c Replacing      322 vars Replaced    33757 lits Time:     0.08 s 
9606.96/310.49	c  N dy  1663    305391     12895     35736    101835     40294    206477   1777503     11.62     25.50
9622.94/310.98	c  F st  1670    306251     12894     35736    101838     41141    206477   1827593     11.63   no data
9661.30/312.17	c Finding binary XORs  T:     0.26 s  found:     163
9664.50/312.25	c Replacing      163 vars Replaced    22814 lits Time:     0.08 s 
9879.27/318.97	c  N dy  1774    324911     12608     35560    116945     36707    205499   1340297     11.80     13.07
9961.75/321.54	c Finding binary XORs  T:     0.25 s  found:     140
9964.95/321.62	c Replacing      140 vars Replaced    27291 lits Time:     0.08 s 
10172.70/328.13	c  N dy  1897    345127     12243     34429    118684     28931    199892    774051     11.90     13.03
10211.05/329.39	c Finding binary XORs  T:     0.25 s  found:     265
10214.25/329.45	c Replacing      265 vars Replaced    27734 lits Time:     0.06 s 
10301.45/339.48	c Following stats are for *FIRST FINISHED THREAD ONLY*
10301.45/339.48	c num threads              : 32         
10301.45/339.48	c restarts                 : 2465       
10301.45/339.48	c dynamic restarts         : 2441       
10301.45/339.48	c static restarts          : 24         
10301.45/339.48	c full restarts            : 3          
10301.45/339.48	c total simplify time      : 7.62       
10301.45/339.48	c learnts DL2              : 0          
10301.45/339.48	c learnts size 2           : 387215     
10301.45/339.48	c learnts size 1           : 3207        (6.28      % of vars)
10301.45/339.48	c filedLit time            : 59.10       (18.07     % time)
10301.45/339.48	c v-elim SatELite          : 30977       (60.66     % vars)
10301.45/339.48	c SatELite time            : 2.52        (0.77      % time)
10301.45/339.48	c v-elim xor               : 0           (0.00      % vars)
10301.45/339.48	c xor elim time            : 0.05        (0.02      % time)
10301.45/339.48	c num binary xor trees     : 1525       
10301.45/339.48	c binxor trees' crown      : 6275        (4.11      leafs/tree)
10301.45/339.48	c bin xor find time        : 6.62       
10301.45/339.48	c OTF clause improved      : 4404        (0.01      clauses/conflict)
10301.45/339.48	c OTF impr. size diff      : 7146        (1.62       lits/clause)
10301.45/339.48	c OTF cl watch-shrink      : 301014      (0.65      clauses/conflict)
10301.45/339.48	c OTF cl watch-sh-lit      : 2390970     (7.94       lits/clause)
10301.45/339.48	c tried to recurMin cls    : 250658      (53.76      % of conflicts)
10301.45/339.48	c updated cache            : 13913       (0.06       lits/tried recurMin)
10301.45/339.48	c unit cls recevied        : 512         (15.97     % of units)
10301.45/339.48	c unit cls sent            : 50          (1.56      % of units)
10301.45/339.48	c bin cls recevied         : 196021     
10301.45/339.48	c bin cls sent             : 3480       
10301.45/339.48	c clauses over max glue    : 0           (0.00      % of all clauses)
10301.45/339.48	c conflicts                : 466246      (1425.82   / sec)
10301.45/339.48	c decisions                : 2183425     (1.43      % random)
10301.45/339.48	c bogo-props               : 5353787436  (16372324.09 / sec)
10301.45/339.48	c conflict literals        : 28481567    (35.70     % deleted)
10301.45/339.48	c Memory used              : 18698.05    MB
10301.45/339.48	c single-thread CPU time   : 327.00      s
10301.45/339.48	c all-threads sum CPU time : 10229.92    s
10301.45/339.48	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: 961)

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-3400663-1306313087/watcher-3400663-1306313087 -o /tmp/evaluation-result-3400663-1306313087/solver-3400663-1306313087 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400663-1306313087.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 21.73 29.60 31.20 1/413 14056
/proc/meminfo: memFree=255164196/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=338000 CPUtime=0.71 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) R 14054 14056 14030 0 -1 4202496 466 0 0 0 71 0 0 0 25 0 32 0 742795153 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14056/statm: 84500 407 300 95 0 79482 0
[pid=14056/tid=14057] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433680 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 19 0 0 0

[startup+0.0816079 s]
/proc/loadavg: 21.73 29.60 31.20 1/413 14056
/proc/meminfo: memFree=255164196/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=338000 CPUtime=2.19 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) R 14054 14056 14030 0 -1 4202496 466 0 0 0 219 0 0 0 25 0 32 0 742795153 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14056/statm: 84500 407 300 95 0 79482 0
[pid=14056/tid=14057] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 4 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=338000 CPUtime=0.06 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 6 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=338000 CPUtime=0.05 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=338000 CPUtime=0.05 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=338000 CPUtime=0.05 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=338000 CPUtime=0.06 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=338000 CPUtime=0.06 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 338000

[startup+0.103612 s]
/proc/loadavg: 21.73 29.60 31.20 1/413 14056
/proc/meminfo: memFree=255164196/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=338000 CPUtime=2.88 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) R 14054 14056 14030 0 -1 4202496 466 0 0 0 288 0 0 0 25 0 32 0 742795153 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14056/statm: 84500 407 300 95 0 79482 0
[pid=14056/tid=14057] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 4 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433680 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31

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

/proc/14056/task/14061/stat : 14061 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147765 0 0 0 31907 220 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501716786656 0 0 -1 19 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 132197 0 0 0 31928 207 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478804418016 0 0 -1 26 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=19146796 CPUtime=321.21 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 135153 0 0 0 31920 201 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477859134944 0 0 -1 12 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=19146796 CPUtime=321.19 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 136619 0 0 0 31897 222 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504417664480 0 0 -1 7 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=19146796 CPUtime=321.57 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145459 0 0 0 31941 216 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476684639712 0 0 -1 3 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=19146796 CPUtime=325.99 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 148578 0 0 0 32371 228 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=19146796 CPUtime=321.11 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 144624 0 0 0 31893 218 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604503897767392 0 0 -1 3 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=19146796 CPUtime=321.45 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148460 0 0 0 31922 223 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604568765668832 0 0 -1 5 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=19146796 CPUtime=321.48 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145053 0 0 0 31914 234 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478812880352 0 0 -1 25 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=19146796 CPUtime=321.5 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 156683 0 0 0 31910 240 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604487580491232 0 0 -1 30 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=19146796 CPUtime=321.22 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 153517 0 0 0 31891 231 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504274075104 0 0 -1 29 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=19146796 CPUtime=321.18 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 138224 0 0 0 31879 239 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604480776568288 0 0 -1 20 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=19146796 CPUtime=320.8 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147544 0 0 0 31832 248 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506090479072 0 0 -1 23 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=19146796 CPUtime=321.66 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152912 0 0 0 31942 224 0 0 19 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481740979680 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=19146796 CPUtime=321.17 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 149043 0 0 0 31882 235 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506105191904 0 0 -1 16 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=19146796 CPUtime=321.09 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151938 0 0 0 31885 224 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481694563808 0 0 -1 4 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=19146796 CPUtime=325.79 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 151574 0 0 0 32342 237 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584409131 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=19146796 CPUtime=321.67 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147467 0 0 0 31941 226 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604491131067872 0 0 -1 28 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=19146796 CPUtime=321.1 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141290 0 0 0 31873 237 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446744071566926544 0 0 -1 17 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147031 0 0 0 31897 238 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506106142176 0 0 -1 1 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=19146796 CPUtime=318.7 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 142615 0 0 0 31635 235 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604479050014176 0 0 -1 31 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=19146796 CPUtime=320.87 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151235 0 0 0 31852 235 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604505130360288 0 0 -1 14 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=19146796 CPUtime=321.13 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152772 0 0 0 31867 246 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604483053731296 0 0 -1 6 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=19146796 CPUtime=318.61 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 137643 0 0 0 31627 234 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477643840992 0 0 -1 27 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=19146796 CPUtime=321.24 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141417 0 0 0 31896 228 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476285599200 0 0 -1 13 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=19146796 CPUtime=320.11 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148978 0 0 0 31777 234 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501594988000 0 0 -1 11 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=19146796 CPUtime=326.2 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 70605 0 0 0 32532 88 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604474385128928 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 10293.8
Current children cumulated vsize (KiB) 19146796

[startup+339.102 s]
/proc/loadavg: 27.43 30.27 31.12 3/445 14096
/proc/meminfo: memFree=239921096/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=19146796 CPUtime=10300.8 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) S 14054 14056 14030 0 -1 4202496 4604045 0 0 0 1022915 7170 0 0 25 0 32 0 742795153 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 4786699 3801892 379 95 0 4781681 0
[pid=14056/tid=14057] ppid=14054 vsize=19146796 CPUtime=329.08 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 157973 0 0 0 32680 228 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=19146796 CPUtime=321.47 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141347 0 0 0 31920 227 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604479736126944 0 0 -1 22 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=19146796 CPUtime=321.22 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147690 0 0 0 31916 206 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604488054185440 0 0 -1 24 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=19146796 CPUtime=321.42 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 150715 0 0 0 31912 230 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476435611104 0 0 -1 13 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=19146796 CPUtime=321.27 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147765 0 0 0 31907 220 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501716786656 0 0 -1 19 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 132197 0 0 0 31928 207 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478804418016 0 0 -1 26 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=19146796 CPUtime=321.21 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 135153 0 0 0 31920 201 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477859134944 0 0 -1 12 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=19146796 CPUtime=321.19 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 136619 0 0 0 31897 222 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504417664480 0 0 -1 7 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=19146796 CPUtime=321.57 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145459 0 0 0 31941 216 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476684639712 0 0 -1 3 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=19146796 CPUtime=326.63 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148578 0 0 0 32435 228 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604492175252960 0 0 -1 21 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=19146796 CPUtime=321.11 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 144624 0 0 0 31893 218 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604503897767392 0 0 -1 3 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=19146796 CPUtime=321.45 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148460 0 0 0 31922 223 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604568765668832 0 0 -1 5 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=19146796 CPUtime=321.48 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145053 0 0 0 31914 234 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478812880352 0 0 -1 25 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=19146796 CPUtime=321.5 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 156683 0 0 0 31910 240 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604487580491232 0 0 -1 30 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=19146796 CPUtime=321.22 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 153517 0 0 0 31891 231 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504274075104 0 0 -1 29 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=19146796 CPUtime=321.18 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 138224 0 0 0 31879 239 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604480776568288 0 0 -1 20 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=19146796 CPUtime=320.8 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147544 0 0 0 31832 248 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506090479072 0 0 -1 23 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=19146796 CPUtime=321.66 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152912 0 0 0 31942 224 0 0 19 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481740979680 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=19146796 CPUtime=321.17 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 149043 0 0 0 31882 235 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506105191904 0 0 -1 16 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=19146796 CPUtime=321.09 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151938 0 0 0 31885 224 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481694563808 0 0 -1 4 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=19146796 CPUtime=328.99 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 151574 0 0 0 32662 237 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584409284 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=19146796 CPUtime=321.67 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147467 0 0 0 31941 226 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604491131067872 0 0 -1 28 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=19146796 CPUtime=321.1 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141290 0 0 0 31873 237 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446744071566926544 0 0 -1 17 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147031 0 0 0 31897 238 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506106142176 0 0 -1 1 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=19146796 CPUtime=318.7 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 142615 0 0 0 31635 235 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604479050014176 0 0 -1 31 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=19146796 CPUtime=320.87 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151235 0 0 0 31852 235 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604505130360288 0 0 -1 14 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=19146796 CPUtime=321.13 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152772 0 0 0 31867 246 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604483053731296 0 0 -1 6 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=19146796 CPUtime=318.61 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 137643 0 0 0 31627 234 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477643840992 0 0 -1 27 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=19146796 CPUtime=321.24 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141417 0 0 0 31896 228 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476285599200 0 0 -1 13 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=19146796 CPUtime=320.11 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148978 0 0 0 31777 234 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501594988000 0 0 -1 11 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=19146796 CPUtime=326.2 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 70605 0 0 0 32532 88 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604474385128928 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 10300.9
Current children cumulated vsize (KiB) 19146796

[startup+339.936 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10302.1 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7218 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=321.87 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 275 0 0 18 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10302.1
Current children cumulated vsize (KiB) 0

[startup+340.301 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10302.5 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7254 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=322.24 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 312 0 0 18 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10302.5
Current children cumulated vsize (KiB) 0

[startup+340.701 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10302.9 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7294 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=322.64 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 352 0 0 19 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10302.9
Current children cumulated vsize (KiB) 0

[startup+340.801 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10303 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7304 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=322.74 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 362 0 0 19 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10303
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 340.839
CPU time (s): 10303
CPU user time (s): 10229.9
CPU system time (s): 73.0869
CPU usage (%): 3022.84
Max. virtual memory (cumulated for all children) (KiB): 19403628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10229.9
system time used= 73.0869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4604049
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= 2136272
involuntary context switches= 25415

runsolver used 2.04869 second user time and 8.12676 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 10:44:47
IDJOB=3400663
IDBENCH=70817
IDSOLVER=1886
FILE ID=node200/3400663-1306313087
RUNJOBID= node200-1306313087-14044
PBS_JOBID= 13411782
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400663-1306313087/watcher-3400663-1306313087 -o /tmp/evaluation-result-3400663-1306313087/solver-3400663-1306313087 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400663-1306313087.cnf

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

MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=1727528018

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.049
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.09
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.049
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.07
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.049
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.049
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.09
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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.049
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.09
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.049
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	: 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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	: 3990.06
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255164732 kB
Buffers:        466216 kB
Cached:        8222864 kB
SwapCached:          0 kB
Active:        7774108 kB
Inactive:       983896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255164732 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8068 kB
Writeback:           0 kB
AnonPages:       70216 kB
Mapped:          13760 kB
Slab:           255688 kB
PageTables:       3608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185584 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= 62040 MiB
End job on node200 at 2011-05-25 10:50:28