Trace number 3400635

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 4897.74 162.321

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
MD5SUMcf1b8194ff6d413d396ac9e26bb031ef
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4897.74
Satisfiable
(Un)Satisfiability was proved
Number of variables50797
Number of clauses177980
Sum of the clauses size470252
Maximum clause length37
Minimum clause length1
Number of clauses of size 11318
Number of clauses of size 295086
Number of clauses of size 374860
Number of clauses of size 4486
Number of clauses of size 5945
Number of clauses of size over 55285

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400635-1306258262.cnf'
0.00/0.13	c -- header says num vars:          50797
0.00/0.13	c -- header says num clauses:      177980
30.37/1.71	c -- clauses added:            0 learnts,       177980 normals,            0 xors
30.37/1.71	c -- vars added      50797
30.37/1.71	c Parsing time:  0.37 s
30.37/1.71	c  N st     0         0     50797     81576     95086         0    468934         0   no data   no data
82.28/3.35	c asymm  cl-useful: 32/2745/81426 lits-rem:64 time: 1.63
596.26/26.78	c Flit:   189 Blit:      3 bXBeca:    0 bXProp: 17530 Bins:      0 BRemL:      0 BRemN:      0 P: 127.3M T: 15.09
596.26/26.80	c Cleaning up after failed var search:     0.01 s 
600.97/26.90	c Replacing    17530 vars Replaced   329681 lits Time:     0.05 s 
603.43/27.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
603.43/27.05	c bin-w-bin subsume rem            6 bins  time:  0.02 s
603.43/27.08	c subs with bin:        2  lits-rem:         6  v-fix:    0  time:  0.03 s
622.20/27.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  31751 time:  0.57 s
630.90/27.98	c Removed useless bin:       2  fixed:     0  props:  20.01M  time:  0.33 s
648.67/28.54	c lits-rem:       283  cl-subs:       68  v-elim:  10583  v-fix:    0  time:  0.45 s
655.60/28.77	c Finding binary XORs  T:     0.23 s  found:    1023
655.60/28.80	c Replacing     1023 vars Replaced    21429 lits Time:     0.02 s 
661.24/28.93	c Finding non-binary XORs:     0.07 s (found:   12949, avg size: 3.0)
661.24/28.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5468 locsubst: 46782 time:   0.05
661.24/28.94	c Replacing      512 vars Replaced     5823 lits Time:     0.01 s 
661.24/28.98	c calculated reachability. Time: 0.03
661.24/28.98	c Calc default polars -  time:   0.01 s pos:    3299 undec:   38367 neg:    9131
661.24/28.98	c =========================================================================================
661.24/28.98	c types(t): F = full restart, N = normal restart
661.24/28.98	c types(t): S = simplification begin/end, E = solution found
661.24/28.98	c restart types(rt): st = static, dy = dynamic
661.24/28.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
661.24/28.98	c  B st     0         0     14165     22849     34135         0    229493         0   no data   no data
683.58/29.67	c  N dy    14      4270     14165     22849     34168      3839    229492    215946     11.25     11.99
699.54/30.13	c Finding binary XORs  T:     0.15 s  found:     504
699.54/30.15	c Replacing      504 vars Replaced    18407 lits Time:     0.03 s 
699.54/30.20	c  N dy    26      8342     13661     22841     35959      6724    229457    302003     11.13     15.39
712.31/30.58	c  N dy    44     12553     13661     22841     36002     10043    229456    371268     10.98     11.80
725.70/30.99	c  N dy    59     16599     13659     22841     37307     13366    229456    448958     10.72     11.53
747.41/31.64	c  N dy    87     20684     13658     22841     38985      8736    229455    123050     11.84     19.75
763.38/32.18	c Finding binary XORs  T:     0.15 s  found:     546
766.58/32.21	c Replacing      546 vars Replaced    22515 lits Time:     0.02 s 
772.97/32.41	c  N dy   115     24759     13112     22713     38693     10714    228937    230433     12.29     27.37
772.97/32.46	c  F st   118     25000     13112     22713     38693     10936    228936    237880     12.32   no data
801.74/33.33	c  N dy   124     30000     13112     22713     38734     15346    228935    481136     12.32   no data
801.74/33.33	c  S st   124     30000     13112     22713     38734     15346    228935    481136     12.32   no data
804.93/33.43	c  S st   124     30503     13111     22713     38739     15791    228935    491075     12.32   no data
804.93/33.48	c x-sub:  1270 x-cut:      0 vfix:      0 v-elim:   2395 locsubst:  1643 time:   0.04
942.34/37.78	c Flit:    11 Blit:      9 bXBeca:    1 bXProp: 2446 Bins:  57274 BRemL:  10876 BRemN:      0 P: 67.3M T:  4.29
945.54/37.84	c Replacing     2582 vars Replaced   219672 lits Time:     0.05 s 
945.54/37.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
945.54/37.89	c bin-w-bin subsume rem        52366 bins  time:  0.04 s
948.74/37.97	c subs with bin:     7517  lits-rem:     15551  v-fix:    0  time:  0.07 s
951.93/38.01	c Subs w/ non-existent bins:   2126 l-rem:   2022 v-fix:     0 done:   8114 time:  0.04 s
951.93/38.02	c Removed useless bin:    1579  fixed:     0  props:   0.92M  time:  0.01 s
951.93/38.07	c lits-rem:        53  cl-subs:     3926  v-elim:    145  v-fix:    0  time:  0.04 s
951.93/38.08	c subs with bin:       68  lits-rem:      4073  v-fix:    0  time:  0.01 s
951.93/38.10	c lits-rem:        74  cl-subs:      290  v-elim:      0  v-fix:    0  time:  0.01 s
961.53/38.31	c asymm  cl-useful: 719/5683/8428 lits-rem:719 time: 0.21
961.53/38.32	c calculated reachability. Time: 0.01
961.53/38.32	c  N dy   124     30503      7969      8428     26137      1193     99686     30410     12.32   no data
964.73/38.43	c Finding binary XORs  T:     0.11 s  found:      31
971.74/38.65	c  N dy   137     34659      7969      8428     29713      4702     99685    111359     12.29     13.07
987.06/39.19	c  N dy   156     38747      7969      8428     78117      8220     99685    283706     12.40     13.21
993.43/39.39	c Finding binary XORs  T:     0.10 s  found:     526
996.62/39.41	c Replacing      557 vars Replaced    22079 lits Time:     0.02 s 
1003.61/39.66	c  N dy   183     42778      7412      8009     76507      6247     97539    194970     13.20     15.20
1012.58/39.93	c  S st   192     45756      7412      8009     82875      8658     97536    252272     13.04      6.10
1015.78/40.00	c  S st   192     46257      7412      8009     82879      9088     97536    256286     13.04   no data
1015.78/40.05	c x-sub:   387 x-cut:      0 vfix:      0 v-elim:    984 locsubst:   885 time:   0.04
1028.58/40.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   54 Bins:   4487 BRemL:  29071 BRemN:   1275 P:  5.5M T:  0.40
1028.58/40.46	c Replacing      130 vars Replaced     3463 lits Time:     0.01 s 
1028.58/40.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1028.58/40.49	c bin-w-bin subsume rem        35376 bins  time:  0.02 s
1031.77/40.50	c subs with bin:      768  lits-rem:       154  v-fix:    0  time:  0.02 s
1031.77/40.52	c Subs w/ non-existent bins:    171 l-rem:    127 v-fix:     0 done:   6298 time:  0.01 s
1031.77/40.53	c Removed useless bin:     276  fixed:     0  props:   0.84M  time:  0.01 s
1031.77/40.54	c lits-rem:        10  cl-subs:      802  v-elim:     35  v-fix:    0  time:  0.01 s
1031.77/40.55	c subs with bin:        7  lits-rem:       286  v-fix:    0  time:  0.01 s
1031.77/40.56	c lits-rem:        59  cl-subs:      276  v-elim:      0  v-fix:    0  time:  0.01 s
1031.77/40.57	c vivif2 --  cl tried     6343 cl shrink       44 lits rem         86 time: 0.00
1031.77/40.57	c vivif2 --  cl tried     1610 cl shrink       26 lits rem         40 time: 0.00
1038.79/40.74	c asymm  cl-useful: 247/6343/6343 lits-rem:307 time: 0.17
1038.79/40.75	c calculated reachability. Time: 0.00
1038.79/40.75	c  N dy   192     46257      6263      6340     20715      1610     80548     29132     13.04   no data
1041.98/40.85	c Finding binary XORs  T:     0.10 s  found:       2
1044.54/40.96	c  N dy   196     50442      6263      6340     30106      4956     80548     96586     12.69     13.42
1047.74/41.08	c  N dy   203     55912      6263      6340     30109      9316     80546    162712     12.36     13.03
1050.93/41.19	c  N dy   213     60115      6263      6340     33588     12871     80546    224208     12.20     13.27
1057.33/41.37	c  N dy   228     65276      6263      6340     33597      9206     80545    138172     12.10     13.07
1060.52/41.46	c Finding binary XORs  T:     0.09 s  found:     137
1060.52/41.47	c Replacing      139 vars Replaced     5099 lits Time:     0.01 s 
1066.92/41.67	c  S st   253     69386      6124      6180     33237     12414     79760    210498     12.34     10.45
1070.09/41.73	c  S st   253     69888      6124      6180     33243     12807     79760    213655     12.34   no data
1070.09/41.77	c x-sub:   106 x-cut:      0 vfix:      0 v-elim:    174 locsubst:   566 time:   0.04
1079.66/42.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   19 Bins:   1302 BRemL:  15381 BRemN:    124 P:  4.2M T:  0.26
1079.66/42.04	c Replacing       82 vars Replaced     3896 lits Time:     0.01 s 
1079.66/42.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1079.66/42.05	c bin-w-bin subsume rem         2616 bins  time:  0.00 s
1079.66/42.07	c subs with bin:      376  lits-rem:         0  v-fix:    0  time:  0.02 s
1079.66/42.08	c Subs w/ non-existent bins:     36 l-rem:      0 v-fix:     0 done:   5868 time:  0.01 s
1079.66/42.09	c Removed useless bin:      68  fixed:     0  props:   0.52M  time:  0.01 s
1082.85/42.10	c lits-rem:         5  cl-subs:      284  v-elim:     38  v-fix:    0  time:  0.01 s
1082.85/42.12	c subs with bin:       13  lits-rem:       327  v-fix:    0  time:  0.01 s
1082.85/42.19	c lits-rem:      1028  cl-subs:     1968  v-elim:      0  v-fix:    0  time:  0.06 s
1082.85/42.19	c vivif2 --  cl tried     5603 cl shrink       17 lits rem         30 time: 0.00
1082.85/42.19	c vivif2 --  cl tried     6661 cl shrink       37 lits rem         46 time: 0.00
1089.28/42.33	c asymm  cl-useful: 676/5603/5603 lits-rem:1845 time: 0.13
1089.28/42.33	c calculated reachability. Time: 0.00
1089.28/42.33	c  N dy   253     69888      5830      5105     16468      6661     74617     82280     12.34   no data
1092.47/42.44	c  N dy   269     74503      5830      5105     17822      9953     74617    133306     12.27     13.08
1098.83/42.64	c  N dy   297     79269      5830      5105     17832     13721     74616    226760     12.63     49.37
1102.03/42.76	c  N dy   300     86813      5830      5105     17835     18881     74615    293823     12.27     13.04
1105.23/42.80	c  F st   304     87501      5830      5105     22066     19383     74615    309005     12.24   no data
1109.01/42.98	c Finding binary XORs  T:     0.11 s  found:     175
1109.01/42.99	c Replacing      175 vars Replaced     8604 lits Time:     0.01 s 
1112.27/43.06	c Decided on static restart strategy
1112.27/43.06	c  N st   310     92695      5655      4884     21519     13021     73455    174355     12.24   no data
1114.83/43.18	c  N st   312     99806      5655      4884     22162     18186     73455    311901     12.24   no data
1130.79/43.68	c  S st   313    104832      5655      4884     22163     22705     73455    697608     12.24   no data
1133.99/43.73	c  S st   313    105335      5655      4884     23898     23084     73455    706594     12.24   no data
1133.99/43.79	c x-sub:    69 x-cut:      0 vfix:      0 v-elim:    104 locsubst:   904 time:   0.06
1140.39/44.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   72 Bins:   1836 BRemL:   7161 BRemN:    210 P:  3.5M T:  0.22
1144.17/44.02	c Replacing      174 vars Replaced    11434 lits Time:     0.01 s 
1144.17/44.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1144.17/44.03	c bin-w-bin subsume rem         1398 bins  time:  0.00 s
1144.17/44.05	c subs with bin:      154  lits-rem:         0  v-fix:    0  time:  0.02 s
1144.17/44.06	c Subs w/ non-existent bins:     27 l-rem:      0 v-fix:     0 done:   5377 time:  0.01 s
1144.17/44.07	c Removed useless bin:      75  fixed:     0  props:   0.34M  time:  0.00 s
1144.17/44.08	c lits-rem:         1  cl-subs:      423  v-elim:     60  v-fix:    0  time:  0.01 s
1144.17/44.10	c subs with bin:       10  lits-rem:       786  v-fix:    0  time:  0.01 s
1149.96/44.22	c lits-rem:      2052  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  0.12 s
1149.96/44.22	c vivif2 --  cl tried     4383 cl shrink       24 lits rem         30 time: 0.00
1149.96/44.23	c vivif2 --  cl tried     8929 cl shrink       12 lits rem         12 time: 0.00
1153.15/44.31	c asymm  cl-useful: 402/4383/4383 lits-rem:1188 time: 0.08
1153.15/44.32	c calculated reachability. Time: 0.00
1153.15/44.32	c  N st   313    105335      5317      4092     16494      8927     68252    125225     12.24   no data
1179.33/45.21	c  N st   314    114935      5317      4092     16496      9222     68252    466927     12.24   no data
1185.15/45.34	c Finding binary XORs  T:     0.11 s  found:     126
1185.15/45.37	c Replacing      126 vars Replaced    16535 lits Time:     0.03 s 
1197.90/45.70	c  N st   315    129332      5178      3952     20635     18332     67094    708840     12.24   no data
1293.78/48.77	c  N st   316    150928      5178      3952     22624     23943     67094   1310016     12.24   no data
1296.97/48.88	c Finding binary XORs  T:     0.08 s  found:     360
1300.17/48.96	c Replacing      360 vars Replaced    74228 lits Time:     0.09 s 
1325.73/49.74	c  S st   317    158003      4779      3810     41229     29435     64865   1871958     12.24   no data
1328.92/49.81	c  S st   317    158505      4779      3810     42355     29790     64865   1879795     12.24   no data
1328.92/49.87	c x-sub:   277 x-cut:      0 vfix:      0 v-elim:     81 locsubst:   662 time:   0.06
1338.52/50.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   54 Bins:    237 BRemL:  18979 BRemN:    192 P:  3.5M T:  0.24
1338.52/50.14	c Replacing      119 vars Replaced     6533 lits Time:     0.02 s 
1338.52/50.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1338.52/50.15	c bin-w-bin subsume rem         2805 bins  time:  0.00 s
1338.52/50.17	c subs with bin:      175  lits-rem:        41  v-fix:    0  time:  0.02 s
1338.52/50.18	c Subs w/ non-existent bins:     21 l-rem:      0 v-fix:     0 done:   4579 time:  0.01 s
1338.52/50.19	c Removed useless bin:      18  fixed:     0  props:   0.32M  time:  0.01 s
1341.71/50.21	c lits-rem:         0  cl-subs:      452  v-elim:    124  v-fix:    0  time:  0.03 s
1341.71/50.28	c subs with bin:       25  lits-rem:       348  v-fix:    0  time:  0.01 s
1431.18/53.08	c lits-rem:      3244  cl-subs:     3358  v-elim:      0  v-fix:    0  time:  2.80 s
1431.18/53.09	c vivif2 --  cl tried     3568 cl shrink       37 lits rem         53 time: 0.00
1434.37/53.11	c vivif2 --  cl tried    13980 cl shrink        9 lits rem         12 time: 0.02
1434.37/53.16	c asymm  cl-useful: 607/3568/3568 lits-rem:1985 time: 0.05
1434.37/53.16	c calculated reachability. Time: 0.00
1434.37/53.16	c  N st   317    158505      4455      3030     19877     13980     56457    773531     12.24   no data
1840.25/65.80	c  N st   318    207094      4455      3030     19877     28134     56456   2336789     12.24   no data
1843.44/65.98	c Finding binary XORs  T:     0.11 s  found:     336
1850.42/66.14	c Replacing      336 vars Replaced    95630 lits Time:     0.15 s 
2003.18/71.00	c  N st   319    237758      3982      2912    106149     33363     50803   2736711     12.24   no data
2003.18/71.00	c  S st   319    237758      3982      2912    106149     33363     50803   2736711     12.24   no data
2006.39/71.07	c Finding binary XORs  T:     0.07 s  found:      15
2009.58/71.11	c  S st   319    238260      3982      2912    107813     33782     50803   2757540     12.24   no data
2009.58/71.17	c x-sub:   155 x-cut:      0 vfix:      0 v-elim:     21 locsubst:   150 time:   0.06
2031.94/71.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  12699 BRemL:  64533 BRemN:     92 P:  6.8M T:  0.69
2031.94/71.88	c Replacing       65 vars Replaced     5951 lits Time:     0.02 s 
2031.94/71.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2035.14/71.90	c bin-w-bin subsume rem        18178 bins  time:  0.01 s
2035.14/71.93	c subs with bin:      123  lits-rem:       214  v-fix:    0  time:  0.03 s
2035.14/71.94	c Subs w/ non-existent bins:     26 l-rem:      0 v-fix:     0 done:   3896 time:  0.01 s
2035.14/71.94	c Removed useless bin:      11  fixed:     0  props:   0.15M  time:  0.00 s
2035.14/71.99	c lits-rem:         1  cl-subs:      107  v-elim:    100  v-fix:    0  time:  0.04 s
2041.54/72.14	c subs with bin:       14  lits-rem:       359  v-fix:    0  time:  0.02 s
2629.59/90.51	c lits-rem:      2788  cl-subs:     2098  v-elim:      0  v-fix:    0  time: 18.37 s
2629.59/90.52	c vivif2 --  cl tried     2946 cl shrink       13 lits rem         25 time: 0.00
2629.59/90.57	c vivif2 --  cl tried    28529 cl shrink        1 lits rem          1 time: 0.05
2632.79/90.65	c asymm  cl-useful: 363/2944/2944 lits-rem:1119 time: 0.08
2632.79/90.66	c calculated reachability. Time: 0.00
2632.79/90.66	c  N st   319    238260      3796      2630     37115     28529     44203   2160555     12.24   no data
2729.27/93.68	c  F st   320    306251      3796      2630     37115     35011     44203   1939602     12.24   no data
2729.27/93.69	c  N st   320    306251      3796      2630     37115     35011     44203   1939602     12.24   no data
2735.03/93.82	c Finding binary XORs  T:     0.08 s  found:     606
2735.03/93.87	c Replacing      606 vars Replaced   187043 lits Time:     0.04 s 
2773.38/95.00	c  N dy   417    325854      3190      2629    137972     27310     44195   1178634     16.53     28.37
2779.78/95.22	c Finding binary XORs  T:     0.05 s  found:      18
2827.72/96.79	c Finding binary XORs  T:     0.05 s  found:      26
2827.72/96.81	c Replacing       44 vars Replaced    28582 lits Time:     0.02 s 
2840.49/97.14	c  N dy   603    345865      3146      2628    145470     43698     44181   2336204     23.54     79.73
2862.84/97.84	c  S st   654    357391      3146      2628    149812     29575     44181   1027074     24.64      9.63
2862.84/97.90	c  S st   654    357893      3146      2628    149813     29986     44181   1046427     24.64   no data
2866.65/97.95	c x-sub:   502 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    11 time:   0.05
2888.40/98.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   50 Bins:   1492 BRemL:  69632 BRemN:    112 P:  9.7M T:  0.71
2888.40/98.68	c Replacing       51 vars Replaced    13906 lits Time:     0.01 s 
2888.40/98.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2891.60/98.71	c bin-w-bin subsume rem        58809 bins  time:  0.03 s
2891.60/98.73	c subs with bin:      112  lits-rem:       219  v-fix:    0  time:  0.02 s
2891.60/98.74	c Subs w/ non-existent bins:     20 l-rem:      0 v-fix:     0 done:   3094 time:  0.01 s
2891.60/98.74	c Removed useless bin:       3  fixed:     0  props:   0.11M  time:  0.00 s
2891.60/98.76	c lits-rem:         0  cl-subs:      178  v-elim:     23  v-fix:    0  time:  0.02 s
2898.00/98.90	c subs with bin:       25  lits-rem:      5603  v-fix:    0  time:  0.09 s
2945.91/100.45	c lits-rem:      2811  cl-subs:     4929  v-elim:      0  v-fix:    0  time:  1.54 s
2945.91/100.45	c vivif2 --  cl tried     2401 cl shrink       36 lits rem         54 time: 0.00
2945.91/100.47	c vivif2 --  cl tried    24897 cl shrink      579 lits rem       2905 time: 0.02
2949.11/100.59	c asymm  cl-useful: 430/2401/2401 lits-rem:732 time: 0.12
2949.11/100.59	c calculated reachability. Time: 0.00
2949.11/100.59	c  N dy   654    357893      3071      2325     22555     24896     36158    675815     24.64   no data
2952.31/100.65	c Finding binary XORs  T:     0.06 s  found:       0
2965.10/101.02	c Finding binary XORs  T:     0.05 s  found:      19
2984.27/101.61	c  N dy   725    380519      3071      2325     27895     41630     36158   1288199     25.01     26.63
3016.23/102.67	c  N dy   792    400543      3071      2325     28146     33584     36158    750354     25.29     37.54
3029.03/103.05	c Finding binary XORs  T:     0.05 s  found:       3
3035.43/103.29	c Replacing       32 vars Replaced     5647 lits Time:     0.01 s 
3054.60/103.85	c Finding binary XORs  T:     0.05 s  found:      48
3054.60/103.86	c Replacing       48 vars Replaced    12978 lits Time:     0.01 s 
3057.83/103.99	c  N dy   868    421286      2914      2280     23491     24703     32542    347325     26.07     27.64
3083.40/104.74	c  N dy   900    444903      2914      2280     27906     40882     32542    903699     26.11     28.33
3086.56/104.81	c Finding binary XORs  T:     0.05 s  found:      36
3086.56/104.82	c Replacing       36 vars Replaced     8220 lits Time:     0.01 s 
3176.06/107.61	c  N dy   983    502384      2878      2280     29239     31957     32542    494204     24.84     26.15
3176.06/107.66	c Finding binary XORs  T:     0.05 s  found:      52
3176.06/107.67	c Replacing       52 vars Replaced    11880 lits Time:     0.01 s 
3208.00/108.68	c Finding binary XORs  T:     0.05 s  found:       3
3230.37/109.37	c  N dy  1091    522442      2826      2280     31553     47859     32540   1422370     26.28     67.44
3265.53/110.45	c  S st  1157    536839      2826      2280     31610     32708     32540    644718     26.82   no data
3265.53/110.48	c  S st  1157    537341      2826      2280     31611     33083     32540    660254     26.82   no data
3268.73/110.52	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3271.92/110.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   54 Bins:   1747 BRemL:  10565 BRemN:    119 P:  2.9M T:  0.17
3275.13/110.71	c Replacing       57 vars Replaced    15445 lits Time:     0.01 s 
3275.13/110.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3275.13/110.72	c bin-w-bin subsume rem        15013 bins  time:  0.01 s
3275.13/110.73	c subs with bin:       47  lits-rem:       791  v-fix:    0  time:  0.01 s
3275.13/110.73	c Subs w/ non-existent bins:      8 l-rem:      0 v-fix:     0 done:   2769 time:  0.00 s
3275.13/110.74	c Removed useless bin:      74  fixed:     0  props:   0.07M  time:  0.00 s
3275.13/110.75	c lits-rem:         0  cl-subs:      144  v-elim:      9  v-fix:    0  time:  0.02 s
3278.33/110.80	c subs with bin:       53  lits-rem:      1978  v-fix:    0  time:  0.01 s
3380.61/114.08	c lits-rem:      3498  cl-subs:     7228  v-elim:      0  v-fix:    0  time:  3.28 s
3380.61/114.08	c vivif2 --  cl tried     2104 cl shrink       16 lits rem         19 time: 0.00
3380.61/114.09	c vivif2 --  cl tried    25661 cl shrink      111 lits rem        243 time: 0.01
3383.81/114.16	c asymm  cl-useful: 447/2098/2098 lits-rem:1322 time: 0.07
3383.81/114.17	c calculated reachability. Time: 0.00
3383.81/114.17	c  N dy  1157    537341      2760      2095      7407     25661     24978    498929     26.82   no data
3390.21/114.36	c Finding binary XORs  T:     0.05 s  found:      13
3429.15/115.55	c  N dy  1282    557430      2760      2095     16361     41120     24978   1372520     27.82    100.81
3460.52/116.53	c Finding binary XORs  T:     0.05 s  found:       3
3482.89/117.22	c  N dy  1396    577450      2760      2095     18049     30000     24978    537833     28.49    103.80
3486.09/117.39	c Finding binary XORs  T:     0.05 s  found:      11
3671.48/123.21	c  N dy  1448    683745      2760      2095     18588     47581     24978    801381     26.04     28.59
3675.26/123.27	c Finding binary XORs  T:     0.05 s  found:      14
3675.26/123.28	c Replacing       41 vars Replaced     8916 lits Time:     0.01 s 
3808.88/127.40	c  N dy  1605    770425      2719      2088     24145     57148     24910   1260382     26.57     28.62
3808.88/127.47	c Finding binary XORs  T:     0.05 s  found:      15
3875.99/129.54	c  N dy  1674    799306      2662      1806      3806     46258     20046    834409     27.00     29.53
3904.76/130.40	c  S st  1729    806012      2653      1806      3830     51995     20046   1279792     27.43   no data
3907.96/130.50	c  S st  1729    806514      2653      1806      3830     52420     20046   1301358     27.43   no data
3907.96/130.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3911.16/130.61	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     56 BRemL:    519 BRemN:     10 P:  0.9M T:  0.06
3911.16/130.64	c Replacing       17 vars Replaced     1917 lits Time:     0.03 s 
3911.16/130.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3911.16/130.65	c bin-w-bin subsume rem          640 bins  time:  0.00 s
3911.16/130.65	c subs with bin:       46  lits-rem:        21  v-fix:    0  time:  0.00 s
3911.16/130.65	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:   2634 time:  0.00 s
3911.16/130.65	c Removed useless bin:       1  fixed:     0  props:   0.05M  time:  0.00 s
3911.16/130.68	c lits-rem:         0  cl-subs:      386  v-elim:     13  v-fix:    0  time:  0.03 s
3914.36/130.76	c subs with bin:        7  lits-rem:        16  v-fix:    0  time:  0.00 s
4419.34/146.56	c lits-rem:      6991  cl-subs:    10140  v-elim:      0  v-fix:    0  time: 15.79 s
4419.34/146.56	c vivif2 --  cl tried     1221 cl shrink        6 lits rem         17 time: 0.00
4419.34/146.58	c vivif2 --  cl tried    42046 cl shrink        3 lits rem          4 time: 0.02
4419.34/146.60	c asymm  cl-useful: 151/1221/1221 lits-rem:303 time: 0.02
4422.54/146.60	c calculated reachability. Time: 0.00
4422.54/146.60	c  N dy  1729    806514      2620      1207      2013     42046     15798   1064052     27.43   no data
4425.73/146.76	c Finding binary XORs  T:     0.05 s  found:       0
4489.66/148.72	c Finding binary XORs  T:     0.05 s  found:       6
4502.45/149.16	c  N dy  1895    826569      2608      1132      2079     59174     15422   2354467     28.59     86.93
4569.58/151.30	c  N dy  2035    847702      2608      1132      2101     45217     15422   1308266     29.50     31.09
4649.48/153.72	c Finding binary XORs  T:     0.05 s  found:       1
4665.41/154.24	c  N dy  2222    869515      2608      1132      2119     64518     15422   2893880     30.83     32.47
4706.97/155.57	c  N dy  2255    896918      2608      1132      2120     51528     15422   1002908     30.81     32.46
4758.07/157.12	c  N dy  2329    916922      2608      1132      2160     67823     15422   1825478     31.07     33.11
4809.20/158.71	c Finding binary XORs  T:     0.05 s  found:       3
4818.80/159.08	c  N dy  2416    942291      2608      1132      2171     51477     15422   1181380     31.47     33.90
4896.86/161.52	c Following stats are for *FIRST FINISHED THREAD ONLY*
4896.86/161.52	c num threads              : 32         
4896.86/161.52	c restarts                 : 2739       
4896.86/161.52	c dynamic restarts         : 2715       
4896.86/161.52	c static restarts          : 24         
4896.86/161.52	c full restarts            : 3          
4896.86/161.52	c total simplify time      : 2.10       
4896.86/161.52	c learnts DL2              : 0          
4896.86/161.52	c learnts size 2           : 536943     
4896.86/161.52	c learnts size 1           : 3165        (6.23      % of vars)
4896.86/161.52	c filedLit time            : 6.79        (4.32      % time)
4896.86/161.52	c v-elim SatELite          : 6727        (13.24     % vars)
4896.86/161.52	c SatELite time            : 0.45        (0.29      % time)
4896.86/161.52	c v-elim xor               : 0           (0.00      % vars)
4896.86/161.52	c xor elim time            : 0.02        (0.02      % time)
4896.86/161.52	c num binary xor trees     : 4157       
4896.86/161.52	c binxor trees' crown      : 29762       (7.16      leafs/tree)
4896.86/161.52	c bin xor find time        : 1.01       
4896.86/161.52	c OTF clause improved      : 45219       (0.07      clauses/conflict)
4896.86/161.52	c OTF impr. size diff      : 46053       (1.02       lits/clause)
4896.86/161.52	c OTF cl watch-shrink      : 154253      (0.25      clauses/conflict)
4896.86/161.52	c OTF cl watch-sh-lit      : 366084      (2.37       lits/clause)
4896.86/161.52	c tried to recurMin cls    : 256669      (42.16      % of conflicts)
4896.86/161.52	c updated cache            : 37455       (0.15       lits/tried recurMin)
4896.86/161.52	c unit cls recevied        : 209         (6.60      % of units)
4896.86/161.52	c unit cls sent            : 2416        (76.33     % of units)
4896.86/161.52	c bin cls recevied         : 432374     
4896.86/161.52	c bin cls sent             : 107658     
4896.86/161.52	c clauses over max glue    : 0           (0.00      % of all clauses)
4896.86/161.52	c conflicts                : 608793      (3871.74   / sec)
4896.86/161.52	c decisions                : 1563036     (5.48      % random)
4896.86/161.52	c bogo-props               : 4950066928  (31480945.93 / sec)
4896.86/161.52	c conflict literals        : 13183005    (11.93     % deleted)
4896.86/161.52	c Memory used              : 9599.80     MB
4896.86/161.52	c single-thread CPU time   : 157.24      s
4896.86/161.52	c all-threads sum CPU time : 4841.10     s
4896.86/161.52	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-3400635-1306258262/watcher-3400635-1306258262 -o /tmp/evaluation-result-3400635-1306258262/solver-3400635-1306258262 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400635-1306258262.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: 20.36 28.07 29.78 1/413 9877
/proc/meminfo: memFree=255167776/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=338000 CPUtime=0.74 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 436 0 0 0 74 0 0 0 25 0 32 0 737312627 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9877/statm: 84500 376 297 95 0 79482 0
[pid=9877/tid=9878] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370732 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370742 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=338000 CPUtime=0 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=338000 CPUtime=0 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=338000 CPUtime=0 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370732 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370728 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370742 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370732 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370728 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370742 0 0 4096 2 0 0 0 -1 22 0 0 0

[startup+0.123848 s]
/proc/loadavg: 20.36 28.07 29.78 1/413 9877
/proc/meminfo: memFree=255167776/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=799416 CPUtime=3.26 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 10561 0 0 0 259 67 0 0 25 0 32 0 737312627 818601984 10298 268435456000 4194304 4580107 140736676125872 18446744073709551615 4205592 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9877/statm: 199854 10373 334 95 0 194836 0
[pid=9877/tid=9878] ppid=9875 vsize=799588 CPUtime=0.1 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 272 0 0 0 9 1 0 0 18 0 32 0 737312628 818778112 10400 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795590 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=799588 CPUtime=0.1 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 18 0 32 0 737312628 818778112 10457 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 8 1 0 0 23 0 32 0 737312628 818778112 10474 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 8 1 0 0 23 0 32 0 737312628 818778112 10534 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003800145 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 8 1 0 0 24 0 32 0 737312628 818778112 10552 268435456000 4194304 4580107 140736676125872 18446744073709551615 4511823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 269 0 0 0 8 1 0 0 24 0 32 0 737312628 818778112 10561 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003801647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=808052 CPUtime=0.1 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 24 0 32 0 737312628 827445248 10687 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=808052 CPUtime=0.1 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 269 0 0 0 8 2 0 0 18 0 32 0 737312628 827445248 10671 268435456000 4194304 4580107 140736676125872 18446744073709551615 4510656 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=807920 CPUtime=0.09 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 8 1 0 0 24 0 32 0 737312628 827310080 10674 268435456000 4194304 4580107 140736676125872 18446744073709551615 4510684 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=807920 CPUtime=0.1 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 266 0 0 0 8 2 0 0 24 0 32 0 737312628 827310080 10684 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795611 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=807920 CPUtime=0.1 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 321 0 0 0 8 2 0 0 17 0 32 0 737312628 827310080 10691 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=808120 CPUtime=0.09 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 424 0 0 0 7 2 0 0 17 0 32 0 737312628 827514880 10752 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604476688031200 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=808120 CPUtime=0.05 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 678 0 0 0 3 2 0 0 17 0 32 0 737312628 827514880 10771 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446744071566925704 0 0 -1 31 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=808120 CPUtime=0.07 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 6 1 0 0 25 0 32 0 737312628 827514880 10786 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509236 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=816324 CPUtime=0.08 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 6 2 0 0 25 0 32 0 737312628 835915776 10808 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003796619 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 484 0 0 0 7 3 0 0 17 0 32 0 737312628 835915776 10833 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651061007 0 0 4096 2 18446604505136987616 0 0 -1 27 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=816324 CPUtime=0.09 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 269 0 0 0 8 1 0 0 18 0 32 0 737312628 835915776 10844 268435456000 4194304 4580107 140736676125872 18446744073709551615 4511823 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 9 1 0 0 25 0 32 0 737312628 835915776 10871 268435456000 4194304 4580107 140736676125872 18446744073709551615 4510669 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 9 1 0 0 18 0 32 0 737312628 835915776 10895 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003800120 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=816324 CPUtime=0.09 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) D 9875 9877 9851 0 -1 4202560 450 0 0 0 7 2 0 0 17 0 32 0 737312628 835915776 10905 268435456000 4194304 4580107 140736676125872 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 270 0 0 0 9 1 0 0 25 0 32 0 737312628 835915776 10924 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003800120 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 25 0 32 0 737312628 835915776 10936 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795580 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=824528 CPUtime=0.1 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 606 0 0 0 8 2 0 0 17 0 32 0 737312628 844316672 10988 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=825048 CPUtime=0.09 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 669 0 0 0 7 2 0 0 17 0 32 0 737312628 844849152 11096 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604505253256672 0 0 -1 17 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=825048 CPUtime=0.1 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 25 0 32 0 737312628 844849152 11145 268435456000 4194304 4580107 140736676125872 18446744073709551615 4511851 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=833252 CPUtime=0.1 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 270 0 0 0 9 1 0 0 18 0 32 0 737312628 853250048 11256 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509212 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=841456 CPUtime=0.1 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 25 0 32 0 737312628 861650944 11320 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003796619 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=849920 CPUtime=0.11 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 9 2 0 0 18 0 32 0 737312628 870318080 11376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003799099 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=858124 CPUtime=0.1 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 270 0 0 0 9 1 0 0 18 0 32 0 737312628 878718976 11401 268435456000 4194304 4580107 140736676125872 18446744073709551615 4206184 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=858256 CPUtime=0.11 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 2 0 0 18 0 32 0 737312628 878854144 11477 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795611 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=858256 CPUtime=0.1 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 684 0 0 0 7 3 0 0 17 0 32 0 737312628 878854144 11491 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604480158326240 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 799416

[startup+0.214845 s]
/proc/loadavg: 20.36 28.07 29.78 1/413 9877
/proc/meminfo: memFree=255167776/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=1267948 CPUtime=5.19 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) S 9875 9877 9851 0 -1 4202496 21247 0 0 0 356 163 0 0 17 0 32 0 737312627 1298378752 20473 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9877/statm: 317051 20481 336 95 0 312033 0
[pid=9877/tid=9878] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 595 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20492 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604477929274848 0 0 -1 1 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 565 0 0 0 10 5 0 0 17 0 32 0 737312628 1298640896 20502 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604479314599392 0 0 -1 2 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 673 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20524 268435456000 4194304 4580107 140736676125872 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=1268204 CPUtime=0.16 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 335 0 0 0 13 3 0 0 17 0 32 0 737312628 1298640896 20559 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604505136987616 0 0 -1 20 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 469 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20578 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604498647039456 0 0 -1 5 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) D 9875 9877 9851 0 -1 4202560 633 0 0 0 10 5 0 0 17 0 32 0 737312628 1298640896 20578 268435456000 4194304 4580107 140736676125872 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 612 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20600 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604476379938272 0 0 -1 3 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=1268204 CPUtime=0.16 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 632 0 0 0 11 5 0 0 17 0 32 0 737312628 1298640896 20613 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 614 0 0 0 10 5 0 0 17 0 32 0 737312628 1298640896 20630 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604502122667488 0 0 -1 16 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=1268204 CPUtime=0.17 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 375 0 0 0 13 4 0 0 17 0 32 0 737312628 1298640896 20677 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604484838252000 0 0 -1 12 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=1268204 CPUtime=0.14 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 902 0 0 0 9 5 0 0 17 0 32 0 737312628 1298640896 20696 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604483831463392 0 0 -1 8 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 1005 0 0 0 9 6 0 0 17 0 32 0 737312628 1298640896 20714 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604503972347360 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=1268204 CPUtime=0.12 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 1226 0 0 0 6 6 0 0 17 0 32 0 737312628 1298640896 20726 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604501768642016 0 0 -1 31 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=1268204 CPUtime=0.13 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 563 0 0 0 8 5 0 0 17 0 32 0 737312628 1298640896 20746 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=1268204 CPUtime=0.14 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) D 9875 9877 9851 0 -1 4202560 513 0 0 0 10 4 0 0 17 0 32 0 737312628 1298640896 20747 268435456000 4194304 4580107 140736676125872 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 1016 0 0 0 8 7 0 0 17 0 32 0 737312628 1298640896 20765 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604478179139040 0 0 -1 27 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=1268720 CPUtime=0.14 cores=0-31

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

[pid=9877/tid=9908] ppid=9875 vsize=5693776 CPUtime=22.22 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 13975 0 0 0 2150 72 0 0 18 0 32 0 737312628 5830426624 1090136 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 559.12
Current children cumulated vsize (KiB) 5693776

[startup+51.1026 s]
/proc/loadavg: 26.71 28.48 29.81 33/445 9911
/proc/meminfo: memFree=249557608/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=7216548 CPUtime=1370.49 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 1569572 0 0 0 131930 5119 0 0 25 0 32 0 737312627 7389745152 1398137 268435456000 4194304 4580107 140736676125872 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 1804137 1398137 379 95 0 1799119 0
[pid=9877/tid=9878] ppid=9875 vsize=7216548 CPUtime=42.54 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51137 0 0 0 4090 164 0 0 25 0 32 0 737312628 7389745152 1398137 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=7216548 CPUtime=42.69 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48907 0 0 0 4101 168 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=7216548 CPUtime=42.72 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48432 0 0 0 4109 163 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=7216548 CPUtime=42.62 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49239 0 0 0 4100 162 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=7216548 CPUtime=42.84 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50648 0 0 0 4126 158 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=7216548 CPUtime=42.81 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50592 0 0 0 4121 160 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=7216548 CPUtime=42.36 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49244 0 0 0 4070 166 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=7216548 CPUtime=42.73 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51210 0 0 0 4110 163 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=7216548 CPUtime=42.78 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49723 0 0 0 4117 161 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=7216548 CPUtime=42.68 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51844 0 0 0 4102 166 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=7216548 CPUtime=42.71 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48863 0 0 0 4112 159 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295661 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=7216548 CPUtime=43.21 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49162 0 0 0 4167 154 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295584 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=7216548 CPUtime=42.76 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50969 0 0 0 4113 163 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=7216548 CPUtime=42.95 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49815 0 0 0 4134 161 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=7216548 CPUtime=42.21 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49002 0 0 0 4062 159 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4321320 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=7216548 CPUtime=42.29 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48248 0 0 0 4064 165 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4497334 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=7216548 CPUtime=42.33 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49420 0 0 0 4063 170 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=7216548 CPUtime=42.38 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50422 0 0 0 4076 162 0 0 18 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=7216548 CPUtime=42.43 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50779 0 0 0 4076 167 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=7216548 CPUtime=42.77 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49681 0 0 0 4108 169 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=7216548 CPUtime=42.73 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49445 0 0 0 4117 156 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=7216548 CPUtime=42.82 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 44641 0 0 0 4125 157 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=7216548 CPUtime=42.51 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50329 0 0 0 4087 164 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4288459 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=7216548 CPUtime=42.8 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48569 0 0 0 4116 164 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=7216548 CPUtime=42.92 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 52510 0 0 0 4135 157 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=7216548 CPUtime=42.68 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51358 0 0 0 4101 167 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=7216548 CPUtime=42.23 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49665 0 0 0 4063 160 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=7216548 CPUtime=42.86 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51530 0 0 0 4129 157 0 0 18 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=7216548 CPUtime=42.86 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48861 0 0 0 4124 162 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=7216548 CPUtime=42.57 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50157 0 0 0 4092 165 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=7216548 CPUtime=47.72 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 20462 0 0 0 4696 76 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1370.49
Current children cumulated vsize (KiB) 7216548

[startup+102.302 s]
/proc/loadavg: 29.79 29.05 29.93 33/445 9911
/proc/meminfo: memFree=248605508/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=8289108 CPUtime=3007.28 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 2140937 0 0 0 295390 5338 0 0 25 0 32 0 737312627 8488046592 1636017 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 2072277 1636017 379 95 0 2067259 0
[pid=9877/tid=9878] ppid=9875 vsize=8289108 CPUtime=93.74 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 81057 0 0 0 9200 174 0 0 25 0 32 0 737312628 8488046592 1636020 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318366 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=8289108 CPUtime=93.39 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 82440 0 0 0 9160 179 0 0 25 0 32 0 737312628 8488046592 1636021 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=8289108 CPUtime=93.91 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 78880 0 0 0 9218 173 0 0 25 0 32 0 737312628 8488046592 1636022 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=8289108 CPUtime=93.81 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 70574 0 0 0 9212 169 0 0 25 0 32 0 737312628 8488046592 1636024 268435456000 4194304 4580107 140736676125872 18446744073709551615 4256885 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=8289108 CPUtime=94.04 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 72883 0 0 0 9237 167 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=8289108 CPUtime=94 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 73927 0 0 0 9232 168 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=8289108 CPUtime=93.56 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 67537 0 0 0 9183 173 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=8289108 CPUtime=93.94 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 64100 0 0 0 9226 168 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=8289108 CPUtime=93.98 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 70013 0 0 0 9230 168 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=8289108 CPUtime=93.88 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 69442 0 0 0 9215 173 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=8289108 CPUtime=93.91 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 60517 0 0 0 9227 164 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=8289108 CPUtime=94.41 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 63062 0 0 0 9282 159 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=8289108 CPUtime=92.99 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 66297 0 0 0 9130 169 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=8289108 CPUtime=94.15 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 56685 0 0 0 9250 165 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318461 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=8289108 CPUtime=93.41 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 66118 0 0 0 9175 166 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=8289108 CPUtime=93.48 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 64779 0 0 0 9177 171 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=8289108 CPUtime=93.53 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 62467 0 0 0 9177 176 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295297 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=8289108 CPUtime=93.57 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 62742 0 0 0 9190 167 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=8289108 CPUtime=93.63 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 61915 0 0 0 9192 171 0 0 25 0 32 0 737312628 8488046592 1636027 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318446 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=8289108 CPUtime=93.96 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 63857 0 0 0 9221 175 0 0 25 0 32 0 737312628 8488046592 1636027 268435456000 4194304 4580107 140736676125872 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=8289108 CPUtime=93.92 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 71448 0 0 0 9227 165 0 0 25 0 32 0 737312628 8488046592 1636027 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=8289108 CPUtime=94.02 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 57002 0 0 0 9239 163 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=8289108 CPUtime=93.69 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 73411 0 0 0 9196 173 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=8289108 CPUtime=94 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 61001 0 0 0 9231 169 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=8289108 CPUtime=94.11 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 64305 0 0 0 9250 161 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=8289108 CPUtime=93.86 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 68193 0 0 0 9213 173 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=8289108 CPUtime=93.44 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 61365 0 0 0 9178 166 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=8289108 CPUtime=94.05 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 71331 0 0 0 9240 165 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=8289108 CPUtime=94.05 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 70515 0 0 0 9234 171 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=8289108 CPUtime=93.76 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 68842 0 0 0 9205 171 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=8289108 CPUtime=98.92 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 35744 0 0 0 9809 83 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3007.28
Current children cumulated vsize (KiB) 8289108

[startup+162.301 s]
/proc/loadavg: 31.23 29.60 30.06 2/415 9913
/proc/meminfo: memFree=249513596/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=0 CPUtime=4897.72 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) Z 9875 9877 9851 0 -1 4203548 2803045 0 0 0 484110 5662 0 0 25 0 2 0 737312627 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 0 0 0 0 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=0 CPUtime=153.92 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4203588 87589 0 0 0 15142 250 0 0 25 0 2 0 737312628 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 4897.72
Current children cumulated vsize (KiB) 0

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

[startup+162.301 s]
/proc/loadavg: 31.23 29.60 30.06 2/415 9913
/proc/meminfo: memFree=249513596/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=0 CPUtime=4897.72 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) Z 9875 9877 9851 0 -1 4203548 2803045 0 0 0 484110 5662 0 0 25 0 2 0 737312627 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 0 0 0 0 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=0 CPUtime=153.92 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4203588 87589 0 0 0 15142 250 0 0 25 0 2 0 737312628 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 4897.72
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 162.321
CPU time (s): 4897.74
CPU user time (s): 4841.1
CPU system time (s): 56.6394
CPU usage (%): 3017.33
Max. virtual memory (cumulated for all children) (KiB): 9916100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4841.1
system time used= 56.6394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2803045
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= 1715409
involuntary context switches= 15158

runsolver used 1.10583 second user time and 4.03439 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 19:31:02
IDJOB=3400635
IDBENCH=20536
IDSOLVER=1886
FILE ID=node200/3400635-1306258262
RUNJOBID= node200-1306258262-9865
PBS_JOBID= 13411762
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400635-1306258262/watcher-3400635-1306258262 -o /tmp/evaluation-result-3400635-1306258262/solver-3400635-1306258262 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400635-1306258262.cnf

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

MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=302606144

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:      255168312 kB
Buffers:        463804 kB
Cached:        8219924 kB
SwapCached:          0 kB
Active:        7771184 kB
Inactive:       981240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255168312 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10180 kB
Writeback:           0 kB
AnonPages:       70260 kB
Mapped:          13428 kB
Slab:           254988 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186232 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= 62036 MiB
End job on node200 at 2011-05-24 19:33:45