Trace number 3400621

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 7298.23 228.687

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4935.91
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400621-1306242574.cnf'
0.00/0.04	c -- header says num vars:           3114
0.00/0.04	c -- header says num clauses:       10827
1.27/0.17	c -- clauses added:            0 learnts,        10827 normals,            0 xors
1.27/0.17	c -- vars added       3114
1.27/0.17	c Parsing time:  0.01 s
1.27/0.17	c  N st     0         0      3114      5891      4689         0     27785         0   no data   no data
1.27/0.19	c asymm  cl-useful: 0/5891/5891 lits-rem:0 time: 0.02
3.46/0.23	c Flit:     9 Blit:      6 bXBeca:    0 bXProp:  138 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.46/0.23	c Replacing      138 vars Replaced     2761 lits Time:     0.00 s 
3.46/0.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.46/0.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.46/0.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.46/0.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2921 time:  0.00 s
3.46/0.29	c Removed useless bin:       0  fixed:     0  props:   0.06M  time:  0.00 s
5.10/0.36	c lits-rem:         0  cl-subs:      855  v-elim:    973  v-fix:    0  time:  0.03 s
5.10/0.36	c Finding binary XORs  T:     0.00 s  found:      40
5.10/0.37	c Replacing       40 vars Replaced      565 lits Time:     0.00 s 
5.10/0.38	c Finding non-binary XORs:     0.01 s (found:     976, avg size: 3.0)
5.10/0.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    330 locsubst:    22 time:   0.00
5.10/0.38	c calculated reachability. Time: 0.00
5.10/0.38	c Calc default polars -  time:   0.00 s pos:     420 undec:    1622 neg:    1072
5.10/0.38	c =========================================================================================
5.10/0.38	c types(t): F = full restart, N = normal restart
5.10/0.38	c types(t): S = simplification begin/end, E = solution found
5.10/0.38	c restart types(rt): st = static, dy = dynamic
5.10/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.10/0.38	c  B st     0         0      1578      2446      1702         0     13965         0   no data   no data
7.49/0.57	c Decided on static restart strategy
7.49/0.95	c  N st     8      4916      1578      2446      1825      4690     13965    146571   no data   no data
7.49/1.75	c  N st    10     11298      1578      2446      2270      4888     13965     94831   no data   no data
7.49/1.75	c Finding binary XORs  T:     0.00 s  found:       1
71.86/2.45	c  N st    11     17041      1578      2446      2273     10540     13965    557133   no data   no data
103.16/3.40	c  F st    12     25000      1578      2446      2631     13144     13965    340490   no data   no data
103.16/3.41	c Replacing       12 vars Replaced     7329 lits Time:     0.01 s 
103.16/3.41	c  N st    12     25000      1566      2446      2607     13144     13921    340472   no data   no data
103.16/3.42	c Finding binary XORs  T:     0.00 s  found:       0
122.31/4.00	c Decided on static restart strategy
122.31/4.00	c  N st    18     30000      1566      2446      2656     11615     13921    319770   no data   no data
122.31/4.00	c  S st    18     30000      1566      2446      2656     11615     13921    319770   no data   no data
122.31/4.06	c  S st    18     30501      1566      2446      2663     12104     13921    326675   no data   no data
122.31/4.07	c x-sub:    11 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
122.31/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    787 BRemL:    640 BRemN:      0 P:  0.6M T:  0.03
122.31/4.10	c Replacing        1 vars Replaced      284 lits Time:     0.00 s 
122.31/4.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.31/4.10	c bin-w-bin subsume rem          145 bins  time:  0.00 s
125.51/4.10	c subs with bin:      154  lits-rem:       229  v-fix:    0  time:  0.00 s
125.51/4.10	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:   1565 time:  0.00 s
125.51/4.10	c Removed useless bin:       2  fixed:     0  props:   0.02M  time:  0.00 s
125.51/4.11	c lits-rem:         0  cl-subs:       29  v-elim:    206  v-fix:    0  time:  0.01 s
125.51/4.17	c subs with bin:       92  lits-rem:      5553  v-fix:    0  time:  0.04 s
128.71/4.28	c lits-rem:      3000  cl-subs:      356  v-elim:      0  v-fix:    0  time:  0.11 s
131.91/4.30	c asymm  cl-useful: 2/2457/2457 lits-rem:2 time: 0.01
131.91/4.30	c calculated reachability. Time: 0.00
131.91/4.30	c  N st    18     30501      1359      2457      2025      9247     12545    213997   no data   no data
151.07/4.95	c  N st    20     37612      1359      2457      2043      9796     12545    211987   no data   no data
151.07/4.96	c Finding binary XORs  T:     0.00 s  found:       0
170.26/5.53	c  N st    21     44013      1359      2457      2043     16107     12545    467108   no data   no data
173.46/5.72	c  S st    22     45751      1359      2457      2363      9808     12545    151742   no data   no data
177.27/5.77	c  S st    22     46255      1359      2457      2365     10307     12545    158102   no data   no data
177.27/5.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
177.27/5.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    105 BRemL:    337 BRemN:      0 P:  0.4M T:  0.02
177.27/5.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.27/5.80	c bin-w-bin subsume rem           38 bins  time:  0.00 s
177.27/5.80	c subs with bin:       64  lits-rem:         0  v-fix:    0  time:  0.00 s
177.27/5.80	c Subs w/ non-existent bins:      3 l-rem:      3 v-fix:     0 done:   1359 time:  0.00 s
177.27/5.80	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
177.27/5.80	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.00 s
180.50/5.82	c subs with bin:        7  lits-rem:       310  v-fix:    0  time:  0.01 s
180.50/5.85	c lits-rem:       452  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.02 s
180.50/5.85	c vivif2 --  cl tried     2396 cl shrink        6 lits rem          8 time: 0.00
180.50/5.86	c vivif2 --  cl tried    10063 cl shrink     1388 lits rem       2087 time: 0.01
180.50/5.88	c asymm  cl-useful: 2/2394/2394 lits-rem:2 time: 0.02
180.50/5.88	c calculated reachability. Time: 0.00
180.50/5.88	c  N st    22     46255      1357      2394      2099     10056     12432    150954   no data   no data
230.97/7.43	c  N st    23     60654      1357      2394      2100     14904     12432    350825   no data   no data
230.97/7.43	c Finding binary XORs  T:     0.00 s  found:       0
269.33/8.69	c  N st    24     69383      1356      2394      2348     13024     12423    212118   no data   no data
269.33/8.69	c  S st    24     69383      1356      2394      2348     13024     12423    212118   no data   no data
272.52/8.76	c  S st    24     69888      1356      2394      2359     13528     12423    218868   no data   no data
272.52/8.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
272.52/8.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     15 BRemL:    234 BRemN:      2 P:  0.5M T:  0.02
272.52/8.79	c Replacing        1 vars Replaced       99 lits Time:     0.00 s 
272.52/8.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
272.52/8.79	c bin-w-bin subsume rem           11 bins  time:  0.00 s
272.52/8.79	c subs with bin:       17  lits-rem:         0  v-fix:    0  time:  0.00 s
272.52/8.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1355 time:  0.00 s
272.52/8.79	c Removed useless bin:       1  fixed:     0  props:   0.02M  time:  0.00 s
272.52/8.80	c lits-rem:         2  cl-subs:        2  v-elim:      5  v-fix:    0  time:  0.00 s
275.72/8.83	c subs with bin:        6  lits-rem:       513  v-fix:    0  time:  0.02 s
275.72/8.87	c lits-rem:       427  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.04 s
275.72/8.88	c vivif2 --  cl tried     2392 cl shrink       10 lits rem         14 time: 0.00
275.72/8.88	c vivif2 --  cl tried    13202 cl shrink      709 lits rem       1631 time: 0.01
278.92/8.91	c asymm  cl-useful: 2/2388/2388 lits-rem:6 time: 0.02
278.92/8.91	c calculated reachability. Time: 0.00
278.92/8.91	c  N st    24     69888      1350      2386      2112     13202     12387    199547   no data   no data
358.81/11.46	c  F st    25     87501      1350      2386      2112     19138     12387    457016   no data   no data
358.81/11.46	c  N st    25     87501      1350      2386      2112     19138     12387    457016   no data   no data
358.81/11.47	c Finding binary XORs  T:     0.00 s  found:       1
381.19/12.18	c Decided on static restart strategy
393.96/12.54	c  N st    32     95538      1349      2381      2197     26971     12370    815633   no data   no data
441.92/14.07	c  N st    34    104832      1349      2381      2272     23599     12370    635771   no data   no data
441.92/14.07	c  S st    34    104832      1349      2381      2272     23599     12370    635771   no data   no data
441.92/14.07	c Finding binary XORs  T:     0.00 s  found:       3
445.12/14.18	c  S st    34    105339      1349      2381      2346     24102     12370    643344   no data   no data
445.12/14.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
448.32/14.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:    116 BRemN:      3 P:  0.8M T:  0.03
448.32/14.22	c Replacing        4 vars Replaced     3723 lits Time:     0.01 s 
448.32/14.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
448.32/14.23	c bin-w-bin subsume rem           17 bins  time:  0.00 s
448.32/14.23	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
448.32/14.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1344 time:  0.00 s
448.32/14.23	c Removed useless bin:       1  fixed:     0  props:   0.02M  time:  0.00 s
448.32/14.24	c lits-rem:         2  cl-subs:        4  v-elim:      5  v-fix:    0  time:  0.01 s
451.51/14.37	c subs with bin:      190  lits-rem:      3874  v-fix:    0  time:  0.10 s
467.48/14.84	c lits-rem:      2230  cl-subs:      843  v-elim:      0  v-fix:    0  time:  0.47 s
467.48/14.84	c vivif2 --  cl tried     2390 cl shrink        6 lits rem          8 time: 0.00
467.48/14.88	c vivif2 --  cl tried    22575 cl shrink     2731 lits rem       6284 time: 0.03
470.65/14.92	c asymm  cl-useful: 2/2388/2388 lits-rem:2 time: 0.04
470.65/14.92	c calculated reachability. Time: 0.00
470.65/14.92	c  N st    34    105339      1339      2388      2193     22575     12346    577605   no data   no data
521.80/16.56	c  N st    35    114937      1339      2388      2193     18702     12346    372070   no data   no data
599.11/18.93	c  N st    36    129334      1338      2388      2231     18372     12346    291919   no data   no data
716.76/22.68	c  N st    37    150930      1337      2388      2237     24149     12346    559500   no data   no data
716.76/22.69	c Finding binary XORs  T:     0.00 s  found:       6
755.11/23.88	c  S st    38    158008      1336      2382      2286     30968     12298    818677   no data   no data
761.50/24.02	c  S st    38    158511      1335      2382      2301     31463     12298    825345   no data   no data
761.50/24.02	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
761.50/24.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     64 BRemL:     70 BRemN:      7 P:  1.1M T:  0.04
761.50/24.08	c Replacing        9 vars Replaced     1272 lits Time:     0.01 s 
761.50/24.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
761.50/24.08	c bin-w-bin subsume rem           20 bins  time:  0.00 s
761.50/24.08	c subs with bin:        8  lits-rem:         1  v-fix:    0  time:  0.00 s
761.50/24.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1325 time:  0.00 s
761.50/24.08	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
761.50/24.09	c lits-rem:         0  cl-subs:       19  v-elim:     13  v-fix:    0  time:  0.01 s
767.89/24.25	c subs with bin:       31  lits-rem:      1520  v-fix:    0  time:  0.11 s
793.46/25.03	c lits-rem:      2093  cl-subs:     1713  v-elim:      0  v-fix:    0  time:  0.78 s
793.46/25.03	c vivif2 --  cl tried     2371 cl shrink        4 lits rem          4 time: 0.00
793.46/25.08	c vivif2 --  cl tried    29621 cl shrink     4068 lits rem       8661 time: 0.05
796.66/25.14	c asymm  cl-useful: 6/2371/2371 lits-rem:16 time: 0.06
796.66/25.14	c calculated reachability. Time: 0.00
796.66/25.14	c  N st    38    158511      1312      2366      2213     29621     12134    760265   no data   no data
1081.12/34.01	c  N st    39    207099      1312      2366      2213     24776     12134    486299   no data   no data
1081.12/34.01	c Finding binary XORs  T:     0.00 s  found:       1
1263.28/39.77	c  N st    40    237766      1310      2354      2370     35418     12101   1005014   no data   no data
1263.28/39.77	c  S st    40    237766      1310      2354      2370     35418     12101   1005014   no data   no data
1263.28/39.78	c Finding binary XORs  T:     0.00 s  found:       7
1270.29/39.93	c  S st    40    238270      1309      2353      2540     35918     12096   1012768   no data   no data
1270.29/39.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
1270.29/39.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     87 BRemL:    267 BRemN:      0 P:  1.2M T:  0.05
1272.85/40.01	c Replacing        8 vars Replaced     2573 lits Time:     0.01 s 
1272.85/40.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1272.85/40.01	c bin-w-bin subsume rem           63 bins  time:  0.00 s
1272.85/40.01	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  0.00 s
1272.85/40.01	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   1300 time:  0.00 s
1272.85/40.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1272.85/40.03	c lits-rem:         0  cl-subs:        7  v-elim:      5  v-fix:    0  time:  0.02 s
1279.23/40.26	c subs with bin:       82  lits-rem:      5227  v-fix:    0  time:  0.16 s
1320.78/41.53	c lits-rem:      3574  cl-subs:     1459  v-elim:      0  v-fix:    0  time:  1.27 s
1320.78/41.53	c vivif2 --  cl tried     2350 cl shrink        0 lits rem          0 time: 0.00
1320.78/41.59	c vivif2 --  cl tried    34236 cl shrink     4332 lits rem       9014 time: 0.06
1323.99/41.65	c asymm  cl-useful: 3/2350/2350 lits-rem:9 time: 0.07
1323.99/41.66	c calculated reachability. Time: 0.00
1323.99/41.66	c  N st    40    238270      1295      2347      2265     34235     12008    947514   no data   no data
1774.59/55.77	c  F st    41    306252      1295      2347      2265     36552     12008    858103   no data   no data
1774.59/55.77	c  N st    41    306252      1295      2347      2265     36552     12008    858103   no data   no data
1774.59/55.78	c Finding binary XORs  T:     0.00 s  found:      18
1777.78/55.83	c Replacing       18 vars Replaced    13579 lits Time:     0.04 s 
1809.75/56.88	c Decided on static restart strategy
1864.71/58.52	c Finding binary XORs  T:     0.00 s  found:       0
1970.18/61.87	c  N st    51    334556      1269      2318      2605     40711     11852    856494   no data   no data
2068.64/64.95	c Finding binary XORs  T:     0.00 s  found:       3
2119.77/66.53	c  N st    53    357405      1267      2309      2725     38788     11829   1012766   no data   no data
2119.77/66.53	c  S st    53    357405      1267      2309      2725     38788     11829   1012766   no data   no data
2122.97/66.69	c  S st    53    357907      1267      2309      2734     39287     11829   1020070   no data   no data
2122.97/66.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2126.17/66.75	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     44 BRemL:    299 BRemN:     10 P:  1.3M T:  0.05
2126.17/66.77	c Replacing        6 vars Replaced     2390 lits Time:     0.02 s 
2126.17/66.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2126.17/66.77	c bin-w-bin subsume rem          159 bins  time:  0.00 s
2126.17/66.77	c subs with bin:        8  lits-rem:        14  v-fix:    0  time:  0.00 s
2126.17/66.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1260 time:  0.00 s
2126.17/66.78	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2126.17/66.79	c lits-rem:         0  cl-subs:        1  v-elim:      5  v-fix:    0  time:  0.02 s
2135.76/67.02	c subs with bin:      164  lits-rem:      3655  v-fix:    0  time:  0.17 s
2167.73/68.08	c lits-rem:      3685  cl-subs:      659  v-elim:      0  v-fix:    0  time:  1.06 s
2167.73/68.08	c vivif2 --  cl tried     2293 cl shrink        0 lits rem          0 time: 0.00
2170.92/68.15	c vivif2 --  cl tried    38357 cl shrink     5422 lits rem      12268 time: 0.06
2174.13/68.22	c asymm  cl-useful: 4/2293/2293 lits-rem:4 time: 0.07
2174.13/68.22	c calculated reachability. Time: 0.00
2174.13/68.22	c  N st    53    357907      1255      2293      2226     38355     11699    978068   no data   no data
2314.70/72.69	c  N st    54    390299      1255      2293      2226     43995     11699    542315   no data   no data
2314.70/72.69	c Finding binary XORs  T:     0.00 s  found:       0
2685.45/84.27	c  N st    55    438889      1254      2292      2165     38323     11694    685591   no data   no data
2685.45/84.28	c Finding binary XORs  T:     0.00 s  found:       3
3251.10/101.98	c  N st    56    511772      1251      2289      2218     52205     11663   1298238   no data   no data
3251.10/102.00	c Finding binary XORs  T:     0.00 s  found:       0
3452.43/108.24	c  N st    57    536860      1249      2282      2390     46445     11637    952075   no data   no data
3452.43/108.24	c  S st    57    536860      1249      2282      2390     46445     11637    952075   no data   no data
3458.83/108.43	c  S st    57    537360      1247      2282      2414     46939     11637    959139   no data   no data
3458.83/108.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.01
3458.83/108.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    168 BRemL:    222 BRemN:      0 P:  1.4M T:  0.06
3462.03/108.54	c Replacing        7 vars Replaced    13695 lits Time:     0.05 s 
3462.03/108.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3462.03/108.55	c bin-w-bin subsume rem           65 bins  time:  0.00 s
3462.03/108.55	c subs with bin:       15  lits-rem:         3  v-fix:    0  time:  0.00 s
3462.03/108.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1239 time:  0.00 s
3462.03/108.55	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3462.03/108.56	c lits-rem:         2  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.02 s
3471.62/108.82	c subs with bin:      339  lits-rem:      8367  v-fix:    0  time:  0.19 s
3529.15/110.63	c lits-rem:      2608  cl-subs:     4054  v-elim:      0  v-fix:    0  time:  1.81 s
3529.15/110.63	c vivif2 --  cl tried     2263 cl shrink        0 lits rem          0 time: 0.00
3529.15/110.68	c vivif2 --  cl tried    42329 cl shrink     3581 lits rem       6385 time: 0.05
3532.34/110.79	c asymm  cl-useful: 1/2263/2263 lits-rem:1 time: 0.11
3532.34/110.79	c calculated reachability. Time: 0.00
3532.34/110.79	c  N st    57    537360      1237      2263      2194     42328     11534    761417   no data   no data
4130.06/129.46	c Finding binary XORs  T:     0.00 s  found:       0
4874.72/152.72	c  N st    58    701344      1235      2257      2164     72321     11512   2015798   no data   no data
4874.72/152.74	c Finding binary XORs  T:     0.00 s  found:      10
5807.98/181.98	c  N st    59    806042      1224      2227      2317     66067     11363   1629855   no data   no data
5807.98/181.98	c  S st    59    806042      1224      2227      2317     66067     11363   1629855   no data   no data
5811.17/182.00	c Finding binary XORs  T:     0.00 s  found:      13
5811.17/182.08	c Replacing       24 vars Replaced    19112 lits Time:     0.08 s 
5823.96/182.46	c  S st    59    806545      1188      2208      2510     66118     11218   1620947   no data   no data
5823.96/182.47	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     0 time:   0.01
5827.16/182.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    161 BRemL:    384 BRemN:      0 P:  2.2M T:  0.11
5827.16/182.59	c Replacing        3 vars Replaced       92 lits Time:     0.01 s 
5827.16/182.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5827.16/182.60	c bin-w-bin subsume rem          248 bins  time:  0.00 s
5827.16/182.60	c subs with bin:       34  lits-rem:         2  v-fix:    0  time:  0.00 s
5827.16/182.60	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   1179 time:  0.00 s
5827.16/182.60	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
5830.36/182.63	c lits-rem:         0  cl-subs:        5  v-elim:      4  v-fix:    0  time:  0.03 s
5862.29/183.62	c subs with bin:     1241  lits-rem:     14818  v-fix:    0  time:  0.88 s
6105.18/191.27	c lits-rem:      7828  cl-subs:     7454  v-elim:      0  v-fix:    0  time:  7.65 s
6105.18/191.27	c vivif2 --  cl tried     2175 cl shrink        0 lits rem          0 time: 0.00
6108.38/191.37	c vivif2 --  cl tried    56777 cl shrink     6992 lits rem      13084 time: 0.09
6114.77/191.54	c asymm  cl-useful: 6/2175/2175 lits-rem:17 time: 0.16
6114.77/191.54	c calculated reachability. Time: 0.00
6114.77/191.54	c  N st    59    806545      1175      2170      2023     56775     11058   1237570   no data   no data
6114.77/191.54	c Finding binary XORs  T:     0.00 s  found:       0
7297.35/228.52	c Following stats are for *FIRST FINISHED THREAD ONLY*
7297.35/228.52	c num threads              : 32         
7297.35/228.52	c restarts                 : 58         
7297.35/228.52	c dynamic restarts         : 0          
7297.35/228.52	c static restarts          : 58         
7297.35/228.52	c full restarts            : 3          
7297.35/228.52	c total simplify time      : 0.45       
7297.35/228.52	c learnts DL2              : 0          
7297.35/228.52	c learnts size 2           : 11627      
7297.35/228.52	c learnts size 1           : 536         (17.21     % of vars)
7297.35/228.52	c filedLit time            : 0.12        (0.05      % time)
7297.35/228.52	c v-elim SatELite          : 1210        (38.86     % vars)
7297.35/228.52	c SatELite time            : 0.42        (0.19      % time)
7297.35/228.52	c v-elim xor               : 334         (10.73     % vars)
7297.35/228.52	c xor elim time            : 0.01        (0.00      % time)
7297.35/228.52	c num binary xor trees     : 253        
7297.35/228.52	c binxor trees' crown      : 376         (1.49      leafs/tree)
7297.35/228.52	c bin xor find time        : 0.02       
7297.35/228.52	c OTF clause improved      : 11733       (0.01      clauses/conflict)
7297.35/228.52	c OTF impr. size diff      : 16050       (1.37       lits/clause)
7297.35/228.52	c OTF cl watch-shrink      : 754471      (0.78      clauses/conflict)
7297.35/228.52	c OTF cl watch-sh-lit      : 3725725     (4.94       lits/clause)
7297.35/228.52	c tried to recurMin cls    : 486977      (50.23      % of conflicts)
7297.35/228.52	c updated cache            : 6954        (0.01       lits/tried recurMin)
7297.35/228.52	c unit cls recevied        : 94          (17.54     % of units)
7297.35/228.52	c unit cls sent            : 15          (2.80      % of units)
7297.35/228.52	c bin cls recevied         : 6148       
7297.35/228.52	c bin cls sent             : 225        
7297.35/228.52	c clauses over max glue    : 0           (0.00      % of all clauses)
7297.35/228.52	c conflicts                : 969546      (4252.48   / sec)
7297.35/228.52	c decisions                : 1356783     (4.41      % random)
7297.35/228.52	c bogo-props               : 20126868082 (88277541.86 / sec)
7297.35/228.52	c conflict literals        : 48025378    (42.96     % deleted)
7297.35/228.52	c Memory used              : 2604.59     MB
7297.35/228.52	c single-thread CPU time   : 228.00      s
7297.35/228.52	c all-threads sum CPU time : 7289.02     s
7297.35/228.52	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 29.48 31.52 31.83 1/413 8440
/proc/meminfo: memFree=255172692/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=797964 CPUtime=0.56 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) D 8438 8440 8414 0 -1 4202496 1699 0 0 0 46 10 0 0 25 0 32 0 735743821 817115136 1515 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8440/statm: 199491 1516 330 95 0 194473 0
[pid=8440/tid=8441] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 817115136 1564 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566931824 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 65 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1600 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 66 0 0 0 1 0 0 0 17 0 32 0 735743821 817115136 1600 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 71 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1600 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650999207 0 0 4096 2 204800 0 0 -1 12 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 58 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1614 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 39 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1616 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1635 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604505632857568 0 0 -1 8 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 59 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1650 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1650 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 29 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1657 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1666 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 30 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1687 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 39 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1713 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 50 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1713 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1721 268435456000 4194304 4580107 140736415712224 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 20 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1726 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 37 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1731 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1741 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 35 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1759 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 817115136 1760 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604487574085088 0 0 -1 15 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=863500 CPUtime=0.01 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 57 0 0 0 1 0 0 0 25 0 32 0 735743821 884224000 1766 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=863500 CPUtime=0.01 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54 0 0 0 1 0 0 0 25 0 32 0 735743822 884224000 1773 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=863500 CPUtime=0.01 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 44 0 0 0 1 0 0 0 25 0 32 0 735743822 884224000 1783 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 27 0 0 0 1 0 0 0 25 0 32 0 735743822 817115136 1788 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 67 0 0 0 1 0 0 0 17 0 32 0 735743822 817115136 1807 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604479082421728 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=929036 CPUtime=0.01 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 735743822 951332864 1813 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=929036 CPUtime=0.01 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 735743822 951332864 1814 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=929036 CPUtime=0 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 32 0 735743822 951332864 1824 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=863532 CPUtime=0.01 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 18 0 32 0 735743822 884256768 1833 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=863532 CPUtime=0.01 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 45 0 0 0 1 0 0 0 25 0 32 0 735743822 884256768 1836 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=863532 CPUtime=0.01 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 67 0 0 0 1 0 0 0 25 0 32 0 735743822 884256768 1847 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.0598589 s]
/proc/loadavg: 29.48 31.52 31.83 1/413 8440
/proc/meminfo: memFree=255172692/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=1128348 CPUtime=0.76 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) D 8438 8440 8414 0 -1 4202496 4317 0 0 0 49 27 0 0 17 0 32 0 735743821 1155428352 4133 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307821 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/8440/statm: 282087 4140 331 95 0 277069 0
[pid=8440/tid=8441] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 95 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4148 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 200 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4148 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 138 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4161 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 187 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4163 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604501989842400 0 0 -1 12 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 161 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4176 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 137 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4191 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 24 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 54 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4191 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604479242935776 0 0 -1 8 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 230 0 0 0 1 1 0 0 18 0 32 0 735743821 1155428352 4199 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4207 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604487546093024 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 85 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4221 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 72 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4225 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 78 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4225 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 165 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4239 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566928664 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 155 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4245 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 195 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4245 268435456000 4194304 4580107 140736415712224 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 99 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4253 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 14 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 99 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4269 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4269 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604499751468512 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 198 0 0 0 1 0 0 0 25 0 32 0 735743821 1155584000 4277 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4286 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604504470281696 0 0 -1 15 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 162 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4286 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604501863620064 0 0 -1 16 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 131 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4305 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 146 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4334 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 52 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4337 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604487574085088 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 67 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4341 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604479082421728 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 141 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4354 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4377 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=1128500 CPUtime=0 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 202 0 0 0 0 0 0 0 18 0 32 0 735743822 1155584000 4377 268435456000 4194304 4580107 140736415712224 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 140 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4386 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 65 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4392 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604503045029344 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 236 0 0 0 1 1 0 0 17 0 32 0 735743822 1155584000 4392 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 1128348

[startup+0.102865 s]
/proc/loadavg: 29.48 31.52 31.83 1/413 8440
/proc/meminfo: memFree=255172692/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=1399624 CPUtime=1.27 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) R 8438 8440 8414 0 -1 4202496 11121 0 0 0 61 66 0 0 17 0 32 0 735743821 1433214976 10274 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/8440/statm: 349906 10277 335 95 0 344888 0
[pid=8440/tid=8441] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 280 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10278 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 397 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10279 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 356 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10279 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 434 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10279 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 411 0 0 0 1 2 0 0 17 0 32 0 735743821 1433214976 10280 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 346 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10282 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=1399624 CPUtime=0.02 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 180 0 0 0 1 1 0 0 17 0 32 0 735743821 1433214976 10284 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 406 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10284 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 235 0 0 0 2 1 0 0 17 0 32 0 735743821 1433214976 10284 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 309 0 0 0 1 2 0 0 17 0 32 0 735743821 1433214976 10286 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 267 0 0 0 2 1 0 0 17 0 32 0 735743821 1433214976 10286 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 735743821 1433214976 10291 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 436 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10291 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 388 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10294 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 397 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10295 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 289 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10295 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31

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

/proc/8440/task/8464/stat : 8464 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36304 0 0 0 22717 25 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=2667092 CPUtime=227.44 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41012 0 0 0 22718 26 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=2667092 CPUtime=227.4 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47396 0 0 0 22711 29 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=2667092 CPUtime=227.42 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44225 0 0 0 22715 27 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=2667092 CPUtime=227.4 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36110 0 0 0 22720 20 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=2667092 CPUtime=227.44 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 35757 0 0 0 22719 25 0 0 25 0 32 0 735743822 2731102208 442879 268435456000 4194304 4580107 140736415712224 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=2667092 CPUtime=227.43 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 46814 0 0 0 22712 31 0 0 25 0 32 0 735743822 2731102208 442879 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294993 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=2667092 CPUtime=227.54 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 17847 0 0 0 22742 12 0 0 25 0 32 0 735743822 2731102208 442880 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7271.79
Current children cumulated vsize (KiB) 2667092

[startup+228.102 s]
/proc/loadavg: 32.00 31.83 31.88 33/445 8478
/proc/meminfo: memFree=253398188/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=2667092 CPUtime=7284.56 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) R 8438 8440 8414 0 -1 4202496 1445154 0 0 0 727553 903 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295272 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8440/statm: 666773 444261 379 95 0 661755 0
[pid=8440/tid=8441] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45244 0 0 0 22762 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295157 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=2667092 CPUtime=227.84 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54814 0 0 0 22749 35 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=2667092 CPUtime=226.6 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43444 0 0 0 22632 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48207 0 0 0 22761 26 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42437 0 0 0 22757 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48180 0 0 0 22757 26 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=2667092 CPUtime=227.72 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43251 0 0 0 22742 30 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 40754 0 0 0 22762 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42354 0 0 0 22758 29 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42685 0 0 0 22754 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43253 0 0 0 22757 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48516 0 0 0 22751 31 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=2667092 CPUtime=227.86 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41105 0 0 0 22761 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293261 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45448 0 0 0 22757 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=2667092 CPUtime=227.89 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44892 0 0 0 22762 27 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=2667092 CPUtime=227.7 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 60329 0 0 0 22736 34 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=2667092 CPUtime=223.19 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 58935 0 0 0 22283 36 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43588 0 0 0 22755 28 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 56469 0 0 0 22757 28 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=2667092 CPUtime=227.41 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 55741 0 0 0 22706 35 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=2667092 CPUtime=227.71 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47472 0 0 0 22744 27 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54387 0 0 0 22749 36 0 0 25 0 32 0 735743822 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43140 0 0 0 22759 26 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36364 0 0 0 22757 25 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=2667092 CPUtime=227.84 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41012 0 0 0 22758 26 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=2667092 CPUtime=227.8 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47453 0 0 0 22751 29 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44225 0 0 0 22755 27 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=2667092 CPUtime=227.8 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36110 0 0 0 22760 20 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 35824 0 0 0 22758 25 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 46908 0 0 0 22752 31 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=2667092 CPUtime=227.94 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 17857 0 0 0 22782 12 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7284.56
Current children cumulated vsize (KiB) 2667092

[startup+228.502 s]
/proc/loadavg: 32.00 31.83 31.88 33/445 8478
/proc/meminfo: memFree=253398188/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=2667092 CPUtime=7297.35 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) R 8438 8440 8414 0 -1 4202496 1446451 0 0 0 728831 904 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8440/statm: 666773 445558 379 95 0 661755 0
[pid=8440/tid=8441] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45313 0 0 0 22802 25 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=2667092 CPUtime=228.24 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54879 0 0 0 22789 35 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=2667092 CPUtime=227 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43492 0 0 0 22672 28 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48309 0 0 0 22801 26 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42527 0 0 0 22797 25 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48180 0 0 0 22797 26 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=2667092 CPUtime=228.12 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43315 0 0 0 22782 30 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 40806 0 0 0 22802 25 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42354 0 0 0 22798 29 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42685 0 0 0 22794 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43253 0 0 0 22797 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48516 0 0 0 22791 31 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=2667092 CPUtime=228.26 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41151 0 0 0 22801 25 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45558 0 0 0 22797 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=2667092 CPUtime=228.29 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44892 0 0 0 22802 27 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=2667092 CPUtime=228.09 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 60415 0 0 0 22775 34 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=2667092 CPUtime=223.59 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 58983 0 0 0 22323 36 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43644 0 0 0 22795 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4321108 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 56469 0 0 0 22797 28 0 0 25 0 32 0 735743821 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=2667092 CPUtime=227.8 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 55828 0 0 0 22745 35 0 0 25 0 32 0 735743821 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=2667092 CPUtime=228.11 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47535 0 0 0 22784 27 0 0 25 0 32 0 735743821 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54473 0 0 0 22789 36 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43140 0 0 0 22799 26 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36414 0 0 0 22797 25 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=2667092 CPUtime=228.24 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41012 0 0 0 22798 26 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=2667092 CPUtime=228.2 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47491 0 0 0 22791 29 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44225 0 0 0 22795 27 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293248 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=2667092 CPUtime=228.2 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36110 0 0 0 22800 20 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 35880 0 0 0 22798 25 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 46989 0 0 0 22792 31 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295090 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=2667092 CPUtime=228.34 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 17857 0 0 0 22822 12 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7297.35
Current children cumulated vsize (KiB) 2667092

[startup+228.602 s]
/proc/loadavg: 32.00 31.83 31.88 33/445 8478
/proc/meminfo: memFree=253398188/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=0 CPUtime=7298.14 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) Z 8438 8440 8414 0 -1 4203548 1446525 0 0 0 728902 912 0 0 25 0 2 0 735743821 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8440/statm: 0 0 0 0 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=0 CPUtime=228.34 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) R 8438 8440 8414 0 -1 4203588 56469 0 0 0 22799 35 0 0 25 0 2 0 735743821 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 7298.14
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 228.687
CPU time (s): 7298.23
CPU user time (s): 7289.02
CPU system time (s): 9.2076
CPU usage (%): 3191.36
Max. virtual memory (cumulated for all children) (KiB): 2923936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7289.02
system time used= 9.2076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1446525
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= 93680
involuntary context switches= 14465

runsolver used 1.39979 second user time and 5.07023 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 15:09:34
IDJOB=3400621
IDBENCH=20401
IDSOLVER=1886
FILE ID=node200/3400621-1306242574
RUNJOBID= node200-1306242574-8428
PBS_JOBID= 13411755
Free space on /tmp= 62048 MiB

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

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=804738476

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255172972 kB
Buffers:        463124 kB
Cached:        8213976 kB
SwapCached:          0 kB
Active:        7765468 kB
Inactive:       980440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255172972 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5832 kB
Writeback:           0 kB
AnonPages:       70240 kB
Mapped:          13484 kB
Slab:           255000 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189592 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-24 15:13:23