Trace number 3400861

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 136073 4303.85

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
MD5SUMcb369c4583eb075a3a8cb5a04701e120
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark70944.7
Satisfiable
(Un)Satisfiability was proved
Number of variables985042
Number of clauses3113540
Sum of the clauses size7976612
Maximum clause length618
Minimum clause length1
Number of clauses of size 1158
Number of clauses of size 21490897
Number of clauses of size 31578048
Number of clauses of size 428388
Number of clauses of size 59876
Number of clauses of size over 56173

Solver Data 

0.00/0.00	c Outputting solution to console
1.21/0.05	c Using 32 threads
1.21/0.07	c This is CryptoMiniSat 3.0.0
1.21/0.07	c WARNING: for repeatability, setting FPU to use double precision
1.21/0.07	c Reading file 'HOME/instance-3400861-1307069277.cnf'
1.21/0.10	c -- header says num vars:         985042
1.21/0.10	c -- header says num clauses:     3113540
575.23/31.15	c -- clauses added:            0 learnts,      3113540 normals,            0 xors
575.23/31.15	c -- vars added     985042
575.23/31.15	c Parsing time:  7.80 s
575.23/31.15	c  N st     0         0    985042   1620902   1490503         0   7970771         0   no data   no data
728.51/36.07	c asymm  cl-useful: 0/175/1592883 lits-rem:0 time: 4.70
3531.75/125.32	c Flit:    42 Blit:    307 bXBeca:    0 bXProp: 40473 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 89.05
3551.39/126.04	c Cleaning up after failed var search:     0.71 s 
3589.15/127.68	c Replacing    40625 vars Replaced   572404 lits Time:     1.54 s 
3907.41/140.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.05 s
3932.99/141.71	c bin-w-bin subsume rem           12 bins  time:  0.74 s
3999.08/143.91	c subs with bin:     2718  lits-rem:      3854  v-fix:    0  time:  2.16 s
5960.88/205.67	c Subs w/ non-existent bins:   1613 l-rem:     22 v-fix:   164 done:   6074 time: 60.30 s
6052.22/208.55	c Removed useless bin:       3  fixed:     0  props:  20.05M  time:  2.88 s
6712.36/230.80	c lits-rem:      1392  cl-subs:    80892  v-elim: 300875  v-fix: 1096  time: 18.45 s
6740.69/231.64	c Finding binary XORs  T:     0.85 s  found:    8933
6774.94/232.71	c Replacing     8933 vars Replaced   320347 lits Time:     1.00 s 
6890.05/236.46	c Finding non-binary XORs:     2.24 s (found:  237993, avg size: 3.0)
6890.05/236.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    229 locsubst: 33934 time:   1.28
6923.66/237.56	c Replacing    16967 vars Replaced   182035 lits Time:     1.09 s 
6932.39/237.85	c calculated reachability. Time: 0.03
6945.03/238.23	c Calc default polars -  time:   0.36 s pos:  224652 undec:  431016 neg:  329374
6945.03/238.23	c =========================================================================================
6945.03/238.23	c types(t): F = full restart, N = normal restart
6945.03/238.23	c types(t): S = simplification begin/end, E = solution found
6945.03/238.23	c restart types(rt): st = static, dy = dynamic
6945.03/238.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6945.03/238.23	c  B st     0         0    574294    501029    755256         0   3916267         0   no data   no data
7893.59/267.94	c Decided on static restart strategy
8516.60/287.42	c  N st     8      4917    568177    492588    748487      4325   3863490    283129   no data   no data
9250.29/310.49	c Finding binary XORs  T:     0.74 s  found:    3054
9276.47/311.26	c Replacing     8383 vars Replaced   105898 lits Time:     0.72 s 
10436.76/347.61	c  N st    10     11300    524315    454809    844257      9514   3567017   1284038   no data   no data
12226.08/403.51	c  N st    11     17044    524314    454809    844369     15050   3567015   1787127   no data   no data
12268.18/404.88	c Finding binary XORs  T:     0.76 s  found:    5027
12293.10/405.68	c Replacing     5448 vars Replaced   124064 lits Time:     0.78 s 
14987.12/489.93	c  F st    12     25000    507681    441920    840758     15307   3467005   1312124   no data   no data
15028.68/491.22	c Replacing     1050 vars Replaced     7233 lits Time:     0.84 s 
15070.23/492.59	c Replacing        3 vars Replaced       58 lits Time:     0.83 s 
21328.20/688.34	c  N st    12     25000    506625    438823    833083     15270   3440848   1302248   no data   no data
22530.66/725.99	c Decided on static restart strategy
22530.66/725.99	c  N st    18     30001    506618    438823    833126     20171   3440847   1609059   no data   no data
22530.66/726.00	c  S st    18     30001    506618    438823    833126     20171   3440847   1609059   no data   no data
22811.97/734.75	c Finding binary XORs  T:     0.72 s  found:    2805
22996.73/740.51	c  S st    18     30502    504546    434069    837828     20241   3415257   1579105   no data   no data
23028.70/741.54	c x-sub: 14875 x-cut:      0 vfix:      0 v-elim:   1663 locsubst:    34 time:   1.03
23920.52/769.42	c Flit:    12 Blit:    935 bXBeca:    0 bXProp:  291 Bins:  44346 BRemL:      0 BRemN:      3 P: 200.2M T: 27.88
23923.72/769.52	c Cleaning up after failed var search:     0.00 s 
23958.88/770.67	c Replacing     3750 vars Replaced    66478 lits Time:     1.03 s 
23987.64/771.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.06 s
23997.24/771.88	c bin-w-bin subsume rem       161929 bins  time:  0.37 s
24035.60/773.03	c subs with bin:    41872  lits-rem:     57502  v-fix:    0  time:  1.15 s
24972.04/802.36	c Subs w/ non-existent bins:   1473 l-rem:   1462 v-fix:    97 done:  26845 time: 29.29 s
25007.10/803.48	c Removed useless bin:    1892  fixed:   130  props:  20.04M  time:  0.99 s
25265.94/811.52	c lits-rem:     37359  cl-subs:    90514  v-elim: 143971  v-fix:    4  time:  7.98 s
25281.91/812.02	c Replacing       16 vars Replaced      166 lits Time:     0.48 s 
25301.10/812.61	c subs with bin:      188  lits-rem:       512  v-fix:    0  time:  0.32 s
25336.27/813.76	c lits-rem:       145  cl-subs:      379  v-elim:      0  v-fix:    0  time:  0.91 s
25393.79/815.58	c asymm  cl-useful: 1/219/326534 lits-rem:12 time: 1.82
25400.19/815.78	c calculated reachability. Time: 0.04
25403.39/815.85	c  N st    18     30502    354156    326534    442987      5460   2685873    209458   no data   no data
25419.36/816.37	c Finding binary XORs  T:     0.51 s  found:    4090
25435.35/816.86	c Replacing     4092 vars Replaced    49245 lits Time:     0.49 s 
26237.65/841.93	c  N st    20     37613    349954    325676    434561     12374   2666363    685279   no data   no data
27343.48/876.60	c Finding binary XORs  T:     0.49 s  found:     429
27388.21/877.92	c  N st    21     44013    349479    324160    445239     11904   2655622    704403   no data   no data
27589.58/884.27	c  S st    22     45756    349449    324160    445251     13602   2655622    777938   no data   no data
27804.34/890.94	c  S st    22     46259    348387    324160    445272     14068   2655622    818284   no data   no data
27829.32/891.72	c x-sub:    10 x-cut:      0 vfix:      0 v-elim:    949 locsubst:    44 time:   0.78
28922.30/925.97	c Flit:     3 Blit:     48 bXBeca:    0 bXProp:   60 Bins:   4785 BRemL:      0 BRemN:      5 P: 200.0M T: 34.24
28951.07/926.82	c Replacing     1116 vars Replaced    15615 lits Time:     0.68 s 
28967.67/927.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
28973.43/927.54	c bin-w-bin subsume rem        17182 bins  time:  0.15 s
28999.64/928.34	c subs with bin:    25121  lits-rem:     40704  v-fix:    0  time:  0.81 s
29871.63/955.63	c Subs w/ non-existent bins:    641 l-rem:   2519 v-fix:   110 done:  25830 time: 27.27 s
29900.36/956.58	c Removed useless bin:    1620  fixed:   122  props:  20.00M  time:  0.92 s
29957.88/958.38	c lits-rem:      4421  cl-subs:     7231  v-elim:   5809  v-fix:    5  time:  1.79 s
29980.26/959.07	c Replacing       74 vars Replaced      666 lits Time:     0.67 s 
30009.02/959.94	c subs with bin:       31  lits-rem:       431  v-fix:    0  time:  0.51 s
30050.58/961.30	c lits-rem:       421  cl-subs:      493  v-elim:      0  v-fix:    0  time:  1.11 s
30108.10/963.07	c asymm  cl-useful: 281/787/292673 lits-rem:2299 time: 1.77
30114.47/963.26	c calculated reachability. Time: 0.04
30117.67/963.34	c  N st    22     46259    340209    292644    429633     12580   2515602    679385   no data   no data
30472.47/974.44	c Finding binary XORs  T:     0.51 s  found:    1817
30996.65/990.80	c Finding binary XORs  T:     0.50 s  found:    1117
32051.08/1023.80	c  N st    23     60659    338274    291085    456922     26563   2499580   1550636   no data   no data
32964.32/1052.45	c  N st    24     69390    338131    291085    459879     23576   2499569   1580760   no data   no data
32964.32/1052.46	c  S st    24     69390    338131    291085    459879     23576   2499569   1580760   no data   no data
33175.20/1059.08	c  S st    24     69890    338093    291085    460842     24037   2499569   1619600   no data   no data
33203.93/1059.91	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:    927 locsubst:     4 time:   0.84
34315.65/1094.73	c Flit:    14 Blit:     68 bXBeca:    0 bXProp:   27 Bins:   3591 BRemL:      0 BRemN:      6 P: 200.4M T: 34.80
34347.60/1095.76	c Replacing     3174 vars Replaced    52586 lits Time:     0.83 s 
34369.98/1096.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.05 s
34373.17/1096.57	c bin-w-bin subsume rem        37502 bins  time:  0.17 s
34398.73/1097.31	c subs with bin:     3293  lits-rem:      5354  v-fix:    0  time:  0.74 s
35877.41/1143.67	c Subs w/ non-existent bins:    387 l-rem:   2384 v-fix:    18 done:  28826 time: 46.33 s
35915.75/1144.81	c Removed useless bin:    1889  fixed:    26  props:  20.02M  time:  1.12 s
35973.26/1146.60	c lits-rem:      3526  cl-subs:     7538  v-elim:   3364  v-fix:    1  time:  1.78 s
35989.24/1147.19	c Replacing       25 vars Replaced      203 lits Time:     0.56 s 
36040.34/1148.72	c subs with bin:       56  lits-rem:       865  v-fix:    0  time:  0.99 s
36098.48/1150.54	c lits-rem:       240  cl-subs:      528  v-elim:      0  v-fix:    0  time:  1.52 s
36158.60/1152.49	c asymm  cl-useful: 1429/2530/280487 lits-rem:5088 time: 1.96
36164.98/1152.71	c calculated reachability. Time: 0.04
36168.77/1152.80	c  N st    24     69890    330532    280234    410841     21893   2403987   1242228   no data   no data
36187.33/1153.33	c Finding binary XORs  T:     0.52 s  found:     110
38234.59/1217.46	c  F st    25     87501    330525    280234    410931     24650   2403956    979355   no data   no data
38256.95/1218.19	c Replacing      128 vars Replaced     2116 lits Time:     0.49 s 
38285.75/1219.01	c Replacing       14 vars Replaced      115 lits Time:     0.49 s 
38308.11/1219.81	c Replacing        3 vars Replaced       25 lits Time:     0.49 s 
38336.86/1220.62	c Replacing        2 vars Replaced       16 lits Time:     0.49 s 
40506.78/1288.51	c  N st    25     87501    330361    280176    410659     24649   2403094    979300   no data   no data
40532.35/1289.37	c Finding binary XORs  T:     0.49 s  found:     447
42114.55/1338.88	c Decided on static restart strategy
42590.82/1353.77	c  N st    32     95536    329812    279022    428029     32356   2391717   1632844   no data   no data
43405.88/1379.31	c Finding binary XORs  T:     0.48 s  found:     612
43479.99/1381.54	c  N st    34    104835    327177    273760    427578     38674   2354059   1760865   no data   no data
43479.99/1381.55	c  S st    34    104835    327177    273760    427578     38674   2354059   1760865   no data   no data
43680.76/1387.88	c  S st    34    105337    327173    273760    427596     39155   2354059   1799861   no data   no data
43706.32/1388.66	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:   3476 locsubst:     8 time:   0.78
44668.44/1418.72	c Flit:    10 Blit:     14 bXBeca:    0 bXProp:   47 Bins:   1666 BRemL:      1 BRemN:      1 P: 200.0M T: 30.05
44694.00/1419.60	c Replacing     2459 vars Replaced    39978 lits Time:     0.71 s 
44713.82/1420.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
44716.38/1420.27	c bin-w-bin subsume rem        12343 bins  time:  0.14 s
44738.76/1420.93	c subs with bin:     9688  lits-rem:      8925  v-fix:    0  time:  0.65 s
45598.56/1447.84	c Subs w/ non-existent bins:    368 l-rem:   1682 v-fix:    38 done:  27177 time: 26.89 s
45620.92/1448.60	c Removed useless bin:    1940  fixed:     0  props:  20.00M  time:  0.73 s
45668.86/1450.04	c lits-rem:      3119  cl-subs:     4509  v-elim:   3721  v-fix:    5  time:  1.43 s
45684.85/1450.54	c Replacing       47 vars Replaced      526 lits Time:     0.48 s 
45735.99/1452.10	c subs with bin:      165  lits-rem:      4187  v-fix:    0  time:  1.07 s
45787.14/1453.77	c lits-rem:      1163  cl-subs:      897  v-elim:      0  v-fix:    0  time:  1.44 s
45828.71/1455.04	c asymm  cl-useful: 153/461/255399 lits-rem:503 time: 1.27
45831.90/1455.22	c calculated reachability. Time: 0.03
45835.68/1455.29	c  N st    34    105337    317425    255372    405520     35676   2267094   1409219   no data   no data
47235.11/1499.00	c  N st    35    114936    317423    255372    405569     30464   2267088   1017540   no data   no data
47260.64/1499.87	c Finding binary XORs  T:     0.47 s  found:    2961
47277.25/1500.38	c Replacing     5212 vars Replaced    54934 lits Time:     0.48 s 
48571.17/1540.81	c  N st    36    129333    302596    252713    393123     43963   2198078   2789256   no data   no data
49827.24/1580.16	c  N st    37    150928    302596    252713    393162     46629   2197963   1819751   no data   no data
49849.60/1580.90	c Finding binary XORs  T:     0.44 s  found:     369
50773.30/1609.77	c  S st    38    158008    302315    251905    395039     53353   2190967   2323381   no data   no data
50958.66/1615.58	c  S st    38    158509    301920    251905    397713     53828   2190967   2372928   no data   no data
50984.23/1616.32	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:   2608 locsubst:   216 time:   0.74
51991.64/1647.83	c Flit:     8 Blit:     98 bXBeca:    0 bXProp:   13 Bins:    494 BRemL:      0 BRemN:      1 P: 200.3M T: 31.50
51994.20/1647.90	c Cleaning up after failed var search:     0.00 s 
52016.59/1648.70	c Replacing     1301 vars Replaced    24949 lits Time:     0.70 s 
52035.76/1649.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
52038.96/1649.34	c bin-w-bin subsume rem         8944 bins  time:  0.13 s
52058.74/1649.92	c subs with bin:     4470  lits-rem:      5033  v-fix:    0  time:  0.58 s
52988.13/1679.01	c Subs w/ non-existent bins:    278 l-rem:   1508 v-fix:    14 done:  27644 time: 29.08 s
53016.88/1679.98	c Removed useless bin:    7798  fixed:    23  props:  20.00M  time:  0.96 s
53055.23/1681.13	c lits-rem:      1191  cl-subs:     1963  v-elim:   1472  v-fix:    1  time:  1.15 s
53071.23/1681.62	c Replacing       33 vars Replaced      326 lits Time:     0.47 s 
53151.75/1684.18	c subs with bin:      196  lits-rem:     10231  v-fix:    0  time:  1.96 s
53222.08/1686.34	c lits-rem:      2271  cl-subs:     1815  v-elim:      0  v-fix:    0  time:  1.92 s
53259.80/1687.58	c asymm  cl-useful: 258/593/243168 lits-rem:578 time: 1.24
53266.15/1687.75	c calculated reachability. Time: 0.03
53269.39/1687.82	c  N st    38    158509    296323    243149    374539     48781   2125180   1912114   no data   no data
55781.57/1766.51	c Finding binary XORs  T:     0.45 s  found:    1467
58866.06/1862.95	c  N st    39    207097    294755    242553    400089     55742   2117246   2364820   no data   no data
58891.62/1863.72	c Finding binary XORs  T:     0.45 s  found:     643
62617.46/1980.34	c  N st    40    237766    294269    241988    405190     61915   2111895   2834205   no data   no data
62617.46/1980.35	c  S st    40    237766    294269    241988    405190     61915   2111895   2834205   no data   no data
62646.21/1981.20	c Finding binary XORs  T:     0.46 s  found:    6168
62665.40/1981.81	c Replacing     8499 vars Replaced   150936 lits Time:     0.58 s 
62841.21/1987.35	c  S st    40    238266    278999    230369    386788     51328   1998156   2278423   no data   no data
62863.58/1988.08	c x-sub:   453 x-cut:      0 vfix:      0 v-elim:   7120 locsubst:   710 time:   0.74
63867.29/2019.47	c Flit:     2 Blit:    197 bXBeca:    0 bXProp:   59 Bins:   1900 BRemL:      0 BRemN:      1 P: 200.0M T: 31.37
63871.11/2019.53	c Cleaning up after failed var search:     0.00 s 
63896.06/2020.30	c Replacing      476 vars Replaced    22783 lits Time:     0.68 s 
63909.47/2020.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
63912.03/2020.89	c bin-w-bin subsume rem        16830 bins  time:  0.12 s
63931.22/2021.46	c subs with bin:     8519  lits-rem:      9899  v-fix:    0  time:  0.57 s
64791.04/2048.32	c Subs w/ non-existent bins:    299 l-rem:   1358 v-fix:    23 done:  32059 time: 26.84 s
64826.19/2049.42	c Removed useless bin:    5395  fixed:    29  props:  20.00M  time:  1.10 s
64864.55/2050.61	c lits-rem:      1266  cl-subs:     2822  v-elim:   3902  v-fix:    0  time:  1.19 s
64877.35/2051.08	c Replacing       17 vars Replaced      157 lits Time:     0.45 s 
64950.87/2053.33	c subs with bin:      339  lits-rem:     13275  v-fix:    0  time:  1.72 s
64999.44/2054.85	c lits-rem:      1336  cl-subs:      933  v-elim:      0  v-fix:    0  time:  1.31 s
65040.36/2056.11	c asymm  cl-useful: 283/795/213815 lits-rem:665 time: 1.26
65043.55/2056.26	c calculated reachability. Time: 0.03
65046.75/2056.33	c  N st    40    238266    267251    213790    355053     44320   1894399   1414116   no data   no data
65059.55/2056.73	c Finding binary XORs  T:     0.40 s  found:      90
67968.26/2147.72	c Finding binary XORs  T:     0.41 s  found:    1374
74108.67/2339.81	c  F st    41    306250    265170    210186    367378     64390   1866744   3290721   no data   no data
74131.05/2340.53	c Replacing     2026 vars Replaced    61525 lits Time:     0.50 s 
74153.42/2341.22	c Replacing        5 vars Replaced       40 lits Time:     0.41 s 
74173.16/2341.90	c Replacing        4 vars Replaced       27 lits Time:     0.41 s 
74847.03/2362.93	c  N st    41    306250    263142    209799    361909     64190   1858352   3275470   no data   no data
74876.45/2363.82	c Finding binary XORs  T:     0.44 s  found:    7832
74891.79/2364.37	c Replacing     8200 vars Replaced   196126 lits Time:     0.51 s 
75556.66/2385.17	c Decided on static restart strategy
77487.32/2445.51	c Finding binary XORs  T:     0.39 s  found:     542
79175.06/2498.38	c  N st    51    334550    245296    197796    353849     57269   1731409   2670701   no data   no data
79197.45/2499.10	c Finding binary XORs  T:     0.40 s  found:    3050
79216.62/2499.63	c Replacing     4898 vars Replaced   192827 lits Time:     0.49 s 
81866.51/2582.57	c Finding binary XORs  T:     0.38 s  found:    1758
82767.94/2610.75	c  N st    53    357400    236326    190886    363457     47533   1663181   2079802   no data   no data
82767.94/2610.76	c  S st    53    357400    236326    190886    363457     47533   1663181   2079802   no data   no data
82787.72/2611.42	c Finding binary XORs  T:     0.37 s  found:     602
82969.32/2617.07	c  S st    53    357900    236267    190764    371698     47865   1661808   2126563   no data   no data
82991.67/2617.75	c x-sub:  1095 x-cut:      0 vfix:      0 v-elim:  12421 locsubst:  3294 time:   0.67
83976.20/2648.59	c Flit:    16 Blit:    160 bXBeca:    0 bXProp:  118 Bins:    194 BRemL:      1 BRemN:      0 P: 200.3M T: 30.84
83979.39/2648.64	c Cleaning up after failed var search:     0.00 s 
84001.77/2649.36	c Replacing     3062 vars Replaced   134982 lits Time:     0.63 s 
84014.56/2649.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.03 s
84021.57/2649.92	c bin-w-bin subsume rem        48129 bins  time:  0.15 s
84033.73/2650.38	c subs with bin:     7585  lits-rem:      5537  v-fix:    0  time:  0.45 s
84654.47/2669.72	c Subs w/ non-existent bins:    466 l-rem:   1670 v-fix:     7 done:  39596 time: 19.32 s
84679.41/2670.53	c Removed useless bin:    3168  fixed:    11  props:  20.03M  time:  0.80 s
84711.38/2671.56	c lits-rem:       913  cl-subs:     3538  v-elim:   4674  v-fix:    0  time:  1.03 s
84724.80/2671.98	c Replacing        2 vars Replaced       13 lits Time:     0.39 s 
84800.88/2674.35	c subs with bin:      736  lits-rem:      9191  v-fix:    0  time:  1.91 s
84839.20/2675.56	c lits-rem:      1053  cl-subs:     1189  v-elim:      0  v-fix:    0  time:  1.04 s
84883.95/2676.96	c asymm  cl-useful: 539/1379/172702 lits-rem:958 time: 1.40
84887.16/2677.09	c calculated reachability. Time: 0.02
84890.34/2677.14	c  N st    53    357900    215840    172647    292230     41808   1522471   1573909   no data   no data
84900.57/2677.48	c Finding binary XORs  T:     0.34 s  found:      22
89155.11/2810.54	c  N st    54    390292    215840    172647    292306     51493   1522467   2599217   no data   no data
89176.88/2811.27	c Finding binary XORs  T:     0.37 s  found:    7802
89190.28/2811.68	c Replacing     7863 vars Replaced   181149 lits Time:     0.39 s 
95378.67/3005.28	c  N st    55    438881    199798    162491    281281     66543   1412549   3842967   no data   no data
95400.41/3005.97	c Finding binary XORs  T:     0.33 s  found:    3148
95416.39/3006.45	c Replacing     5462 vars Replaced   281600 lits Time:     0.44 s 
96349.77/3035.67	c Finding binary XORs  T:     0.31 s  found:     393
105702.36/3328.26	c  N st    56    511763    189466    152494    297691     72250   1319309   5851045   no data   no data
105731.12/3329.11	c Finding binary XORs  T:     0.34 s  found:    7021
105747.71/3329.63	c Replacing     9558 vars Replaced   577140 lits Time:     0.47 s 
109103.39/3434.64	c  N st    57    536850    171604    139333    337642     43813   1192745   2058903   no data   no data
109103.39/3434.64	c  S st    57    536850    171604    139333    337642     43813   1192745   2058903   no data   no data
109119.39/3435.21	c Finding binary XORs  T:     0.29 s  found:     894
109234.42/3438.72	c  S st    57    537354    170856    138020    351814     42988   1182412   2008562   no data   no data
109253.61/3439.30	c x-sub:  1055 x-cut:      0 vfix:      0 v-elim:  20496 locsubst:  1482 time:   0.58
110244.52/3470.33	c Flit:   116 Blit:   1481 bXBeca:    0 bXProp:  346 Bins:   2116 BRemL:      4 BRemN:      2 P: 200.3M T: 31.03
110251.53/3470.54	c Cleaning up after failed var search:     0.17 s 
110266.88/3471.05	c Replacing     3228 vars Replaced   235755 lits Time:     0.45 s 
110276.48/3471.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
110286.70/3471.68	c bin-w-bin subsume rem       110416 bins  time:  0.34 s
110298.85/3472.00	c subs with bin:     6987  lits-rem:      3634  v-fix:    0  time:  0.32 s
110644.09/3482.87	c Subs w/ non-existent bins:    356 l-rem:    653 v-fix:     9 done:  52252 time: 10.86 s
110666.47/3483.60	c Removed useless bin:    1798  fixed:    10  props:  20.00M  time:  0.72 s
110695.23/3484.47	c lits-rem:      1019  cl-subs:     4738  v-elim:   7557  v-fix:    0  time:  0.86 s
110705.44/3484.78	c Replacing        4 vars Replaced       81 lits Time:     0.29 s 
110759.16/3486.45	c subs with bin:      337  lits-rem:     15085  v-fix:    0  time:  1.33 s
110787.92/3487.38	c lits-rem:      1324  cl-subs:     1103  v-elim:      0  v-fix:    0  time:  0.82 s
110832.68/3488.70	c asymm  cl-useful: 502/1289/110922 lits-rem:891 time: 1.32
110832.68/3488.79	c calculated reachability. Time: 0.02
110835.88/3488.82	c  N st    57    537354    137663    110840    201793     33596    958981   1181065   no data   no data
110842.28/3489.07	c Finding binary XORs  T:     0.25 s  found:      87
111980.22/3524.60	c Finding binary XORs  T:     0.25 s  found:      85
113015.86/3557.05	c Replacing     1736 vars Replaced    53377 lits Time:     0.45 s 
126201.22/3969.59	c Finding binary XORs  T:     0.29 s  found:   11438
126217.19/3970.03	c Replacing    11889 vars Replaced   602503 lits Time:     0.41 s 
127086.66/3997.30	c Finding binary XORs  T:     0.22 s  found:     211
127252.88/4002.46	c Replacing     1895 vars Replaced   176721 lits Time:     0.47 s 
127984.83/4025.35	c Finding binary XORs  T:     0.22 s  found:     193
127997.62/4025.75	c Replacing     2423 vars Replaced   206559 lits Time:     0.35 s 
128940.52/4055.24	c Finding binary XORs  T:     0.21 s  found:     145
130887.78/4116.18	c  N st    58    701338    103067     86301    225852     56972    712669   2783037   no data   no data
130903.17/4116.60	c Finding binary XORs  T:     0.21 s  found:     113
132814.62/4176.47	c Finding binary XORs  T:     0.22 s  found:     869
132827.41/4176.85	c Replacing     1554 vars Replaced   222353 lits Time:     0.37 s 
135391.62/4257.02	c Finding binary XORs  T:     0.22 s  found:    2089
135403.78/4257.43	c Replacing     2715 vars Replaced   210932 lits Time:     0.39 s 
135800.17/4269.84	c Replacing     5849 vars Replaced   259756 lits Time:     0.37 s 
135986.12/4275.64	c Replacing     3464 vars Replaced   210854 lits Time:     0.38 s 
135991.94/4275.80	c  E st    59    743296     76299     65256    215477     31862    520200   1250376   no data   no data
136069.95/4301.38	c Following stats are for *FIRST FINISHED THREAD ONLY*
136069.95/4301.38	c num threads              : 32         
136069.95/4301.38	c restarts                 : 59         
136069.95/4301.38	c dynamic restarts         : 0          
136069.95/4301.38	c static restarts          : 59         
136069.95/4301.38	c full restarts            : 3          
136069.95/4301.38	c total simplify time      : 40.07      
136069.95/4301.38	c learnts DL2              : 0          
136069.95/4301.38	c learnts size 2           : 3092070    
136069.95/4301.38	c learnts size 1           : 207436      (21.06     % of vars)
136069.95/4301.38	c filedLit time            : 342.20      (8.04      % time)
136069.95/4301.38	c v-elim SatELite          : 475342      (48.26     % vars)
136069.95/4301.38	c SatELite time            : 301.58      (7.09      % time)
136069.95/4301.38	c v-elim xor               : 49889       (5.06      % vars)
136069.95/4301.38	c xor elim time            : 7.43        (0.17      % time)
136069.95/4301.38	c num binary xor trees     : 38233      
136069.95/4301.38	c binxor trees' crown      : 187684      (4.91      leafs/tree)
136069.95/4301.38	c bin xor find time        : 15.71      
136069.95/4301.38	c OTF clause improved      : 13425       (0.02      clauses/conflict)
136069.95/4301.38	c OTF impr. size diff      : 18772       (1.40       lits/clause)
136069.95/4301.38	c OTF cl watch-shrink      : 411354      (0.55      clauses/conflict)
136069.95/4301.38	c OTF cl watch-sh-lit      : 1346580     (3.27       lits/clause)
136069.95/4301.38	c tried to recurMin cls    : 0           (0.00       % of conflicts)
136069.95/4301.38	c updated cache            : 0           (nan        lits/tried recurMin)
136069.95/4301.38	c unit cls recevied        : 7587        (3.66      % of units)
136069.95/4301.38	c unit cls sent            : 5201        (2.51      % of units)
136069.95/4301.38	c bin cls recevied         : 1669770    
136069.95/4301.38	c bin cls sent             : 248096     
136069.95/4301.38	c clauses over max glue    : 0           (0.00      % of all clauses)
136069.95/4301.38	c conflicts                : 743296      (174.64    / sec)
136069.95/4301.38	c decisions                : 2538891     (0.92      % random)
136069.95/4301.38	c bogo-props               : 49141473892 (11546095.17 / sec)
136069.95/4301.38	c conflict literals        : 65794992    (40.51     % deleted)
136069.95/4301.38	c Memory used              : 33258.48    MB
136069.95/4301.38	c single-thread CPU time   : 4256.11     s
136069.95/4301.38	c all-threads sum CPU time : 135407.84   s
136069.95/4301.38	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-3400861-1307069277/watcher-3400861-1307069277 -o /tmp/evaluation-result-3400861-1307069277/solver-3400861-1307069277 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400861-1307069277.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: 27.30 31.04 31.86 1/413 12095
/proc/meminfo: memFree=263013364/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=338000 CPUtime=1 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) R 12093 12095 12069 0 -1 4202496 438 0 0 0 100 0 0 0 22 0 32 0 12840641 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12095/statm: 84500 377 297 95 0 79482 0
[pid=12095/tid=12096] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=338000 CPUtime=0 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.045523 s]
/proc/loadavg: 27.30 31.04 31.86 1/413 12095
/proc/meminfo: memFree=263013364/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=338000 CPUtime=1.21 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) R 12093 12095 12069 0 -1 4202496 438 0 0 0 121 0 0 0 22 0 32 0 12840641 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12095/statm: 84500 377 297 95 0 79482 0
[pid=12095/tid=12096] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=338000 CPUtime=0 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 338000

[startup+0.103536 s]
/proc/loadavg: 27.30 31.04 31.86 1/413 12095
/proc/meminfo: memFree=263013364/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=863780 CPUtime=2.58 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) D 12093 12095 12069 0 -1 4202496 8822 0 0 0 185 73 0 0 18 0 32 0 12840641 884510720 8674 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12095/statm: 215945 8682 330 95 0 210927 0
[pid=12095/tid=12096] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) S 12093 12095 12069 0 -1 4202560 275 0 0 0 6 1 0 0 17 0 32 0 12840642 884510720 8687 268435456000 4194304 4580107 140736389244176 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 1 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 267 0 0 0 6 2 0 0 17 0 32 0 12840642 884510720 8725 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 245 0 0 0 6 1 0 0 18 0 32 0 12840642 884510720 8737 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 240 0 0 0 5 2 0 0 20 0 32 0 12840642 884510720 8754 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 278 0 0 0 6 1 0 0 18 0 32 0 12840642 884510720 8766 268435456000 4194304 4580107 140736389244176 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 259 0 0 0 6 2 0 0 19 0 32 0 12840642 884510720 8783 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 266 0 0 0 6 2 0 0 18 0 32 0 12840642 884510720 8787 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 303 0 0 0 6 2 0 0 18 0 32 0 12840642 884510720 8787 268435456000 4194304 4580107 140736389244176 18446744073709551615 4307796 0 0 4096 2 6 0 0 -1 9 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 245 0 0 0 6 1 0 0 21 0 32 0 12840642 884510720 8797 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 275 0 0 0 6 2 0 0 17 0 32 0 12840642 884510720 8805 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=863780 CPUtime=0.06 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 240 0 0 0 5 1 0 0 21 0 32 0 12840642 884510720 8817 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 262 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8829 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 254 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8834 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 258 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8850 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 295 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8850 268435456000 4194304 4580107 140736389244176 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=994852 CPUtime=0.03 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 298 0 0 0 1 2 0 0 18 0 32 0 12840642 1018728448 8873 268435456000 4194304 4580107 140736389244176 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=929316 CPUtime=0.07 cores=0-31

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

[pid=12095/tid=12107] ppid=12093 vsize=33836792 CPUtime=4172.27 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6224999 0 0 0 414994 2233 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=33836792 CPUtime=4153.2 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4366996 0 0 0 412985 2335 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=33836792 CPUtime=4154.69 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4700065 0 0 0 413092 2377 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=33836792 CPUtime=4145.21 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2531379 0 0 0 412768 1753 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=33836792 CPUtime=4144.72 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4457353 0 0 0 412378 2094 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293114 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=33836792 CPUtime=4154.82 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3604004 0 0 0 413288 2194 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=33836792 CPUtime=4156.88 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5364745 0 0 0 413195 2493 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=33836792 CPUtime=4160.1 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5309112 0 0 0 413752 2258 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=33836792 CPUtime=4158.02 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4429574 0 0 0 413427 2375 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=33836792 CPUtime=4166.29 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6068067 0 0 0 414473 2156 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=33836792 CPUtime=4149.17 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5293785 0 0 0 412327 2590 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=33836792 CPUtime=4154.63 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4195883 0 0 0 413124 2339 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=33836792 CPUtime=4173.31 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6275821 0 0 0 415300 2031 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296164 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=33836792 CPUtime=4171.89 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5569846 0 0 0 415006 2183 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=33836792 CPUtime=4157.5 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2393797 0 0 0 413952 1798 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=33836792 CPUtime=4150.89 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2490335 0 0 0 413299 1790 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=33836792 CPUtime=4162.59 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5573965 0 0 0 414030 2229 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=33836792 CPUtime=4151.5 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6017555 0 0 0 412979 2171 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296144 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=33836792 CPUtime=4143.76 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4609798 0 0 0 412063 2313 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=33836792 CPUtime=4153.97 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 8333861 0 0 0 412689 2708 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650646730 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 133003
Current children cumulated vsize (KiB) 33836792

[startup+4242.3 s]
/proc/loadavg: 32.00 32.02 32.03 33/445 12251
/proc/meminfo: memFree=232788800/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=34143540 CPUtime=134921 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) R 12093 12095 12069 0 -1 4202496 129196663 0 0 0 13425905 66207 0 0 25 0 32 0 12840641 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4316555 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 8535885 7542397 379 95 0 8530867 0
[pid=12095/tid=12096] ppid=12093 vsize=34143540 CPUtime=4211.38 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2236041 0 0 0 419274 1864 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=34143540 CPUtime=4210.2 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2205336 0 0 0 419214 1806 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=34143540 CPUtime=4211.28 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2085035 0 0 0 419345 1783 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=34143540 CPUtime=4204.8 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2050593 0 0 0 418800 1680 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=34143540 CPUtime=4212.98 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2167558 0 0 0 419471 1827 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=34143540 CPUtime=4213.61 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2644159 0 0 0 419434 1927 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=34143540 CPUtime=4219.48 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2677958 0 0 0 420289 1659 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=34143540 CPUtime=4217.51 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3085674 0 0 0 419819 1932 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=34143540 CPUtime=4219.77 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2755942 0 0 0 420214 1763 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296252 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=34143540 CPUtime=4230.35 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3779105 0 0 0 421331 1704 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=34143540 CPUtime=4220.23 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3572319 0 0 0 419914 2109 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=34143540 CPUtime=4232.26 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6225784 0 0 0 420992 2234 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=34143540 CPUtime=4213.19 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4366998 0 0 0 418984 2335 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=34143540 CPUtime=4214.67 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4700102 0 0 0 419090 2377 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=34143540 CPUtime=4205.21 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2531556 0 0 0 418767 1754 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=34143540 CPUtime=4204.71 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4457640 0 0 0 418377 2094 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=34143540 CPUtime=4214.8 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3604340 0 0 0 419286 2194 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295644 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=34143540 CPUtime=4216.87 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5364748 0 0 0 419194 2493 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=34143540 CPUtime=4220.08 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5309112 0 0 0 419750 2258 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=34143540 CPUtime=4218.01 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4430160 0 0 0 419424 2377 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=34143540 CPUtime=4226.26 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6068319 0 0 0 420469 2157 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=34143540 CPUtime=4209.16 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5294203 0 0 0 418325 2591 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=34143540 CPUtime=4214.62 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4201265 0 0 0 419120 2342 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=34143540 CPUtime=4233.29 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6276768 0 0 0 421297 2032 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=34143540 CPUtime=4231.88 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5569846 0 0 0 421005 2183 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=34143540 CPUtime=4217.49 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2393797 0 0 0 419951 1798 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=34143540 CPUtime=4210.88 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2490337 0 0 0 419298 1790 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=34143540 CPUtime=4222.57 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5574957 0 0 0 420027 2230 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295103 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=34143540 CPUtime=4211.48 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6022735 0 0 0 418976 2172 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=34143540 CPUtime=4203.75 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4610024 0 0 0 418062 2313 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=34143540 CPUtime=4213.95 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 8341192 0 0 0 418686 2709 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295860 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 134921
Current children cumulated vsize (KiB) 34143540

[startup+4302.3 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=237886284/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136071 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66321 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4243.77 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2683 0 0 19 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136071
Current children cumulated vsize (KiB) 0

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

[startup+4303.1 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136072 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66404 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4244.61 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2767 0 0 20 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136072
Current children cumulated vsize (KiB) 0

[startup+4303.5 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136072 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66441 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4244.97 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2803 0 0 21 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136072
Current children cumulated vsize (KiB) 0

[startup+4303.7 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136072 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66461 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4245.17 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2823 0 0 21 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136072
Current children cumulated vsize (KiB) 0

[startup+4303.8 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136073 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66471 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4245.27 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2833 0 0 22 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136073
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 4303.85
CPU time (s): 136073
CPU user time (s): 135408
CPU system time (s): 664.757
CPU usage (%): 3161.65
Max. virtual memory (cumulated for all children) (KiB): 34260476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135408
system time used= 664.757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129247380
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= 9961220
involuntary context switches= 532040

runsolver used 25.6181 second user time and 96.6393 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 04:48:03
IDJOB=3400861
IDBENCH=84238
IDSOLVER=1886
FILE ID=node200/3400861-1307069277
RUNJOBID= node200-1307069277-12083
PBS_JOBID= 13497818
Free space on /tmp= 61680 MiB

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

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

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=994695386

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:      263013652 kB
Buffers:         77172 kB
Cached:         973580 kB
SwapCached:       8248 kB
Active:         166280 kB
Inactive:       902596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263013652 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           70000 kB
Writeback:           0 kB
AnonPages:       15228 kB
Mapped:           8472 kB
Slab:            90224 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   183888 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= 61676 MiB
End job on node200 at 2011-06-03 05:59:47