Trace number 3421703

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 7400.83 926.107

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
MD5SUM7d96ba103689bec761c9e7df7b158323
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1407.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2731
Number of clauses17983
Sum of the clauses size126997
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32370
Number of clauses of size 4477
Number of clauses of size 5642
Number of clauses of size over 514010

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-3421703-1306786797.cnf'
0.00/0.03	c -- header says num vars:           2731
0.00/0.03	c -- header says num clauses:       17983
0.00/0.06	c -- clauses added:            0 learnts,        17983 normals,            0 xors
0.00/0.06	c -- vars added       2731
0.00/0.06	c Parsing time:  0.01 s
0.00/0.06	c  N st     0         0      2731     16452      1185         0    125048         0   no data   no data
0.00/0.19	c asymm  cl-useful: 1391/15393/15393 lits-rem:2062 time: 0.12
0.54/0.19	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
1.44/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.44/0.24	c bin-w-bin subsume rem         1010 bins  time:  0.00 s
1.44/0.24	c subs with bin:       35  lits-rem:       149  v-fix:    0  time:  0.00 s
1.44/0.24	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   2674 time:  0.00 s
1.44/0.24	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
7.71/1.04	c lits-rem:      6943  cl-subs:     3447  v-elim:    154  v-fix:    0  time:  0.03 s
7.71/1.04	c Finding binary XORs  T:     0.00 s  found:       0
7.71/1.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
7.71/1.04	c calculated reachability. Time: 0.00
7.71/1.04	c Calc default polars -  time:   0.00 s pos:     925 undec:     827 neg:     979
7.71/1.04	c =========================================================================================
7.71/1.04	c types(t): F = full restart, N = normal restart
7.71/1.04	c types(t): S = simplification begin/end, E = solution found
7.71/1.04	c restart types(rt): st = static, dy = dynamic
7.71/1.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.71/1.04	c  B st     0         0      2520     11736      1079         0     84376         0   no data   no data
7.71/1.04	c  N dy    15      4060      2520     11736      1106      3743     84366     51469      6.82      7.20
7.71/1.04	c  N dy    35      8155      2520     11736      1284      5267     84361     68382      6.96      8.14
7.71/1.04	c  N dy    67     12216      2520     11736      1446      5135     84360     58847      7.22      7.93
7.71/1.04	c  N dy    93     16370      2520     11736      1481      9079     84358    119855      7.38      7.80
7.71/1.04	c  N dy   127     20469      2520     11736      1662      7720     84356     97847      7.66     11.67
7.71/1.04	c  N dy   162     24656      2520     11736      1823     11794     84353    174888      7.94      8.44
7.71/1.04	c Finding binary XORs  T:     0.00 s  found:      48
7.71/1.04	c Replacing       48 vars Replaced    14316 lits Time:     0.01 s 
7.71/1.04	c  F st   166     25001      2472     11682      1728     12120     84039    181168      7.96   no data
10.10/1.31	c  N dy   172     30000      2472     11682      1742     10491     84039    170574      7.96   no data
10.10/1.31	c  S st   172     30000      2472     11682      1742     10491     84039    170574      7.96   no data
10.10/1.35	c  S st   172     30500      2472     11682      1884     10950     84039    176043      7.96   no data
10.10/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.10/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    768 BRemL:     12 BRemN:      0 P:  0.6M T:  0.02
10.10/1.37	c blocked clauses removed:      401 vars:    242 tried:        2472 T: 0.00 s
10.10/1.37	c bin-w-bin subsume rem           25 bins  time:  0.00 s
10.10/1.38	c subs with bin:      155  lits-rem:       781  v-fix:    0  time:  0.00 s
10.10/1.38	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   2230 time:  0.00 s
10.10/1.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.10/1.40	c lits-rem:       795  cl-subs:      323  v-elim:     68  v-fix:    0  time:  0.02 s
10.90/1.45	c subs with bin:      712  lits-rem:      4179  v-fix:    0  time:  0.05 s
11.70/1.52	c lits-rem:      1228  cl-subs:      634  v-elim:      0  v-fix:    0  time:  0.06 s
13.30/1.76	c asymm  cl-useful: 76/10622/10622 lits-rem:77 time: 0.24
13.30/1.76	c calculated reachability. Time: 0.00
13.30/1.76	c  N dy   172     30500      2162     10622      2475      9396     74737    156820      7.96   no data
14.10/1.81	c Finding binary XORs  T:     0.00 s  found:       0
15.71/2.01	c  N dy   211     34539      2162     10622      2481     13350     74737    241405      8.31      9.02
17.34/2.23	c  N dy   235     38607      2162     10622      2587      9813     74737    127307      8.41     10.12
19.69/2.52	c  N dy   272     42663      2162     10622      2595     13797     74737    229785      8.66     10.75
22.10/2.85	c  S st   302     45752      2162     10622      2671     16850     74737    322746      8.94     12.55
22.90/2.92	c  S st   302     46255      2162     10622      2671      8698     74737     79230      8.94   no data
22.90/2.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.90/2.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     33 BRemL:      5 BRemN:      0 P:  0.6M T:  0.01
22.90/2.93	c Replacing        1 vars Replaced       97 lits Time:     0.00 s 
22.90/2.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.90/2.94	c bin-w-bin subsume rem           79 bins  time:  0.00 s
22.90/2.94	c subs with bin:        8  lits-rem:         0  v-fix:    0  time:  0.00 s
22.90/2.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2161 time:  0.00 s
22.90/2.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
22.90/2.95	c lits-rem:        35  cl-subs:       28  v-elim:     64  v-fix:    0  time:  0.01 s
22.90/2.96	c subs with bin:      240  lits-rem:       403  v-fix:    0  time:  0.01 s
22.90/2.97	c lits-rem:       124  cl-subs:      237  v-elim:      0  v-fix:    0  time:  0.01 s
22.90/2.97	c vivif2 --  cl tried    10557 cl shrink        0 lits rem          0 time: 0.00
22.90/2.98	c vivif2 --  cl tried     8222 cl shrink       21 lits rem         21 time: 0.00
25.30/3.23	c asymm  cl-useful: 66/10557/10557 lits-rem:68 time: 0.25
25.30/3.23	c calculated reachability. Time: 0.00
25.30/3.23	c  N dy   302     46255      2097     10557      2622      8222     73850     75627      8.94   no data
27.69/3.53	c  N dy   339     50292      2097     10557      2696     12197     73850    192418      9.22     12.66
27.69/3.54	c Finding binary XORs  T:     0.00 s  found:       0
30.89/3.93	c  N dy   376     54322      2097     10557      2700     16180     73850    304490      9.39     11.04
34.09/4.38	c  N dy   412     58393      2097     10557      2777     10433     73850    108115      9.55     11.71
37.28/4.74	c  N dy   440     62538      2097     10557      2814     14520     73850    222557      9.63     10.14
40.48/5.19	c  N dy   476     66576      2097     10557      2817     18514     73850    341475      9.80     10.61
43.71/5.54	c  S st   501     69385      2097     10557      2851     21264     73850    421812      9.89   no data
43.71/5.60	c  S st   501     69886      2097     10557      2851     10978     73850    101372      9.89   no data
43.71/5.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.54/5.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  0.7M T:  0.02
44.54/5.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.54/5.62	c bin-w-bin subsume rem           15 bins  time:  0.00 s
44.54/5.62	c subs with bin:        9  lits-rem:         0  v-fix:    0  time:  0.00 s
44.54/5.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2097 time:  0.00 s
44.54/5.62	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
44.54/5.63	c lits-rem:        28  cl-subs:       20  v-elim:      5  v-fix:    0  time:  0.00 s
44.54/5.65	c subs with bin:      437  lits-rem:       720  v-fix:    0  time:  0.01 s
44.54/5.66	c lits-rem:       138  cl-subs:      210  v-elim:      0  v-fix:    0  time:  0.01 s
44.54/5.66	c vivif2 --  cl tried    10519 cl shrink        0 lits rem          0 time: 0.00
44.54/5.67	c vivif2 --  cl tried    10338 cl shrink        0 lits rem          0 time: 0.00
46.87/5.99	c asymm  cl-useful: 77/10519/10519 lits-rem:88 time: 0.32
46.87/5.99	c calculated reachability. Time: 0.00
46.87/5.99	c  N dy   501     69886      2092     10518      2842     10338     73372     96753      9.89   no data
46.87/5.99	c Finding binary XORs  T:     0.00 s  found:       0
50.87/6.41	c  N dy   531     74348      2092     10518      2869     14756     73371    225718      9.97     10.59
54.86/6.97	c  N dy   566     79171      2092     10518      2871     19532     73370    366085     10.08     13.93
60.46/7.60	c  N dy   581     84295      2092     10518      2884     12772     73370    138035     10.08     12.82
62.85/7.92	c  F st   610     87502      2092     10518      2884     15928     73370    228476     10.15   no data
65.25/8.28	c  N st   615     90801      2092     10518      2897     19179     73370    317355     10.15   no data
67.65/8.52	c Decided on static restart strategy
74.84/9.41	c  N st   618     99808      2092     10518      2902     15763     73370    252705     10.15   no data
78.88/9.98	c  S st   619    104829      2092     10518      2903     20714     73370    402060     10.15   no data
79.71/10.06	c  S st   619    105333      2092     10518      2909     21217     73370    412101     10.15   no data
79.71/10.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.71/10.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  1.1M T:  0.03
79.71/10.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.71/10.09	c bin-w-bin subsume rem            5 bins  time:  0.00 s
79.71/10.10	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
80.44/10.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2092 time:  0.00 s
80.44/10.10	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
80.44/10.11	c lits-rem:        69  cl-subs:       26  v-elim:     11  v-fix:    0  time:  0.01 s
81.23/10.25	c subs with bin:       66  lits-rem:       299  v-fix:    0  time:  0.13 s
82.83/10.45	c lits-rem:       494  cl-subs:     1218  v-elim:      0  v-fix:    0  time:  0.19 s
82.83/10.45	c vivif2 --  cl tried    10476 cl shrink        0 lits rem          0 time: 0.00
82.83/10.46	c vivif2 --  cl tried    19941 cl shrink      168 lits rem        172 time: 0.01
86.03/10.88	c asymm  cl-useful: 67/7631/10476 lits-rem:67 time: 0.42
86.03/10.88	c calculated reachability. Time: 0.00
86.03/10.88	c  N st   619    105333      2081     10476      2904     19941     72820    391234     10.15   no data
97.28/12.30	c  N st   620    114932      2081     10476      2905     15871     72820    258508     10.15   no data
97.28/12.30	c Finding binary XORs  T:     0.00 s  found:       0
115.59/14.58	c  N st   621    129329      2081     10476      2912     29985     72820    746032     10.15   no data
144.37/18.13	c  N st   622    150924      2081     10476      2919     20986     72820    362550     10.15   no data
152.35/19.18	c  S st   623    157999      2081     10476      2927     27932     72820    575895     10.15   no data
153.15/19.27	c  S st   623    158503      2081     10476      2929     28434     72820    587964     10.15   no data
153.15/19.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
153.95/19.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.04
153.95/19.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.95/19.32	c bin-w-bin subsume rem            2 bins  time:  0.00 s
153.95/19.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.95/19.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2081 time:  0.00 s
153.95/19.32	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
153.95/19.33	c lits-rem:        24  cl-subs:       19  v-elim:     11  v-fix:    0  time:  0.01 s
155.56/19.56	c subs with bin:       60  lits-rem:       462  v-fix:    0  time:  0.21 s
159.55/20.00	c lits-rem:       508  cl-subs:     2041  v-elim:      0  v-fix:    0  time:  0.44 s
159.55/20.00	c vivif2 --  cl tried    10454 cl shrink        0 lits rem          0 time: 0.00
159.55/20.01	c vivif2 --  cl tried    26334 cl shrink      763 lits rem        826 time: 0.01
161.15/20.23	c asymm  cl-useful: 9/2778/10454 lits-rem:9 time: 0.22
161.15/20.24	c calculated reachability. Time: 0.00
161.15/20.24	c  N st   623    158503      2070     10454      2927     26334     72583    549272     10.15   no data
232.28/29.18	c  N st   624    207093      2070     10454      2927     21340     72583    334299     10.15   no data
280.23/35.15	c  N st   625    237754      2070     10454      2943     31893     72582    629055     10.15   no data
280.23/35.15	c  S st   625    237754      2070     10454      2943     31893     72582    629055     10.15   no data
280.23/35.15	c Finding binary XORs  T:     0.00 s  found:       0
281.07/35.25	c  S st   625    238261      2070     10454      2954     32394     72582    639842     10.15   no data
281.07/35.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
281.07/35.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.05
281.07/35.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
281.07/35.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
281.91/35.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
281.91/35.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.00 s
281.91/35.31	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
281.91/35.32	c lits-rem:        44  cl-subs:        9  v-elim:      0  v-fix:    0  time:  0.01 s
283.42/35.57	c subs with bin:       72  lits-rem:       561  v-fix:    0  time:  0.23 s
286.62/35.96	c lits-rem:      1455  cl-subs:     1391  v-elim:      0  v-fix:    0  time:  0.39 s
286.62/35.97	c vivif2 --  cl tried    10442 cl shrink        0 lits rem          0 time: 0.00
286.62/35.98	c vivif2 --  cl tried    30934 cl shrink      340 lits rem        358 time: 0.01
289.03/36.22	c asymm  cl-useful: 70/3838/10442 lits-rem:70 time: 0.24
289.03/36.22	c calculated reachability. Time: 0.00
289.03/36.22	c  N st   625    238261      2070     10442      2954     30934     72404    612614     10.15   no data
395.35/49.60	c  F st   626    306252      2070     10442      2957     32957     72403    618248     10.15   no data
395.35/49.60	c  N st   626    306252      2070     10442      2957     32957     72403    618248     10.15   no data
404.98/50.73	c Decided on static restart strategy
444.06/55.68	c  N st   636    334561      2070     10442      2982     37167     72403    738325     10.15   no data
481.63/60.37	c  N st   638    357391      2070     10442      2986     35203     72402    641900     10.15   no data
481.63/60.37	c  S st   638    357391      2070     10442      2986     35203     72402    641900     10.15   no data
482.43/60.50	c  S st   638    357893      2070     10442      2986     35701     72402    651893     10.15   no data
483.26/60.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
483.26/60.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.06
483.26/60.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
483.26/60.57	c bin-w-bin subsume rem            1 bins  time:  0.00 s
483.26/60.57	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
483.26/60.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.00 s
483.26/60.58	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
483.26/60.59	c lits-rem:        30  cl-subs:       26  v-elim:     15  v-fix:    0  time:  0.01 s
485.62/60.85	c subs with bin:      146  lits-rem:       488  v-fix:    0  time:  0.24 s
488.82/61.22	c lits-rem:       603  cl-subs:      775  v-elim:      0  v-fix:    0  time:  0.37 s
488.82/61.22	c vivif2 --  cl tried    10410 cl shrink        0 lits rem          0 time: 0.00
488.82/61.23	c vivif2 --  cl tried    34783 cl shrink      310 lits rem        319 time: 0.01
490.42/61.48	c asymm  cl-useful: 1/1255/10410 lits-rem:1 time: 0.24
490.42/61.48	c calculated reachability. Time: 0.00
490.42/61.48	c  N st   638    357893      2055     10410      2985     34783     72073    635436     10.15   no data
548.76/68.74	c  N st   639    390286      2055     10410      2985     41048     72073    787178     10.15   no data
548.76/68.74	c Finding binary XORs  T:     0.00 s  found:       0
639.07/80.04	c  N st   640    438874      2055     10410      2986     34730     72072    559019     10.15   no data
790.12/99.01	c  N st   641    511757      2055     10410      2992     48323     72072    903760     10.15   no data
846.85/106.03	c  N st   642    536839      2055     10410      3000     42551     72072    718230     10.15   no data
846.85/106.03	c  S st   642    536839      2055     10410      3000     42551     72072    718230     10.15   no data
847.65/106.18	c  S st   642    537342      2055     10410      3001     43050     72072    730992     10.15   no data
847.65/106.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
848.45/106.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  2.7M T:  0.08
848.45/106.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
848.45/106.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
848.45/106.27	c subs with bin:        3  lits-rem:         1  v-fix:    0  time:  0.00 s
848.45/106.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2055 time:  0.00 s
848.45/106.27	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
848.45/106.28	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
850.85/106.59	c subs with bin:      455  lits-rem:       644  v-fix:    0  time:  0.29 s
855.65/107.18	c lits-rem:      1220  cl-subs:     2381  v-elim:      0  v-fix:    0  time:  0.58 s
855.65/107.18	c vivif2 --  cl tried    10406 cl shrink        0 lits rem          0 time: 0.00
855.65/107.19	c vivif2 --  cl tried    40214 cl shrink      414 lits rem        433 time: 0.01
858.04/107.45	c asymm  cl-useful: 1/883/10406 lits-rem:1 time: 0.26
858.04/107.45	c calculated reachability. Time: 0.00
858.04/107.45	c  N st   642    537342      2055     10406      3001     40214     72040    680139     10.15   no data
1252.04/156.75	c  N st   643    701326      2055     10406      3003     70003     72039   1491742     10.15   no data
1516.58/189.82	c  N st   644    806015      2055     10406      3016     63360     72039   1324876     10.15   no data
1516.58/189.82	c  S st   644    806015      2055     10406      3016     63360     72039   1324876     10.15   no data
1516.58/189.82	c Finding binary XORs  T:     0.00 s  found:       0
1518.18/190.10	c  S st   644    806517      2055     10406      3026     63861     72039   1336696     10.15   no data
1518.98/190.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1519.78/190.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P:  3.5M T:  0.14
1519.78/190.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1519.78/190.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1519.78/190.25	c subs with bin:        8  lits-rem:         4  v-fix:    0  time:  0.00 s
1519.78/190.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2055 time:  0.00 s
1519.78/190.25	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1519.78/190.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1527.77/191.22	c subs with bin:      671  lits-rem:      7640  v-fix:    0  time:  0.90 s
1546.98/193.67	c lits-rem:      3961  cl-subs:     3797  v-elim:      0  v-fix:    0  time:  2.44 s
1546.98/193.67	c vivif2 --  cl tried    10398 cl shrink        0 lits rem          0 time: 0.00
1546.98/193.70	c vivif2 --  cl tried    59393 cl shrink     2018 lits rem       2207 time: 0.04
1550.14/194.06	c asymm  cl-useful: 1/626/10398 lits-rem:1 time: 0.36
1550.14/194.07	c calculated reachability. Time: 0.00
1550.14/194.07	c  N st   644    806517      2055     10398      3035     59393     72027   1249123     10.15   no data
2342.94/293.23	c  F st   645   1071876      2055     10398      3036     75379     72027   1536592     10.15   no data
2342.94/293.23	c  N st   645   1071876      2055     10398      3036     75379     72027   1536592     10.15   no data
2358.12/295.13	c Decided on static restart strategy
2366.91/296.25	c Finding binary XORs  T:     0.00 s  found:       0
2430.06/304.17	c  N st   655   1100177      2055     10398      3063     59103     72027    950064     10.15   no data
2536.34/317.44	c  N st   657   1136170      2054     10398      3077     49339     72027    693628     10.15   no data
2637.07/330.02	c  N st   658   1168564      2054     10398      3077     81149     72027   1662355     10.15   no data
2775.31/347.38	c  N st   659   1209777      2054     10398      3077     75394     72027   1429781     10.15   no data
2775.31/347.38	c  S st   659   1209777      2054     10398      3077     75394     72027   1429781     10.15   no data
2777.74/347.69	c  S st   659   1210277      2054     10398      3081     75893     72027   1442064     10.15   no data
2777.74/347.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2779.30/347.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.1M T:  0.18
2779.30/347.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2779.30/347.89	c bin-w-bin subsume rem            5 bins  time:  0.00 s
2779.30/347.89	c subs with bin:        2  lits-rem:         2  v-fix:    0  time:  0.00 s
2779.30/347.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2054 time:  0.00 s
2779.30/347.89	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2780.09/347.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2786.53/348.78	c subs with bin:      288  lits-rem:      3162  v-fix:    0  time:  0.81 s
2818.46/352.72	c lits-rem:      4148  cl-subs:     5211  v-elim:      0  v-fix:    0  time:  3.94 s
2818.46/352.73	c vivif2 --  cl tried    10362 cl shrink        0 lits rem          0 time: 0.00
2818.46/352.76	c vivif2 --  cl tried    66811 cl shrink      450 lits rem        547 time: 0.03
2821.70/353.15	c asymm  cl-useful: 0/593/10362 lits-rem:0 time: 0.40
2821.70/353.16	c calculated reachability. Time: 0.00
2821.70/353.16	c  N st   659   1210277      2054     10362      3047     66811     71648   1284268     10.15   no data
3074.19/384.78	c  N st   660   1283159      2054     10362      3047     92480     71648   1867185     10.15   no data
3444.22/431.08	c  N st   661   1392482      2054     10362      3050     54787     71647    768493     10.15   no data
4034.03/504.84	c  N st   662   1556467      2054     10362      3057     59886     71647    863354     10.15   no data
4034.03/504.84	c Finding binary XORs  T:     0.00 s  found:       0
4625.43/578.87	c  N st   663   1710277      2053     10362      3091    101533     71647   1923909     10.15   no data
4625.43/578.87	c  S st   663   1710277      2053     10362      3091    101533     71647   1923909     10.15   no data
4628.63/579.27	c  S st   663   1710783      2053     10362      3091    102036     71647   1936092     10.15   no data
4628.63/579.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4630.23/579.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.21
4630.23/579.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4630.23/579.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4631.03/579.50	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
4631.03/579.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2053 time:  0.00 s
4631.03/579.50	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4631.03/579.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4635.82/580.18	c subs with bin:      332  lits-rem:      1283  v-fix:    0  time:  0.60 s
4652.61/582.22	c lits-rem:      2858  cl-subs:     2185  v-elim:      0  v-fix:    0  time:  2.04 s
4652.61/582.23	c vivif2 --  cl tried    10320 cl shrink        0 lits rem          0 time: 0.00
4652.61/582.26	c vivif2 --  cl tried    69218 cl shrink      549 lits rem        581 time: 0.03
4655.81/582.61	c asymm  cl-useful: 1/525/10320 lits-rem:1 time: 0.35
4655.81/582.61	c calculated reachability. Time: 0.00
4655.81/582.61	c  N st   663   1710783      2053     10320      3066     69218     71310   1169166     10.15   no data
5088.97/636.85	c Finding binary XORs  T:     0.00 s  found:       0
6018.41/753.16	c  N st   664   2079748      2052     10315      3039    109200     71231   2165905     10.15   no data
6590.64/824.75	c  N st   665   2210784      2050     10315      3057    115131     71231   2277160     10.15   no data
6590.64/824.75	c  S st   665   2210784      2050     10315      3057    115131     71231   2277160     10.15   no data
6594.63/825.24	c  S st   665   2211289      2049     10315      3059    115634     71231   2289442     10.15   no data
6594.63/825.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6596.23/825.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      2 BRemL:     10 BRemN:      0 P:  6.2M T:  0.24
6597.03/825.57	c Replacing        1 vars Replaced    10334 lits Time:     0.08 s 
6597.03/825.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6597.03/825.58	c bin-w-bin subsume rem            2 bins  time:  0.00 s
6597.03/825.58	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.00 s
6597.03/825.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2048 time:  0.00 s
6597.03/825.58	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
6597.83/825.62	c lits-rem:        59  cl-subs:       26  v-elim:      8  v-fix:    0  time:  0.03 s
6608.22/826.90	c subs with bin:      186  lits-rem:      7181  v-fix:    0  time:  1.20 s
6697.73/838.12	c lits-rem:     14985  cl-subs:    12741  v-elim:      0  v-fix:    0  time: 11.22 s
6697.73/838.13	c vivif2 --  cl tried    10230 cl shrink        0 lits rem          0 time: 0.00
6697.73/838.18	c vivif2 --  cl tried    96707 cl shrink     3567 lits rem       4093 time: 0.06
6700.92/838.54	c asymm  cl-useful: 1/352/10230 lits-rem:1 time: 0.36
6700.92/838.55	c calculated reachability. Time: 0.00
6700.92/838.55	c  N st   665   2211289      2040     10230      2996     96707     70369   1953462     10.15   no data
6804.06/851.45	c Finding binary XORs  T:     0.00 s  found:       0
7400.22/926.07	c  E st   666   2364774      2028     10177      2994    118579     69958   2139447     10.15   no data
7400.22/926.07	c Following stats are for *FIRST FINISHED THREAD ONLY*
7400.22/926.07	c num threads              : 8          
7400.22/926.07	c restarts                 : 666        
7400.22/926.07	c dynamic restarts         : 598        
7400.22/926.07	c static restarts          : 68         
7400.22/926.07	c full restarts            : 4          
7400.22/926.07	c total simplify time      : 0.23       
7400.22/926.07	c learnts DL2              : 0          
7400.22/926.07	c learnts size 2           : 4849       
7400.22/926.07	c learnts size 1           : 87          (3.19      % of vars)
7400.22/926.07	c filedLit time            : 1.08        (0.12      % time)
7400.22/926.07	c v-elim SatELite          : 578         (21.16     % vars)
7400.22/926.07	c SatELite time            : 21.47       (2.32      % time)
7400.22/926.07	c v-elim xor               : 0           (0.00      % vars)
7400.22/926.07	c xor elim time            : 0.05        (0.01      % time)
7400.22/926.07	c num binary xor trees     : 50         
7400.22/926.07	c binxor trees' crown      : 50          (1.00      leafs/tree)
7400.22/926.07	c bin xor find time        : 0.01       
7400.22/926.07	c OTF clause improved      : 52766       (0.02      clauses/conflict)
7400.22/926.07	c OTF impr. size diff      : 67501       (1.28       lits/clause)
7400.22/926.07	c OTF cl watch-shrink      : 1920920     (0.81      clauses/conflict)
7400.22/926.07	c OTF cl watch-sh-lit      : 10410655    (5.42       lits/clause)
7400.22/926.07	c tried to recurMin cls    : 489791      (20.71      % of conflicts)
7400.22/926.07	c updated cache            : 9417        (0.02       lits/tried recurMin)
7400.22/926.07	c unit cls recevied        : 12          (13.79     % of units)
7400.22/926.07	c unit cls sent            : 7           (8.05      % of units)
7400.22/926.07	c bin cls recevied         : 1362       
7400.22/926.07	c bin cls sent             : 976        
7400.22/926.07	c clauses over max glue    : 0           (0.00      % of all clauses)
7400.22/926.07	c conflicts                : 2364774     (2554.63   / sec)
7400.22/926.07	c decisions                : 7102795     (0.69      % random)
7400.22/926.07	c bogo-props               : 109113635289 (117873871.10 / sec)
7400.22/926.07	c conflict literals        : 68918009    (48.25     % deleted)
7400.22/926.07	c Memory used              : 1140.06     MB
7400.22/926.07	c single-thread CPU time   : 925.68      s
7400.22/926.07	c all-threads sum CPU time : 7397.60     s
7400.22/926.07	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-3421703-1306786797/watcher-3421703-1306786797 -o /tmp/evaluation-result-3421703-1306786797/solver-3421703-1306786797 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421703-1306786797.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: 1.81 1.97 1.99 1/266 15816
/proc/meminfo: memFree=13669364/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 8 0 790280513 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 47470853375916 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15816/statm: 23036 352 299 95 0 18018 0
[pid=15816/tid=15817] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 47470853375926 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 47470853375922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=92144 CPUtime=0 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790280514 94355456 352 33554432000 4194304 4580107 140734240233232 18446744073709551615 222933574710 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0870081 s]
/proc/loadavg: 1.81 1.97 1.99 1/266 15816
/proc/meminfo: memFree=13669364/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=492124 CPUtime=0.54 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 6834 0 0 0 48 6 0 0 17 0 8 0 790280513 503934976 6635 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 123031 6746 358 95 0 118013 0
[pid=15816/tid=15817] ppid=15814 vsize=493708 CPUtime=0.17 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 762 0 0 0 17 0 0 0 18 0 8 0 790280514 505556992 8267 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=494144 CPUtime=0.17 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 951 0 0 0 17 0 0 0 18 0 8 0 790280514 506003456 8506 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=494388 CPUtime=0.17 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) D 15814 15816 15790 0 -1 4202560 855 0 0 0 16 1 0 0 18 0 8 0 790280514 506253312 8531 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=494388 CPUtime=0.16 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) D 15814 15816 15790 0 -1 4202560 1670 0 0 0 16 0 0 0 18 0 8 0 790280514 506253312 8579 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=494388 CPUtime=0.15 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) D 15814 15816 15790 0 -1 4202560 1371 0 0 0 15 0 0 0 18 0 8 0 790280514 506253312 8585 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=494388 CPUtime=0.16 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) D 15814 15816 15790 0 -1 4202560 793 0 0 0 16 0 0 0 18 0 8 0 790280514 506253312 8585 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=494388 CPUtime=0.14 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) D 15814 15816 15790 0 -1 4202560 1091 0 0 0 14 0 0 0 18 0 8 0 790280514 506253312 8585 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 492124

[startup+0.211888 s]
/proc/loadavg: 1.81 1.97 1.99 1/266 15816
/proc/meminfo: memFree=13669364/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=563140 CPUtime=1.44 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) S 15814 15816 15790 0 -1 4202496 10956 0 0 0 135 9 0 0 17 0 8 0 790280513 576655360 10744 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921882094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 140785 10761 373 95 0 135767 0
[pid=15816/tid=15817] ppid=15814 vsize=563140 CPUtime=0.19 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1120 0 0 0 18 1 0 0 17 0 8 0 790280514 576655360 10774 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=563332 CPUtime=0.17 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1018 0 0 0 17 0 0 0 17 0 8 0 790280514 576851968 10795 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=563332 CPUtime=0.17 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) D 15814 15816 15790 0 -1 4202560 1397 0 0 0 16 1 0 0 18 0 8 0 790280514 576851968 10809 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=563332 CPUtime=0.17 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2109 0 0 0 17 0 0 0 18 0 8 0 790280514 576851968 10822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4422012 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=563332 CPUtime=0.16 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1651 0 0 0 15 1 0 0 17 0 8 0 790280514 576851968 10849 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921820343 0 0 4096 2 5753629632 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=563332 CPUtime=0.18 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1274 0 0 0 17 1 0 0 18 0 8 0 790280514 576851968 10857 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=563332 CPUtime=0.15 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1100 0 0 0 15 0 0 0 17 0 8 0 790280514 576851968 10878 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 563140

[startup+0.309332 s]
/proc/loadavg: 1.81 1.97 1.99 1/266 15816
/proc/meminfo: memFree=13669364/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=566300 CPUtime=2.18 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 15802 0 0 0 203 15 0 0 17 0 8 0 790280513 579891200 14011 33554432000 4194304 4580107 140734240233232 18446744073709551615 4320987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 141575 14012 377 95 0 136557 0
[pid=15816/tid=15817] ppid=15814 vsize=566300 CPUtime=0.28 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1860 0 0 0 26 2 0 0 17 0 8 0 790280514 579891200 14012 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=566300 CPUtime=0.26 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1969 0 0 0 24 2 0 0 17 0 8 0 790280514 579891200 14012 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=566300 CPUtime=0.26 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2014 0 0 0 25 1 0 0 18 0 8 0 790280514 579891200 14012 33554432000 4194304 4580107 140734240233232 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=566300 CPUtime=0.26 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2362 0 0 0 26 0 0 0 18 0 8 0 790280514 579891200 14012 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=566300 CPUtime=0.25 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2083 0 0 0 24 1 0 0 18 0 8 0 790280514 579891200 14013 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=566300 CPUtime=0.27 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1954 0 0 0 26 1 0 0 18 0 8 0 790280514 579891200 14013 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=566300 CPUtime=0.24 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1192 0 0 0 24 0 0 0 18 0 8 0 790280514 579891200 14014 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 566300

[startup+0.700799 s]
/proc/loadavg: 1.81 1.97 1.99 1/266 15816
/proc/meminfo: memFree=13669364/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=528448 CPUtime=5.31 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 21567 0 0 0 515 16 0 0 18 0 8 0 790280513 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 132112 14822 377 95 0 127094 0
[pid=15816/tid=15817] ppid=15814 vsize=528448 CPUtime=0.67 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2527 0 0 0 65 2 0 0 18 0 8 0 790280514 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=528448 CPUtime=0.65 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2636 0 0 0 63 2 0 0 18 0 8 0 790280514 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=528448 CPUtime=0.66 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2836 0 0 0 64 2 0 0 18 0 8 0 790280514 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=528448 CPUtime=0.65 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 3236 0 0 0 65 0 0 0 18 0 8 0 790280514 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=528448 CPUtime=0.64 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2776 0 0 0 63 1 0 0 18 0 8 0 790280514 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=528448 CPUtime=0.66 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2590 0 0 0 65 1 0 0 18 0 8 0 790280514 541130752 14822 33554432000 4194304 4580107 140734240233232 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=528448 CPUtime=0.63 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 1964 0 0 0 63 0 0 0 18 0 8 0 790280514 541130752 14823 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 528448

[startup+1.50065 s]
/proc/loadavg: 1.81 1.97 1.99 9/274 15824
/proc/meminfo: memFree=13599984/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=594540 CPUtime=11.7 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 28913 0 0 0 1152 18 0 0 19 0 8 0 790280513 608808960 20079 33554432000 4194304 4580107 140734240233232 18446744073709551615 4416901 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 148635 20079 380 95 0 143617 0
[pid=15816/tid=15817] ppid=15814 vsize=594540 CPUtime=1.47 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 3293 0 0 0 145 2 0 0 19 0 8 0 790280514 608808960 20079 33554432000 4194304 4580107 140734240233232 18446744073709551615 4324359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=594540 CPUtime=1.46 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 3421 0 0 0 143 3 0 0 19 0 8 0 790280514 608808960 20080 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=594540 CPUtime=1.45 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 3452 0 0 0 143 2 0 0 19 0 8 0 790280514 608808960 20080 33554432000 4194304 4580107 140734240233232 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=594540 CPUtime=1.46 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4095 0 0 0 145 1 0 0 19 0 8 0 790280514 608808960 20080 33554432000 4194304 4580107 140734240233232 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=594540 CPUtime=1.45 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 3580 0 0 0 143 2 0 0 19 0 8 0 790280514 608808960 20080 33554432000 4194304 4580107 140734240233232 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=594540 CPUtime=1.46 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 3381 0 0 0 144 2 0 0 19 0 8 0 790280514 608808960 20080 33554432000 4194304 4580107 140734240233232 18446744073709551615 4332176 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=594540 CPUtime=1.44 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 2993 0 0 0 143 1 0 0 19 0 8 0 790280514 608808960 20080 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.7
Current children cumulated vsize (KiB) 594540

[startup+3.10036 s]
/proc/loadavg: 2.31 2.07 2.02 9/274 15824
/proc/meminfo: memFree=13586132/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=556716 CPUtime=24.49 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 38135 0 0 0 2429 20 0 0 23 0 8 0 790280513 570077184 24946 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 139179 24946 380 95 0 134161 0
[pid=15816/tid=15817] ppid=15814 vsize=556716 CPUtime=3.07 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4738 0 0 0 305 2 0 0 23 0 8 0 790280514 570077184 24946 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=556716 CPUtime=3.06 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4801 0 0 0 303 3 0 0 23 0 8 0 790280514 570077184 24946 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=556716 CPUtime=3.04 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 5598 0 0 0 302 2 0 0 24 0 8 0 790280514 570077184 24946 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=556716 CPUtime=3.05 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4763 0 0 0 304 1 0 0 24 0 8 0 790280514 570077184 24946 33554432000 4194304 4580107 140734240233232 18446744073709551615 4288608 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=556716 CPUtime=3.05 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4346 0 0 0 303 2 0 0 24 0 8 0 790280514 570077184 24947 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=556716 CPUtime=3.06 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4406 0 0 0 304 2 0 0 23 0 8 0 790280514 570077184 24947 33554432000 4194304 4580107 140734240233232 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=556716 CPUtime=3.04 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 4096 0 0 0 303 1 0 0 24 0 8 0 790280514 570077184 24947 33554432000 4194304 4580107 140734240233232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.49
Current children cumulated vsize (KiB) 556716

[startup+6.30077 s]
/proc/loadavg: 2.31 2.07 2.02 9/274 15824
/proc/meminfo: memFree=13539276/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=613860 CPUtime=50.07 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 52886 0 0 0 4984 23 0 0 25 0 8 0 790280513 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 153465 33731 380 95 0 148447 0
[pid=15816/tid=15817] ppid=15814 vsize=613860 CPUtime=6.27 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 6591 0 0 0 625 2 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=613860 CPUtime=6.26 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 5548 0 0 0 623 3 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=613860 CPUtime=6.22 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 6907 0 0 0 619 3 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=613860 CPUtime=6.26 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 6368 0 0 0 624 2 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=613860 CPUtime=6.25 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 7256 0 0 0 623 2 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=613860 CPUtime=6.26 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 6607 0 0 0 624 2 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=613860 CPUtime=6.24 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 7227 0 0 0 623 1 0 0 25 0 8 0 790280514 628592640 33731 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/loadavg: 8.12 7.76 5.75 9/274 15848
/proc/meminfo: memFree=12879112/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1101880 CPUtime=7262.75 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 842074 0 0 0 725959 316 0 0 25 0 8 0 790280513 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 275470 198199 383 95 0 270452 0
[pid=15816/tid=15817] ppid=15814 vsize=1101880 CPUtime=908.79 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 113866 0 0 0 90842 37 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1101880 CPUtime=908.66 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 109845 0 0 0 90826 40 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1101880 CPUtime=901.36 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 72979 0 0 0 90107 29 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1101880 CPUtime=908.78 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 124747 0 0 0 90834 44 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1101880 CPUtime=908.77 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 90838 39 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1101880 CPUtime=908.77 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 110621 0 0 0 90834 43 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1101880 CPUtime=908.76 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 116545 0 0 0 90833 43 0 0 25 0 8 0 790280514 1128325120 198199 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7262.75
Current children cumulated vsize (KiB) 1101880

[startup+915.201 s]
/proc/loadavg: 8.11 7.77 5.76 9/274 15848
/proc/meminfo: memFree=12867576/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1167416 CPUtime=7313.94 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 844933 0 0 0 731077 317 0 0 25 0 8 0 790280513 1195433984 201058 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 291854 201058 383 95 0 286836 0
[pid=15816/tid=15817] ppid=15814 vsize=1167416 CPUtime=915.21 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 114181 0 0 0 91483 38 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1167416 CPUtime=915.06 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 110176 0 0 0 91466 40 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1167416 CPUtime=907.71 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 72979 0 0 0 90742 29 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1167416 CPUtime=915.19 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 126085 0 0 0 91475 44 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1167416 CPUtime=915.18 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 91479 39 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1167416 CPUtime=915.18 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 110920 0 0 0 91475 43 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1167416 CPUtime=915.17 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 116822 0 0 0 91474 43 0 0 25 0 8 0 790280514 1195433984 201061 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7313.94
Current children cumulated vsize (KiB) 1167416

[startup+921.601 s]
/proc/loadavg: 8.10 7.77 5.77 9/274 15848
/proc/meminfo: memFree=12871792/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1167416 CPUtime=7365.05 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 846815 0 0 0 736186 319 0 0 25 0 8 0 790280513 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 291854 199960 383 95 0 286836 0
[pid=15816/tid=15817] ppid=15814 vsize=1167416 CPUtime=921.6 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 114574 0 0 0 92122 38 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1167416 CPUtime=921.45 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 110465 0 0 0 92105 40 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1167416 CPUtime=914.06 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 72979 0 0 0 91377 29 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1167416 CPUtime=921.59 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 126507 0 0 0 92114 45 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1167416 CPUtime=921.57 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 92118 39 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1167416 CPUtime=921.57 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111213 0 0 0 92114 43 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4316303 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1167416 CPUtime=921.57 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 117042 0 0 0 92113 44 0 0 25 0 8 0 790280514 1195433984 199960 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7365.05
Current children cumulated vsize (KiB) 1167416

[startup+923.201 s]
/proc/loadavg: 8.09 7.77 5.78 9/274 15848
/proc/meminfo: memFree=12869928/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1167416 CPUtime=7377.83 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 847168 0 0 0 737464 319 0 0 25 0 8 0 790280513 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 291854 200313 383 95 0 286836 0
[pid=15816/tid=15817] ppid=15814 vsize=1167416 CPUtime=923.2 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 114574 0 0 0 92282 38 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1167416 CPUtime=923.05 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 110523 0 0 0 92265 40 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4305579 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1167416 CPUtime=915.64 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 72979 0 0 0 91535 29 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1167416 CPUtime=923.19 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 126619 0 0 0 92274 45 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1167416 CPUtime=923.17 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 92278 39 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1167416 CPUtime=923.17 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111279 0 0 0 92274 43 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1167416 CPUtime=923.17 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 117094 0 0 0 92273 44 0 0 25 0 8 0 790280514 1195433984 200313 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7377.83
Current children cumulated vsize (KiB) 1167416

[startup+924.8 s]
/proc/loadavg: 8.09 7.77 5.78 9/274 15848
/proc/meminfo: memFree=12865092/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1101880 CPUtime=7390.62 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 849084 0 0 0 738743 319 0 0 25 0 8 0 790280513 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 275470 190296 383 95 0 270452 0
[pid=15816/tid=15817] ppid=15814 vsize=1101880 CPUtime=924.8 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 114574 0 0 0 92442 38 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1101880 CPUtime=924.65 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111652 0 0 0 92425 40 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1101880 CPUtime=917.23 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 72979 0 0 0 91694 29 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1101880 CPUtime=924.79 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 126721 0 0 0 92434 45 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1101880 CPUtime=924.77 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 92438 39 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1101880 CPUtime=924.77 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111279 0 0 0 92434 43 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1101880 CPUtime=924.77 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 117731 0 0 0 92433 44 0 0 25 0 8 0 790280514 1128325120 190296 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7390.62
Current children cumulated vsize (KiB) 1101880

[startup+925.6 s]
/proc/loadavg: 8.09 7.77 5.78 9/274 15848
/proc/meminfo: memFree=12907996/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1101880 CPUtime=7397.02 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 849279 0 0 0 739382 320 0 0 25 0 8 0 790280513 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 275470 190491 383 95 0 270452 0
[pid=15816/tid=15817] ppid=15814 vsize=1101880 CPUtime=925.6 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 114574 0 0 0 92522 38 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1101880 CPUtime=925.45 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111701 0 0 0 92505 40 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1101880 CPUtime=918.02 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 72979 0 0 0 91773 29 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1101880 CPUtime=925.59 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 126772 0 0 0 92514 45 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1101880 CPUtime=925.57 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 92518 39 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1101880 CPUtime=925.57 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111279 0 0 0 92514 43 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1101880 CPUtime=925.57 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 117798 0 0 0 92513 44 0 0 25 0 8 0 790280514 1128325120 190491 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7397.02
Current children cumulated vsize (KiB) 1101880

[startup+926.001 s]
/proc/loadavg: 8.09 7.77 5.78 9/274 15848
/proc/meminfo: memFree=12907996/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=1167416 CPUtime=7400.22 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) R 15814 15816 15790 0 -1 4202496 850089 0 0 0 739702 320 0 0 25 0 8 0 790280513 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 291854 191301 383 95 0 286836 0
[pid=15816/tid=15817] ppid=15814 vsize=1167416 CPUtime=926 cores=0-7
/proc/15816/task/15817/stat : 15817 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 114574 0 0 0 92562 38 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15816/tid=15818] ppid=15814 vsize=1167416 CPUtime=925.85 cores=0-7
/proc/15816/task/15818/stat : 15818 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111728 0 0 0 92545 40 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=1167416 CPUtime=918.42 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 73691 0 0 0 91813 29 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15816/tid=15820] ppid=15814 vsize=1167416 CPUtime=925.99 cores=0-7
/proc/15816/task/15820/stat : 15820 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 126792 0 0 0 92554 45 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15816/tid=15821] ppid=15814 vsize=1167416 CPUtime=925.98 cores=0-7
/proc/15816/task/15821/stat : 15821 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 103768 0 0 0 92559 39 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15816/tid=15822] ppid=15814 vsize=1167416 CPUtime=925.97 cores=0-7
/proc/15816/task/15822/stat : 15822 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 111279 0 0 0 92554 43 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15816/tid=15823] ppid=15814 vsize=1167416 CPUtime=925.97 cores=0-7
/proc/15816/task/15823/stat : 15823 (strangenight2-m) R 15814 15816 15790 0 -1 4202560 117830 0 0 0 92553 44 0 0 25 0 8 0 790280514 1195433984 191301 33554432000 4194304 4580107 140734240233232 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7400.22
Current children cumulated vsize (KiB) 1167416

[startup+926.101 s]
/proc/loadavg: 8.09 7.77 5.78 9/274 15848
/proc/meminfo: memFree=12907996/32951124 swapFree=55664332/67111528
[pid=15816] ppid=15814 vsize=0 CPUtime=7400.81 cores=0-7
/proc/15816/stat : 15816 (strangenight2-m) Z 15814 15816 15790 0 -1 4202524 850114 0 0 0 739759 322 0 0 25 0 2 0 790280513 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15816/statm: 0 0 0 0 0 0 0
[pid=15816/tid=15819] ppid=15814 vsize=0 CPUtime=918.52 cores=0-7
/proc/15816/task/15819/stat : 15819 (strangenight2-m) R 15814 15816 15790 0 -1 4203588 73696 0 0 0 91820 32 0 0 25 0 2 0 790280514 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7400.81
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 926.107
CPU time (s): 7400.83
CPU user time (s): 7397.6
CPU system time (s): 3.23351
CPU usage (%): 799.134
Max. virtual memory (cumulated for all children) (KiB): 1234608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7397.6
system time used= 3.23351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 850114
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= 20194
involuntary context switches= 31342

runsolver used 2.17567 second user time and 5.41818 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-30 22:19:58
IDJOB=3421703
IDBENCH=85805
IDSOLVER=1878
FILE ID=node109/3421703-1306786797
RUNJOBID= node109-1306786797-15804
PBS_JOBID= 13475038
Free space on /tmp= 59244 MiB

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

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

MD5SUM BENCH= 7d96ba103689bec761c9e7df7b158323
RANDOM SEED=1849219601

node109.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.809
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.61
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.809
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.75
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.809
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.74
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.809
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	: 5332.75
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.809
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.82
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.809
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.809
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.82
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13669652 kB
Buffers:        255616 kB
Cached:       16695744 kB
SwapCached:      10136 kB
Active:       15169696 kB
Inactive:      3507832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13669652 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            6328 kB
Writeback:           0 kB
AnonPages:     1722344 kB
Mapped:          15356 kB
Slab:           502900 kB
PageTables:      37336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30861656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 59236 MiB
End job on node109 at 2011-05-30 22:35:24