Trace number 3393888

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 3075.25 441.484

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
MD5SUM337e301d7c1a4748ec4a1ced7e688c38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark201.281
Satisfiable
(Un)Satisfiability was proved
Number of variables45937
Number of clauses166840
Sum of the clauses size445312
Maximum clause length37
Minimum clause length1
Number of clauses of size 11058
Number of clauses of size 285826
Number of clauses of size 373620
Number of clauses of size 4406
Number of clauses of size 5785
Number of clauses of size over 55145

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3393888-1306070266.cnf'
0.00/0.03	c -- header says num vars:          45937
0.00/0.03	c -- header says num clauses:      166840
1.12/0.25	c -- clauses added:            0 learnts,       166840 normals,            0 xors
1.12/0.25	c -- vars added      45937
1.12/0.25	c Parsing time:  0.09 s
1.12/0.25	c  N st     0         0     45937     79956     85826         0    444254         0   no data   no data
1.12/1.17	c asymm  cl-useful: 8/3058/79806 lits-rem:15 time: 0.92
54.11/6.99	c Flit:   149 Blit:      3 bXBeca:    0 bXProp: 14030 Bins:      0 BRemL:      0 BRemN:      0 P: 105.2M T:  5.70
54.92/7.00	c Cleaning up after failed var search:     0.01 s 
54.92/7.03	c Replacing    14030 vars Replaced   284641 lits Time:     0.03 s 
54.92/7.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
54.92/7.06	c bin-w-bin subsume rem            6 bins  time:  0.01 s
54.92/7.08	c subs with bin:        2  lits-rem:         5  v-fix:    0  time:  0.01 s
58.21/7.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30691 time:  0.36 s
59.70/7.64	c Removed useless bin:       2  fixed:     0  props:  20.00M  time:  0.19 s
62.10/7.90	c lits-rem:        13  cl-subs:       68  v-elim:  10230  v-fix:    0  time:  0.25 s
62.88/8.04	c Finding binary XORs  T:     0.14 s  found:     983
62.88/8.06	c Replacing      983 vars Replaced    21072 lits Time:     0.01 s 
63.69/8.13	c Finding non-binary XORs:     0.04 s (found:   12642, avg size: 3.0)
63.69/8.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5368 locsubst: 31182 time:   0.03
63.69/8.13	c Replacing      432 vars Replaced     4943 lits Time:     0.01 s 
63.69/8.15	c calculated reachability. Time: 0.02
63.69/8.15	c Calc default polars -  time:   0.00 s pos:    3284 undec:   33637 neg:    9016
63.69/8.15	c =========================================================================================
63.69/8.15	c types(t): F = full restart, N = normal restart
63.69/8.15	c types(t): S = simplification begin/end, E = solution found
63.69/8.15	c restart types(rt): st = static, dy = dynamic
63.69/8.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
63.69/8.15	c  B st     0         0     13678     22649     33895         0    227729         0   no data   no data
66.98/8.53	c  N dy    19      4003     13678     22649     33935      3395    227728    140980     15.90     21.94
68.47/8.74	c  N dy    30      8181     13677     22649     35060      6427    227726    194434     11.26     12.06
70.87/9.01	c  N dy    46     12279     13676     22649     35112      9721    227726    268672     10.59     11.47
72.47/9.25	c Finding binary XORs  T:     0.10 s  found:     276
72.47/9.26	c Replacing      276 vars Replaced    11591 lits Time:     0.02 s 
74.07/9.43	c  N dy    63     16429     13400     22641     35105     12268    227680    345506     10.69     11.39
76.58/9.78	c  N dy    84     20518     13399     22641     35526      8133    227678    107924     10.88     17.51
79.65/10.11	c  F st   108     25000     13399     22641     35581     11837    227676    196280     11.01      6.33
79.65/10.13	c  N st   108     25000     13399     22634     35579     11832    227648    196225     11.01      6.33
81.26/10.36	c  N dy   114     30000     13398     22634     36251     16109    227648    317401     11.01   no data
81.26/10.36	c  S st   114     30000     13398     22634     36251     16109    227648    317401     11.01   no data
82.05/10.43	c  S st   114     30504     13398     22634     36269     16533    227647    323677     11.01   no data
82.05/10.45	c x-sub:   584 x-cut:      0 vfix:      0 v-elim:   2695 locsubst:  1107 time:   0.03
106.81/13.58	c Flit:    17 Blit:      4 bXBeca:    0 bXProp: 2334 Bins:  76985 BRemL:  15957 BRemN:      0 P: 66.6M T:  3.12
107.61/13.62	c Replacing     2451 vars Replaced   265984 lits Time:     0.04 s 
107.61/13.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
107.61/13.66	c bin-w-bin subsume rem        62159 bins  time:  0.03 s
108.40/13.72	c subs with bin:     7031  lits-rem:     16966  v-fix:    0  time:  0.05 s
108.40/13.75	c Subs w/ non-existent bins:   2545 l-rem:   2465 v-fix:     0 done:   8228 time:  0.04 s
108.40/13.76	c Removed useless bin:     477  fixed:     0  props:   0.62M  time:  0.01 s
108.40/13.79	c lits-rem:       240  cl-subs:     3680  v-elim:    105  v-fix:    0  time:  0.03 s
109.21/13.81	c subs with bin:      158  lits-rem:      7032  v-fix:    0  time:  0.01 s
109.21/13.82	c lits-rem:       226  cl-subs:      666  v-elim:      0  v-fix:    0  time:  0.01 s
110.01/13.99	c asymm  cl-useful: 358/5914/8972 lits-rem:364 time: 0.18
110.01/14.00	c calculated reachability. Time: 0.00
110.01/14.00	c  N dy   114     30504      8123      8970     30755      1674    106427     42351     11.01   no data
110.90/14.07	c Finding binary XORs  T:     0.07 s  found:      26
113.19/14.33	c  N dy   145     34666      8123      8970     31607      5062    106423    140061     12.05     13.09
114.79/14.53	c  N dy   166     38718      8123      8970     31622      8218    106420    215817     12.27     12.92
115.58/14.65	c  N dy   171     42753      8123      8970     97100      5886    106418    209828     11.81     26.09
116.39/14.80	c  S st   183     45757      8123      8970     97103      8638    106416    288888     12.25   no data
117.19/14.85	c  S st   183     46258      8123      8970     97105      9066    106416    295125     12.25   no data
117.19/14.88	c x-sub:   197 x-cut:      0 vfix:      0 v-elim:   1231 locsubst:   630 time:   0.03
120.49/15.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   61 Bins:   1641 BRemL:  33877 BRemN:   1373 P:  6.0M T:  0.36
120.49/15.24	c Replacing      135 vars Replaced     2510 lits Time:     0.01 s 
120.49/15.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.49/15.26	c bin-w-bin subsume rem        39734 bins  time:  0.02 s
120.49/15.27	c subs with bin:      313  lits-rem:       106  v-fix:    0  time:  0.01 s
120.49/15.29	c Subs w/ non-existent bins:     25 l-rem:     86 v-fix:     0 done:   6757 time:  0.01 s
120.49/15.29	c Removed useless bin:     107  fixed:     0  props:   0.62M  time:  0.00 s
121.17/15.30	c lits-rem:        17  cl-subs:      144  v-elim:     21  v-fix:    0  time:  0.01 s
121.17/15.31	c subs with bin:       17  lits-rem:       101  v-fix:    0  time:  0.00 s
121.17/15.31	c lits-rem:        58  cl-subs:      335  v-elim:      0  v-fix:    0  time:  0.01 s
121.17/15.32	c vivif2 --  cl tried     8479 cl shrink       43 lits rem         88 time: 0.00
121.17/15.32	c vivif2 --  cl tried     1280 cl shrink       31 lits rem         63 time: 0.00
122.77/15.52	c asymm  cl-useful: 303/8479/8479 lits-rem:363 time: 0.20
122.77/15.53	c calculated reachability. Time: 0.00
122.77/15.53	c  N dy   183     46258      6736      8474     23143      1278     92936     26259     12.25   no data
122.77/15.59	c Finding binary XORs  T:     0.06 s  found:       2
123.57/15.67	c  N dy   193     51351      6736      8474     23144      4534     92935     80061     12.13     13.43
125.16/15.82	c  N dy   215     55816      6736      8474     26878      7981     92932    187094     12.70     13.44
125.97/15.91	c  N dy   225     59908      6736      8474     28904     10957     92929    237403     12.57     13.38
126.77/16.05	c  N dy   236     65599      6736      8474     28906      8640     92927    116497     12.41     13.16
127.57/16.11	c Finding binary XORs  T:     0.06 s  found:      19
127.57/16.21	c  S st   250     69387      6736      8474     28908     11385     92926    169702     12.39   no data
128.47/16.24	c  S st   250     69889      6736      8474     28913     11820     92926    174980     12.39   no data
128.47/16.27	c x-sub:    65 x-cut:      0 vfix:      0 v-elim:    272 locsubst:   618 time:   0.03
129.95/16.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    245 BRemL:   9263 BRemN:     79 P:  4.8M T:  0.19
129.95/16.47	c Replacing       53 vars Replaced      994 lits Time:     0.00 s 
129.95/16.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.95/16.48	c bin-w-bin subsume rem         2562 bins  time:  0.00 s
129.95/16.49	c subs with bin:      247  lits-rem:       101  v-fix:    0  time:  0.01 s
130.75/16.50	c Subs w/ non-existent bins:     83 l-rem:     49 v-fix:     0 done:   6411 time:  0.01 s
130.75/16.50	c Removed useless bin:     130  fixed:     0  props:   0.91M  time:  0.01 s
130.75/16.51	c lits-rem:         8  cl-subs:       36  v-elim:     18  v-fix:    0  time:  0.01 s
130.75/16.52	c subs with bin:       20  lits-rem:        35  v-fix:    0  time:  0.00 s
130.75/16.53	c lits-rem:       407  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  0.01 s
130.75/16.54	c vivif2 --  cl tried     8169 cl shrink       34 lits rem         46 time: 0.00
130.75/16.54	c vivif2 --  cl tried     4287 cl shrink       16 lits rem         16 time: 0.00
132.35/16.72	c asymm  cl-useful: 1099/8169/8169 lits-rem:3110 time: 0.18
132.35/16.72	c calculated reachability. Time: 0.00
132.35/16.72	c  N dy   250     69889      6393      7267     17883      4287     88736     53968     12.39   no data
133.15/16.88	c  N dy   277     75925      6393      7267     18305      9573     88735    179110     12.80     13.49
134.75/17.07	c  N dy   313     80824      6393      7267     18452     13401     88731    300634     13.50     28.08
136.35/17.23	c  F st   340     87500      6393      7267     18626     18026     88730    404710     13.72     11.04
136.35/17.23	c  N st   340     87500      6393      7267     18626     18026     88730    404710     13.72     11.04
138.06/17.41	c Decided on static restart strategy
138.74/17.50	c  N st   347     95540      6393      7267     18644     15000     88730    309142     13.72   no data
138.74/17.56	c Finding binary XORs  T:     0.06 s  found:     232
138.74/17.57	c Replacing      232 vars Replaced    14860 lits Time:     0.01 s 
143.54/18.15	c Finding binary XORs  T:     0.06 s  found:      47
145.13/18.30	c  N st   349    104834      6161      7183     27150     22928     87564    940339     13.72   no data
145.13/18.30	c  S st   349    104834      6161      7183     27150     22928     87564    940339     13.72   no data
145.13/18.34	c  S st   349    105336      6161      7183     27163     23326     87564    947261     13.72   no data
145.13/18.39	c x-sub:    30 x-cut:      0 vfix:      0 v-elim:    101 locsubst:   655 time:   0.04
146.84/18.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bins:   4074 BRemL:  11725 BRemN:    308 P:  4.7M T:  0.19
146.84/18.60	c Replacing      121 vars Replaced     8986 lits Time:     0.01 s 
147.52/18.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.52/18.60	c bin-w-bin subsume rem         1308 bins  time:  0.00 s
147.52/18.61	c subs with bin:      133  lits-rem:         0  v-fix:    0  time:  0.01 s
147.52/18.62	c Subs w/ non-existent bins:     52 l-rem:      0 v-fix:     0 done:   5939 time:  0.01 s
147.52/18.63	c Removed useless bin:     118  fixed:     0  props:   0.67M  time:  0.00 s
147.52/18.64	c lits-rem:         0  cl-subs:      436  v-elim:     17  v-fix:    0  time:  0.01 s
147.52/18.66	c subs with bin:       21  lits-rem:      2043  v-fix:    0  time:  0.02 s
149.12/18.82	c lits-rem:       958  cl-subs:     1483  v-elim:      0  v-fix:    0  time:  0.15 s
149.12/18.82	c vivif2 --  cl tried     6566 cl shrink       12 lits rem         12 time: 0.00
149.12/18.83	c vivif2 --  cl tried    11606 cl shrink       55 lits rem        181 time: 0.01
149.92/18.98	c asymm  cl-useful: 352/6566/6566 lits-rem:995 time: 0.15
149.92/18.98	c calculated reachability. Time: 0.00
149.92/18.98	c  N st   349    105336      5922      6340     17726     11606     82464    274487     13.72   no data
150.72/19.04	c Finding binary XORs  T:     0.06 s  found:     176
150.72/19.05	c Replacing      176 vars Replaced     8984 lits Time:     0.01 s 
152.32/19.22	c  N st   350    114934      5746      6335     17366      9799     81745    277350     13.72   no data
165.10/20.86	c  N st   351    129331      5746      6335     17444     23318     81743   1813346     13.72   no data
165.90/20.92	c Finding binary XORs  T:     0.06 s  found:     151
166.70/21.01	c Replacing      151 vars Replaced    67515 lits Time:     0.09 s 
185.06/23.38	c  N st   352    150927      5595      6166     21332     26909     80915   1670468     13.72   no data
185.86/23.46	c Finding binary XORs  T:     0.06 s  found:     276
186.66/23.53	c Replacing      276 vars Replaced   117463 lits Time:     0.08 s 
187.46/23.63	c  S st   353    158005      5319      5846     86827     31289     79355   1911806     13.72   no data
187.46/23.69	c  S st   353    158508      5319      5846     88802     31668     79355   1919746     13.72   no data
188.26/23.78	c x-sub:   103 x-cut:      0 vfix:      0 v-elim:    103 locsubst:   480 time:   0.09
190.76/24.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:    523 BRemL:  32861 BRemN:    164 P:  4.5M T:  0.26
190.76/24.04	c Replacing       73 vars Replaced     1899 lits Time:     0.01 s 
190.76/24.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
190.76/24.07	c bin-w-bin subsume rem        33950 bins  time:  0.02 s
190.76/24.08	c subs with bin:      295  lits-rem:         0  v-fix:    0  time:  0.01 s
190.76/24.09	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:     0 done:   5143 time:  0.01 s
191.45/24.10	c Removed useless bin:      87  fixed:     0  props:   0.72M  time:  0.01 s
191.45/24.11	c lits-rem:         0  cl-subs:     1077  v-elim:     63  v-fix:    0  time:  0.01 s
191.45/24.12	c subs with bin:       11  lits-rem:       490  v-fix:    0  time:  0.01 s
191.45/24.19	c lits-rem:       473  cl-subs:      699  v-elim:      0  v-fix:    0  time:  0.06 s
191.45/24.19	c vivif2 --  cl tried     4729 cl shrink       47 lits rem         83 time: 0.00
191.45/24.19	c vivif2 --  cl tried     5735 cl shrink        3 lits rem          3 time: 0.00
192.25/24.27	c asymm  cl-useful: 367/4729/4729 lits-rem:1261 time: 0.08
192.25/24.27	c calculated reachability. Time: 0.00
192.25/24.27	c  N st   353    158508      5080      4427     21633      5735     71275    173198     13.72   no data
264.13/33.21	c  N st   354    207097      5080      4427     21633     30675     71275   3573272     13.72   no data
264.13/33.29	c Finding binary XORs  T:     0.07 s  found:     318
265.73/33.49	c Replacing      318 vars Replaced   145624 lits Time:     0.20 s 
279.31/35.16	c  N st   355    237763      4762      4240     27870     33294     70181   1886539     13.72   no data
279.31/35.16	c  S st   355    237763      4762      4240     27870     33294     70181   1886539     13.72   no data
280.11/35.21	c  S st   355    238265      4762      4240     28123     33655     70181   1890815     13.72   no data
280.11/35.29	c x-sub:   162 x-cut:      0 vfix:      0 v-elim:     67 locsubst:  1184 time:   0.08
281.70/35.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:    420 BRemL:   8334 BRemN:    155 P:  3.4M T:  0.15
281.70/35.46	c Replacing      114 vars Replaced     7015 lits Time:     0.02 s 
281.70/35.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
281.70/35.46	c bin-w-bin subsume rem          755 bins  time:  0.00 s
281.70/35.48	c subs with bin:      246  lits-rem:         0  v-fix:    0  time:  0.01 s
281.70/35.48	c Subs w/ non-existent bins:     56 l-rem:      0 v-fix:     0 done:   4581 time:  0.01 s
281.70/35.49	c Removed useless bin:      28  fixed:     0  props:   0.29M  time:  0.00 s
282.50/35.51	c lits-rem:         0  cl-subs:      405  v-elim:    104  v-fix:    0  time:  0.02 s
282.50/35.56	c subs with bin:        1  lits-rem:        43  v-fix:    0  time:  0.00 s
363.17/45.61	c lits-rem:      2347  cl-subs:     3246  v-elim:      0  v-fix:    0  time: 10.05 s
363.17/45.61	c vivif2 --  cl tried     3947 cl shrink       52 lits rem        105 time: 0.00
363.17/45.65	c vivif2 --  cl tried    28313 cl shrink        0 lits rem          0 time: 0.03
363.17/45.69	c asymm  cl-useful: 522/3947/3947 lits-rem:1707 time: 0.05
363.17/45.70	c calculated reachability. Time: 0.00
363.17/45.70	c  N st   355    238265      4477      3463     18883     28313     64304   1536575     13.72   no data
388.73/48.84	c  F st   356    306251      4477      3463     18883     38386     64304   2820686     13.72   no data
388.73/48.84	c  N st   356    306251      4477      3463     18883     38386     64304   2820686     13.72   no data
389.53/48.94	c Finding binary XORs  T:     0.08 s  found:     100
389.53/48.95	c Replacing      110 vars Replaced     1918 lits Time:     0.01 s 
393.50/49.41	c Decided on static restart strategy
404.69/50.89	c Finding binary XORs  T:     0.04 s  found:       3
413.47/51.95	c  N st   366    334552      4357      3417     23401     41157     63660   3289560     13.72   no data
432.64/54.39	c  N st   368    357397      4357      3417     23444     35742     63659   2666137     13.72   no data
432.64/54.39	c  S st   368    357397      4357      3417     23444     35742     63659   2666137     13.72   no data
433.44/54.45	c  S st   368    357898      4357      3417     23450     36144     63659   2681917     13.72   no data
434.24/54.52	c x-sub:   157 x-cut:      0 vfix:      0 v-elim:     31 locsubst:   237 time:   0.07
435.04/54.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:   2251 BRemL:   4888 BRemN:    120 P:  2.8M T:  0.13
435.04/54.67	c Replacing       44 vars Replaced     1625 lits Time:     0.01 s 
435.04/54.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
435.04/54.67	c bin-w-bin subsume rem          726 bins  time:  0.00 s
435.04/54.69	c subs with bin:      138  lits-rem:         2  v-fix:    0  time:  0.01 s
435.04/54.70	c Subs w/ non-existent bins:     38 l-rem:      0 v-fix:     0 done:   4282 time:  0.01 s
435.04/54.70	c Removed useless bin:      23  fixed:     0  props:   0.23M  time:  0.00 s
435.94/54.73	c lits-rem:         0  cl-subs:       99  v-elim:     77  v-fix:    0  time:  0.03 s
435.94/54.80	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  0.01 s
530.87/66.64	c lits-rem:      1955  cl-subs:     3313  v-elim:      0  v-fix:    0  time: 11.84 s
530.87/66.64	c vivif2 --  cl tried     3402 cl shrink       21 lits rem         46 time: 0.00
530.87/66.69	c vivif2 --  cl tried    30326 cl shrink      773 lits rem        794 time: 0.05
531.67/66.72	c asymm  cl-useful: 324/3402/3402 lits-rem:957 time: 0.03
531.67/66.73	c calculated reachability. Time: 0.00
531.67/66.73	c  N st   368    357898      4205      3119     19617     30326     59134   2037879     13.72   no data
571.60/71.76	c  N st   369    390291      4205      3119     19617     35128     59134   2643583     13.72   no data
572.40/71.84	c Finding binary XORs  T:     0.06 s  found:      93
573.20/71.93	c Replacing      103 vars Replaced    27175 lits Time:     0.09 s 
617.92/77.53	c  N st   370    438880      4023      3044     26585     48308     55744   3869035     13.72   no data
618.71/77.60	c Finding binary XORs  T:     0.03 s  found:      16
692.98/86.98	c  N st   371    511762      4010      3044     26491     55884     55324   4710699     13.72   no data
712.94/89.48	c  N st   372    536848      4010      3044     26585     43801     55324   3314325     13.72   no data
712.94/89.48	c  S st   372    536848      4010      3044     26585     43801     55324   3314325     13.72   no data
713.75/89.53	c  S st   372    537349      4010      3044     26602     44143     55324   3317132     13.72   no data
714.55/89.61	c x-sub:    26 x-cut:      0 vfix:      0 v-elim:     19 locsubst:    62 time:   0.08
715.34/89.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   38 Bins:   5719 BRemL:  10633 BRemN:     39 P:  2.7M T:  0.13
716.14/89.82	c Replacing       62 vars Replaced    23520 lits Time:     0.08 s 
716.14/89.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
716.14/89.83	c bin-w-bin subsume rem         2128 bins  time:  0.00 s
716.14/89.84	c subs with bin:      111  lits-rem:        94  v-fix:    0  time:  0.01 s
716.14/89.84	c Subs w/ non-existent bins:     12 l-rem:      0 v-fix:     0 done:   3929 time:  0.01 s
716.14/89.85	c Removed useless bin:       8  fixed:     0  props:   0.18M  time:  0.00 s
716.14/89.88	c lits-rem:        26  cl-subs:       76  v-elim:     37  v-fix:    0  time:  0.04 s
717.04/89.97	c subs with bin:       24  lits-rem:       481  v-fix:    0  time:  0.02 s
792.00/99.31	c lits-rem:      2504  cl-subs:     1441  v-elim:      0  v-fix:    0  time:  9.34 s
792.00/99.31	c vivif2 --  cl tried     2953 cl shrink       14 lits rem         20 time: 0.00
792.00/99.36	c vivif2 --  cl tried    39477 cl shrink      330 lits rem        334 time: 0.05
792.80/99.40	c asymm  cl-useful: 54/2952/2952 lits-rem:75 time: 0.04
792.80/99.40	c calculated reachability. Time: 0.00
792.80/99.40	c  N st   372    537349      3892      2948     19141     39477     52317   2854175     13.72   no data
958.13/120.17	c  N st   373    701333      3892      2948     19141     49660     52317   3796655     13.72   no data
958.93/120.25	c Finding binary XORs  T:     0.04 s  found:     111
960.53/120.41	c Replacing      122 vars Replaced    47602 lits Time:     0.16 s 
986.88/123.73	c  N st   374    806023      3681      2867     30820     55880     48676   2613721     13.72   no data
986.88/123.73	c  S st   374    806023      3681      2867     30820     55880     48676   2613721     13.72   no data
986.88/123.78	c Finding binary XORs  T:     0.03 s  found:      59
987.68/123.80	c Replacing       59 vars Replaced     2509 lits Time:     0.01 s 
987.68/123.87	c  S st   374    806524      3487      2817     22715     55989     43520   2597602     13.72   no data
988.48/123.95	c x-sub:    17 x-cut:      0 vfix:      0 v-elim:      3 locsubst:    66 time:   0.08
989.38/124.07	c Flit:    27 Blit:      2 bXBeca:    0 bXProp:   46 Bins:  10049 BRemL:  11486 BRemN:     31 P:  2.7M T:  0.13
989.38/124.10	c Replacing       52 vars Replaced     6506 lits Time:     0.03 s 
989.38/124.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
989.38/124.11	c bin-w-bin subsume rem         1938 bins  time:  0.00 s
990.18/124.12	c subs with bin:      148  lits-rem:       402  v-fix:    0  time:  0.01 s
990.18/124.12	c Subs w/ non-existent bins:     12 l-rem:      0 v-fix:     0 done:   3403 time:  0.01 s
990.18/124.12	c Removed useless bin:       6  fixed:     0  props:   0.12M  time:  0.00 s
990.18/124.16	c lits-rem:         1  cl-subs:       91  v-elim:     47  v-fix:    0  time:  0.03 s
990.86/124.22	c subs with bin:       27  lits-rem:        27  v-fix:    0  time:  0.01 s
1209.00/151.58	c lits-rem:      1066  cl-subs:     8608  v-elim:      0  v-fix:    0  time: 27.35 s
1209.00/151.58	c vivif2 --  cl tried     2676 cl shrink       26 lits rem         76 time: 0.00
1209.81/151.61	c vivif2 --  cl tried    46636 cl shrink        3 lits rem         11 time: 0.03
1209.81/151.65	c asymm  cl-useful: 45/2669/2669 lits-rem:54 time: 0.04
1209.81/151.66	c calculated reachability. Time: 0.00
1209.81/151.66	c  N st   374    806524      3356      2669     17440     46636     39623   2228016     13.72   no data
1305.64/163.67	c  F st   375   1071875      3356      2669     17440     47960     39623   2555843     13.72   no data
1305.64/163.68	c  N st   375   1071875      3356      2669     17440     47960     39623   2555843     13.72   no data
1306.44/163.76	c Finding binary XORs  T:     0.05 s  found:      58
1306.44/163.78	c Replacing       58 vars Replaced     2829 lits Time:     0.03 s 
1310.32/164.22	c Decided on static restart strategy
1332.80/167.01	c  N st   385   1100178      3148      2624      8816     72489     34263   5064741     13.72   no data
1367.94/171.50	c  N st   387   1136172      3148      2624      8821     65075     34263   4631751     13.72   no data
1406.15/176.27	c  N st   388   1168564      3148      2624      8821     51574     34263   3165507     13.72   no data
1478.03/185.25	c  N st   389   1209787      3131      2624      8824     43856     34263   2387464     13.72   no data
1478.03/185.25	c  S st   389   1209787      3131      2624      8824     43856     34263   2387464     13.72   no data
1478.83/185.31	c Finding binary XORs  T:     0.03 s  found:      56
1478.83/185.34	c Replacing       57 vars Replaced    13155 lits Time:     0.03 s 
1479.63/185.41	c  S st   389   1210289      3042      2598     13367     44157     32369   2410277     13.72   no data
1479.63/185.48	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    25 time:   0.08
1480.43/185.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:   3463 BRemN:      0 P:  1.4M T:  0.07
1480.43/185.57	c Replacing        3 vars Replaced       46 lits Time:     0.01 s 
1480.43/185.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1480.43/185.58	c bin-w-bin subsume rem         2568 bins  time:  0.00 s
1480.43/185.58	c subs with bin:      193  lits-rem:       217  v-fix:    0  time:  0.00 s
1480.43/185.58	c Subs w/ non-existent bins:     18 l-rem:      0 v-fix:     0 done:   3038 time:  0.00 s
1480.43/185.59	c Removed useless bin:       2  fixed:     0  props:   0.08M  time:  0.00 s
1481.34/185.62	c lits-rem:         0  cl-subs:      172  v-elim:     73  v-fix:    0  time:  0.04 s
1481.34/185.69	c subs with bin:       14  lits-rem:        51  v-fix:    0  time:  0.01 s
1605.11/201.15	c lits-rem:      1742  cl-subs:      932  v-elim:      0  v-fix:    0  time: 15.45 s
1605.11/201.15	c vivif2 --  cl tried     2353 cl shrink       14 lits rem         35 time: 0.00
1605.11/201.18	c vivif2 --  cl tried    42306 cl shrink       22 lits rem         61 time: 0.03
1605.78/201.22	c asymm  cl-useful: 81/2353/2353 lits-rem:121 time: 0.03
1605.78/201.22	c calculated reachability. Time: 0.00
1605.78/201.22	c  N st   389   1210289      2965      2353      6776     42304     30064   2284378     13.72   no data
1649.03/206.66	c  N st   390   1283172      2965      2353      6776     60496     30064   4031584     13.72   no data
1649.71/206.74	c Finding binary XORs  T:     0.04 s  found:      14
1777.49/222.79	c  N st   391   1392495      2934      2353      3041     61889     28917   4132892     13.72   no data
1974.73/247.48	c  N st   392   1556479      2934      2353      3075     64343     28917   4146765     13.72   no data
2134.48/267.44	c  N st   393   1710290      2934      2353      3086     89409     28917   6454947     13.72   no data
2134.48/267.44	c  S st   393   1710290      2934      2353      3086     89409     28917   6454947     13.72   no data
2135.28/267.52	c Finding binary XORs  T:     0.03 s  found:      60
2135.28/267.56	c Replacing       83 vars Replaced     7127 lits Time:     0.05 s 
2136.07/267.64	c  S st   393   1710792      2816      1987      3177     88189     24641   6330849     13.72   no data
2136.87/267.72	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   302 time:   0.08
2136.87/267.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     57 BRemL:    265 BRemN:      0 P:  1.5M T:  0.07
2137.67/267.83	c Replacing      148 vars Replaced     7286 lits Time:     0.04 s 
2137.67/267.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2137.67/267.83	c bin-w-bin subsume rem           93 bins  time:  0.00 s
2137.67/267.83	c subs with bin:      201  lits-rem:        10  v-fix:    0  time:  0.00 s
2137.67/267.83	c Subs w/ non-existent bins:     29 l-rem:      0 v-fix:     0 done:   2668 time:  0.00 s
2137.67/267.84	c Removed useless bin:       5  fixed:     0  props:   0.06M  time:  0.00 s
2137.67/267.90	c lits-rem:         0  cl-subs:       78  v-elim:     53  v-fix:    0  time:  0.06 s
2139.27/268.06	c subs with bin:        5  lits-rem:       521  v-fix:    0  time:  0.02 s
2506.63/314.07	c lits-rem:      1854  cl-subs:     4149  v-elim:      0  v-fix:    0  time: 46.01 s
2506.63/314.07	c vivif2 --  cl tried     1586 cl shrink       10 lits rem         22 time: 0.00
2507.43/314.15	c vivif2 --  cl tried    78491 cl shrink      247 lits rem        247 time: 0.08
2507.43/314.18	c asymm  cl-useful: 175/1584/1584 lits-rem:504 time: 0.02
2507.43/314.18	c calculated reachability. Time: 0.00
2507.43/314.18	c  N st   393   1710792      2615      1545      2622     78491     23056   5183905     13.72   no data
3074.99/441.37	c Following stats are for *FIRST FINISHED THREAD ONLY*
3074.99/441.37	c num threads              : 8          
3074.99/441.37	c restarts                 : 11425      
3074.99/441.37	c dynamic restarts         : 11395      
3074.99/441.37	c static restarts          : 30         
3074.99/441.37	c full restarts            : 4          
3074.99/441.37	c total simplify time      : 3.01       
3074.99/441.37	c learnts DL2              : 0          
3074.99/441.37	c learnts size 2           : 562395     
3074.99/441.37	c learnts size 1           : 2647        (5.76      % of vars)
3074.99/441.37	c filedLit time            : 8.92        (2.02      % time)
3074.99/441.37	c v-elim SatELite          : 14836       (32.30     % vars)
3074.99/441.37	c SatELite time            : 3.48        (0.79      % time)
3074.99/441.37	c v-elim xor               : 0           (0.00      % vars)
3074.99/441.37	c xor elim time            : 0.06        (0.01      % time)
3074.99/441.37	c num binary xor trees     : 3713       
3074.99/441.37	c binxor trees' crown      : 23732       (6.39      leafs/tree)
3074.99/441.37	c bin xor find time        : 2.01       
3074.99/441.37	c OTF clause improved      : 176516      (0.07      clauses/conflict)
3074.99/441.37	c OTF impr. size diff      : 180242      (1.02       lits/clause)
3074.99/441.37	c OTF cl watch-shrink      : 649081      (0.27      clauses/conflict)
3074.99/441.37	c OTF cl watch-sh-lit      : 1192614     (1.84       lits/clause)
3074.99/441.37	c tried to recurMin cls    : 973726      (40.32      % of conflicts)
3074.99/441.37	c updated cache            : 76009       (0.08       lits/tried recurMin)
3074.99/441.37	c unit cls recevied        : 73          (2.76      % of units)
3074.99/441.37	c unit cls sent            : 3206        (121.12    % of units)
3074.99/441.37	c bin cls recevied         : 298714     
3074.99/441.37	c bin cls sent             : 203941     
3074.99/441.37	c clauses over max glue    : 0           (0.00      % of all clauses)
3074.99/441.37	c conflicts                : 2414763     (5475.29   / sec)
3074.99/441.37	c decisions                : 6599939     (5.68      % random)
3074.99/441.37	c bogo-props               : 29502047815 (66893675.83 / sec)
3074.99/441.37	c conflict literals        : 51679019    (9.71      % deleted)
3074.99/441.37	c Memory used              : 3127.39     MB
3074.99/441.37	c single-thread CPU time   : 441.03      s
3074.99/441.37	c all-threads sum CPU time : 3070.32     s
3074.99/441.37	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-3393888-1306070266/watcher-3393888-1306070266 -o /tmp/evaluation-result-3393888-1306070266/solver-3393888-1306070266 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393888-1306070266.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: 6.92 4.33 1.85 2/408 31463
/proc/meminfo: memFree=15081220/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=92144 CPUtime=0.06 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 420 0 0 0 6 0 0 0 22 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 23036 360 302 95 0 18018 0
[pid=31463/tid=31464] ppid=31461 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=92144 CPUtime=0 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047059 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=92144 CPUtime=0 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=92144 CPUtime=0 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=92144 CPUtime=0 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047065 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=92144 CPUtime=0 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 174636071 94355456 360 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047065 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0557431 s]
/proc/loadavg: 6.92 4.33 1.85 2/408 31463
/proc/meminfo: memFree=15081220/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=492884 CPUtime=0.34 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 6705 0 0 0 30 4 0 0 17 0 8 0 174636071 504713216 6133 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 123221 6157 338 95 0 118203 0
[pid=31463/tid=31464] ppid=31461 vsize=492884 CPUtime=0.04 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 320 0 0 0 4 0 0 0 17 0 8 0 174636071 504713216 6158 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=492884 CPUtime=0.01 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 1034 0 0 0 1 0 0 0 17 0 8 0 174636071 504713216 6171 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=492884 CPUtime=0.04 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 547 0 0 0 4 0 0 0 17 0 8 0 174636071 504713216 6180 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=492884 CPUtime=0.03 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 1079 0 0 0 3 0 0 0 17 0 8 0 174636071 504713216 6188 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=493268 CPUtime=0.03 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1024 0 0 0 3 0 0 0 17 0 8 0 174636071 505106432 6243 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880227686 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=493268 CPUtime=0.04 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 976 0 0 0 3 1 0 0 17 0 8 0 174636071 505106432 6272 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=493268 CPUtime=0.04 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 327 0 0 0 4 0 0 0 18 0 8 0 174636071 505106432 6283 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 492884

[startup+0.101745 s]
/proc/loadavg: 6.92 4.33 1.85 2/408 31463
/proc/meminfo: memFree=15081220/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=570572 CPUtime=0.59 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 15660 0 0 0 45 14 0 0 17 0 8 0 174636071 584265728 14168 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 142643 14222 338 95 0 137625 0
[pid=31463/tid=31464] ppid=31461 vsize=570572 CPUtime=0.07 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1671 0 0 0 6 1 0 0 17 0 8 0 174636071 584265728 14222 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=570572 CPUtime=0.05 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 2057 0 0 0 4 1 0 0 17 0 8 0 174636071 584265728 14225 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=570572 CPUtime=0.08 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 1679 0 0 0 7 1 0 0 17 0 8 0 174636071 584265728 14234 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=570572 CPUtime=0.06 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 1909 0 0 0 5 1 0 0 17 0 8 0 174636071 584265728 14243 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=570572 CPUtime=0.07 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 2150 0 0 0 5 2 0 0 17 0 8 0 174636071 584265728 14260 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=570572 CPUtime=0.07 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 2044 0 0 0 4 3 0 0 17 0 8 0 174636071 584265728 14274 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=570572 CPUtime=0.07 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 1704 0 0 0 6 1 0 0 17 0 8 0 174636071 584265728 14301 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 570572

[startup+0.306411 s]
/proc/loadavg: 6.92 4.33 1.85 2/408 31463
/proc/meminfo: memFree=15081220/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=685824 CPUtime=8.9 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 54311 0 0 0 842 48 0 0 18 0 8 0 174636071 702283776 46519 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294821 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 172013 50217 361 95 0 166995 0
[pid=31463/tid=31464] ppid=31461 vsize=688320 CPUtime=1.17 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8009 0 0 0 112 5 0 0 19 0 8 0 174636071 704839680 50830 33554432000 4194304 4580107 140736487061840 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=692272 CPUtime=1.19 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) D 31461 31463 31362 0 -1 4202560 7518 0 0 0 114 5 0 0 19 0 8 0 174636071 708886528 53663 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=692272 CPUtime=1.21 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 7390 0 0 0 116 5 0 0 19 0 8 0 174636071 708886528 53990 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=692272 CPUtime=1.21 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 7166 0 0 0 115 6 0 0 19 0 8 0 174636071 708886528 53992 33554432000 4194304 4580107 140736487061840 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=692272 CPUtime=1.21 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 7678 0 0 0 115 6 0 0 19 0 8 0 174636071 708886528 53993 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=692272 CPUtime=1.21 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 7656 0 0 0 114 7 0 0 19 0 8 0 174636071 708886528 53994 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=692272 CPUtime=1.21 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8211 0 0 0 116 5 0 0 18 0 8 0 174636071 708886528 53994 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 685824

[startup+1.39755 s]
/proc/loadavg: 6.92 4.33 1.85 2/408 31463
/proc/meminfo: memFree=15081220/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=695808 CPUtime=10.51 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 67563 0 0 0 1000 51 0 0 19 0 8 0 174636071 712507392 59771 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 173952 59775 362 95 0 168934 0
[pid=31463/tid=31464] ppid=31461 vsize=695808 CPUtime=1.32 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 9234 0 0 0 126 6 0 0 19 0 8 0 174636071 712507392 59775 33554432000 4194304 4580107 140736487061840 18446744073709551615 4239564 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=695808 CPUtime=1.29 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8351 0 0 0 124 5 0 0 19 0 8 0 174636071 712507392 59775 33554432000 4194304 4580107 140736487061840 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=695808 CPUtime=1.32 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8170 0 0 0 126 6 0 0 18 0 8 0 174636071 712507392 59775 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=695808 CPUtime=1.3 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8039 0 0 0 124 6 0 0 19 0 8 0 174636071 712507392 59775 33554432000 4194304 4580107 140736487061840 18446744073709551615 4235735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=695808 CPUtime=1.3 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8484 0 0 0 124 6 0 0 19 0 8 0 174636071 712507392 59777 33554432000 4194304 4580107 140736487061840 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=695808 CPUtime=1.3 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8502 0 0 0 123 7 0 0 19 0 8 0 174636071 712507392 59777 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=695808 CPUtime=1.31 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8236 0 0 0 126 5 0 0 19 0 8 0 174636071 712507392 59777 33554432000 4194304 4580107 140736487061840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 695808

[startup+1.50038 s]
/proc/loadavg: 6.92 4.33 1.85 2/408 31463
/proc/meminfo: memFree=15081220/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=699948 CPUtime=11.33 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 73730 0 0 0 1080 53 0 0 19 0 8 0 174636071 716746752 65938 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 174987 65945 362 95 0 169969 0
[pid=31463/tid=31464] ppid=31461 vsize=699948 CPUtime=1.42 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 10137 0 0 0 136 6 0 0 19 0 8 0 174636071 716746752 65948 33554432000 4194304 4580107 140736487061840 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=699948 CPUtime=1.39 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 9197 0 0 0 133 6 0 0 19 0 8 0 174636071 716746752 65954 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=699948 CPUtime=1.42 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 9044 0 0 0 136 6 0 0 18 0 8 0 174636071 716746752 65954 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=699948 CPUtime=1.41 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8913 0 0 0 135 6 0 0 19 0 8 0 174636071 716746752 65954 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=699948 CPUtime=1.4 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 9337 0 0 0 134 6 0 0 19 0 8 0 174636071 716746752 65954 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=699948 CPUtime=1.4 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 9423 0 0 0 133 7 0 0 19 0 8 0 174636071 716746752 65954 33554432000 4194304 4580107 140736487061840 18446744073709551615 4235735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=699948 CPUtime=1.41 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 8252 0 0 0 136 5 0 0 19 0 8 0 174636071 716746752 65954 33554432000 4194304 4580107 140736487061840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 699948

[startup+3.11609 s]
/proc/loadavg: 6.92 4.33 1.85 9/416 31471
/proc/meminfo: memFree=14461956/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=950604 CPUtime=24.03 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 169910 0 0 0 2327 76 0 0 18 0 8 0 174636071 973418496 161244 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 237651 161248 362 95 0 232633 0
[pid=31463/tid=31464] ppid=31461 vsize=950604 CPUtime=3 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 24005 0 0 0 291 9 0 0 18 0 8 0 174636071 973418496 161250 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=950604 CPUtime=2.94 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 22377 0 0 0 285 9 0 0 18 0 8 0 174636071 973418496 161252 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=950604 CPUtime=3.01 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 22349 0 0 0 292 9 0 0 18 0 8 0 174636071 973418496 161252 33554432000 4194304 4580107 140736487061840 18446744073709551615 4235735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=950604 CPUtime=2.99 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 22813 0 0 0 290 9 0 0 19 0 8 0 174636071 973418496 161252 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=950604 CPUtime=3 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 22886 0 0 0 290 10 0 0 18 0 8 0 174636071 973418496 161252 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=950604 CPUtime=3 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 23412 0 0 0 290 10 0 0 18 0 8 0 174636071 973418496 161255 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=950604 CPUtime=3.01 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 9284 0 0 0 296 5 0 0 19 0 8 0 174636071 973418496 161256 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.03
Current children cumulated vsize (KiB) 950604

[startup+6.30052 s]
/proc/loadavg: 7.08 4.41 1.88 10/416 31471
/proc/meminfo: memFree=14172064/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=1244344 CPUtime=49.44 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) R 31461 31463 31362 0 -1 4202496 237227 0 0 0 4850 94 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294708 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 311086 227151 363 95 0 306068 0
[pid=31463/tid=31464] ppid=31461 vsize=1244344 CPUtime=6.18 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 32656 0 0 0 607 11 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=1244344 CPUtime=6.09 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 32342 0 0 0 597 12 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=1244344 CPUtime=6.19 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 32256 0 0 0 608 11 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=1244344 CPUtime=6.18 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 31435 0 0 0 606 12 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=1244344 CPUtime=6.18 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 32377 0 0 0 605 13 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=1244344 CPUtime=6.17 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 31979 0 0 0 604 13 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=1244344 CPUtime=6.2 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 11933 0 0 0 614 6 0 0 21 0 8 0 174636071 1274208256 227151 33554432000 4194304 4580107 140736487061840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/loadavg: 4.87 6.19 3.73 4/416 31482
/proc/meminfo: memFree=12419576/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=2985.2 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540409 0 0 0 298039 481 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 664198 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=405.5 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 216229 0 0 0 40487 63 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416082 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=410.27 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 40969 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=410.28 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 41005 23 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022660 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2985.2
Current children cumulated vsize (KiB) 3202444

[startup+423.201 s]
/proc/loadavg: 4.46 6.03 3.72 4/416 31483
/proc/meminfo: memFree=12419688/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=3023.64 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540409 0 0 0 301883 481 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 664198 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=418.31 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 216229 0 0 0 41768 63 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4406338 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=423.08 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 42250 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=423.1 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 42287 23 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3023.64
Current children cumulated vsize (KiB) 3202444

[startup+429.6 s]
/proc/loadavg: 4.34 5.98 3.72 4/416 31483
/proc/meminfo: memFree=12419688/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=3042.8 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540409 0 0 0 303799 481 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 664198 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=424.7 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 216229 0 0 0 42407 63 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416734 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=429.47 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 42889 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=429.48 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 42925 23 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3042.8
Current children cumulated vsize (KiB) 3202444

[startup+436.001 s]
/proc/loadavg: 4.23 5.93 3.71 4/416 31483
/proc/meminfo: memFree=12419684/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=3062 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540409 0 0 0 305719 481 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 664198 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=431.1 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 216229 0 0 0 43047 63 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=435.87 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 43529 58 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=435.88 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 43565 23 0 0 25 0 8 0 174636071 3279302656 664198 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022660 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3062
Current children cumulated vsize (KiB) 3202444

[startup+439.201 s]
/proc/loadavg: 4.13 5.88 3.71 3/416 31483
/proc/meminfo: memFree=12421172/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=3070.79 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540411 0 0 0 306598 481 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 663694 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=433.49 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 216231 0 0 0 43286 63 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=439.07 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 43849 58 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=439.08 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 43885 23 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3070.79
Current children cumulated vsize (KiB) 3202444

[startup+440.8 s]
/proc/loadavg: 4.13 5.88 3.71 3/416 31483
/proc/meminfo: memFree=12421048/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=3074.02 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540411 0 0 0 306921 481 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 663694 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=433.49 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 216231 0 0 0 43286 63 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=440.68 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 44010 58 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 4406334 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=440.7 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 44047 23 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3074.02
Current children cumulated vsize (KiB) 3202444

[startup+441.201 s]
/proc/loadavg: 4.13 5.88 3.71 3/416 31483
/proc/meminfo: memFree=12421048/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=3202444 CPUtime=3074.79 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) S 31461 31463 31362 0 -1 4202496 1540411 0 0 0 306998 481 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 800611 663694 381 95 0 795593 0
[pid=31463/tid=31464] ppid=31461 vsize=3202444 CPUtime=351.75 cores=0-7
/proc/31463/task/31464/stat : 31464 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 235803 0 0 0 35125 50 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 6 0 0 0
[pid=31463/tid=31465] ppid=31461 vsize=3202444 CPUtime=433.49 cores=0-7
/proc/31463/task/31465/stat : 31465 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 216231 0 0 0 43286 63 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 1 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=3202444 CPUtime=352.18 cores=0-7
/proc/31463/task/31466/stat : 31466 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 189187 0 0 0 35160 58 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=3202444 CPUtime=351.73 cores=0-7
/proc/31463/task/31467/stat : 31467 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 204199 0 0 0 35102 71 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=3202444 CPUtime=441.07 cores=0-7
/proc/31463/task/31468/stat : 31468 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 163466 0 0 0 44049 58 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=3202444 CPUtime=351.65 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) S 31461 31463 31362 0 -1 4202560 165862 0 0 0 35112 53 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393047092 0 0 4096 2 18446604452354192384 0 0 -1 2 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=3202444 CPUtime=441.08 cores=0-7
/proc/31463/task/31470/stat : 31470 (strangenight2-m) R 31461 31463 31362 0 -1 4202560 85239 0 0 0 44085 23 0 0 25 0 8 0 174636071 3279302656 663694 33554432000 4194304 4580107 140736487061840 18446744073709551615 47857393022656 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3074.79
Current children cumulated vsize (KiB) 3202444

[startup+441.401 s]
/proc/loadavg: 4.13 5.88 3.71 3/416 31483
/proc/meminfo: memFree=12421048/32950928 swapFree=62959428/67111528
[pid=31463] ppid=31461 vsize=0 CPUtime=3075.16 cores=0-7
/proc/31463/stat : 31463 (strangenight2-m) Z 31461 31463 31362 0 -1 4203548 1540416 0 0 0 307032 484 0 0 18 0 2 0 174636071 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31463/statm: 0 0 0 0 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=0 CPUtime=351.68 cores=0-7
/proc/31463/task/31469/stat : 31469 (strangenight2-m) R 31461 31463 31362 0 -1 4203588 165862 0 0 0 35112 56 0 0 18 0 2 0 174636071 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) 3075.16
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 441.484
CPU time (s): 3075.25
CPU user time (s): 3070.32
CPU system time (s): 4.93125
CPU usage (%): 696.572
Max. virtual memory (cumulated for all children) (KiB): 3575484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3070.32
system time used= 4.93125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1540416
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= 77439
involuntary context switches= 13040

runsolver used 1.65575 second user time and 4.34434 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-22 15:17:47
IDJOB=3393888
IDBENCH=20521
IDSOLVER=1878
FILE ID=node112/3393888-1306070266
RUNJOBID= node112-1306069997-31376
PBS_JOBID= 13387891
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393888-1306070266/watcher-3393888-1306070266 -o /tmp/evaluation-result-3393888-1306070266/solver-3393888-1306070266 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393888-1306070266.cnf

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

MD5SUM BENCH= 337e301d7c1a4748ec4a1ced7e688c38
RANDOM SEED=597051683

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15081500 kB
Buffers:        197200 kB
Cached:        5743080 kB
SwapCached:      74060 kB
Active:        2785248 kB
Inactive:     14834100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15081500 kB
SwapTotal:    67111528 kB
SwapFree:     62959428 kB
Dirty:            9636 kB
Writeback:           0 kB
AnonPages:    11613988 kB
Mapped:          23032 kB
Slab:           122632 kB
PageTables:      58936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98617916 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= 73324 MiB
End job on node112 at 2011-05-22 15:25:08