Trace number 3421704

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 4152.01 520.012

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
MD5SUM59fa4424111aa94c942a4bbd786cbd51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1118.21
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18767
Sum of the clauses size134137
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32384
Number of clauses of size 4505
Number of clauses of size 5684
Number of clauses of size over 514710

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3421704-1306786801.cnf'
0.00/0.03	c -- header says num vars:           2969
0.00/0.03	c -- header says num clauses:       18767
0.00/0.05	c -- clauses added:            0 learnts,        18767 normals,            0 xors
0.00/0.05	c -- vars added       2969
0.00/0.05	c Parsing time:  0.01 s
0.00/0.05	c  N st     0         0      2969     17464      1036         0    132554         0   no data   no data
0.00/0.19	c asymm  cl-useful: 1395/16175/16175 lits-rem:2109 time: 0.11
0.00/0.19	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.60/0.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.60/0.20	c bin-w-bin subsume rem         1011 bins  time:  0.00 s
0.60/0.20	c subs with bin:       17  lits-rem:       153  v-fix:    0  time:  0.00 s
0.60/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2912 time:  0.00 s
0.60/0.20	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1.52/0.24	c lits-rem:      6942  cl-subs:     3623  v-elim:    184  v-fix:    0  time:  0.03 s
1.52/0.24	c Finding binary XORs  T:     0.00 s  found:       0
1.52/0.25	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.52/0.25	c calculated reachability. Time: 0.00
1.52/0.25	c Calc default polars -  time:   0.00 s pos:    1005 undec:     943 neg:    1021
1.52/0.25	c =========================================================================================
1.52/0.25	c types(t): F = full restart, N = normal restart
1.52/0.25	c types(t): S = simplification begin/end, E = solution found
1.52/0.25	c restart types(rt): st = static, dy = dynamic
1.52/0.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.52/0.25	c  B st     0         0      2728     12316      1079         0     89551         0   no data   no data
1.52/0.64	c  N dy    19      4123      2728     12316      1119      3877     89537     54262      7.13      7.58
1.52/0.64	c  N dy    39      8369      2728     12316      1186      5549     89531     70368      6.94      7.44
1.52/0.64	c  N dy    72     12380      2728     12316      1410      5375     89530     61626      7.27      7.69
1.52/1.22	c  N dy   106     16450      2728     12316      1431      9321     89527    128029      7.62     11.86
1.52/1.22	c  N dy   142     20489      2728     12316      1600      7863     89527     99627      7.99      8.51
1.52/1.22	c  N dy   179     24565      2728     12316      1749     11840     89525    182180      8.30      9.81
1.52/1.22	c  F st   184     25000      2728     12316      1749     12268     89525    192263      8.35   no data
10.72/1.42	c Finding binary XORs  T:     0.00 s  found:      44
10.72/1.42	c Replacing       44 vars Replaced    11771 lits Time:     0.01 s 
11.52/1.52	c  N dy   190     30000      2684     12260      1671     10537     89218    158933      8.35   no data
11.52/1.52	c  S st   190     30000      2684     12260      1671     10537     89218    158933      8.35   no data
11.52/1.52	c  S st   190     30500      2684     12260      1821     10983     89218    164374      8.35   no data
11.52/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.52/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    781 BRemL:     14 BRemN:      0 P:  0.7M T:  0.02
11.52/1.52	c Replacing        3 vars Replaced      987 lits Time:     0.00 s 
11.52/1.52	c blocked clauses removed:      399 vars:    256 tried:        2681 T: 0.00 s
11.52/1.52	c bin-w-bin subsume rem           27 bins  time:  0.00 s
11.52/1.52	c subs with bin:      150  lits-rem:       739  v-fix:    0  time:  0.00 s
11.52/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2425 time:  0.00 s
11.52/1.52	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
12.32/1.62	c lits-rem:       837  cl-subs:      280  v-elim:     56  v-fix:    0  time:  0.02 s
12.32/1.62	c subs with bin:      584  lits-rem:      4694  v-fix:    0  time:  0.04 s
13.12/1.72	c lits-rem:       827  cl-subs:      786  v-elim:      0  v-fix:    0  time:  0.06 s
14.72/1.88	c asymm  cl-useful: 106/11372/11372 lits-rem:109 time: 0.25
14.72/1.88	c calculated reachability. Time: 0.00
14.72/1.88	c  N dy   190     30500      2369     11372      2428      9122     81486    140150      8.35   no data
14.72/1.88	c Finding binary XORs  T:     0.00 s  found:       0
16.62/2.12	c  N dy   218     34598      2369     11372      2437     13113     81486    220569      8.49      8.98
18.09/2.38	c  N dy   252     38616      2369     11372      2564      9644     81486    114185      8.67     12.77
20.49/2.67	c  N dy   286     42641      2369     11372      2637     13599     81486    201822      8.80      9.89
22.89/2.95	c  S st   314     45750      2369     11372      2646     16656     81486    272287      8.93   no data
23.69/3.00	c  S st   314     46255      2369     11372      2648     17158     81486    280829      8.93   no data
23.69/3.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.69/3.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     45 BRemL:      3 BRemN:      0 P:  0.9M T:  0.02
23.69/3.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.69/3.02	c bin-w-bin subsume rem           94 bins  time:  0.00 s
23.69/3.03	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.00 s
23.69/3.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2369 time:  0.00 s
23.69/3.03	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
23.69/3.04	c lits-rem:       172  cl-subs:      107  v-elim:     51  v-fix:    0  time:  0.01 s
24.58/3.13	c subs with bin:      355  lits-rem:      1432  v-fix:    0  time:  0.08 s
25.40/3.24	c lits-rem:       715  cl-subs:      458  v-elim:      0  v-fix:    0  time:  0.10 s
25.40/3.24	c vivif2 --  cl tried    11238 cl shrink        0 lits rem          0 time: 0.00
25.40/3.24	c vivif2 --  cl tried    16344 cl shrink       53 lits rem         53 time: 0.01
28.47/3.66	c asymm  cl-useful: 50/10347/11238 lits-rem:50 time: 0.41
28.47/3.66	c calculated reachability. Time: 0.00
28.47/3.66	c  N dy   314     46255      2318     11238      2599     16344     79808    270975      8.93   no data
30.86/3.96	c Finding binary XORs  T:     0.00 s  found:       1
30.86/3.99	c  N dy   348     50330      2318     11238      2725     11757     79808    150373      9.04     10.77
34.19/4.36	c  N dy   385     54416      2318     11238      2728     15778     79808    246840      9.16     10.28
37.25/4.73	c  N dy   417     58442      2318     11238      2775     10006     79808     88483      9.23     11.02
39.65/5.06	c  N dy   451     62506      2318     11238      2794     14021     79808    186420      9.33     10.30
42.97/5.44	c  N dy   483     66598      2318     11238      2797     18038     79808    282492      9.40     10.10
45.24/5.72	c  S st   502     69385      2318     11238      2817     20784     79808    347735      9.43   no data
45.24/5.78	c  S st   502     69887      2318     11238      2818     21282     79808    357845      9.43   no data
45.24/5.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.04/5.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      4 BRemL:      3 BRemN:      0 P:  1.2M T:  0.03
46.04/5.82	c Replacing        2 vars Replaced     1851 lits Time:     0.00 s 
46.04/5.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.04/5.82	c bin-w-bin subsume rem           11 bins  time:  0.00 s
46.04/5.82	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
46.04/5.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2316 time:  0.00 s
46.04/5.82	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
46.04/5.84	c lits-rem:        32  cl-subs:       22  v-elim:      5  v-fix:    0  time:  0.01 s
46.84/5.96	c subs with bin:      276  lits-rem:       749  v-fix:    0  time:  0.11 s
48.44/6.10	c lits-rem:       583  cl-subs:      548  v-elim:      0  v-fix:    0  time:  0.14 s
48.44/6.10	c vivif2 --  cl tried    11212 cl shrink        0 lits rem          0 time: 0.00
48.44/6.11	c vivif2 --  cl tried    20458 cl shrink       31 lits rem         31 time: 0.01
48.44/6.13	c asymm  cl-useful: 4/865/11212 lits-rem:4 time: 0.02
48.44/6.13	c calculated reachability. Time: 0.00
48.44/6.13	c  N dy   502     69887      2311     11212      2805     20458     79541    348155      9.43   no data
51.76/6.54	c  N dy   539     74351      2311     11212      2829     14112     79541    174711      9.53     10.25
55.61/7.01	c  N dy   576     79299      2311     11212      2831     18969     79541    287789      9.56     10.09
57.21/7.20	c Finding binary XORs  T:     0.00 s  found:       0
59.71/7.61	c  N dy   612     84512      2311     11212      2841     12316     79541    110749      9.61     10.13
62.00/7.88	c  F st   637     87500      2311     11212      2854     15268     79541    184757      9.66   no data
64.40/8.19	c  N st   642     90798      2311     11212      2855     18498     79541    269925      9.66   no data
69.98/8.88	c  N dy   675     96676      2311     11212      2861     24280     79541    410438      9.71     11.28
75.58/9.50	c  N dy   723    102887      2311     11212      2865     17622     79541    225091      9.77     10.81
77.27/9.72	c  S st   740    104830      2311     11212      2872     19542     79541    274510      9.80   no data
77.27/9.77	c  S st   740    105333      2311     11212      2872     20043     79541    284529      9.80   no data
77.27/9.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.27/9.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  1.1M T:  0.03
77.27/9.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.27/9.80	c bin-w-bin subsume rem            3 bins  time:  0.00 s
77.27/9.81	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.00 s
77.27/9.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2311 time:  0.00 s
77.27/9.81	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
78.09/9.81	c lits-rem:        21  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
78.76/9.90	c subs with bin:      222  lits-rem:       255  v-fix:    0  time:  0.08 s
78.76/9.98	c lits-rem:       348  cl-subs:      427  v-elim:      0  v-fix:    0  time:  0.08 s
78.76/9.99	c vivif2 --  cl tried    11196 cl shrink        0 lits rem          0 time: 0.00
78.76/9.99	c vivif2 --  cl tried    19400 cl shrink       43 lits rem         43 time: 0.01
82.76/10.40	c asymm  cl-useful: 86/8147/11196 lits-rem:91 time: 0.41
82.76/10.40	c calculated reachability. Time: 0.00
82.76/10.40	c  N dy   740    105333      2311     11196      2870     19400     79312    277766      9.80   no data
89.16/11.25	c  N dy   791    112176      2311     11196      2886     26119     79312    446129      9.85     10.43
95.67/12.03	c  N dy   834    119514      2311     11196      2909     19542     79312    250192      9.86     10.46
97.94/12.35	c Finding binary XORs  T:     0.00 s  found:       0
103.62/13.02	c  N dy   883    127220      2311     11196      2918     27120     79312    444420      9.91     10.53
110.72/13.99	c  N dy   932    135421      2311     11196      2923     20467     79312    261622      9.95     10.77
120.30/15.15	c  N dy   980    144142      2311     11196      2934     29055     79312    475133      9.98     12.23
129.09/16.30	c  N dy  1026    153410      2311     11196      2941     22414     79312    301812     10.01     11.89
134.67/16.90	c  S st  1055    157999      2311     11196      2951     26943     79312    413011     10.02      9.20
134.67/16.98	c  S st  1055    158501      2311     11196      2951     27444     79312    423948     10.02   no data
134.67/16.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.48/17.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  1.4M T:  0.04
135.48/17.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.48/17.02	c bin-w-bin subsume rem            1 bins  time:  0.00 s
135.48/17.02	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
135.48/17.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2311 time:  0.00 s
135.48/17.02	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
135.48/17.03	c lits-rem:        31  cl-subs:       18  v-elim:      6  v-fix:    0  time:  0.01 s
136.28/17.17	c subs with bin:      384  lits-rem:       558  v-fix:    0  time:  0.13 s
137.87/17.34	c lits-rem:       479  cl-subs:      817  v-elim:      0  v-fix:    0  time:  0.16 s
137.87/17.34	c vivif2 --  cl tried    11171 cl shrink        0 lits rem          0 time: 0.00
137.87/17.35	c vivif2 --  cl tried    26241 cl shrink      120 lits rem        120 time: 0.01
139.58/17.56	c asymm  cl-useful: 7/3024/11171 lits-rem:7 time: 0.20
139.58/17.56	c calculated reachability. Time: 0.00
139.58/17.56	c  N dy  1055    158501      2305     11171      2952     26241     79024    411245     10.02   no data
151.44/19.05	c  N dy  1114    169191      2305     11171      2960     20057     79024    232656     10.06     10.59
152.24/19.19	c Finding binary XORs  T:     0.00 s  found:       0
163.42/20.50	c  N dy  1179    180012      2305     11171      2977     30726     79024    493259     10.09     11.89
176.20/22.11	c  N dy  1235    191558      2305     11171      2990     24346     79024    318472     10.11     11.80
191.47/24.02	c  N dy  1301    203987      2305     11171      2994     36605     79024    621642     10.13     10.73
204.94/25.75	c  N dy  1365    217028      2305     11171      3006     30728     79024    457916     10.13     11.39
212.12/26.69	c Finding binary XORs  T:     0.00 s  found:       0
220.91/27.78	c  N dy  1424    230922      2305     11171      3014     24684     79024    295194     10.14     11.95
228.90/28.76	c  S st  1464    237752      2305     11171      3016     31432     79024    462586     10.15   no data
229.70/28.85	c  S st  1464    238255      2305     11171      3016     31932     79024    472389     10.15   no data
229.70/28.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
229.70/28.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.04
229.70/28.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
229.70/28.89	c bin-w-bin subsume rem            1 bins  time:  0.00 s
230.50/28.90	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
230.50/28.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2305 time:  0.00 s
230.50/28.90	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
230.50/28.91	c lits-rem:        41  cl-subs:       13  v-elim:      4  v-fix:    0  time:  0.01 s
231.30/29.07	c subs with bin:      403  lits-rem:       282  v-fix:    0  time:  0.15 s
232.89/29.28	c lits-rem:       600  cl-subs:     1057  v-elim:      0  v-fix:    0  time:  0.21 s
232.89/29.29	c vivif2 --  cl tried    11153 cl shrink        0 lits rem          0 time: 0.00
232.89/29.29	c vivif2 --  cl tried    30472 cl shrink       82 lits rem         82 time: 0.01
235.39/29.51	c asymm  cl-useful: 55/4492/11153 lits-rem:56 time: 0.22
235.39/29.51	c calculated reachability. Time: 0.00
235.39/29.51	c  N dy  1464    238255      2301     11153      3015     30472     78791    457323     10.15   no data
253.77/31.89	c  N dy  1522    253471      2301     11153      3025     24805     78791    285103     10.14     10.68
274.42/34.41	c  N dy  1600    269654      2301     11153      3032     40661     78791    665363     10.15     10.69
294.38/36.99	c  N dy  1685    286924      2301     11153      3037     36014     78791    546601     10.16     12.59
319.94/40.13	c  F st  1767    306250      2301     11153      3042     32387     78791    440734     10.17      9.85
319.94/40.14	c  N st  1767    306250      2301     11153      3042     32387     78791    440734     10.17      9.85
326.32/40.98	c Decided on static restart strategy
357.48/44.89	c  N st  1777    334552      2301     11153      3046     37580     78791    655158     10.17   no data
357.48/44.90	c Finding binary XORs  T:     0.00 s  found:       0
390.22/48.98	c  N st  1779    357382      2301     11153      3053     35921     78790    588647     10.17   no data
390.22/48.98	c  S st  1779    357382      2301     11153      3053     35921     78790    588647     10.17   no data
391.01/49.08	c  S st  1779    357885      2301     11153      3054     36417     78790    599161     10.17   no data
391.01/49.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
391.81/49.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.05
391.81/49.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
391.81/49.14	c bin-w-bin subsume rem            1 bins  time:  0.00 s
391.81/49.14	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
391.81/49.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2301 time:  0.00 s
391.81/49.14	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
391.81/49.16	c lits-rem:        25  cl-subs:       14  v-elim:      3  v-fix:    0  time:  0.01 s
393.50/49.35	c subs with bin:       77  lits-rem:       123  v-fix:    0  time:  0.18 s
398.20/49.90	c lits-rem:      1070  cl-subs:     3004  v-elim:      0  v-fix:    0  time:  0.55 s
398.20/49.90	c vivif2 --  cl tried    11133 cl shrink        0 lits rem          0 time: 0.00
398.20/49.92	c vivif2 --  cl tried    33341 cl shrink      139 lits rem        139 time: 0.01
399.80/50.14	c asymm  cl-useful: 3/1607/11133 lits-rem:3 time: 0.23
399.80/50.15	c calculated reachability. Time: 0.00
399.80/50.15	c  N st  1779    357885      2298     11133      3053     33341     78577    553468     10.17   no data
450.89/56.50	c  N st  1780    390278      2298     11133      3053     39861     78577    670515     10.17   no data
529.95/66.40	c  N st  1781    438866      2298     11133      3053     34004     78577    488839     10.17   no data
662.51/83.02	c  N st  1782    511748      2298     11133      3055     47334     78577    791802     10.17   no data
706.44/88.59	c  N st  1783    536828      2298     11133      3060     41605     78577    630739     10.17   no data
706.44/88.59	c  S st  1783    536828      2298     11133      3060     41605     78577    630739     10.17   no data
708.04/88.72	c  S st  1783    537328      2298     11133      3060     42103     78577    641683     10.17   no data
708.04/88.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
708.04/88.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.4M T:  0.06
708.04/88.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
708.04/88.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
708.04/88.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
708.04/88.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2298 time:  0.00 s
708.04/88.79	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
708.83/88.81	c lits-rem:         6  cl-subs:        3  v-elim:      4  v-fix:    0  time:  0.01 s
711.21/89.10	c subs with bin:     1532  lits-rem:        40  v-fix:    0  time:  0.28 s
715.22/89.68	c lits-rem:      1245  cl-subs:     2566  v-elim:      0  v-fix:    0  time:  0.57 s
715.22/89.68	c vivif2 --  cl tried    11126 cl shrink        0 lits rem          0 time: 0.00
715.22/89.69	c vivif2 --  cl tried    38009 cl shrink       25 lits rem         25 time: 0.01
717.62/89.93	c asymm  cl-useful: 0/885/11126 lits-rem:0 time: 0.24
717.62/89.93	c calculated reachability. Time: 0.00
717.62/89.93	c  N st  1783    537328      2294     11126      3060     38009     78511    581461     10.17   no data
1053.79/132.04	c  N st  1784    701312      2294     11126      3061     67110     78511   1217545     10.17   no data
1279.79/160.31	c  N st  1785    805994      2294     11126      3068     61277     78510   1039422     10.17   no data
1279.79/160.31	c  S st  1785    805994      2294     11126      3068     61277     78510   1039422     10.17   no data
1281.50/160.51	c  S st  1785    806497      2294     11126      3075     61777     78510   1051250     10.17   no data
1281.50/160.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1282.18/160.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.4M T:  0.10
1282.18/160.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1282.18/160.62	c bin-w-bin subsume rem            3 bins  time:  0.00 s
1282.18/160.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1282.18/160.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2294 time:  0.00 s
1282.18/160.63	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1282.18/160.65	c lits-rem:         0  cl-subs:        1  v-elim:      4  v-fix:    0  time:  0.02 s
1285.37/161.07	c subs with bin:      405  lits-rem:      1172  v-fix:    0  time:  0.39 s
1302.14/163.15	c lits-rem:      2785  cl-subs:     7373  v-elim:      0  v-fix:    0  time:  2.08 s
1302.14/163.15	c vivif2 --  cl tried    11120 cl shrink        0 lits rem          0 time: 0.00
1302.14/163.17	c vivif2 --  cl tried    54000 cl shrink       92 lits rem         92 time: 0.02
1304.54/163.45	c asymm  cl-useful: 1/614/11120 lits-rem:1 time: 0.27
1304.54/163.45	c calculated reachability. Time: 0.00
1304.54/163.45	c  N st  1785    806497      2290     11120      3072     54000     78431    912555     10.17   no data
1986.49/248.83	c  F st  1786   1071875      2290     11120      3072     70580     78431   1243980     10.17   no data
1986.49/248.83	c  N st  1786   1071875      2290     11120      3072     70580     78431   1243980     10.17   no data
1986.49/248.85	c Finding binary XORs  T:     0.00 s  found:       1
1999.27/250.50	c Decided on static restart strategy
2056.76/257.60	c  N st  1796   1100179      2289     11003      3097     53463     77657    765419     10.17   no data
2153.39/269.75	c  N st  1798   1136171      2289     11003      3100     88522     77657   1672565     10.17   no data
2234.83/279.91	c  N st  1799   1168565      2289     11003      3100     75432     77657   1321586     10.17   no data
2349.83/294.30	c  N st  1800   1209747      2289     11003      3100     70136     77657   1199261     10.17   no data
2349.83/294.30	c  S st  1800   1209747      2289     11003      3100     70136     77657   1199261     10.17   no data
2351.43/294.57	c  S st  1800   1210251      2289     11003      3105     70638     77657   1211778     10.17   no data
2351.43/294.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2353.15/294.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:     23 BRemN:      0 P:  4.1M T:  0.18
2353.15/294.77	c Replacing        1 vars Replaced       89 lits Time:     0.01 s 
2353.15/294.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2353.15/294.78	c bin-w-bin subsume rem            9 bins  time:  0.00 s
2353.15/294.78	c subs with bin:       42  lits-rem:         4  v-fix:    0  time:  0.00 s
2353.15/294.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2288 time:  0.00 s
2353.15/294.78	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2353.81/294.81	c lits-rem:        87  cl-subs:       18  v-elim:      1  v-fix:    0  time:  0.03 s
2357.81/295.37	c subs with bin:      266  lits-rem:      3393  v-fix:    0  time:  0.53 s
2379.49/298.02	c lits-rem:      4218  cl-subs:     5491  v-elim:      0  v-fix:    0  time:  2.59 s
2379.49/298.02	c vivif2 --  cl tried    10943 cl shrink        0 lits rem          0 time: 0.00
2379.49/298.05	c vivif2 --  cl tried    64881 cl shrink      845 lits rem       1104 time: 0.03
2381.77/298.35	c asymm  cl-useful: 1/480/10943 lits-rem:1 time: 0.30
2381.77/298.35	c calculated reachability. Time: 0.00
2381.77/298.35	c  N st  1800   1210251      2287     10943      3084     64881     77178   1107336     10.17   no data
2585.38/323.89	c  N st  1801   1283133      2287     10943      3084     89238     77178   1645107     10.17   no data
2884.04/361.22	c Finding binary XORs  T:     0.00 s  found:       0
2906.53/364.07	c  N st  1802   1392456      2285     10844      3105     71472     76537   1207915     10.17   no data
3387.93/424.30	c  N st  1803   1556442      2285     10844      3107    103440     76537   2040051     10.17   no data
3388.83/424.44	c Finding binary XORs  T:     0.00 s  found:       0
3847.09/481.82	c  N st  1804   1710252      2283     10735      3051     92468     75736   1769121     10.17   no data
3847.09/481.82	c  S st  1804   1710252      2283     10735      3051     92468     75736   1769121     10.17   no data
3847.09/481.87	c Finding binary XORs  T:     0.00 s  found:       2
3849.49/482.18	c  S st  1804   1710757      2277     10316      2998     82199     72896   1484370     10.17   no data
3849.49/482.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3851.08/482.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     45 BRemL:     20 BRemN:      0 P:  4.7M T:  0.17
3851.08/482.38	c Replacing        2 vars Replaced     3951 lits Time:     0.02 s 
3851.08/482.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3851.08/482.38	c bin-w-bin subsume rem           19 bins  time:  0.00 s
3851.08/482.38	c subs with bin:      133  lits-rem:        58  v-fix:    0  time:  0.00 s
3851.08/482.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2275 time:  0.00 s
3851.08/482.38	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3851.88/482.41	c lits-rem:       738  cl-subs:      285  v-elim:     37  v-fix:    0  time:  0.03 s
3859.87/483.44	c subs with bin:      797  lits-rem:     16866  v-fix:    0  time:  0.96 s
3905.39/489.19	c lits-rem:     17525  cl-subs:     7530  v-elim:      0  v-fix:    0  time:  5.67 s
3906.19/489.20	c vivif2 --  cl tried     9890 cl shrink        1 lits rem          1 time: 0.00
3906.19/489.23	c vivif2 --  cl tried    73872 cl shrink      895 lits rem       1014 time: 0.03
3909.37/489.62	c asymm  cl-useful: 14/386/9890 lits-rem:18 time: 0.38
3909.37/489.63	c calculated reachability. Time: 0.00
3909.37/489.63	c  N st  1804   1710757      2238      9890      3003     73872     69035   1304446     10.17   no data
3909.37/489.63	c Finding binary XORs  T:     0.00 s  found:       0
4054.72/507.85	c Finding binary XORs  T:     0.00 s  found:       0
4134.56/517.86	c Finding binary XORs  T:     0.00 s  found:       8
4151.35/519.97	c  E st  1805   1783677      2159      6580      2567     40076     47250    476256     10.17   no data
4151.35/519.97	c Following stats are for *FIRST FINISHED THREAD ONLY*
4151.35/519.97	c num threads              : 8          
4151.35/519.97	c restarts                 : 1805       
4151.35/519.97	c dynamic restarts         : 1749       
4151.35/519.97	c static restarts          : 56         
4151.35/519.97	c full restarts            : 4          
4151.35/519.97	c total simplify time      : 0.47       
4151.35/519.97	c learnts DL2              : 0          
4151.35/519.97	c learnts size 2           : 5421       
4151.35/519.97	c learnts size 1           : 281         (9.46      % of vars)
4151.35/519.97	c filedLit time            : 0.74        (0.14      % time)
4151.35/519.97	c v-elim SatELite          : 611         (20.58     % vars)
4151.35/519.97	c SatELite time            : 12.16       (2.36      % time)
4151.35/519.97	c v-elim xor               : 0           (0.00      % vars)
4151.35/519.97	c xor elim time            : 0.03        (0.01      % time)
4151.35/519.97	c num binary xor trees     : 53         
4151.35/519.97	c binxor trees' crown      : 60          (1.13      leafs/tree)
4151.35/519.97	c bin xor find time        : 0.02       
4151.35/519.97	c OTF clause improved      : 43627       (0.02      clauses/conflict)
4151.35/519.97	c OTF impr. size diff      : 58533       (1.34       lits/clause)
4151.35/519.97	c OTF cl watch-shrink      : 1419971     (0.80      clauses/conflict)
4151.35/519.97	c OTF cl watch-sh-lit      : 7306678     (5.15       lits/clause)
4151.35/519.97	c tried to recurMin cls    : 334872      (18.77      % of conflicts)
4151.35/519.97	c updated cache            : 4666        (0.01       lits/tried recurMin)
4151.35/519.97	c unit cls recevied        : 13          (4.63      % of units)
4151.35/519.97	c unit cls sent            : 24          (8.54      % of units)
4151.35/519.97	c bin cls recevied         : 1316       
4151.35/519.97	c bin cls sent             : 1300       
4151.35/519.97	c clauses over max glue    : 0           (0.00      % of all clauses)
4151.35/519.97	c conflicts                : 1783677     (3466.92   / sec)
4151.35/519.97	c decisions                : 3358526     (1.47      % random)
4151.35/519.97	c bogo-props               : 65124255033 (126581498.24 / sec)
4151.35/519.97	c conflict literals        : 45281509    (52.09     % deleted)
4151.35/519.97	c Memory used              : 935.82      MB
4151.35/519.97	c single-thread CPU time   : 514.48      s
4151.35/519.97	c all-threads sum CPU time : 4149.62     s
4151.35/519.97	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-3421704-1306786801/watcher-3421704-1306786801 -o /tmp/evaluation-result-3421704-1306786801/solver-3421704-1306786801 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421704-1306786801.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.18 2.27 2.08 1/429 29499
/proc/meminfo: memFree=5116112/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=92144 CPUtime=0.04 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 420 0 0 0 4 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240601010 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29499/statm: 23036 360 302 95 0 18018 0
[pid=29499/tid=29500] ppid=29497 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240600601 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=92144 CPUtime=0 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240601008 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240600595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=92144 CPUtime=0 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240600599 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=92144 CPUtime=0 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240600601 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=92144 CPUtime=0 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240600601 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=92144 CPUtime=0 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790277930 94355456 360 33554432000 4194304 4580107 140737019766080 18446744073709551615 47232240600601 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0787311 s]
/proc/loadavg: 3.18 2.27 2.08 1/429 29499
/proc/meminfo: memFree=5116112/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=557404 CPUtime=0.6 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 7326 0 0 0 53 7 0 0 18 0 8 0 790277930 570781696 7055 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 139804 8364 364 95 0 134786 0
[pid=29499/tid=29500] ppid=29497 vsize=559216 CPUtime=0.17 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1028 0 0 0 17 0 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=559216 CPUtime=0.14 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 877 0 0 0 14 0 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=559216 CPUtime=0.18 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 779 0 0 0 17 1 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=559216 CPUtime=0.17 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) D 29497 29499 29439 0 -1 4202560 1094 0 0 0 17 0 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 255376962245 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=559216 CPUtime=0.16 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 973 0 0 0 16 0 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=559216 CPUtime=0.17 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 903 0 0 0 16 1 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=559216 CPUtime=0.17 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 1205 0 0 0 17 0 0 0 18 0 8 0 790277930 572637184 8364 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 557404

[startup+0.216239 s]
/proc/loadavg: 3.18 2.27 2.08 1/429 29499
/proc/meminfo: memFree=5116112/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=564240 CPUtime=1.52 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 11364 0 0 0 141 11 0 0 18 0 8 0 790277930 577781760 11062 33554432000 4194304 4580107 140737019766080 18446744073709551615 4451678 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 141060 11068 373 95 0 136042 0
[pid=29499/tid=29500] ppid=29497 vsize=564240 CPUtime=0.19 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) D 29497 29499 29439 0 -1 4202560 1644 0 0 0 18 1 0 0 18 0 8 0 790277930 577781760 11074 33554432000 4194304 4580107 140737019766080 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=564240 CPUtime=0.15 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 924 0 0 0 14 1 0 0 17 0 8 0 790277930 577781760 11092 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=564240 CPUtime=0.18 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 810 0 0 0 17 1 0 0 17 0 8 0 790277930 577781760 11098 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=564240 CPUtime=0.18 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1788 0 0 0 18 0 0 0 17 0 8 0 790277930 577781760 11103 33554432000 4194304 4580107 140737019766080 18446744073709551615 4394575 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=564240 CPUtime=0.18 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) S 29497 29499 29439 0 -1 4202560 1358 0 0 0 17 1 0 0 17 0 8 0 790277930 577781760 11106 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377406446 0 0 4096 2 18446604440955561152 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=564240 CPUtime=0.18 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) D 29497 29499 29439 0 -1 4202560 1108 0 0 0 17 1 0 0 18 0 8 0 790277930 577781760 11112 33554432000 4194304 4580107 140737019766080 18446744073709551615 255377344695 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=564240 CPUtime=0.19 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 1224 0 0 0 19 0 0 0 18 0 8 0 790277930 577781760 11113 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 564240

[startup+0.310611 s]
/proc/loadavg: 3.18 2.27 2.08 1/429 29499
/proc/meminfo: memFree=5116112/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=528944 CPUtime=9.92 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 25821 0 0 0 972 20 0 0 19 0 8 0 790277930 541638656 19225 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 132236 19225 379 95 0 127218 0
[pid=29499/tid=29500] ppid=29497 vsize=528944 CPUtime=1.24 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3501 0 0 0 122 2 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4325681 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=528944 CPUtime=1.19 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 2921 0 0 0 116 3 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4302024 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=528944 CPUtime=1.23 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 2583 0 0 0 120 3 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=528944 CPUtime=1.24 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3412 0 0 0 123 1 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=528944 CPUtime=1.22 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3527 0 0 0 120 2 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=528944 CPUtime=1.24 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3270 0 0 0 120 4 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=528944 CPUtime=1.25 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 2626 0 0 0 124 1 0 0 19 0 8 0 790277930 541638656 19226 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 528944

[startup+1.378 s]
/proc/loadavg: 3.18 2.27 2.08 1/429 29499
/proc/meminfo: memFree=5116112/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=529004 CPUtime=10.72 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 27010 0 0 0 1051 21 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4295828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 132251 18935 379 95 0 127233 0
[pid=29499/tid=29500] ppid=29497 vsize=529004 CPUtime=1.34 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3550 0 0 0 132 2 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=529004 CPUtime=1.29 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3143 0 0 0 126 3 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=529004 CPUtime=1.33 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 2855 0 0 0 130 3 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=529004 CPUtime=1.34 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3423 0 0 0 133 1 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4316490 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=529004 CPUtime=1.32 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3570 0 0 0 130 2 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=529004 CPUtime=1.33 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3512 0 0 0 129 4 0 0 19 0 8 0 790277930 541700096 18935 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=529004 CPUtime=1.35 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 2935 0 0 0 134 1 0 0 19 0 8 0 790277930 541700096 18936 33554432000 4194304 4580107 140737019766080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 529004

[startup+1.57796 s]
/proc/loadavg: 3.18 2.27 2.08 1/429 29499
/proc/meminfo: memFree=5116112/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=529004 CPUtime=12.32 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 28591 0 0 0 1211 21 0 0 20 0 8 0 790277930 541700096 20374 33554432000 4194304 4580107 140737019766080 18446744073709551615 255376998496 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 132251 20375 380 95 0 127233 0
[pid=29499/tid=29500] ppid=29497 vsize=529004 CPUtime=1.54 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3627 0 0 0 152 2 0 0 19 0 8 0 790277930 541700096 20375 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=529004 CPUtime=1.49 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3241 0 0 0 146 3 0 0 19 0 8 0 790277930 541700096 20376 33554432000 4194304 4580107 140737019766080 18446744073709551615 4281812 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=529004 CPUtime=1.53 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 2945 0 0 0 150 3 0 0 19 0 8 0 790277930 541700096 20376 33554432000 4194304 4580107 140737019766080 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=529004 CPUtime=1.54 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3495 0 0 0 153 1 0 0 19 0 8 0 790277930 541700096 20376 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=529004 CPUtime=1.52 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3653 0 0 0 150 2 0 0 19 0 8 0 790277930 541700096 20377 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=529004 CPUtime=1.53 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3599 0 0 0 149 4 0 0 19 0 8 0 790277930 541700096 20380 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=529004 CPUtime=1.55 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 3024 0 0 0 154 1 0 0 19 0 8 0 790277930 541700096 20380 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 529004

[startup+3.10069 s]
/proc/loadavg: 3.56 2.37 2.11 9/437 29507
/proc/meminfo: memFree=5014680/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=547768 CPUtime=24.58 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 37203 0 0 0 2435 23 0 0 24 0 8 0 790277930 560914432 25598 33554432000 4194304 4580107 140737019766080 18446744073709551615 4413351 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 136942 25598 380 95 0 131924 0
[pid=29499/tid=29500] ppid=29497 vsize=547768 CPUtime=3.08 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4824 0 0 0 306 2 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=547768 CPUtime=3 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4615 0 0 0 297 3 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=547768 CPUtime=3.06 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4288 0 0 0 303 3 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4412659 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=547768 CPUtime=3.08 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4443 0 0 0 307 1 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=547768 CPUtime=3.06 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4606 0 0 0 304 2 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=547768 CPUtime=3.07 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4108 0 0 0 303 4 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=547768 CPUtime=3.09 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 4128 0 0 0 308 1 0 0 23 0 8 0 790277930 560914432 25603 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 547768

[startup+6.30109 s]
/proc/loadavg: 3.56 2.37 2.11 9/437 29508
/proc/meminfo: memFree=4986416/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=557552 CPUtime=50.05 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 51960 0 0 0 4979 26 0 0 25 0 8 0 790277930 570933248 33632 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294482 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29499/statm: 139388 33632 381 95 0 134370 0
[pid=29499/tid=29500] ppid=29497 vsize=557552 CPUtime=6.26 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 6990 0 0 0 624 2 0 0 25 0 8 0 790277930 570933248 33632 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=557552 CPUtime=6.15 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 5240 0 0 0 612 3 0 0 25 0 8 0 790277930 570933248 33633 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=557552 CPUtime=6.25 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 5948 0 0 0 621 4 0 0 25 0 8 0 790277930 570933248 33633 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=557552 CPUtime=6.26 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 6102 0 0 0 625 1 0 0 25 0 8 0 790277930 570933248 33633 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=557552 CPUtime=6.25 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 7325 0 0 0 622 3 0 0 25 0 8 0 790277930 570933248 33633 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=557552 CPUtime=6.25 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 5756 0 0 0 621 4 0 0 25 0 8 0 790277930 570933248 33633 33554432000 4194304 4580107 140737019766080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=557552 CPUtime=6.28 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 7309 0 0 0 626 2 0 0 25 0 8 0 790277930 570933248 33633 33554432000 4194304 4580107 140737019766080 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/loadavg: 8.08 7.05 4.61 9/437 29521
/proc/meminfo: memFree=4530524/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=879348 CPUtime=3993.23 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 616196 0 0 0 399094 229 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 219837 147041 381 95 0 214819 0
[pid=29499/tid=29500] ppid=29497 vsize=879348 CPUtime=500.08 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70717 0 0 0 49983 25 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=879348 CPUtime=497.65 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 75033 0 0 0 49739 26 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=879348 CPUtime=500.06 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76006 0 0 0 49975 31 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=879348 CPUtime=500.08 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70732 0 0 0 49984 24 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=879348 CPUtime=500.07 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 85856 0 0 0 49973 34 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=879348 CPUtime=500.07 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 78236 0 0 0 49980 27 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=879348 CPUtime=499.97 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 81457 0 0 0 49968 29 0 0 25 0 8 0 790277930 900452352 147041 33554432000 4194304 4580107 140737019766080 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3993.23
Current children cumulated vsize (KiB) 879348

[startup+512.901 s]
/proc/loadavg: 8.14 7.10 4.65 9/437 29521
/proc/meminfo: memFree=4545148/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=958272 CPUtime=4095.44 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 627534 0 0 0 409311 233 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 239568 143287 381 95 0 234550 0
[pid=29499/tid=29500] ppid=29497 vsize=958272 CPUtime=512.89 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70718 0 0 0 51264 25 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=958272 CPUtime=510.46 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76232 0 0 0 51019 27 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=958272 CPUtime=512.86 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 77805 0 0 0 51254 32 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=958272 CPUtime=512.87 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 72389 0 0 0 51263 24 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=958272 CPUtime=512.87 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 87541 0 0 0 51252 35 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=958272 CPUtime=512.87 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 79845 0 0 0 51259 28 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=958272 CPUtime=512.76 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 83257 0 0 0 51246 30 0 0 25 0 8 0 790277930 981270528 143287 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4095.44
Current children cumulated vsize (KiB) 958272

[startup+516.101 s]
/proc/loadavg: 8.13 7.12 4.66 9/437 29521
/proc/meminfo: memFree=4539316/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=958272 CPUtime=4120.99 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 628997 0 0 0 411865 234 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 239568 144750 381 95 0 234550 0
[pid=29499/tid=29500] ppid=29497 vsize=958272 CPUtime=516.08 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70718 0 0 0 51583 25 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=958272 CPUtime=513.65 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76456 0 0 0 51338 27 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=958272 CPUtime=516.06 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 78012 0 0 0 51574 32 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=958272 CPUtime=516.07 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 72607 0 0 0 51583 24 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=958272 CPUtime=516.07 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 87745 0 0 0 51572 35 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=958272 CPUtime=516.07 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 80032 0 0 0 51579 28 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=958272 CPUtime=515.96 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 83479 0 0 0 51566 30 0 0 25 0 8 0 790277930 981270528 144750 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4120.99
Current children cumulated vsize (KiB) 958272

[startup+517.7 s]
/proc/loadavg: 8.13 7.12 4.66 9/437 29521
/proc/meminfo: memFree=4537208/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=958272 CPUtime=4133.76 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 629651 0 0 0 413142 234 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 239568 145404 381 95 0 234550 0
[pid=29499/tid=29500] ppid=29497 vsize=958272 CPUtime=517.68 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70718 0 0 0 51743 25 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=958272 CPUtime=515.25 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76573 0 0 0 51498 27 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4320810 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=958272 CPUtime=517.66 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 78107 0 0 0 51734 32 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=958272 CPUtime=517.68 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 72706 0 0 0 51743 25 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=958272 CPUtime=517.67 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 87826 0 0 0 51732 35 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=958272 CPUtime=517.67 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 80106 0 0 0 51739 28 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=958272 CPUtime=517.56 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 83582 0 0 0 51726 30 0 0 25 0 8 0 790277930 981270528 145404 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4133.76
Current children cumulated vsize (KiB) 958272

[startup+519.301 s]
/proc/loadavg: 8.12 7.13 4.68 9/437 29521
/proc/meminfo: memFree=4534104/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=958272 CPUtime=4146.55 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 630328 0 0 0 414420 235 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 239568 146081 381 95 0 234550 0
[pid=29499/tid=29500] ppid=29497 vsize=958272 CPUtime=519.29 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70718 0 0 0 51904 25 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=958272 CPUtime=516.85 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76679 0 0 0 51658 27 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=958272 CPUtime=519.26 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 78203 0 0 0 51894 32 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=958272 CPUtime=519.28 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 72815 0 0 0 51903 25 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=958272 CPUtime=519.27 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 87928 0 0 0 51892 35 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=958272 CPUtime=519.27 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 80195 0 0 0 51899 28 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=958272 CPUtime=519.16 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 83688 0 0 0 51886 30 0 0 25 0 8 0 790277930 981270528 146081 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4146.55
Current children cumulated vsize (KiB) 958272

[startup+519.701 s]
/proc/loadavg: 8.12 7.13 4.68 9/437 29521
/proc/meminfo: memFree=4534104/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=958272 CPUtime=4149.75 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 630589 0 0 0 414740 235 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 239568 146342 381 95 0 234550 0
[pid=29499/tid=29500] ppid=29497 vsize=958272 CPUtime=519.69 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70809 0 0 0 51944 25 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=958272 CPUtime=517.25 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76705 0 0 0 51698 27 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=958272 CPUtime=519.66 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 78228 0 0 0 51934 32 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=958272 CPUtime=519.68 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 72840 0 0 0 51943 25 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4317050 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=958272 CPUtime=519.67 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 87952 0 0 0 51932 35 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=958272 CPUtime=519.67 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 80217 0 0 0 51939 28 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=958272 CPUtime=519.56 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 83717 0 0 0 51926 30 0 0 25 0 8 0 790277930 981270528 146342 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4149.75
Current children cumulated vsize (KiB) 958272

[startup+519.901 s]
/proc/loadavg: 8.12 7.13 4.68 9/437 29521
/proc/meminfo: memFree=4534104/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=958272 CPUtime=4151.35 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) R 29497 29499 29439 0 -1 4202496 630670 0 0 0 414900 235 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 239568 146423 381 95 0 234550 0
[pid=29499/tid=29500] ppid=29497 vsize=958272 CPUtime=519.89 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 70810 0 0 0 51964 25 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=958272 CPUtime=517.45 cores=0-7
/proc/29499/task/29501/stat : 29501 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 76718 0 0 0 51718 27 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=958272 CPUtime=519.86 cores=0-7
/proc/29499/task/29502/stat : 29502 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 78242 0 0 0 51954 32 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29499/tid=29503] ppid=29497 vsize=958272 CPUtime=519.88 cores=0-7
/proc/29499/task/29503/stat : 29503 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 72853 0 0 0 51963 25 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29499/tid=29504] ppid=29497 vsize=958272 CPUtime=519.87 cores=0-7
/proc/29499/task/29504/stat : 29504 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 87963 0 0 0 51952 35 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294442 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29499/tid=29505] ppid=29497 vsize=958272 CPUtime=519.87 cores=0-7
/proc/29499/task/29505/stat : 29505 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 80227 0 0 0 51959 28 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29506] ppid=29497 vsize=958272 CPUtime=519.76 cores=0-7
/proc/29499/task/29506/stat : 29506 (strangenight2-m) R 29497 29499 29439 0 -1 4202560 83730 0 0 0 51946 30 0 0 25 0 8 0 790277930 981270528 146423 33554432000 4194304 4580107 140737019766080 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4151.35
Current children cumulated vsize (KiB) 958272

[startup+520.001 s]
/proc/loadavg: 8.12 7.13 4.68 9/437 29521
/proc/meminfo: memFree=4534104/32951124 swapFree=60787364/67111528
[pid=29499] ppid=29497 vsize=0 CPUtime=4151.99 cores=0-7
/proc/29499/stat : 29499 (strangenight2-m) Z 29497 29499 29439 0 -1 4202524 630703 0 0 0 414962 237 0 0 25 0 2 0 790277930 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29499/statm: 0 0 0 0 0 0 0
[pid=29499/tid=29500] ppid=29497 vsize=0 CPUtime=519.98 cores=0-7
/proc/29499/task/29500/stat : 29500 (strangenight2-m) R 29497 29499 29439 0 -1 4203588 70810 0 0 0 51971 27 0 0 25 0 2 0 790277930 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4151.99
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 520.012
CPU time (s): 4152.01
CPU user time (s): 4149.62
CPU system time (s): 2.38464
CPU usage (%): 798.444
Max. virtual memory (cumulated for all children) (KiB): 1004712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4149.62
system time used= 2.38464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630703
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= 21441
involuntary context switches= 33635

runsolver used 2.17267 second user time and 5.40418 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-30 22:20:01
IDJOB=3421704
IDBENCH=85808
IDSOLVER=1878
FILE ID=node135/3421704-1306786801
RUNJOBID= node135-1306786783-29453
PBS_JOBID= 13475031
Free space on /tmp= 54912 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421704-1306786801/watcher-3421704-1306786801 -o /tmp/evaluation-result-3421704-1306786801/solver-3421704-1306786801 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421704-1306786801.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 59fa4424111aa94c942a4bbd786cbd51
RANDOM SEED=410281215

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       5116268 kB
Buffers:         34080 kB
Cached:       16035968 kB
SwapCached:       5940 kB
Active:       18475464 kB
Inactive:      8692544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       5116268 kB
SwapTotal:    67111528 kB
SwapFree:     60787364 kB
Dirty:            6612 kB
Writeback:           0 kB
AnonPages:    11097964 kB
Mapped:          25468 kB
Slab:           532620 kB
PageTables:      64956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124370648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 54904 MiB
End job on node135 at 2011-05-30 22:28:41