Trace number 3400666

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 74749.9 2340.92

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
MD5SUM49867705b76fc90285dd6fc48de2613c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark74749.9
Satisfiable
(Un)Satisfiability was proved
Number of variables69561
Number of clauses226787
Sum of the clauses size587727
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292376
Number of clauses of size 3134282
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400666-1306318481.cnf'
48.53/2.60	c -- clauses added:            0 learnts,       226787 normals,            0 xors
48.53/2.60	c -- vars added      69561
48.53/2.60	c Parsing time:  0.41 s
48.53/2.60	c  N st     0         0     69561    133769     92375         0    586057         0   no data   no data
58.50/2.98	c asymm  cl-useful: 2/133769/133769 lits-rem:6 time: 0.37
76.63/3.54	c Flit:     9 Blit:    106 bXBeca:    0 bXProp: 5530 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.54
76.63/3.54	c Cleaning up after failed var search:     0.00 s 
79.61/3.62	c Replacing     5530 vars Replaced    70076 lits Time:     0.07 s 
96.02/4.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97.46/4.60	c bin-w-bin subsume rem            6 bins  time:  0.02 s
97.46/4.66	c subs with bin:       90  lits-rem:        60  v-fix:    0  time:  0.05 s
99.15/4.77	c Subs w/ non-existent bins:      6 l-rem:      4 v-fix:     0 done:  63670 time:  0.08 s
100.83/4.84	c Removed useless bin:       2  fixed:     0  props:   1.67M  time:  0.07 s
121.85/5.68	c lits-rem:         0  cl-subs:     5611  v-elim:  21223  v-fix:    0  time:  0.52 s
124.12/5.70	c Finding binary XORs  T:     0.02 s  found:       0
126.58/5.89	c Finding non-binary XORs:     0.08 s (found:   23091, avg size: 3.0)
126.58/5.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   8752 locsubst:    54 time:   0.07
126.58/5.90	c calculated reachability. Time: 0.00
129.18/5.91	c Calc default polars -  time:   0.01 s pos:    8305 undec:   35965 neg:   25291
129.18/5.91	c =========================================================================================
129.18/5.91	c types(t): F = full restart, N = normal restart
129.18/5.91	c types(t): S = simplification begin/end, E = solution found
129.18/5.91	c restart types(rt): st = static, dy = dynamic
129.18/5.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
129.18/5.91	c  B st     0         0     33695     56236     23413         0    267297         0   no data   no data
325.80/12.23	c Decided on static restart strategy
654.39/22.51	c  N st     8      4914     33695     56236     23576      4628    267297    378696   no data   no data
811.03/27.51	c Finding binary XORs  T:     0.02 s  found:      65
1031.58/34.32	c  N st    10     11297     33653     56082     25061     10770    266832    769393   no data   no data
1699.64/55.23	c  N st    11     17040     33653     56082     25072     16352    266832   1291331   no data   no data
1699.64/55.27	c Finding binary XORs  T:     0.02 s  found:      49
2514.73/80.71	c  F st    12     25000     33633     56030     25983     15502    266651    916263   no data   no data
2514.73/80.78	c Replacing      155 vars Replaced    17751 lits Time:     0.06 s 
2517.93/80.82	c Replacing        3 vars Replaced       56 lits Time:     0.02 s 
2517.93/80.87	c  N st    12     25000     33465     55976     25536     15477    265935    914277   no data   no data
3061.37/97.84	c Decided on static restart strategy
3061.37/97.84	c  N st    18     30001     33458     55976     25944     20354    265935   1352720   no data   no data
3061.37/97.84	c  S st    18     30001     33458     55976     25944     20354    265935   1352720   no data   no data
3065.18/97.96	c  S st    18     30503     33458     55976     25975     20816    265935   1359083   no data   no data
3065.18/98.00	c x-sub:    27 x-cut:      0 vfix:      0 v-elim:    242 locsubst:     8 time:   0.04
3077.34/98.30	c Flit:     1 Blit:      4 bXBeca:    0 bXProp:   92 Bins:   8172 BRemL:   2475 BRemN:     27 P:  3.3M T:  0.30
3077.34/98.34	c Replacing      107 vars Replaced     4904 lits Time:     0.04 s 
3077.34/98.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3077.34/98.39	c bin-w-bin subsume rem          479 bins  time:  0.01 s
3080.54/98.42	c subs with bin:     1762  lits-rem:        20  v-fix:    0  time:  0.03 s
3080.54/98.46	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  33096 time:  0.03 s
3080.54/98.49	c Removed useless bin:      27  fixed:     0  props:   0.46M  time:  0.03 s
3086.93/98.61	c lits-rem:         0  cl-subs:       69  v-elim:   4506  v-fix:    0  time:  0.12 s
3086.93/98.67	c subs with bin:       58  lits-rem:      4702  v-fix:    0  time:  0.03 s
3096.53/98.94	c lits-rem:      1969  cl-subs:     1160  v-elim:      0  v-fix:    0  time:  0.24 s
3100.35/99.07	c asymm  cl-useful: 0/58570/58570 lits-rem:0 time: 0.13
3100.35/99.09	c calculated reachability. Time: 0.01
3100.35/99.09	c  N st    18     30503     28590     58570     16794     13507    249284    304940   no data   no data
3480.08/110.95	c Finding binary XORs  T:     0.02 s  found:      34
4148.13/131.84	c  N st    20     37614     28590     58570     17054     20487    249284    719758   no data   no data
4733.09/150.19	c  N st    21     44014     28590     58570     17056     15674    249284    564609   no data   no data
4736.29/150.21	c Finding binary XORs  T:     0.02 s  found:      54
4841.78/153.60	c  S st    22     45755     28590     58570     19561     17374    249284    600329   no data   no data
4848.17/153.71	c  S st    22     46262     28590     58570     19563     17872    249284    607967   no data   no data
4848.17/153.74	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:     65 locsubst:    17 time:   0.03
4854.57/154.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   38 Bins:    239 BRemL:   1805 BRemN:      7 P:  2.5M T:  0.27
4858.36/154.04	c Replacing      133 vars Replaced     4166 lits Time:     0.02 s 
4858.36/154.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4858.36/154.08	c bin-w-bin subsume rem         1008 bins  time:  0.01 s
4858.36/154.10	c subs with bin:       28  lits-rem:         3  v-fix:    0  time:  0.02 s
4861.59/154.13	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  28392 time:  0.02 s
4861.59/154.15	c Removed useless bin:       5  fixed:     0  props:   0.28M  time:  0.02 s
4864.14/154.20	c lits-rem:         0  cl-subs:       92  v-elim:     48  v-fix:    0  time:  0.05 s
4864.14/154.26	c subs with bin:       16  lits-rem:       720  v-fix:    0  time:  0.03 s
4867.34/154.37	c lits-rem:       526  cl-subs:      321  v-elim:      0  v-fix:    0  time:  0.09 s
4867.34/154.38	c vivif2 --  cl tried    58442 cl shrink        2 lits rem          2 time: 0.01
4870.54/154.40	c vivif2 --  cl tried    15756 cl shrink     1786 lits rem       2724 time: 0.02
4873.74/154.53	c asymm  cl-useful: 2/58440/58440 lits-rem:2 time: 0.13
4873.74/154.55	c calculated reachability. Time: 0.01
4873.74/154.55	c  N st    22     46262     28344     58440     16631     15751    248276    301656   no data   no data
6468.79/204.41	c  N st    23     60661     28344     58440     16631     29923    248276   2038793   no data   no data
6468.79/204.43	c Finding binary XORs  T:     0.02 s  found:       0
7255.10/229.04	c  N st    24     69393     28344     58440     17029     24477    248276    638625   no data   no data
7255.10/229.04	c  S st    24     69393     28344     58440     17029     24477    248276    638625   no data   no data
7258.30/229.16	c  S st    24     69896     28344     58440     17140     24977    248276    645782   no data   no data
7258.30/229.19	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    34 time:   0.03
7267.90/229.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   74 Bins:    234 BRemL:    397 BRemN:      0 P:  2.7M T:  0.28
7267.90/229.49	c Replacing       91 vars Replaced     1695 lits Time:     0.02 s 
7271.10/229.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7271.10/229.54	c bin-w-bin subsume rem          278 bins  time:  0.01 s
7271.10/229.56	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.02 s
7271.10/229.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28252 time:  0.02 s
7274.30/229.61	c Removed useless bin:       1  fixed:     0  props:   0.28M  time:  0.02 s
7274.30/229.66	c lits-rem:         0  cl-subs:       40  v-elim:     35  v-fix:    0  time:  0.05 s
7277.50/229.75	c subs with bin:       16  lits-rem:       430  v-fix:    0  time:  0.04 s
7287.71/230.07	c lits-rem:      1144  cl-subs:      500  v-elim:      0  v-fix:    0  time:  0.30 s
7287.71/230.08	c vivif2 --  cl tried    58333 cl shrink        0 lits rem          0 time: 0.01
7290.27/230.12	c vivif2 --  cl tried    24094 cl shrink     2364 lits rem       4229 time: 0.04
7293.46/230.26	c asymm  cl-useful: 7/58333/58333 lits-rem:21 time: 0.14
7293.46/230.28	c calculated reachability. Time: 0.01
7293.46/230.28	c  N st    24     69896     28217     58326     16537     24094    247390    578505   no data   no data
9022.77/284.31	c  F st    25     87500     28217     58326     16537     41443    247390   1577008   no data   no data
9022.77/284.36	c  N st    25     87500     28217     58326     16537     41443    247390   1577008   no data   no data
9022.77/284.38	c Finding binary XORs  T:     0.02 s  found:      19
9284.90/292.53	c Decided on static restart strategy
9566.20/301.34	c  N st    32     95538     28217     58326     16941     31573    247390   1152071   no data   no data
10550.69/332.12	c  N st    34    104845     28216     58326     17082     40745    247390   2191754   no data   no data
10550.69/332.12	c  S st    34    104845     28216     58326     17082     40745    247390   2191754   no data   no data
10554.48/332.28	c  S st    34    105346     28216     58326     17323     41243    247390   2200465   no data   no data
10554.48/332.32	c x-sub:    17 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    12 time:   0.04
10566.66/332.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   22 Bins:     80 BRemL:    475 BRemN:      0 P:  3.1M T:  0.31
10566.66/332.68	c Replacing       48 vars Replaced      876 lits Time:     0.05 s 
10569.89/332.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10569.89/332.73	c bin-w-bin subsume rem          174 bins  time:  0.01 s
10569.89/332.75	c subs with bin:        7  lits-rem:         0  v-fix:    0  time:  0.02 s
10569.89/332.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28168 time:  0.02 s
10569.89/332.79	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
10573.09/332.86	c lits-rem:         0  cl-subs:       24  v-elim:     19  v-fix:    0  time:  0.07 s
10585.85/333.20	c subs with bin:       26  lits-rem:       949  v-fix:    0  time:  0.15 s
10660.00/335.56	c lits-rem:      2767  cl-subs:     1270  v-elim:      0  v-fix:    0  time:  2.33 s
10660.00/335.57	c vivif2 --  cl tried    58235 cl shrink        0 lits rem          0 time: 0.01
10665.78/335.73	c vivif2 --  cl tried    39872 cl shrink     8185 lits rem      16894 time: 0.16
10672.14/335.90	c asymm  cl-useful: 0/58235/58235 lits-rem:0 time: 0.17
10672.14/335.92	c calculated reachability. Time: 0.01
10672.14/335.92	c  N st    34    105346     28149     58235     16590     39871    246673   2042426   no data   no data
12395.05/389.82	c  N st    35    114946     28149     58235     16590     29118    246673    548187   no data   no data
12395.05/389.84	c Finding binary XORs  T:     0.02 s  found:       0
13948.59/438.43	c  N st    36    129344     28149     58235     16735     43320    246673   2658545   no data   no data
17592.58/552.46	c  N st    37    150939     28149     58235     16747     42343    246673   1127806   no data   no data
18593.10/583.79	c  S st    38    158020     28149     58235     16892     49302    246673   2061833   no data   no data
18599.51/583.96	c  S st    38    158521     28149     58235     16938     49801    246673   2070912   no data   no data
18602.70/584.00	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:     31 locsubst:    12 time:   0.04
18612.28/584.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:     65 BRemL:    217 BRemN:      0 P:  3.4M T:  0.33
18615.48/584.43	c Replacing        9 vars Replaced    10618 lits Time:     0.09 s 
18615.48/584.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18615.48/584.48	c bin-w-bin subsume rem           45 bins  time:  0.01 s
18618.67/584.50	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.02 s
18618.67/584.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28109 time:  0.02 s
18618.67/584.55	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
18621.87/584.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
18631.46/584.92	c subs with bin:       29  lits-rem:       937  v-fix:    0  time:  0.14 s
18736.92/588.23	c lits-rem:      3174  cl-subs:     5963  v-elim:      0  v-fix:    0  time:  3.29 s
18736.92/588.24	c vivif2 --  cl tried    58234 cl shrink        0 lits rem          0 time: 0.01
18740.12/588.37	c vivif2 --  cl tried    43809 cl shrink     6921 lits rem      15730 time: 0.13
18747.14/588.56	c asymm  cl-useful: 0/58234/58234 lits-rem:0 time: 0.19
18747.14/588.58	c calculated reachability. Time: 0.01
18747.14/588.58	c  N st    38    158521     28109     58234     16732     43809    246531   1892879   no data   no data
28689.68/899.69	c  N st    39    207109     28109     58234     16733     43997    246531    829318   no data   no data
28692.88/899.74	c Finding binary XORs  T:     0.02 s  found:      12
34261.18/1073.91	c  N st    40    237781     28105     58224     16967     48577    246490    848002   no data   no data
34261.18/1073.91	c  S st    40    237781     28105     58224     16967     48577    246490    848002   no data   no data
34267.57/1074.10	c  S st    40    238287     28102     58224     17046     49079    246490    856181   no data   no data
34267.57/1074.14	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
34277.17/1074.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:    181 BRemL:    312 BRemN:      0 P:  3.5M T:  0.34
34280.37/1074.55	c Replacing       31 vars Replaced     7502 lits Time:     0.07 s 
34280.37/1074.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34280.37/1074.60	c bin-w-bin subsume rem           84 bins  time:  0.01 s
34283.56/1074.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34283.56/1074.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28071 time:  0.02 s
34283.56/1074.67	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
34287.38/1074.73	c lits-rem:         0  cl-subs:       35  v-elim:      1  v-fix:    0  time:  0.06 s
34290.61/1074.88	c subs with bin:      122  lits-rem:      2575  v-fix:    0  time:  0.08 s
34328.30/1076.04	c lits-rem:      4055  cl-subs:     5034  v-elim:      0  v-fix:    0  time:  1.13 s
34328.30/1076.05	c vivif2 --  cl tried    58181 cl shrink        0 lits rem          0 time: 0.01
34331.49/1076.10	c vivif2 --  cl tried    43722 cl shrink     3147 lits rem       9478 time: 0.05
34337.89/1076.31	c asymm  cl-useful: 0/58181/58181 lits-rem:0 time: 0.21
34337.89/1076.33	c calculated reachability. Time: 0.01
34337.89/1076.33	c  N st    40    238287     28070     58181     16704     43722    246267    745695   no data   no data
47593.79/1491.01	c  F st    41    306250     28070     58181     16708     57230    246267   1199669   no data   no data
47593.79/1491.06	c  N st    41    306250     28070     58181     16708     57230    246267   1199669   no data   no data
47596.99/1491.11	c Finding binary XORs  T:     0.02 s  found:       5
48073.87/1506.05	c Decided on static restart strategy
51982.59/1628.37	c  N st    51    334554     28068     58178     17277     57173    246252   1385173   no data   no data
56396.94/1766.50	c  N st    53    357431     28064     58178     17450     50430    246252   1081731   no data   no data
56396.94/1766.50	c  S st    53    357431     28064     58178     17450     50430    246252   1081731   no data   no data
56403.97/1766.70	c  S st    53    357937     28064     58178     17458     50931    246252   1089426   no data   no data
56407.16/1766.74	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    18 time:   0.04
56416.12/1767.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:    547 BRemL:    736 BRemN:      1 P:  3.5M T:  0.34
56419.32/1767.14	c Replacing       23 vars Replaced     3337 lits Time:     0.05 s 
56419.32/1767.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56419.32/1767.19	c bin-w-bin subsume rem          135 bins  time:  0.01 s
56422.52/1767.21	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.02 s
56422.52/1767.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28041 time:  0.03 s
56422.52/1767.26	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.03 s
56425.71/1767.33	c lits-rem:         0  cl-subs:       20  v-elim:      0  v-fix:    0  time:  0.07 s
56432.11/1767.52	c subs with bin:      342  lits-rem:      2413  v-fix:    0  time:  0.11 s
56460.87/1768.48	c lits-rem:      2050  cl-subs:      773  v-elim:      0  v-fix:    0  time:  0.94 s
56460.87/1768.49	c vivif2 --  cl tried    58145 cl shrink        0 lits rem          0 time: 0.01
56464.07/1768.56	c vivif2 --  cl tried    49627 cl shrink     2726 lits rem       5172 time: 0.07
56470.47/1768.77	c asymm  cl-useful: 2/58145/58145 lits-rem:6 time: 0.21
56470.47/1768.79	c calculated reachability. Time: 0.01
56470.47/1768.79	c  N st    53    357937     28041     58143     16967     49614    246100   1038580   no data   no data
62284.89/1950.64	c  N st    54    390330     28041     58143     16971     51106    246100    838375   no data   no data
62284.89/1950.68	c Finding binary XORs  T:     0.02 s  found:       6
73140.84/2290.30	c  N st    55    438919     28036     58136     17389     66949    246061   1140276   no data   no data
73144.05/2290.35	c Finding binary XORs  T:     0.02 s  found:      26
74748.03/2340.54	c Following stats are for *FIRST FINISHED THREAD ONLY*
74748.03/2340.54	c num threads              : 32         
74748.03/2340.54	c restarts                 : 55         
74748.03/2340.54	c dynamic restarts         : 0          
74748.03/2340.54	c static restarts          : 55         
74748.03/2340.54	c full restarts            : 3          
74748.03/2340.54	c total simplify time      : 0.55       
74748.03/2340.54	c learnts DL2              : 0          
74748.03/2340.54	c learnts size 2           : 113749     
74748.03/2340.54	c learnts size 1           : 745         (1.07      % of vars)
74748.03/2340.54	c filedLit time            : 1.20        (0.05      % time)
74748.03/2340.54	c v-elim SatELite          : 25828       (37.13     % vars)
74748.03/2340.54	c SatELite time            : 2.98        (0.13      % time)
74748.03/2340.54	c v-elim xor               : 9061        (13.03     % vars)
74748.03/2340.54	c xor elim time            : 0.14        (0.01      % time)
74748.03/2340.54	c num binary xor trees     : 5443       
74748.03/2340.54	c binxor trees' crown      : 6163        (1.13      leafs/tree)
74748.03/2340.54	c bin xor find time        : 0.28       
74748.03/2340.54	c OTF clause improved      : 12771       (0.03      clauses/conflict)
74748.03/2340.54	c OTF impr. size diff      : 14096       (1.10       lits/clause)
74748.03/2340.54	c OTF cl watch-shrink      : 214754      (0.48      clauses/conflict)
74748.03/2340.54	c OTF cl watch-sh-lit      : 666425      (3.10       lits/clause)
74748.03/2340.54	c tried to recurMin cls    : 194883      (43.98      % of conflicts)
74748.03/2340.54	c updated cache            : 9785        (0.05       lits/tried recurMin)
74748.03/2340.54	c unit cls recevied        : 77          (10.34     % of units)
74748.03/2340.54	c unit cls sent            : 0           (0.00      % of units)
74748.03/2340.54	c bin cls recevied         : 31338      
74748.03/2340.54	c bin cls sent             : 499        
74748.03/2340.54	c clauses over max glue    : 0           (0.00      % of all clauses)
74748.03/2340.54	c conflicts                : 443129      (189.73    / sec)
74748.03/2340.54	c decisions                : 901885      (26.66     % random)
74748.03/2340.54	c bogo-props               : 61066206709 (26145609.52 / sec)
74748.03/2340.54	c conflict literals        : 28026231    (56.49     % deleted)
74748.03/2340.54	c Memory used              : 5348.12     MB
74748.03/2340.54	c single-thread CPU time   : 2335.62     s
74748.03/2340.54	c all-threads sum CPU time : 74684.87    s
74748.03/2340.54	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-3400666-1306318481/watcher-3400666-1306318481 -o /tmp/evaluation-result-3400666-1306318481/solver-3400666-1306318481 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400666-1306318481.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: 29.45 31.51 31.84 1/413 14440
/proc/meminfo: memFree=255157644/264257624 swapFree=67111528/67111528
[pid=14440] ppid=14438 vsize=797972 CPUtime=0.79 cores=0-31
/proc/14440/stat : 14440 (strangenight2-m) D 14438 14440 14414 0 -1 4202496 8249 0 0 0 19 60 0 0 18 0 32 0 743334557 817123328 8091 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14440/statm: 199493 8108 331 95 0 194475 0
[pid=14440/tid=14441] ppid=14438 vsize=797972 CPUtime=0.02 cores=0-31
/proc/14440/task/14441/stat : 14441 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 260 0 0 0 0 2 0 0 23 0 32 0 743334557 817123328 8158 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14440/tid=14442] ppid=14438 vsize=797972 CPUtime=0.02 cores=0-31
/proc/14440/task/14442/stat : 14442 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 264 0 0 0 0 2 0 0 22 0 32 0 743334557 817123328 8163 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14440/tid=14443] ppid=14438 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14440/task/14443/stat : 14443 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 254 0 0 0 0 1 0 0 23 0 32 0 743334557 817123328 8179 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14440/tid=14444] ppid=14438 vsize=797972 CPUtime=0.02 cores=0-31
/proc/14440/task/14444/stat : 14444 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 290 0 0 0 0 2 0 0 18 0 32 0 743334557 817123328 8180 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14440/tid=14445] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14445/stat : 14445 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 267 0 0 0 0 2 0 0 22 0 32 0 743334557 884232192 8188 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14440/tid=14446] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14446/stat : 14446 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 229 0 0 0 0 1 0 0 24 0 32 0 743334558 884232192 8193 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14440/tid=14447] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14447/stat : 14447 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 216 0 0 0 0 1 0 0 23 0 32 0 743334558 884232192 8204 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14440/tid=14448] ppid=14438 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14440/task/14448/stat : 14448 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 272 0 0 0 0 1 0 0 18 0 32 0 743334558 817123328 8207 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14440/tid=14449] ppid=14438 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14440/task/14449/stat : 14449 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 256 0 0 0 0 1 0 0 24 0 32 0 743334558 817123328 8235 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14440/tid=14450] ppid=14438 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14440/task/14450/stat : 14450 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 279 0 0 0 0 1 0 0 24 0 32 0 743334558 817123328 8239 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566926624 0 0 -1 12 0 0 0
[pid=14440/tid=14451] ppid=14438 vsize=929044 CPUtime=0.01 cores=0-31
/proc/14440/task/14451/stat : 14451 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 287 0 0 0 0 1 0 0 18 0 32 0 743334558 951341056 8241 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14440/tid=14452] ppid=14438 vsize=929044 CPUtime=0.02 cores=0-31
/proc/14440/task/14452/stat : 14452 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 233 0 0 0 0 2 0 0 24 0 32 0 743334558 951341056 8249 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14440/tid=14453] ppid=14438 vsize=929044 CPUtime=0.02 cores=0-31
/proc/14440/task/14453/stat : 14453 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 233 0 0 0 0 2 0 0 25 0 32 0 743334558 951341056 8258 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14440/tid=14454] ppid=14438 vsize=929044 CPUtime=0.02 cores=0-31
/proc/14440/task/14454/stat : 14454 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 257 0 0 0 0 2 0 0 18 0 32 0 743334558 951341056 8261 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14440/tid=14455] ppid=14438 vsize=863540 CPUtime=0.01 cores=0-31
/proc/14440/task/14455/stat : 14455 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 240 0 0 0 0 1 0 0 25 0 32 0 743334558 884264960 8275 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14440/tid=14456] ppid=14438 vsize=863540 CPUtime=0.01 cores=0-31
/proc/14440/task/14456/stat : 14456 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 232 0 0 0 0 1 0 0 18 0 32 0 743334558 884264960 8288 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14440/tid=14457] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14457/stat : 14457 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 245 0 0 0 0 1 0 0 25 0 32 0 743334558 884232192 8289 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14440/tid=14458] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14458/stat : 14458 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 278 0 0 0 0 2 0 0 18 0 32 0 743334558 884232192 8299 268435456000 4194304 4580107 140735281513456 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14440/tid=14459] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14459/stat : 14459 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 282 0 0 0 0 1 0 0 17 0 32 0 743334558 884232192 8306 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566929824 0 0 -1 18 0 0 0
[pid=14440/tid=14460] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14460/stat : 14460 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 270 0 0 0 0 1 0 0 18 0 32 0 743334558 884232192 8315 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14440/tid=14461] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14461/stat : 14461 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 268 0 0 0 0 2 0 0 18 0 32 0 743334558 884232192 8322 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14440/tid=14462] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14462/stat : 14462 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 232 0 0 0 0 2 0 0 25 0 32 0 743334558 884232192 8332 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14440/tid=14463] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14463/stat : 14463 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 278 0 0 0 0 1 0 0 18 0 32 0 743334558 884232192 8349 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14440/tid=14464] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14464/stat : 14464 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 259 0 0 0 0 2 0 0 18 0 32 0 743334558 884232192 8351 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14440/tid=14465] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14465/stat : 14465 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 277 0 0 0 0 1 0 0 18 0 32 0 743334558 884232192 8365 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14440/tid=14466] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14466/stat : 14466 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 263 0 0 0 0 1 0 0 25 0 32 0 743334558 884232192 8369 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14440/tid=14467] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14467/stat : 14467 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 239 0 0 0 0 1 0 0 25 0 32 0 743334558 884232192 8373 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14440/tid=14468] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14468/stat : 14468 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 263 0 0 0 0 1 0 0 25 0 32 0 743334558 884232192 8384 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14440/tid=14469] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14469/stat : 14469 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 244 0 0 0 0 2 0 0 25 0 32 0 743334558 884232192 8386 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14440/tid=14470] ppid=14438 vsize=863508 CPUtime=0.01 cores=0-31
/proc/14440/task/14470/stat : 14470 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 246 0 0 0 0 1 0 0 25 0 32 0 743334558 884232192 8407 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14440/tid=14471] ppid=14438 vsize=863508 CPUtime=0.02 cores=0-31
/proc/14440/task/14471/stat : 14471 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 249 0 0 0 0 2 0 0 25 0 32 0 743334558 884232192 8417 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.131791 s]
/proc/loadavg: 29.45 31.51 31.84 1/413 14440
/proc/meminfo: memFree=255157644/264257624 swapFree=67111528/67111528
[pid=14440] ppid=14438 vsize=1211440 CPUtime=1.69 cores=0-31
/proc/14440/stat : 14440 (strangenight2-m) D 14438 14440 14414 0 -1 4202496 20941 0 0 0 30 139 0 0 18 0 32 0 743334557 1240514560 19403 268435456000 4194304 4580107 140735281513456 18446744073709551615 4306901 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14440/statm: 302884 19409 334 95 0 297866 0
[pid=14440/tid=14441] ppid=14438 vsize=1211536 CPUtime=0.06 cores=0-31
/proc/14440/task/14441/stat : 14441 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 674 0 0 0 1 5 0 0 17 0 32 0 743334557 1240612864 19416 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14440/tid=14442] ppid=14438 vsize=1211536 CPUtime=0.06 cores=0-31
/proc/14440/task/14442/stat : 14442 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 692 0 0 0 1 5 0 0 17 0 32 0 743334557 1240612864 19421 268435456000 4194304 4580107 140735281513456 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14440/tid=14443] ppid=14438 vsize=1211536 CPUtime=0.04 cores=0-31
/proc/14440/task/14443/stat : 14443 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 537 0 0 0 1 3 0 0 17 0 32 0 743334557 1240612864 19431 268435456000 4194304 4580107 140735281513456 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14440/tid=14444] ppid=14438 vsize=1211536 CPUtime=0.05 cores=0-31
/proc/14440/task/14444/stat : 14444 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 722 0 0 0 1 4 0 0 17 0 32 0 743334557 1240612864 19431 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14440/tid=14445] ppid=14438 vsize=1211632 CPUtime=0.05 cores=0-31
/proc/14440/task/14445/stat : 14445 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 807 0 0 0 1 4 0 0 17 0 32 0 743334557 1240711168 19431 268435456000 4194304 4580107 140735281513456 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14440/tid=14446] ppid=14438 vsize=1211632 CPUtime=0.06 cores=0-31
/proc/14440/task/14446/stat : 14446 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 832 0 0 0 1 5 0 0 18 0 32 0 743334558 1240711168 19451 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14440/tid=14447] ppid=14438 vsize=1211632 CPUtime=0.06 cores=0-31
/proc/14440/task/14447/stat : 14447 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 895 0 0 0 1 5 0 0 18 0 32 0 743334558 1240711168 19457 268435456000 4194304 4580107 140735281513456 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14440/tid=14448] ppid=14438 vsize=1211632 CPUtime=0.05 cores=0-31
/proc/14440/task/14448/stat : 14448 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 795 0 0 0 0 5 0 0 17 0 32 0 743334558 1240711168 19458 268435456000 4194304 4580107 140735281513456 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14440/tid=14449] ppid=14438 vsize=1211820 CPUtime=0.04 cores=0-31
/proc/14440/task/14449/stat : 14449 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 603 0 0 0 1 3 0 0 17 0 32 0 743334558 1240903680 19474 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14440/tid=14450] ppid=14438 vsize=1211820 CPUtime=0.05 cores=0-31
/proc/14440/task/14450/stat : 14450 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 733 0 0 0 1 4 0 0 17 0 32 0 743334558 1240903680 19492 268435456000 4194304 4580107 140735281513456 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14440/tid=14451] ppid=14438 vsize=1211820 CPUtime=0.05 cores=0-31
/proc/14440/task/14451/stat : 14451 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 770 0 0 0 1 4 0 0 17 0 32 0 743334558 1240903680 19535 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14440/tid=14452] ppid=14438 vsize=1211820 CPUtime=0.03 cores=0-31
/proc/14440/task/14452/stat : 14452 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 359 0 0 0 0 3 0 0 17 0 32 0 743334558 1240903680 19536 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566931824 0 0 -1 17 0 0 0
[pid=14440/tid=14453] ppid=14438 vsize=1211820 CPUtime=0.04 cores=0-31
/proc/14440/task/14453/stat : 14453 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 526 0 0 0 0 4 0 0 17 0 32 0 743334558 1240903680 19536 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566932304 0 0 -1 10 0 0 0
[pid=14440/tid=14454] ppid=14438 vsize=1211820 CPUtime=0.04 cores=0-31
/proc/14440/task/14454/stat : 14454 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 673 0 0 0 0 4 0 0 17 0 32 0 743334558 1240903680 19542 268435456000 4194304 4580107 140735281513456 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14440/tid=14455] ppid=14438 vsize=1211820 CPUtime=0.03 cores=0-31
/proc/14440/task/14455/stat : 14455 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 457 0 0 0 0 3 0 0 17 0 32 0 743334558 1240903680 19551 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14440/tid=14456] ppid=14438 vsize=1211560 CPUtime=0.04 cores=0-31
/proc/14440/task/14456/stat : 14456 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 615 0 0 0 0 4 0 0 17 0 32 0 743334558 1240637440 19489 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 14 0 0 0
[pid=14440/tid=14457] ppid=14438 vsize=1211560 CPUtime=0.04 cores=0-31
/proc/14440/task/14457/stat : 14457 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 718 0 0 0 0 4 0 0 17 0 32 0 743334558 1240637440 19505 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14440/tid=14458] ppid=14438 vsize=1211560 CPUtime=0.06 cores=0-31
/proc/14440/task/14458/stat : 14458 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 761 0 0 0 1 5 0 0 17 0 32 0 743334558 1240637440 19508 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14440/tid=14459] ppid=14438 vsize=1211560 CPUtime=0.01 cores=0-31
/proc/14440/task/14459/stat : 14459 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 298 0 0 0 0 1 0 0 17 0 32 0 743334558 1240637440 19508 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14440/tid=14460] ppid=14438 vsize=1211560 CPUtime=0.04 cores=0-31
/proc/14440/task/14460/stat : 14460 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 708 0 0 0 0 4 0 0 17 0 32 0 743334558 1240637440 19518 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14440/tid=14461] ppid=14438 vsize=1211560 CPUtime=0.05 cores=0-31
/proc/14440/task/14461/stat : 14461 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 857 0 0 0 0 5 0 0 18 0 32 0 743334558 1240637440 19534 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566926344 0 0 -1 21 0 0 0
[pid=14440/tid=14462] ppid=14438 vsize=1211560 CPUtime=0.05 cores=0-31
/proc/14440/task/14462/stat : 14462 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 806 0 0 0 0 5 0 0 17 0 32 0 743334558 1240637440 19567 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14440/tid=14463] ppid=14438 vsize=1211560 CPUtime=0.04 cores=0-31
/proc/14440/task/14463/stat : 14463 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 742 0 0 0 1 3 0 0 17 0 32 0 743334558 1240637440 19610 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14440/tid=14464] ppid=14438 vsize=1211560 CPUtime=0.05 cores=0-31
/proc/14440/task/14464/stat : 14464 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 706 0 0 0 0 5 0 0 17 0 32 0 743334558 1240637440 19640 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14440/tid=14465] ppid=14438 vsize=1211560 CPUtime=0.04 cores=0-31
/proc/14440/task/14465/stat : 14465 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 739 0 0 0 0 4 0 0 17 0 32 0 743334558 1240637440 19640 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14440/tid=14466] ppid=14438 vsize=1211300 CPUtime=0.03 cores=0-31
/proc/14440/task/14466/stat : 14466 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 600 0 0 0 0 3 0 0 17 0 32 0 743334558 1240371200 19575 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14440/tid=14467] ppid=14438 vsize=1211300 CPUtime=0.03 cores=0-31
/proc/14440/task/14467/stat : 14467 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 581 0 0 0 0 3 0 0 17 0 32 0 743334558 1240371200 19591 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14440/tid=14468] ppid=14438 vsize=1211300 CPUtime=0.03 cores=0-31
/proc/14440/task/14468/stat : 14468 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 520 0 0 0 0 3 0 0 17 0 32 0 743334558 1240371200 19638 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14440/tid=14469] ppid=14438 vsize=1211300 CPUtime=0.05 cores=0-31
/proc/14440/task/14469/stat : 14469 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 579 0 0 0 0 5 0 0 17 0 32 0 743334558 1240371200 19639 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14440/tid=14470] ppid=14438 vsize=1211300 CPUtime=0.02 cores=0-31
/proc/14440/task/14470/stat : 14470 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 405 0 0 0 0 2 0 0 17 0 32 0 743334558 1240371200 19639 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446604503060389344 0 0 -1 30 0 0 0
[pid=14440/tid=14471] ppid=14438 vsize=1211300 CPUtime=0.04 cores=0-31
/proc/14440/task/14471/stat : 14471 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 500 0 0 0 0 4 0 0 17 0 32 0 743334558 1240371200 19577 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 1211440

[startup+0.203847 s]
/proc/loadavg: 29.45 31.51 31.84 1/413 14440
/proc/meminfo: memFree=255157644/264257624 swapFree=67111528/67111528
[pid=14440] ppid=14438 vsize=1237860 CPUtime=2.82 cores=0-31
/proc/14440/stat : 14440 (strangenight2-m) D 14438 14440 14414 0 -1 4202496 36339 0 0 0 47 235 0 0 18 0 32 0 743334557 1267568640 31235 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14440/statm: 309465 31261 334 95 0 304447 0
[pid=14440/tid=14441] ppid=14438 vsize=1237860 CPUtime=0.08 cores=0-31
/proc/14440/task/14441/stat : 14441 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1063 0 0 0 1 7 0 0 17 0 32 0 743334557 1267568640 31294 268435456000 4194304 4580107 140735281513456 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14440/tid=14442] ppid=14438 vsize=1237860 CPUtime=0.1 cores=0-31
/proc/14440/task/14442/stat : 14442 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1233 0 0 0 2 8 0 0 17 0 32 0 743334557 1267568640 31336 268435456000 4194304 4580107 140735281513456 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14440/tid=14443] ppid=14438 vsize=1237860 CPUtime=0.08 cores=0-31
/proc/14440/task/14443/stat : 14443 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 984 0 0 0 2 6 0 0 17 0 32 0 743334557 1267568640 31363 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14440/tid=14444] ppid=14438 vsize=1237860 CPUtime=0.06 cores=0-31
/proc/14440/task/14444/stat : 14444 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 899 0 0 0 1 5 0 0 17 0 32 0 743334557 1267568640 31367 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650653280 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14440/tid=14445] ppid=14438 vsize=1237860 CPUtime=0.09 cores=0-31
/proc/14440/task/14445/stat : 14445 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 1367 0 0 0 2 7 0 0 17 0 32 0 743334557 1267568640 31367 268435456000 4194304 4580107 140735281513456 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14440/tid=14446] ppid=14438 vsize=1237860 CPUtime=0.1 cores=0-31
/proc/14440/task/14446/stat : 14446 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 1481 0 0 0 1 9 0 0 18 0 32 0 743334558 1267568640 31368 268435456000 4194304 4580107 140735281513456 18446744073709551615 4311463 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14440/tid=14447] ppid=14438 vsize=1237860 CPUtime=0.1 cores=0-31
/proc/14440/task/14447/stat : 14447 (strangenight2-m) D 14438 14440 14414 0 -1 4202560 1586 0 0 0 1 9 0 0 18 0 32 0 743334558 1267568640 31377 268435456000 4194304 4580107 140735281513456 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14440/tid=14448] ppid=14438 vsize=1237860 CPUtime=0.09 cores=0-31
/proc/14440/task/14448/stat : 14448 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1433 0 0 0 1 8 0 0 17 0 32 0 743334558 1267568640 31395 268435456000 4194304 4580107 140735281513456 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14440/tid=14449] ppid=14438 vsize=1237860 CPUtime=0.07 cores=0-31
/proc/14440/task/14449/stat : 14449 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1052 0 0 0 2 5 0 0 17 0 32 0 743334558 1267568640 31436 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14440/tid=14450] ppid=14438 vsize=1237860 CPUtime=0.1 cores=0-31
/proc/14440/task/14450/stat : 14450 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 1371 0 0 0 2 8 0 0 17 0 32 0 743334558 1267568640 31475 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446604504551415264 0 0 -1 12 0 0 0
[pid=14440/tid=14451] ppid=14438 vsize=1237860 CPUtime=0.08 cores=0-31
/proc/14440/task/14451/stat : 14451 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1260 0 0 0 1 7 0 0 17 0 32 0 743334558 1267568640 31519 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14440/tid=14452] ppid=14438 vsize=1237860 CPUtime=0.07 cores=0-31
/proc/14440/task/14452/stat : 14452 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 678 0 0 0 1 6 0 0 17 0 32 0 743334558 1267568640 31545 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566926344 0 0 -1 17 0 0 0
[pid=14440/tid=14453] ppid=14438 vsize=1237860 CPUtime=0.08 cores=0-31
/proc/14440/task/14453/stat : 14453 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 964 0 0 0 1 7 0 0 17 0 32 0 743334558 1267568640 31560 268435456000 4194304 4580107 140735281513456 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14440/tid=14454] ppid=14438 vsize=1237860 CPUtime=0.08 cores=0-31
/proc/14440/task/14454/stat : 14454 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1320 0 0 0 1 7 0 0 17 0 32 0 743334558 1267568640 31561 268435456000 4194304 4580107 140735281513456 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14440/tid=14455] ppid=14438 vsize=1237860 CPUtime=0.07 cores=0-31
/proc/14440/task/14455/stat : 14455 (strangenight2-m) S 14438 14440 14414 0 -1 4202560 883 0 0 0 1 6 0 0 17 0 32 0 743334558 1267568640 31570 268435456000 4194304 4580107 140735281513456 18446744073709551615 258651060958 0 0 4096 2 18446744071566926384 0 0 -1 9 0 0 0
[pid=14440/tid=14456] ppid=14438 vsize=1237860 CPUtime=0.08 cores=0-31
/proc/14440/task/14456/stat : 14456 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 1104 0 0 0 1 7 0 0 17 0 32 0 743334558 1267568640 31589 268435456000 4194304 4580107 140735281513456 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14440/tid=14457] ppid=14438 vsize=1237860 CPUtime=0.07 cores=0-31

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

/proc/14440/task/14464/stat : 14464 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 58293 0 0 0 233429 225 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14440/tid=14465] ppid=14438 vsize=5476468 CPUtime=2335.64 cores=0-31
/proc/14440/task/14465/stat : 14465 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 63054 0 0 0 233344 220 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14440/tid=14466] ppid=14438 vsize=5476468 CPUtime=2336.78 cores=0-31
/proc/14440/task/14466/stat : 14466 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 57645 0 0 0 233512 166 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14440/tid=14467] ppid=14438 vsize=5476468 CPUtime=2336.34 cores=0-31
/proc/14440/task/14467/stat : 14467 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45049 0 0 0 233419 215 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14440/tid=14468] ppid=14438 vsize=5476468 CPUtime=2336.33 cores=0-31
/proc/14440/task/14468/stat : 14468 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45932 0 0 0 233426 207 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320971 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14440/tid=14469] ppid=14438 vsize=5476468 CPUtime=2336.35 cores=0-31
/proc/14440/task/14469/stat : 14469 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 60262 0 0 0 233407 228 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14440/tid=14470] ppid=14438 vsize=5476468 CPUtime=2336.21 cores=0-31
/proc/14440/task/14470/stat : 14470 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68858 0 0 0 233403 218 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14440/tid=14471] ppid=14438 vsize=5476468 CPUtime=2337.65 cores=0-31
/proc/14440/task/14471/stat : 14471 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 377424 0 0 0 233516 249 0 0 25 0 32 0 743334558 5607903232 974351 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 74706.5
Current children cumulated vsize (KiB) 5476468

[startup+2340 s]
/proc/loadavg: 32.09 32.07 32.02 33/445 14537
/proc/meminfo: memFree=251257284/264257624 swapFree=67111528/67111528
[pid=14440] ppid=14438 vsize=5476468 CPUtime=74732 cores=0-31
/proc/14440/stat : 14440 (strangenight2-m) R 14438 14440 14414 0 -1 4202496 2166825 0 0 0 7466741 6463 0 0 25 0 32 0 743334557 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295023 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/14440/statm: 1369117 974437 379 95 0 1364099 0
[pid=14440/tid=14441] ppid=14438 vsize=5476468 CPUtime=2337.21 cores=0-31
/proc/14440/task/14441/stat : 14441 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 76560 0 0 0 233494 227 0 0 25 0 32 0 743334557 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320885 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14440/tid=14442] ppid=14438 vsize=5476468 CPUtime=2338.23 cores=0-31
/proc/14440/task/14442/stat : 14442 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68532 0 0 0 233683 140 0 0 25 0 32 0 743334557 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14440/tid=14443] ppid=14438 vsize=5476468 CPUtime=2337.28 cores=0-31
/proc/14440/task/14443/stat : 14443 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45924 0 0 0 233525 203 0 0 25 0 32 0 743334557 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14440/tid=14444] ppid=14438 vsize=5476468 CPUtime=2337.55 cores=0-31
/proc/14440/task/14444/stat : 14444 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 52514 0 0 0 233569 186 0 0 25 0 32 0 743334557 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14440/tid=14445] ppid=14438 vsize=5476468 CPUtime=2337.6 cores=0-31
/proc/14440/task/14445/stat : 14445 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 64649 0 0 0 233570 190 0 0 25 0 32 0 743334557 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14440/tid=14446] ppid=14438 vsize=5476468 CPUtime=2337.98 cores=0-31
/proc/14440/task/14446/stat : 14446 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 73311 0 0 0 233632 166 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14440/tid=14447] ppid=14438 vsize=5476468 CPUtime=2272.52 cores=0-31
/proc/14440/task/14447/stat : 14447 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 62664 0 0 0 227119 133 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14440/tid=14448] ppid=14438 vsize=5476468 CPUtime=2337.3 cores=0-31
/proc/14440/task/14448/stat : 14448 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 43393 0 0 0 233507 223 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14440/tid=14449] ppid=14438 vsize=5476468 CPUtime=2337.34 cores=0-31
/proc/14440/task/14449/stat : 14449 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68438 0 0 0 233518 216 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14440/tid=14450] ppid=14438 vsize=5476468 CPUtime=2336.88 cores=0-31
/proc/14440/task/14450/stat : 14450 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 51229 0 0 0 233499 189 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14440/tid=14451] ppid=14438 vsize=5476468 CPUtime=2337.69 cores=0-31
/proc/14440/task/14451/stat : 14451 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 54053 0 0 0 233593 176 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14440/tid=14452] ppid=14438 vsize=5476468 CPUtime=2337.21 cores=0-31
/proc/14440/task/14452/stat : 14452 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 59145 0 0 0 233496 225 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14440/tid=14453] ppid=14438 vsize=5476468 CPUtime=2337.22 cores=0-31
/proc/14440/task/14453/stat : 14453 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 53157 0 0 0 233505 217 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14440/tid=14454] ppid=14438 vsize=5476468 CPUtime=2337.27 cores=0-31
/proc/14440/task/14454/stat : 14454 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 53372 0 0 0 233508 219 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14440/tid=14455] ppid=14438 vsize=5476468 CPUtime=2337.36 cores=0-31
/proc/14440/task/14455/stat : 14455 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 57675 0 0 0 233509 227 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14440/tid=14456] ppid=14438 vsize=5476468 CPUtime=2337.16 cores=0-31
/proc/14440/task/14456/stat : 14456 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 55046 0 0 0 233509 207 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14440/tid=14457] ppid=14438 vsize=5476468 CPUtime=2338.18 cores=0-31
/proc/14440/task/14457/stat : 14457 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 60480 0 0 0 233648 170 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295182 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14440/tid=14458] ppid=14438 vsize=5476468 CPUtime=2336.22 cores=0-31
/proc/14440/task/14458/stat : 14458 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 59624 0 0 0 233386 236 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14440/tid=14459] ppid=14438 vsize=5476468 CPUtime=2337.16 cores=0-31
/proc/14440/task/14459/stat : 14459 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 48797 0 0 0 233507 209 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14440/tid=14460] ppid=14438 vsize=5476468 CPUtime=2337.37 cores=0-31
/proc/14440/task/14460/stat : 14460 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 51742 0 0 0 233523 214 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14440/tid=14461] ppid=14438 vsize=5476468 CPUtime=2337.3 cores=0-31
/proc/14440/task/14461/stat : 14461 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 55638 0 0 0 233502 228 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14440/tid=14462] ppid=14438 vsize=5476468 CPUtime=2338.53 cores=0-31
/proc/14440/task/14462/stat : 14462 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 62723 0 0 0 233730 123 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14440/tid=14463] ppid=14438 vsize=5476468 CPUtime=2337.25 cores=0-31
/proc/14440/task/14463/stat : 14463 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 37526 0 0 0 233520 205 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14440/tid=14464] ppid=14438 vsize=5476468 CPUtime=2337.34 cores=0-31
/proc/14440/task/14464/stat : 14464 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 58295 0 0 0 233509 225 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14440/tid=14465] ppid=14438 vsize=5476468 CPUtime=2336.44 cores=0-31
/proc/14440/task/14465/stat : 14465 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 63054 0 0 0 233424 220 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14440/tid=14466] ppid=14438 vsize=5476468 CPUtime=2337.58 cores=0-31
/proc/14440/task/14466/stat : 14466 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 57645 0 0 0 233592 166 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14440/tid=14467] ppid=14438 vsize=5476468 CPUtime=2337.14 cores=0-31
/proc/14440/task/14467/stat : 14467 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45049 0 0 0 233499 215 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295409 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14440/tid=14468] ppid=14438 vsize=5476468 CPUtime=2337.13 cores=0-31
/proc/14440/task/14468/stat : 14468 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45933 0 0 0 233506 207 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14440/tid=14469] ppid=14438 vsize=5476468 CPUtime=2337.15 cores=0-31
/proc/14440/task/14469/stat : 14469 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 60262 0 0 0 233487 228 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320780 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14440/tid=14470] ppid=14438 vsize=5476468 CPUtime=2337.01 cores=0-31
/proc/14440/task/14470/stat : 14470 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68861 0 0 0 233483 218 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14440/tid=14471] ppid=14438 vsize=5476468 CPUtime=2338.45 cores=0-31
/proc/14440/task/14471/stat : 14471 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 377444 0 0 0 233596 249 0 0 25 0 32 0 743334558 5607903232 974437 268435456000 4194304 4580107 140735281513456 18446744073709551615 4316414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 74732
Current children cumulated vsize (KiB) 5476468

[startup+2340.4 s]
/proc/loadavg: 32.09 32.07 32.02 33/445 14537
/proc/meminfo: memFree=251257284/264257624 swapFree=67111528/67111528
[pid=14440] ppid=14438 vsize=5476468 CPUtime=74744.8 cores=0-31
/proc/14440/stat : 14440 (strangenight2-m) R 14438 14440 14414 0 -1 4202496 2166887 0 0 0 7468020 6463 0 0 25 0 32 0 743334557 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320936 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/14440/statm: 1369117 974499 379 95 0 1364099 0
[pid=14440/tid=14441] ppid=14438 vsize=5476468 CPUtime=2337.61 cores=0-31
/proc/14440/task/14441/stat : 14441 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 76560 0 0 0 233534 227 0 0 25 0 32 0 743334557 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14440/tid=14442] ppid=14438 vsize=5476468 CPUtime=2338.63 cores=0-31
/proc/14440/task/14442/stat : 14442 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68533 0 0 0 233723 140 0 0 25 0 32 0 743334557 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4321240 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14440/tid=14443] ppid=14438 vsize=5476468 CPUtime=2337.68 cores=0-31
/proc/14440/task/14443/stat : 14443 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45924 0 0 0 233565 203 0 0 25 0 32 0 743334557 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14440/tid=14444] ppid=14438 vsize=5476468 CPUtime=2337.95 cores=0-31
/proc/14440/task/14444/stat : 14444 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 52514 0 0 0 233609 186 0 0 25 0 32 0 743334557 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14440/tid=14445] ppid=14438 vsize=5476468 CPUtime=2338 cores=0-31
/proc/14440/task/14445/stat : 14445 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 64664 0 0 0 233610 190 0 0 25 0 32 0 743334557 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4316644 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14440/tid=14446] ppid=14438 vsize=5476468 CPUtime=2338.38 cores=0-31
/proc/14440/task/14446/stat : 14446 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 73311 0 0 0 233672 166 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14440/tid=14447] ppid=14438 vsize=5476468 CPUtime=2272.92 cores=0-31
/proc/14440/task/14447/stat : 14447 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 62665 0 0 0 227159 133 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14440/tid=14448] ppid=14438 vsize=5476468 CPUtime=2337.7 cores=0-31
/proc/14440/task/14448/stat : 14448 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 43393 0 0 0 233547 223 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14440/tid=14449] ppid=14438 vsize=5476468 CPUtime=2337.75 cores=0-31
/proc/14440/task/14449/stat : 14449 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68448 0 0 0 233558 217 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14440/tid=14450] ppid=14438 vsize=5476468 CPUtime=2337.28 cores=0-31
/proc/14440/task/14450/stat : 14450 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 51229 0 0 0 233539 189 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14440/tid=14451] ppid=14438 vsize=5476468 CPUtime=2338.09 cores=0-31
/proc/14440/task/14451/stat : 14451 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 54056 0 0 0 233633 176 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14440/tid=14452] ppid=14438 vsize=5476468 CPUtime=2337.61 cores=0-31
/proc/14440/task/14452/stat : 14452 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 59146 0 0 0 233536 225 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14440/tid=14453] ppid=14438 vsize=5476468 CPUtime=2337.62 cores=0-31
/proc/14440/task/14453/stat : 14453 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 53157 0 0 0 233545 217 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14440/tid=14454] ppid=14438 vsize=5476468 CPUtime=2337.66 cores=0-31
/proc/14440/task/14454/stat : 14454 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 53372 0 0 0 233547 219 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14440/tid=14455] ppid=14438 vsize=5476468 CPUtime=2337.76 cores=0-31
/proc/14440/task/14455/stat : 14455 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 57675 0 0 0 233549 227 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14440/tid=14456] ppid=14438 vsize=5476468 CPUtime=2337.56 cores=0-31
/proc/14440/task/14456/stat : 14456 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 55052 0 0 0 233549 207 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14440/tid=14457] ppid=14438 vsize=5476468 CPUtime=2338.58 cores=0-31
/proc/14440/task/14457/stat : 14457 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 60481 0 0 0 233688 170 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14440/tid=14458] ppid=14438 vsize=5476468 CPUtime=2336.62 cores=0-31
/proc/14440/task/14458/stat : 14458 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 59624 0 0 0 233426 236 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14440/tid=14459] ppid=14438 vsize=5476468 CPUtime=2337.56 cores=0-31
/proc/14440/task/14459/stat : 14459 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 48797 0 0 0 233547 209 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14440/tid=14460] ppid=14438 vsize=5476468 CPUtime=2337.77 cores=0-31
/proc/14440/task/14460/stat : 14460 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 51742 0 0 0 233563 214 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14440/tid=14461] ppid=14438 vsize=5476468 CPUtime=2337.7 cores=0-31
/proc/14440/task/14461/stat : 14461 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 55638 0 0 0 233542 228 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14440/tid=14462] ppid=14438 vsize=5476468 CPUtime=2338.93 cores=0-31
/proc/14440/task/14462/stat : 14462 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 62727 0 0 0 233770 123 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294998 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14440/tid=14463] ppid=14438 vsize=5476468 CPUtime=2337.65 cores=0-31
/proc/14440/task/14463/stat : 14463 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 37526 0 0 0 233560 205 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14440/tid=14464] ppid=14438 vsize=5476468 CPUtime=2337.74 cores=0-31
/proc/14440/task/14464/stat : 14464 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 58296 0 0 0 233549 225 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14440/tid=14465] ppid=14438 vsize=5476468 CPUtime=2336.84 cores=0-31
/proc/14440/task/14465/stat : 14465 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 63054 0 0 0 233464 220 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14440/tid=14466] ppid=14438 vsize=5476468 CPUtime=2337.98 cores=0-31
/proc/14440/task/14466/stat : 14466 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 57645 0 0 0 233632 166 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14440/tid=14467] ppid=14438 vsize=5476468 CPUtime=2337.54 cores=0-31
/proc/14440/task/14467/stat : 14467 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45049 0 0 0 233539 215 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4295129 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14440/tid=14468] ppid=14438 vsize=5476468 CPUtime=2337.53 cores=0-31
/proc/14440/task/14468/stat : 14468 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 45937 0 0 0 233546 207 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4294883 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14440/tid=14469] ppid=14438 vsize=5476468 CPUtime=2337.55 cores=0-31
/proc/14440/task/14469/stat : 14469 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 60262 0 0 0 233527 228 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14440/tid=14470] ppid=14438 vsize=5476468 CPUtime=2337.41 cores=0-31
/proc/14440/task/14470/stat : 14470 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 68862 0 0 0 233523 218 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4320512 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14440/tid=14471] ppid=14438 vsize=5476468 CPUtime=2338.85 cores=0-31
/proc/14440/task/14471/stat : 14471 (strangenight2-m) R 14438 14440 14414 0 -1 4202560 377456 0 0 0 233636 249 0 0 25 0 32 0 743334558 5607903232 974499 268435456000 4194304 4580107 140735281513456 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 74744.8
Current children cumulated vsize (KiB) 5476468

[startup+2340.8 s]
/proc/loadavg: 32.09 32.07 32.02 2/415 14537
/proc/meminfo: memFree=253787568/264257624 swapFree=67111528/67111528
[pid=14440] ppid=14438 vsize=0 CPUtime=74749.8 cores=0-31
/proc/14440/stat : 14440 (strangenight2-m) Z 14438 14440 14414 0 -1 4203548 2166910 0 0 0 7468487 6494 0 0 25 0 2 0 743334557 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/14440/statm: 0 0 0 0 0 0 0
[pid=14440/tid=14460] ppid=14438 vsize=0 CPUtime=2338.21 cores=0-31
/proc/14440/task/14460/stat : 14460 (strangenight2-m) R 14438 14440 14414 0 -1 4203588 51742 0 0 0 233578 243 0 0 25 0 2 0 743334558 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 74749.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2340.92
CPU time (s): 74749.9
CPU user time (s): 74684.9
CPU system time (s): 65.0351
CPU usage (%): 3193.18
Max. virtual memory (cumulated for all children) (KiB): 5787384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74684.9
system time used= 65.0351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2166910
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= 1275455
involuntary context switches= 157341

runsolver used 13.7809 second user time and 52.399 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 12:14:41
IDJOB=3400666
IDBENCH=70830
IDSOLVER=1886
FILE ID=node200/3400666-1306318481
RUNJOBID= node200-1306318481-14428
PBS_JOBID= 13411784
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400666-1306318481/watcher-3400666-1306318481 -o /tmp/evaluation-result-3400666-1306318481/solver-3400666-1306318481 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400666-1306318481.cnf

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

MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=872440609

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:      255158048 kB
Buffers:        466304 kB
Cached:        8224912 kB
SwapCached:          0 kB
Active:        7775988 kB
Inactive:       983888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255158048 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9956 kB
Writeback:           0 kB
AnonPages:       69068 kB
Mapped:          14480 kB
Slab:           255952 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187816 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-25 12:53:42