Trace number 3400862

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 45169.5 1420.04

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
MD5SUMf16626953757fdd1326f2a14f01adca9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7644.84
Satisfiable
(Un)Satisfiability was proved
Number of variables435701
Number of clauses1379987
Sum of the clauses size3544455
Maximum clause length304
Minimum clause length1
Number of clauses of size 1142
Number of clauses of size 2654099
Number of clauses of size 3705129
Number of clauses of size 412732
Number of clauses of size 54852
Number of clauses of size over 53033

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400862-1307073588.cnf'
0.00/0.08	c -- header says num vars:         435701
0.00/0.08	c -- header says num clauses:     1379987
245.52/13.10	c -- clauses added:            0 learnts,      1379987 normals,            0 xors
245.52/13.10	c -- vars added     435701
245.52/13.10	c Parsing time:  3.30 s
245.52/13.10	c  N st     0         0    435701    724527    653851         0   3540036         0   no data   no data
366.81/16.96	c asymm  cl-useful: 0/108/708994 lits-rem:0 time: 3.78
2638.44/88.03	c Flit:    80 Blit:   3931 bXBeca:    0 bXProp: 54228 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 71.05
2644.21/88.23	c Cleaning up after failed var search:     0.20 s 
2660.12/88.76	c Replacing    54343 vars Replaced   773366 lits Time:     0.51 s 
2700.89/90.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
2707.76/90.27	c bin-w-bin subsume rem           63 bins  time:  0.26 s
2732.19/91.09	c subs with bin:     1389  lits-rem:      1915  v-fix:    0  time:  0.81 s
3938.07/128.95	c Subs w/ non-existent bins:   2690 l-rem:    131 v-fix:   414 done:  23227 time: 37.72 s
4001.44/131.00	c Removed useless bin:      37  fixed:   422  props:  20.05M  time:  1.99 s
4187.17/136.93	c lits-rem:       692  cl-subs:    23286  v-elim: 122633  v-fix:  425  time:  5.49 s
4196.54/137.26	c Finding binary XORs  T:     0.33 s  found:    6290
4209.52/137.69	c Replacing     6290 vars Replaced   114140 lits Time:     0.38 s 
4259.02/139.21	c Finding non-binary XORs:     0.99 s (found:  108497, avg size: 3.0)
4259.02/139.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    177 locsubst: 16776 time:   0.47
4271.67/139.60	c Replacing     8384 vars Replaced    84747 lits Time:     0.37 s 
4271.67/139.71	c calculated reachability. Time: 0.01
4278.67/139.84	c Calc default polars -  time:   0.13 s pos:   88478 undec:  213768 neg:  133455
4278.67/139.84	c =========================================================================================
4278.67/139.84	c types(t): F = full restart, N = normal restart
4278.67/139.84	c types(t): S = simplification begin/end, E = solution found
4278.67/139.84	c restart types(rt): st = static, dy = dynamic
4278.67/139.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4278.67/139.84	c  B st     0         0    229971    205722    271052         0   1598684         0   no data   no data
4669.56/152.18	c Decided on static restart strategy
5126.68/166.42	c  N st     8      4913    229854    205722    271449      4435   1598678    217014   no data   no data
5293.47/171.71	c Finding binary XORs  T:     0.29 s  found:    2305
5302.45/171.99	c Replacing     3120 vars Replaced    54090 lits Time:     0.26 s 
5887.45/190.23	c  N st    10     11298    223845    195083    305502     10320   1540218    697487   no data   no data
6306.15/203.38	c Finding binary XORs  T:     0.28 s  found:    1025
6457.00/208.05	c  N st    11     17042    223040    192870    318097     15819   1529331   1406616   no data   no data
7105.23/228.35	c  F st    12     25000    222566    192870    327815     15157   1529327   1246276   no data   no data
7118.02/228.76	c Replacing     1615 vars Replaced    44588 lits Time:     0.29 s 
7130.80/229.12	c Replacing       13 vars Replaced      105 lits Time:     0.22 s 
7303.37/234.51	c  N st    12     25000    220969    190575    322454     15071   1513438   1238734   no data   no data
7309.76/234.79	c Finding binary XORs  T:     0.28 s  found:     435
8492.88/271.73	c Decided on static restart strategy
8492.88/271.73	c  N st    18     30000    220937    190575    322524     19919   1513433   1768297   no data   no data
8492.88/271.73	c  S st    18     30000    220937    190575    322524     19919   1513433   1768297   no data   no data
8505.03/272.18	c Finding binary XORs  T:     0.28 s  found:     456
8684.01/277.80	c  S st    18     30502    218855    189570    330461     20289   1504818   1776845   no data   no data
8696.80/278.19	c x-sub:  7840 x-cut:      0 vfix:      0 v-elim:   1042 locsubst:   224 time:   0.39
9633.36/307.48	c Flit:   166 Blit:   8405 bXBeca:    0 bXProp: 1614 Bins:  20742 BRemL:      1 BRemN:      1 P: 200.2M T: 29.29
9639.75/307.65	c Cleaning up after failed var search:     0.15 s 
9649.34/308.01	c Replacing     5885 vars Replaced    92297 lits Time:     0.33 s 
9658.92/308.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
9662.12/308.40	c bin-w-bin subsume rem        52083 bins  time:  0.11 s
9678.11/308.84	c subs with bin:    22775  lits-rem:     31049  v-fix:    0  time:  0.44 s
10023.33/319.66	c Subs w/ non-existent bins:   1462 l-rem:   2639 v-fix:   369 done:  47285 time: 10.81 s
10039.89/320.13	c Removed useless bin:     695  fixed:   610  props:  20.01M  time:  0.43 s
10106.43/322.25	c lits-rem:     11951  cl-subs:    22594  v-elim:  37509  v-fix:  196  time:  2.11 s
10116.00/322.51	c Replacing      276 vars Replaced     2231 lits Time:     0.25 s 
10122.40/322.79	c subs with bin:      178  lits-rem:      1605  v-fix:    0  time:  0.18 s
10138.39/323.26	c lits-rem:       122  cl-subs:      652  v-elim:      0  v-fix:    0  time:  0.38 s
10186.33/324.75	c asymm  cl-useful: 484/1095/131489 lits-rem:1841 time: 1.49
10189.53/324.83	c calculated reachability. Time: 0.02
10189.53/324.85	c  N st    18     30502    163701    131485    205388      7170   1155576    128185   no data   no data
10195.92/325.07	c Finding binary XORs  T:     0.22 s  found:    2168
10202.33/325.25	c Replacing     2192 vars Replaced    25047 lits Time:     0.19 s 
11059.56/352.03	c  N st    20     37612    161386    131144    200988     14122   1145608    974552   no data   no data
11893.17/378.17	c  N st    21     44011    161341    131144    205766     13148   1145606    800143   no data   no data
11906.54/378.58	c Finding binary XORs  T:     0.21 s  found:     609
12123.26/385.36	c  S st    22     45753    160418    129107    219432     14796   1132107    918122   no data   no data
12251.14/389.33	c  S st    22     46255    160248    129107    219475     15232   1132107    931956   no data   no data
12260.72/389.63	c x-sub:    50 x-cut:      0 vfix:      0 v-elim:    357 locsubst:   810 time:   0.30
13207.40/419.27	c Flit:   176 Blit:   3770 bXBeca:    0 bXProp:  636 Bins:   3402 BRemL:      0 BRemN:      1 P: 200.1M T: 29.63
13209.96/419.39	c Cleaning up after failed var search:     0.10 s 
13219.56/419.62	c Replacing     4584 vars Replaced    55661 lits Time:     0.21 s 
13225.95/419.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
13225.95/419.88	c bin-w-bin subsume rem        19288 bins  time:  0.06 s
13235.55/420.18	c subs with bin:    11662  lits-rem:     18579  v-fix:    0  time:  0.30 s
13529.62/429.40	c Subs w/ non-existent bins:    399 l-rem:   2105 v-fix:    54 done:  40502 time:  9.20 s
13545.60/429.90	c Removed useless bin:    1288  fixed:    84  props:  20.01M  time:  0.47 s
13571.16/430.68	c lits-rem:      2637  cl-subs:     5271  v-elim:   3017  v-fix:    4  time:  0.75 s
13577.56/430.87	c Replacing      112 vars Replaced     1038 lits Time:     0.18 s 
13599.93/431.55	c subs with bin:       77  lits-rem:      4210  v-fix:    0  time:  0.48 s
13615.92/432.09	c lits-rem:       562  cl-subs:      363  v-elim:      0  v-fix:    0  time:  0.46 s
13664.50/433.59	c asymm  cl-useful: 1137/2998/107632 lits-rem:2703 time: 1.44
13667.05/433.67	c calculated reachability. Time: 0.02
13667.05/433.68	c  N st    22     46255    147214    107604    188274     13371    990529    588307   no data   no data
15182.09/481.03	c  N st    23     60652    147214    107604    188340     27488    990512   2338554   no data   no data
15194.86/481.42	c Finding binary XORs  T:     0.19 s  found:    1840
15201.26/481.66	c Replacing     2310 vars Replaced    49124 lits Time:     0.24 s 
15929.97/504.49	c  N st    24     69382    142922    103456    193712     22723    955142   1577511   no data   no data
15933.16/504.50	c  S st    24     69382    142922    103456    193712     22723    955142   1577511   no data   no data
15942.76/504.84	c Finding binary XORs  T:     0.18 s  found:    1254
16038.64/507.80	c  S st    24     69885    141415    102461    205042     23100    942664   1616820   no data   no data
16045.03/508.07	c x-sub:    67 x-cut:      0 vfix:      0 v-elim:    558 locsubst:   860 time:   0.27
16924.06/535.59	c Flit:    38 Blit:    293 bXBeca:    0 bXProp:  104 Bins:   4511 BRemL:      0 BRemN:      0 P: 200.3M T: 27.51
16927.26/535.60	c Cleaning up after failed var search:     0.00 s 
16936.83/535.92	c Replacing     2224 vars Replaced    34070 lits Time:     0.30 s 
16940.03/536.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
16943.22/536.15	c bin-w-bin subsume rem        19103 bins  time:  0.07 s
16949.63/536.37	c subs with bin:     3981  lits-rem:      4004  v-fix:    0  time:  0.22 s
17243.71/545.54	c Subs w/ non-existent bins:    378 l-rem:   1670 v-fix:    58 done:  44861 time:  9.16 s
17259.66/546.04	c Removed useless bin:     890  fixed:    65  props:  20.00M  time:  0.49 s
17278.85/546.60	c lits-rem:      1577  cl-subs:     3314  v-elim:   1676  v-fix:    4  time:  0.56 s
17282.67/546.79	c Replacing      116 vars Replaced      903 lits Time:     0.18 s 
17301.22/547.39	c subs with bin:      150  lits-rem:      3617  v-fix:    0  time:  0.46 s
17317.83/547.82	c lits-rem:       180  cl-subs:      346  v-elim:      0  v-fix:    0  time:  0.37 s
17358.76/549.12	c asymm  cl-useful: 916/2032/94711 lits-rem:1902 time: 1.30
17358.76/549.18	c calculated reachability. Time: 0.01
17358.76/549.19	c  N st    24     69885    136174     94530    180851     18094    903908    480950   no data   no data
17365.16/549.36	c Finding binary XORs  T:     0.16 s  found:     119
19055.98/602.24	c  F st    25     87500    136171     94530    180940     20584    903908    624150   no data   no data
19062.38/602.48	c Replacing      173 vars Replaced     1884 lits Time:     0.16 s 
19071.97/602.72	c Replacing       73 vars Replaced      572 lits Time:     0.16 s 
19078.99/602.97	c Replacing        8 vars Replaced       62 lits Time:     0.16 s 
19087.94/603.21	c Replacing        3 vars Replaced       20 lits Time:     0.16 s 
19142.29/604.94	c  N st    25     87500    135868     94389    180570     20582    902222    624099   no data   no data
19155.07/605.32	c Finding binary XORs  T:     0.18 s  found:    1877
19161.47/605.52	c Replacing     2023 vars Replaced    67812 lits Time:     0.20 s 
19647.31/620.78	c Decided on static restart strategy
19765.59/624.42	c Finding binary XORs  T:     0.16 s  found:     226
19931.81/629.68	c  N st    32     95540    131000     91419    223342     28078    869331   1571125   no data   no data
20609.38/650.84	c  N st    34    104827    130994     91419    223362     37177    869330   2564874   no data   no data
20609.38/650.84	c  S st    34    104827    130994     91419    223362     37177    869330   2564874   no data   no data
20618.97/651.17	c Finding binary XORs  T:     0.17 s  found:    1147
20628.55/651.46	c Replacing     1555 vars Replaced    58050 lits Time:     0.28 s 
20734.04/654.72	c  S st    34    105327    128131     90103    211774     37548    853145   2568439   no data   no data
20740.44/654.98	c x-sub:   216 x-cut:      0 vfix:      0 v-elim:    177 locsubst:   424 time:   0.26
21610.48/682.19	c Flit:    62 Blit:     99 bXBeca:    0 bXProp:  145 Bins:    191 BRemL:      0 BRemN:      0 P: 200.1M T: 27.21
21613.07/682.21	c Cleaning up after failed var search:     0.00 s 
21622.67/682.58	c Replacing      488 vars Replaced    19451 lits Time:     0.35 s 
21629.07/682.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
21632.26/682.82	c bin-w-bin subsume rem        32897 bins  time:  0.10 s
21638.66/683.04	c subs with bin:     3294  lits-rem:      3075  v-fix:    0  time:  0.22 s
21923.74/691.93	c Subs w/ non-existent bins:    282 l-rem:    983 v-fix:   116 done:  44534 time:  8.88 s
21939.13/692.48	c Removed useless bin:    2165  fixed:   134  props:  20.00M  time:  0.56 s
21955.12/692.94	c lits-rem:       565  cl-subs:     1281  v-elim:   1025  v-fix:    0  time:  0.45 s
21962.14/693.14	c Replacing      112 vars Replaced      920 lits Time:     0.19 s 
22041.40/695.67	c subs with bin:      216  lits-rem:     22690  v-fix:    0  time:  2.22 s
22070.16/696.59	c lits-rem:       995  cl-subs:      669  v-elim:      0  v-fix:    0  time:  0.86 s
22114.93/697.91	c asymm  cl-useful: 684/1845/85084 lits-rem:1402 time: 1.31
22114.93/697.97	c calculated reachability. Time: 0.01
22114.93/697.98	c  N st    34    105327    125982     84927    173266     31228    823680   1434556   no data   no data
22121.29/698.13	c Finding binary XORs  T:     0.16 s  found:      95
22955.59/724.20	c  N st    35    114926    125982     84927    173301     24881    823679    833676   no data   no data
22965.18/724.52	c Finding binary XORs  T:     0.16 s  found:     971
22971.58/724.72	c Replacing     1403 vars Replaced    25860 lits Time:     0.19 s 
24541.05/773.82	c  N st    36    129323    122786     82207    179569     38372    800284   2286521   no data   no data
24550.65/774.13	c Finding binary XORs  T:     0.16 s  found:     471
25973.02/818.62	c Finding binary XORs  T:     0.16 s  found:    1106
25979.42/818.83	c Replacing     1759 vars Replaced    31961 lits Time:     0.20 s 
26676.27/840.69	c  N st    37    150918    119272     79283    181059     39699    776416   2073686   no data   no data
26685.86/840.98	c Finding binary XORs  T:     0.16 s  found:     488
27401.87/863.33	c Finding binary XORs  T:     0.16 s  found:    1549
27408.86/863.60	c Replacing     2295 vars Replaced    57935 lits Time:     0.26 s 
27433.84/864.33	c  S st    38    157990    114128     75457    178468     44760    742518   2528486   no data   no data
27520.12/867.03	c  S st    38    158491    114121     75457    178490     45229    742518   2547355   no data   no data
27526.52/867.29	c x-sub:   413 x-cut:      0 vfix:      0 v-elim:    473 locsubst:  1444 time:   0.25
28383.17/894.07	c Flit:    87 Blit:    337 bXBeca:    0 bXProp:  188 Bins:   3519 BRemL:      0 BRemN:      0 P: 200.3M T: 26.77
28383.17/894.08	c Cleaning up after failed var search:     0.00 s 
28396.58/894.45	c Replacing     1287 vars Replaced    45669 lits Time:     0.35 s 
28399.14/894.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
28402.34/894.63	c bin-w-bin subsume rem        18030 bins  time:  0.05 s
28408.73/894.84	c subs with bin:     3108  lits-rem:      2614  v-fix:    0  time:  0.21 s
28664.43/902.89	c Subs w/ non-existent bins:    248 l-rem:    447 v-fix:    45 done:  51057 time:  8.04 s
28683.59/903.47	c Removed useless bin:    1502  fixed:    63  props:  20.00M  time:  0.58 s
28699.59/903.94	c lits-rem:       351  cl-subs:     1334  v-elim:   1323  v-fix:    6  time:  0.47 s
28705.98/904.13	c Replacing       94 vars Replaced      757 lits Time:     0.18 s 
28798.68/907.04	c subs with bin:     1081  lits-rem:     49485  v-fix:    0  time:  2.62 s
28840.24/908.35	c lits-rem:      1883  cl-subs:     1590  v-elim:      0  v-fix:    0  time:  1.26 s
28881.80/909.63	c asymm  cl-useful: 378/2103/69079 lits-rem:705 time: 1.28
28881.80/909.69	c calculated reachability. Time: 0.01
28881.80/909.70	c  N st    38    158491    110264     68970    155355     35243    703046   1590616   no data   no data
34015.20/1070.23	c  N st    39    207080    110258     68970    155486     43414    703044   2658376   no data   no data
34027.97/1070.63	c Finding binary XORs  T:     0.17 s  found:    6503
34037.57/1070.93	c Replacing     7523 vars Replaced   168507 lits Time:     0.28 s 
36895.18/1160.34	c  N st    40    237737     94195     63060    143812     41328    610598   1819351   no data   no data
36895.18/1160.34	c  S st    40    237737     94195     63060    143812     41328    610598   1819351   no data   no data
36907.99/1160.70	c Finding binary XORs  T:     0.15 s  found:    3892
36914.35/1160.95	c Replacing     4068 vars Replaced   151108 lits Time:     0.24 s 
36978.31/1162.90	c  S st    40    238237     87975     58146    165723     35258    573777   1529410   no data   no data
36984.67/1163.12	c x-sub:  2647 x-cut:      0 vfix:      0 v-elim:   4446 locsubst:  1320 time:   0.22
37799.76/1188.67	c Flit:   139 Blit:    212 bXBeca:    0 bXProp: 1152 Bins:   5653 BRemL:      3 BRemN:      0 P: 200.1M T: 25.54
37802.95/1188.75	c Cleaning up after failed var search:     0.07 s 
37809.35/1188.96	c Replacing     2472 vars Replaced    81091 lits Time:     0.19 s 
37812.55/1189.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
37812.55/1189.11	c bin-w-bin subsume rem        34199 bins  time:  0.05 s
37819.56/1189.26	c subs with bin:     3594  lits-rem:      2293  v-fix:    0  time:  0.15 s
38030.53/1195.85	c Subs w/ non-existent bins:    610 l-rem:    839 v-fix:    39 done:  64786 time:  6.58 s
38042.68/1196.24	c Removed useless bin:    1500  fixed:    45  props:  12.48M  time:  0.39 s
38055.47/1196.63	c lits-rem:       333  cl-subs:     1964  v-elim:   2755  v-fix:    2  time:  0.39 s
38058.67/1196.77	c Replacing       62 vars Replaced      556 lits Time:     0.14 s 
38100.85/1198.05	c subs with bin:      600  lits-rem:     29204  v-fix:    0  time:  1.09 s
38119.40/1198.62	c lits-rem:      1345  cl-subs:     1142  v-elim:      0  v-fix:    0  time:  0.53 s
38157.76/1199.86	c asymm  cl-useful: 477/2984/46966 lits-rem:831 time: 1.24
38160.96/1199.90	c calculated reachability. Time: 0.01
38160.96/1199.91	c  N st    40    238237     76449     46848    117138     24814    482357    964455   no data   no data
38164.16/1200.02	c Finding binary XORs  T:     0.11 s  found:     100
38918.17/1223.65	c Finding binary XORs  T:     0.11 s  found:     133
38924.56/1223.85	c Replacing     2097 vars Replaced    56937 lits Time:     0.18 s 
40068.69/1259.70	c Finding binary XORs  T:     0.11 s  found:     132
40531.52/1274.12	c Finding binary XORs  T:     0.11 s  found:     361
40537.92/1274.31	c Replacing     1037 vars Replaced    53661 lits Time:     0.18 s 
43268.35/1359.74	c Finding binary XORs  T:     0.12 s  found:    2383
43274.11/1359.96	c Replacing     3087 vars Replaced   151070 lits Time:     0.20 s 
44428.65/1396.09	c  F st    41    306250     65573     42103    209970     46196    421103   2514425   no data   no data
44437.64/1396.31	c Replacing     2354 vars Replaced    21463 lits Time:     0.13 s 
44447.24/1396.65	c  N st    41    306250     60608     41699    152260     45830    395582   2346843   no data   no data
44450.44/1396.75	c Finding binary XORs  T:     0.10 s  found:     140
44581.49/1400.84	c Finding binary XORs  T:     0.11 s  found:    2396
44587.89/1401.07	c Replacing     3103 vars Replaced   152830 lits Time:     0.22 s 
45013.00/1414.33	c Decided on static restart strategy
45160.06/1419.01	c Replacing     4068 vars Replaced    85618 lits Time:     0.17 s 
45167.08/1419.15	c  E st    48    312513     46450     33168    107625     28426    304268   1082967   no data   no data
45167.08/1419.16	c Following stats are for *FIRST FINISHED THREAD ONLY*
45167.08/1419.16	c num threads              : 32         
45167.08/1419.16	c restarts                 : 48         
45167.08/1419.16	c dynamic restarts         : 0          
45167.08/1419.16	c static restarts          : 48         
45167.08/1419.16	c full restarts            : 3          
45167.08/1419.16	c total simplify time      : 11.18      
45167.08/1419.16	c learnts DL2              : 0          
45167.08/1419.16	c learnts size 2           : 1351885    
45167.08/1419.16	c learnts size 1           : 82324       (18.89     % of vars)
45167.08/1419.16	c filedLit time            : 237.61      (16.89     % time)
45167.08/1419.16	c v-elim SatELite          : 169932      (39.00     % vars)
45167.08/1419.16	c SatELite time            : 98.53       (7.00      % time)
45167.08/1419.16	c v-elim xor               : 7230        (1.66      % vars)
45167.08/1419.16	c xor elim time            : 2.17        (0.15      % time)
45167.08/1419.16	c num binary xor trees     : 24678      
45167.08/1419.16	c binxor trees' crown      : 132608      (5.37      leafs/tree)
45167.08/1419.16	c bin xor find time        : 4.99       
45167.08/1419.16	c OTF clause improved      : 4728        (0.02      clauses/conflict)
45167.08/1419.16	c OTF impr. size diff      : 6981        (1.48       lits/clause)
45167.08/1419.16	c OTF cl watch-shrink      : 187285      (0.60      clauses/conflict)
45167.08/1419.16	c OTF cl watch-sh-lit      : 758573      (4.05       lits/clause)
45167.08/1419.16	c tried to recurMin cls    : 0           (0.00       % of conflicts)
45167.08/1419.16	c updated cache            : 0           (nan        lits/tried recurMin)
45167.08/1419.16	c unit cls recevied        : 8867        (10.77     % of units)
45167.08/1419.16	c unit cls sent            : 16630       (20.20     % of units)
45167.08/1419.16	c bin cls recevied         : 790336     
45167.08/1419.16	c bin cls sent             : 133405     
45167.08/1419.16	c clauses over max glue    : 0           (0.00      % of all clauses)
45167.08/1419.16	c conflicts                : 312513      (222.16    / sec)
45167.08/1419.16	c decisions                : 966070      (1.52      % random)
45167.08/1419.16	c bogo-props               : 18128501915 (12887263.01 / sec)
45167.08/1419.16	c conflict literals        : 30302775    (40.80     % deleted)
45167.08/1419.16	c Memory used              : 15299.77    MB
45167.08/1419.16	c single-thread CPU time   : 1406.70     s
45167.08/1419.16	c all-threads sum CPU time : 45000.00    s
45167.08/1419.16	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400862-1307073588/watcher-3400862-1307073588 -o /tmp/evaluation-result-3400862-1307073588/solver-3400862-1307073588 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400862-1307073588.cnf 

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

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


[startup+0 s]
/proc/loadavg: 20.30 29.19 31.09 1/413 12301
/proc/meminfo: memFree=263038020/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=338000 CPUtime=0.81 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) R 12299 12301 12275 0 -1 4202496 468 0 0 0 81 0 0 0 25 0 32 0 13271457 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12301/statm: 84500 407 300 95 0 79482 0
[pid=12301/tid=12302] ppid=12299 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12301/task/12302/stat : 12302 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12301/tid=12303] ppid=12299 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12301/task/12303/stat : 12303 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 3 0 0 0 18 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12301/tid=12304] ppid=12299 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12301/task/12304/stat : 12304 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800349 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12301/tid=12305] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12305/stat : 12305 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12301/tid=12306] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12306/stat : 12306 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12301/tid=12307] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12307/stat : 12307 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12301/tid=12308] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12308/stat : 12308 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12301/tid=12309] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12309/stat : 12309 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800336 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12301/tid=12310] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12310/stat : 12310 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800339 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12301/tid=12311] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12311/stat : 12311 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12301/tid=12312] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12312/stat : 12312 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12301/tid=12313] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12313/stat : 12313 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12301/tid=12314] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12314/stat : 12314 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800336 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12301/tid=12315] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12315/stat : 12315 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12301/tid=12316] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12316/stat : 12316 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12301/tid=12317] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12317/stat : 12317 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12301/tid=12318] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12318/stat : 12318 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800339 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12301/tid=12319] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12319/stat : 12319 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800349 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12301/tid=12320] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12320/stat : 12320 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800349 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12301/tid=12321] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12321/stat : 12321 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800339 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12301/tid=12322] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12322/stat : 12322 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800339 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12301/tid=12323] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12323/stat : 12323 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12301/tid=12324] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12324/stat : 12324 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12301/tid=12325] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12325/stat : 12325 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800349 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12301/tid=12326] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12326/stat : 12326 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800339 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12301/tid=12327] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12327/stat : 12327 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12301/tid=12328] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12328/stat : 12328 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800349 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12301/tid=12329] ppid=12299 vsize=338000 CPUtime=0 cores=0-31
/proc/12301/task/12329/stat : 12329 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800752 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12301/tid=12330] ppid=12299 vsize=338000 CPUtime=0 cores=0-31
/proc/12301/task/12330/stat : 12330 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12301/tid=12331] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12331/stat : 12331 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 13271458 346112000 407 268435456000 4194304 4580107 140736245927184 18446744073709551615 47235271800345 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.100035 s]
/proc/loadavg: 20.30 29.19 31.09 1/413 12301
/proc/meminfo: memFree=263038020/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=1191748 CPUtime=2.08 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) D 12299 12301 12275 0 -1 4202496 10298 0 0 0 125 83 0 0 18 0 32 0 13271457 1220349952 10129 268435456000 4194304 4580107 140736245927184 18446744073709551615 4349556 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12301/statm: 297937 10138 331 95 0 292919 0
[pid=12301/tid=12302] ppid=12299 vsize=1191748 CPUtime=0.06 cores=0-31
/proc/12301/task/12302/stat : 12302 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 346 0 0 0 4 2 0 0 17 0 32 0 13271458 1220349952 10141 268435456000 4194304 4580107 140736245927184 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12301/tid=12303] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12303/stat : 12303 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 301 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10154 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650999207 0 0 4096 2 10725218368 0 0 -1 2 0 0 0
[pid=12301/tid=12304] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12304/stat : 12304 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 343 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10156 268435456000 4194304 4580107 140736245927184 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12301/tid=12305] ppid=12299 vsize=1191880 CPUtime=0.05 cores=0-31
/proc/12301/task/12305/stat : 12305 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 13271458 1220485120 10182 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12301/tid=12306] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12306/stat : 12306 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 317 0 0 0 3 3 0 0 17 0 32 0 13271458 1220485120 10182 268435456000 4194304 4580107 140736245927184 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12301/tid=12307] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12307/stat : 12307 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 305 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10184 268435456000 4194304 4580107 140736245927184 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12301/tid=12308] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12308/stat : 12308 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 337 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10193 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566927624 0 0 -1 4 0 0 0
[pid=12301/tid=12309] ppid=12299 vsize=1191880 CPUtime=0.05 cores=0-31
/proc/12301/task/12309/stat : 12309 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 339 0 0 0 3 2 0 0 17 0 32 0 13271458 1220485120 10209 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12301/tid=12310] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12310/stat : 12310 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 292 0 0 0 4 2 0 0 25 0 32 0 13271458 1220485120 10230 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307326 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12301/tid=12311] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12311/stat : 12311 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 267 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10239 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566930904 0 0 -1 6 0 0 0
[pid=12301/tid=12312] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12312/stat : 12312 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 310 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10249 268435456000 4194304 4580107 140736245927184 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12301/tid=12313] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12313/stat : 12313 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 295 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10282 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 9 0 0 0
[pid=12301/tid=12314] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12314/stat : 12314 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 266 0 0 0 4 2 0 0 25 0 32 0 13271458 1220485120 10290 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 10 0 0 0
[pid=12301/tid=12315] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12315/stat : 12315 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 369 0 0 0 4 2 0 0 18 0 32 0 13271458 1220485120 10298 268435456000 4194304 4580107 140736245927184 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12301/tid=12316] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12316/stat : 12316 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 272 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10314 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446604506245946848 0 0 -1 13 0 0 0
[pid=12301/tid=12317] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12317/stat : 12317 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 335 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10328 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12301/tid=12318] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12318/stat : 12318 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 340 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10339 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12301/tid=12319] ppid=12299 vsize=1191880 CPUtime=0.07 cores=0-31
/proc/12301/task/12319/stat : 12319 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 340 0 0 0 4 3 0 0 25 0 32 0 13271458 1220485120 10344 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12301/tid=12320] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12320/stat : 12320 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 331 0 0 0 4 2 0 0 17 0 32 0 13271458 1220485120 10357 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446604497740660192 0 0 -1 18 0 0 0
[pid=12301/tid=12321] ppid=12299 vsize=1191880 CPUtime=0.06 cores=0-31
/proc/12301/task/12321/stat : 12321 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 326 0 0 0 4 2 0 0 25 0 32 0 13271458 1220485120 10369 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12301/tid=12322] ppid=12299 vsize=1192012 CPUtime=0.06 cores=0-31
/proc/12301/task/12322/stat : 12322 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 296 0 0 0 4 2 0 0 17 0 32 0 13271458 1220620288 10395 268435456000 4194304 4580107 140736245927184 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12301/tid=12323] ppid=12299 vsize=1192012 CPUtime=0.06 cores=0-31
/proc/12301/task/12323/stat : 12323 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 13271458 1220620288 10395 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446604469900246496 0 0 -1 22 0 0 0
[pid=12301/tid=12324] ppid=12299 vsize=1192012 CPUtime=0.06 cores=0-31
/proc/12301/task/12324/stat : 12324 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 357 0 0 0 4 2 0 0 17 0 32 0 13271458 1220620288 10407 268435456000 4194304 4580107 140736245927184 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12301/tid=12325] ppid=12299 vsize=1192012 CPUtime=0.06 cores=0-31
/proc/12301/task/12325/stat : 12325 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 13271458 1220620288 10435 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446604497411915232 0 0 -1 25 0 0 0
[pid=12301/tid=12326] ppid=12299 vsize=1192012 CPUtime=0.06 cores=0-31
/proc/12301/task/12326/stat : 12326 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 364 0 0 0 4 2 0 0 17 0 32 0 13271458 1220620288 10442 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12301/tid=12327] ppid=12299 vsize=1192012 CPUtime=0.05 cores=0-31
/proc/12301/task/12327/stat : 12327 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 286 0 0 0 3 2 0 0 17 0 32 0 13271458 1220620288 10473 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 27 0 0 0
[pid=12301/tid=12328] ppid=12299 vsize=1192144 CPUtime=0.05 cores=0-31
/proc/12301/task/12328/stat : 12328 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 383 0 0 0 3 2 0 0 17 0 32 0 13271458 1220755456 10480 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12301/tid=12329] ppid=12299 vsize=1192144 CPUtime=0.02 cores=0-31
/proc/12301/task/12329/stat : 12329 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 353 0 0 0 0 2 0 0 17 0 32 0 13271458 1220755456 10484 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12301/tid=12330] ppid=12299 vsize=1192144 CPUtime=0.03 cores=0-31
/proc/12301/task/12330/stat : 12330 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 304 0 0 0 1 2 0 0 17 0 32 0 13271458 1220755456 10505 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12301/tid=12331] ppid=12299 vsize=1192144 CPUtime=0.05 cores=0-31
/proc/12301/task/12331/stat : 12331 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 13271458 1220755456 10505 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 23 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=1192144 CPUtime=0.05 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 13271458 1220755456 10520 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566929344 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 1191748

[startup+0.206255 s]
/proc/loadavg: 20.30 29.19 31.09 1/413 12301
/proc/meminfo: memFree=263038020/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=1225868 CPUtime=3.18 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) R 12299 12301 12275 0 -1 4202496 29655 0 0 0 140 178 0 0 17 0 32 0 13271457 1255288832 26061 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653015 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12301/statm: 306467 26079 332 95 0 301449 0
[pid=12301/tid=12302] ppid=12299 vsize=1226152 CPUtime=0.09 cores=0-31
/proc/12301/task/12302/stat : 12302 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 1134 0 0 0 4 5 0 0 17 0 32 0 13271458 1255579648 26084 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 1 0 0 0
[pid=12301/tid=12303] ppid=12299 vsize=1226152 CPUtime=0.09 cores=0-31
/proc/12301/task/12303/stat : 12303 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 942 0 0 0 4 5 0 0 17 0 32 0 13271458 1255579648 26110 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566924304 0 0 -1 2 0 0 0
[pid=12301/tid=12304] ppid=12299 vsize=1226152 CPUtime=0.11 cores=0-31
/proc/12301/task/12304/stat : 12304 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1059 0 0 0 5 6 0 0 17 0 32 0 13271458 1255579648 26163 268435456000 4194304 4580107 140736245927184 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12301/tid=12305] ppid=12299 vsize=1226152 CPUtime=0.08 cores=0-31
/proc/12301/task/12305/stat : 12305 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 804 0 0 0 4 4 0 0 17 0 32 0 13271458 1255579648 26220 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653309 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12301/tid=12306] ppid=12299 vsize=1226152 CPUtime=0.11 cores=0-31
/proc/12301/task/12306/stat : 12306 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 1051 0 0 0 4 7 0 0 17 0 32 0 13271458 1255579648 26271 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 12 0 0 0
[pid=12301/tid=12307] ppid=12299 vsize=1226152 CPUtime=0.1 cores=0-31
/proc/12301/task/12307/stat : 12307 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 947 0 0 0 4 6 0 0 17 0 32 0 13271458 1255579648 26314 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12301/tid=12308] ppid=12299 vsize=1226152 CPUtime=0.11 cores=0-31
/proc/12301/task/12308/stat : 12308 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 973 0 0 0 5 6 0 0 17 0 32 0 13271458 1255579648 26356 268435456000 4194304 4580107 140736245927184 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12301/tid=12309] ppid=12299 vsize=1226152 CPUtime=0.1 cores=0-31
/proc/12301/task/12309/stat : 12309 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 939 0 0 0 4 6 0 0 17 0 32 0 13271458 1255579648 26394 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653351 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12301/tid=12310] ppid=12299 vsize=1226152 CPUtime=0.09 cores=0-31
/proc/12301/task/12310/stat : 12310 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 902 0 0 0 4 5 0 0 17 0 32 0 13271458 1255579648 26427 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12301/tid=12311] ppid=12299 vsize=1226152 CPUtime=0.06 cores=0-31
/proc/12301/task/12311/stat : 12311 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 385 0 0 0 4 2 0 0 17 0 32 0 13271458 1255579648 26471 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12301/tid=12312] ppid=12299 vsize=1226152 CPUtime=0.08 cores=0-31
/proc/12301/task/12312/stat : 12312 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 718 0 0 0 4 4 0 0 17 0 32 0 13271458 1255579648 26569 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12301/tid=12313] ppid=12299 vsize=1226152 CPUtime=0.09 cores=0-31
/proc/12301/task/12313/stat : 12313 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 809 0 0 0 4 5 0 0 17 0 32 0 13271458 1255579648 26603 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653309 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12301/tid=12314] ppid=12299 vsize=1226152 CPUtime=0.06 cores=0-31
/proc/12301/task/12314/stat : 12314 (strangenight2-m) S 12299 12301 12275 0 -1 4202560 267 0 0 0 4 2 0 0 17 0 32 0 13271458 1255579648 26603 268435456000 4194304 4580107 140736245927184 18446744073709551615 258651060958 0 0 4096 2 18446744071566929344 0 0 -1 10 0 0 0
[pid=12301/tid=12315] ppid=12299 vsize=1226152 CPUtime=0.1 cores=0-31
/proc/12301/task/12315/stat : 12315 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 1344 0 0 0 4 6 0 0 18 0 32 0 13271458 1255579648 26603 268435456000 4194304 4580107 140736245927184 18446744073709551615 4307026 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12301/tid=12316] ppid=12299 vsize=1226152 CPUtime=0.08 cores=0-31
/proc/12301/task/12316/stat : 12316 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 729 0 0 0 4 4 0 0 17 0 32 0 13271458 1255579648 26605 268435456000 4194304 4580107 140736245927184 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12301/tid=12317] ppid=12299 vsize=1226152 CPUtime=0.12 cores=0-31
/proc/12301/task/12317/stat : 12317 (strangenight2-m) D 12299 12301 12275 0 -1 4202560 1356 0 0 0 5 7 0 0 17 0 32 0 13271458 1255579648 26605 268435456000 4194304 4580107 140736245927184 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12301/tid=12318] ppid=12299 vsize=1226152 CPUtime=0.09 cores=0-31

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

/proc/12301/stat : 12301 (strangenight2-m) R 12299 12301 12275 0 -1 4202496 13087015 0 0 0 4484764 16856 0 0 25 0 32 0 13271457 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295479 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12301/statm: 3936227 3308255 379 95 0 3931209 0
[pid=12301/tid=12302] ppid=12299 vsize=15744908 CPUtime=1406.76 cores=0-31
/proc/12301/task/12302/stat : 12302 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 364674 0 0 0 140192 484 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12301/tid=12303] ppid=12299 vsize=15744908 CPUtime=1407.27 cores=0-31
/proc/12301/task/12303/stat : 12303 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 291894 0 0 0 140171 556 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12301/tid=12304] ppid=12299 vsize=15744908 CPUtime=1407.39 cores=0-31
/proc/12301/task/12304/stat : 12304 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 369899 0 0 0 140173 566 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12301/tid=12305] ppid=12299 vsize=15744908 CPUtime=1410.07 cores=0-31
/proc/12301/task/12305/stat : 12305 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 442549 0 0 0 140559 448 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4296177 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12301/tid=12306] ppid=12299 vsize=15744908 CPUtime=1407.7 cores=0-31
/proc/12301/task/12306/stat : 12306 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 263607 0 0 0 140192 578 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12301/tid=12307] ppid=12299 vsize=15744908 CPUtime=1409.18 cores=0-31
/proc/12301/task/12307/stat : 12307 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 253542 0 0 0 140445 473 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12301/tid=12308] ppid=12299 vsize=15744908 CPUtime=1409.79 cores=0-31
/proc/12301/task/12308/stat : 12308 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 311408 0 0 0 140505 474 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12301/tid=12309] ppid=12299 vsize=15744908 CPUtime=1407.7 cores=0-31
/proc/12301/task/12309/stat : 12309 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 401307 0 0 0 140185 585 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12301/tid=12310] ppid=12299 vsize=15744908 CPUtime=1407.19 cores=0-31
/proc/12301/task/12310/stat : 12310 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 288723 0 0 0 140223 496 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12301/tid=12311] ppid=12299 vsize=15744908 CPUtime=1408.14 cores=0-31
/proc/12301/task/12311/stat : 12311 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 345841 0 0 0 140297 517 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12301/tid=12312] ppid=12299 vsize=15744908 CPUtime=1400.92 cores=0-31
/proc/12301/task/12312/stat : 12312 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 473969 0 0 0 139547 545 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12301/tid=12313] ppid=12299 vsize=15744908 CPUtime=1407.17 cores=0-31
/proc/12301/task/12313/stat : 12313 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 383338 0 0 0 140175 542 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12301/tid=12314] ppid=12299 vsize=15744908 CPUtime=1406.55 cores=0-31
/proc/12301/task/12314/stat : 12314 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 339008 0 0 0 140174 481 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4298184 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12301/tid=12315] ppid=12299 vsize=15744908 CPUtime=1410.32 cores=0-31
/proc/12301/task/12315/stat : 12315 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 419895 0 0 0 140579 453 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12301/tid=12316] ppid=12299 vsize=15744908 CPUtime=1406.87 cores=0-31
/proc/12301/task/12316/stat : 12316 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 311749 0 0 0 140132 555 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12301/tid=12317] ppid=12299 vsize=15744908 CPUtime=1408.08 cores=0-31
/proc/12301/task/12317/stat : 12317 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 415368 0 0 0 140310 498 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12301/tid=12318] ppid=12299 vsize=15744908 CPUtime=1407.41 cores=0-31
/proc/12301/task/12318/stat : 12318 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 434219 0 0 0 140162 579 0 0 25 0 32 0 13271458 16122785792 3308255 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293117 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12301/tid=12319] ppid=12299 vsize=15744908 CPUtime=1410.52 cores=0-31
/proc/12301/task/12319/stat : 12319 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 514588 0 0 0 140589 463 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12301/tid=12320] ppid=12299 vsize=15744908 CPUtime=1407.26 cores=0-31
/proc/12301/task/12320/stat : 12320 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 363219 0 0 0 140146 580 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12301/tid=12321] ppid=12299 vsize=15744908 CPUtime=1407.77 cores=0-31
/proc/12301/task/12321/stat : 12321 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 435843 0 0 0 140221 556 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12301/tid=12322] ppid=12299 vsize=15744908 CPUtime=1400.89 cores=0-31
/proc/12301/task/12322/stat : 12322 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 238540 0 0 0 139579 510 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12301/tid=12323] ppid=12299 vsize=15744908 CPUtime=1406.71 cores=0-31
/proc/12301/task/12323/stat : 12323 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 398448 0 0 0 140127 544 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12301/tid=12324] ppid=12299 vsize=15744908 CPUtime=1407.28 cores=0-31
/proc/12301/task/12324/stat : 12324 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 420001 0 0 0 140155 573 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12301/tid=12325] ppid=12299 vsize=15744908 CPUtime=1405.76 cores=0-31
/proc/12301/task/12325/stat : 12325 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 369941 0 0 0 140143 433 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12301/tid=12326] ppid=12299 vsize=15744908 CPUtime=1406.66 cores=0-31
/proc/12301/task/12326/stat : 12326 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 570855 0 0 0 140072 594 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294283 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12301/tid=12327] ppid=12299 vsize=15744908 CPUtime=1397.23 cores=0-31
/proc/12301/task/12327/stat : 12327 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 471711 0 0 0 139267 456 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12301/tid=12328] ppid=12299 vsize=15744908 CPUtime=1408.4 cores=0-31
/proc/12301/task/12328/stat : 12328 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 502538 0 0 0 140341 499 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12301/tid=12329] ppid=12299 vsize=15744908 CPUtime=1401.72 cores=0-31
/proc/12301/task/12329/stat : 12329 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 345575 0 0 0 139647 525 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12301/tid=12330] ppid=12299 vsize=15744908 CPUtime=1408.55 cores=0-31
/proc/12301/task/12330/stat : 12330 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 310364 0 0 0 140323 532 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12301/tid=12331] ppid=12299 vsize=15744908 CPUtime=1404.04 cores=0-31
/proc/12301/task/12331/stat : 12331 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 398424 0 0 0 139846 558 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=15744908 CPUtime=1407.27 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1255775 0 0 0 140080 647 0 0 25 0 32 0 13271458 16122785792 3308256 268435456000 4194304 4580107 140736245927184 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 45016.2
Current children cumulated vsize (KiB) 15744908

[startup+1417.6 s]
/proc/loadavg: 32.05 32.06 31.82 33/445 12383
/proc/meminfo: memFree=249780288/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=15666956 CPUtime=45118.5 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) R 12299 12301 12275 0 -1 4202496 13087638 0 0 0 4494992 16857 0 0 25 0 32 0 13271457 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12301/statm: 3916739 3308360 379 95 0 3911721 0
[pid=12301/tid=12302] ppid=12299 vsize=15666956 CPUtime=1409.96 cores=0-31
/proc/12301/task/12302/stat : 12302 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 364736 0 0 0 140512 484 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12301/tid=12303] ppid=12299 vsize=15666956 CPUtime=1410.47 cores=0-31
/proc/12301/task/12303/stat : 12303 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 291894 0 0 0 140491 556 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12301/tid=12304] ppid=12299 vsize=15666956 CPUtime=1410.59 cores=0-31
/proc/12301/task/12304/stat : 12304 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 369960 0 0 0 140493 566 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12301/tid=12305] ppid=12299 vsize=15666956 CPUtime=1413.27 cores=0-31
/proc/12301/task/12305/stat : 12305 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 442549 0 0 0 140879 448 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12301/tid=12306] ppid=12299 vsize=15666956 CPUtime=1410.9 cores=0-31
/proc/12301/task/12306/stat : 12306 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 263661 0 0 0 140512 578 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12301/tid=12307] ppid=12299 vsize=15666956 CPUtime=1412.38 cores=0-31
/proc/12301/task/12307/stat : 12307 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 253542 0 0 0 140765 473 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12301/tid=12308] ppid=12299 vsize=15666956 CPUtime=1412.99 cores=0-31
/proc/12301/task/12308/stat : 12308 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 311449 0 0 0 140825 474 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12301/tid=12309] ppid=12299 vsize=15666956 CPUtime=1410.9 cores=0-31
/proc/12301/task/12309/stat : 12309 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 401307 0 0 0 140505 585 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12301/tid=12310] ppid=12299 vsize=15666956 CPUtime=1410.4 cores=0-31
/proc/12301/task/12310/stat : 12310 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 288756 0 0 0 140543 497 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12301/tid=12311] ppid=12299 vsize=15666956 CPUtime=1411.34 cores=0-31
/proc/12301/task/12311/stat : 12311 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 345841 0 0 0 140617 517 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12301/tid=12312] ppid=12299 vsize=15666956 CPUtime=1404.12 cores=0-31
/proc/12301/task/12312/stat : 12312 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 473969 0 0 0 139867 545 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12301/tid=12313] ppid=12299 vsize=15666956 CPUtime=1410.37 cores=0-31
/proc/12301/task/12313/stat : 12313 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 383338 0 0 0 140495 542 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12301/tid=12314] ppid=12299 vsize=15666956 CPUtime=1409.75 cores=0-31
/proc/12301/task/12314/stat : 12314 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 339008 0 0 0 140494 481 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12301/tid=12315] ppid=12299 vsize=15666956 CPUtime=1413.52 cores=0-31
/proc/12301/task/12315/stat : 12315 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 419940 0 0 0 140899 453 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12301/tid=12316] ppid=12299 vsize=15666956 CPUtime=1410.07 cores=0-31
/proc/12301/task/12316/stat : 12316 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 311759 0 0 0 140452 555 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295352 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12301/tid=12317] ppid=12299 vsize=15666956 CPUtime=1411.28 cores=0-31
/proc/12301/task/12317/stat : 12317 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 415495 0 0 0 140630 498 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12301/tid=12318] ppid=12299 vsize=15666956 CPUtime=1410.61 cores=0-31
/proc/12301/task/12318/stat : 12318 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 434253 0 0 0 140482 579 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12301/tid=12319] ppid=12299 vsize=15666956 CPUtime=1413.72 cores=0-31
/proc/12301/task/12319/stat : 12319 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 514588 0 0 0 140909 463 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12301/tid=12320] ppid=12299 vsize=15666956 CPUtime=1410.46 cores=0-31
/proc/12301/task/12320/stat : 12320 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 363219 0 0 0 140466 580 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12301/tid=12321] ppid=12299 vsize=15666956 CPUtime=1410.97 cores=0-31
/proc/12301/task/12321/stat : 12321 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 435843 0 0 0 140541 556 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4298026 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12301/tid=12322] ppid=12299 vsize=15666956 CPUtime=1404.09 cores=0-31
/proc/12301/task/12322/stat : 12322 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 238540 0 0 0 139899 510 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12301/tid=12323] ppid=12299 vsize=15666956 CPUtime=1409.91 cores=0-31
/proc/12301/task/12323/stat : 12323 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 398457 0 0 0 140447 544 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12301/tid=12324] ppid=12299 vsize=15666956 CPUtime=1410.48 cores=0-31
/proc/12301/task/12324/stat : 12324 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 420001 0 0 0 140475 573 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12301/tid=12325] ppid=12299 vsize=15666956 CPUtime=1408.96 cores=0-31
/proc/12301/task/12325/stat : 12325 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 369978 0 0 0 140463 433 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12301/tid=12326] ppid=12299 vsize=15666956 CPUtime=1409.86 cores=0-31
/proc/12301/task/12326/stat : 12326 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 570855 0 0 0 140392 594 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12301/tid=12327] ppid=12299 vsize=15666956 CPUtime=1400.34 cores=0-31
/proc/12301/task/12327/stat : 12327 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 471711 0 0 0 139578 456 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4321616 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12301/tid=12328] ppid=12299 vsize=15666956 CPUtime=1411.6 cores=0-31
/proc/12301/task/12328/stat : 12328 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 502538 0 0 0 140661 499 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12301/tid=12329] ppid=12299 vsize=15666956 CPUtime=1404.92 cores=0-31
/proc/12301/task/12329/stat : 12329 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 345633 0 0 0 139967 525 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12301/tid=12330] ppid=12299 vsize=15666956 CPUtime=1411.75 cores=0-31
/proc/12301/task/12330/stat : 12330 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 310364 0 0 0 140643 532 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12301/tid=12331] ppid=12299 vsize=15666956 CPUtime=1407.24 cores=0-31
/proc/12301/task/12331/stat : 12331 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 398424 0 0 0 140166 558 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=15666956 CPUtime=1410.47 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) R 12299 12301 12275 0 -1 4202560 1255775 0 0 0 140400 647 0 0 25 0 32 0 13271458 16042962944 3308360 268435456000 4194304 4580107 140736245927184 18446744073709551615 4298197 0 0 4096 2 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 45118.5
Current children cumulated vsize (KiB) 15666956

[startup+1419.2 s]
/proc/loadavg: 32.05 32.06 31.82 33/445 12383
/proc/meminfo: memFree=249778792/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=0 CPUtime=45168.6 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) Z 12299 12301 12275 0 -1 4202524 13087965 0 0 0 4500000 16861 0 0 25 0 2 0 13271457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12301/statm: 0 0 0 0 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=0 CPUtime=1412.06 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) R 12299 12301 12275 0 -1 4203588 1255775 0 0 0 140556 650 0 0 25 0 2 0 13271458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 45168.6
Current children cumulated vsize (KiB) 0

[startup+1419.6 s]
/proc/loadavg: 32.05 32.06 31.82 33/445 12383
/proc/meminfo: memFree=249778792/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=0 CPUtime=45169 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) Z 12299 12301 12275 0 -1 4202524 13087965 0 0 0 4500000 16901 0 0 25 0 2 0 13271457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12301/statm: 0 0 0 0 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=0 CPUtime=1412.46 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) R 12299 12301 12275 0 -1 4203588 1255775 0 0 0 140556 690 0 0 25 0 2 0 13271458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 45169
Current children cumulated vsize (KiB) 0

[startup+1420 s]
/proc/loadavg: 32.05 32.06 31.82 33/445 12383
/proc/meminfo: memFree=249778792/264257624 swapFree=67054988/67111528
[pid=12301] ppid=12299 vsize=0 CPUtime=45169.4 cores=0-31
/proc/12301/stat : 12301 (strangenight2-m) Z 12299 12301 12275 0 -1 4202524 13087965 0 0 0 4500000 16941 0 0 25 0 2 0 13271457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12301/statm: 0 0 0 0 0 0 0
[pid=12301/tid=12332] ppid=12299 vsize=0 CPUtime=1412.86 cores=0-31
/proc/12301/task/12332/stat : 12332 (strangenight2-m) R 12299 12301 12275 0 -1 4203588 1255775 0 0 0 140556 730 0 0 25 0 2 0 13271458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 45169.4
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1420.04
CPU time (s): 45169.5
CPU user time (s): 45000
CPU system time (s): 169.454
CPU usage (%): 3180.85
Max. virtual memory (cumulated for all children) (KiB): 16065896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45000
system time used= 169.454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13087965
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= 3044987
involuntary context switches= 114529

runsolver used 8.82366 second user time and 31.3942 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 05:59:51
IDJOB=3400862
IDBENCH=84246
IDSOLVER=1886
FILE ID=node200/3400862-1307073588
RUNJOBID= node200-1307073588-12289
PBS_JOBID= 13497835
Free space on /tmp= 61716 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400862-1307073588/watcher-3400862-1307073588 -o /tmp/evaluation-result-3400862-1307073588/solver-3400862-1307073588 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400862-1307073588.cnf

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

MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=2016517924

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263038424 kB
Buffers:         80952 kB
Cached:         948228 kB
SwapCached:       8280 kB
Active:         130524 kB
Inactive:       916816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263038424 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           33668 kB
Writeback:           0 kB
AnonPages:       15248 kB
Mapped:           8472 kB
Slab:            88360 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   181448 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= 61712 MiB
End job on node200 at 2011-06-03 06:23:31