Trace number 3393882

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 6027.25 754.995

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark642.926
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3393882-1306070218.cnf'
0.00/0.04	c -- header says num vars:           1400
0.00/0.04	c -- header says num clauses:        4732
0.00/0.04	c -- clauses added:            0 learnts,         4732 normals,            0 xors
0.00/0.04	c -- vars added       1400
0.00/0.04	c Parsing time:  0.00 s
0.00/0.04	c  N st     0         0      1400      2677      2052         0     12297         0   no data   no data
0.00/0.05	c asymm  cl-useful: 0/2677/2677 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   10 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.00/0.05	c Replacing       10 vars Replaced      120 lits Time:     0.00 s 
0.00/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1382 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
0.00/0.06	c lits-rem:         0  cl-subs:      136  v-elim:    425  v-fix:    0  time:  0.01 s
0.00/0.07	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.07	c Finding non-binary XORs:     0.00 s (found:     377, avg size: 3.0)
0.00/0.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     0 time:   0.00
0.00/0.07	c calculated reachability. Time: 0.00
0.00/0.07	c Calc default polars -  time:   0.00 s pos:     139 undec:     488 neg:     773
0.00/0.07	c =========================================================================================
0.00/0.07	c types(t): F = full restart, N = normal restart
0.00/0.07	c types(t): S = simplification begin/end, E = solution found
0.00/0.07	c restart types(rt): st = static, dy = dynamic
0.00/0.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.07	c  B st     0         0       946      1524       867         0      8035         0   no data   no data
0.00/0.18	c Decided on static restart strategy
0.00/0.59	c  N st     8      4919       946      1524       927      4774      8035    194830   no data   no data
0.00/0.81	c  N st    10     11301       943      1524      1146      4571      8035     81829   no data   no data
8.69/1.17	c  N st    11     17045       943      1524      1156     10200      8035    187049   no data   no data
8.69/1.17	c Finding binary XORs  T:     0.00 s  found:       0
15.22/1.92	c  F st    12     25000       942      1516      1243     12743      7991    299266   no data   no data
15.22/1.92	c  N st    12     25000       942      1516      1243     12743      7988    299266   no data   no data
18.28/2.37	c Decided on static restart strategy
18.28/2.37	c  N st    18     30003       942      1516      1290     11290      7988    208474   no data   no data
18.28/2.37	c  S st    18     30003       942      1516      1290     11290      7988    208474   no data   no data
19.08/2.43	c  S st    18     30509       942      1516      1295     11789      7988    220603   no data   no data
19.08/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.08/2.44	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    574 BRemL:    309 BRemN:      0 P:  0.6M T:  0.01
19.08/2.45	c Replacing        2 vars Replaced      323 lits Time:     0.00 s 
19.08/2.45	c blocked clauses removed:        0 vars:      0 tried:         238 T: 0.00 s
19.08/2.45	c bin-w-bin subsume rem            7 bins  time:  0.00 s
19.08/2.45	c subs with bin:       32  lits-rem:        35  v-fix:    0  time:  0.00 s
19.08/2.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    937 time:  0.00 s
19.08/2.45	c Removed useless bin:       8  fixed:     0  props:   0.01M  time:  0.00 s
19.08/2.45	c lits-rem:         0  cl-subs:       11  v-elim:      9  v-fix:    0  time:  0.00 s
19.08/2.48	c subs with bin:       34  lits-rem:      3364  v-fix:    0  time:  0.02 s
19.88/2.55	c lits-rem:       873  cl-subs:      586  v-elim:      0  v-fix:    0  time:  0.06 s
19.88/2.56	c asymm  cl-useful: 3/1481/1481 lits-rem:3 time: 0.01
19.88/2.56	c calculated reachability. Time: 0.00
19.88/2.56	c  N st    18     30509       928      1481      1491     10851      7807    196015   no data   no data
22.28/2.85	c Finding binary XORs  T:     0.00 s  found:       0
25.46/3.23	c  N st    20     37620       928      1481      1494     10470      7807    161562   no data   no data
31.05/3.90	c  N st    21     44020       928      1481      1496     16645      7807    338314   no data   no data
31.05/3.90	c Finding binary XORs  T:     0.00 s  found:       0
31.85/4.09	c  S st    22     45763       928      1481      1747      9905      7807    119345   no data   no data
32.77/4.14	c  S st    22     46267       928      1481      1747     10409      7807    132049   no data   no data
32.77/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.77/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:    237 BRemN:      4 P:  0.5M T:  0.01
32.77/4.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.77/4.15	c bin-w-bin subsume rem           11 bins  time:  0.00 s
32.77/4.15	c subs with bin:        4  lits-rem:         1  v-fix:    0  time:  0.00 s
32.77/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    928 time:  0.00 s
32.77/4.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
32.77/4.16	c lits-rem:         1  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
32.77/4.16	c subs with bin:       14  lits-rem:       110  v-fix:    0  time:  0.01 s
32.77/4.17	c lits-rem:       131  cl-subs:      156  v-elim:      0  v-fix:    0  time:  0.01 s
32.77/4.17	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
32.77/4.18	c vivif2 --  cl tried     9871 cl shrink     1064 lits rem       1984 time: 0.00
32.77/4.19	c asymm  cl-useful: 3/1483/1483 lits-rem:3 time: 0.01
32.77/4.19	c calculated reachability. Time: 0.00
32.77/4.19	c  N st    22     46267       925      1483      1486      9871      7807    121676   no data   no data
44.62/5.63	c  N st    23     60666       925      1483      1486     14545      7807    235034   no data   no data
53.41/6.73	c  N st    24     69400       924      1483      1522     12613      7807    148459   no data   no data
53.41/6.73	c  S st    24     69400       924      1483      1522     12613      7807    148459   no data   no data
53.41/6.73	c Finding binary XORs  T:     0.00 s  found:       0
53.41/6.79	c  S st    24     69904       924      1483      1542     13063      7801    160714   no data   no data
53.41/6.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.20/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     17 BRemN:      0 P:  0.6M T:  0.01
54.20/6.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
54.20/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.20/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.20/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
54.20/6.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
54.20/6.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
54.20/6.82	c subs with bin:       15  lits-rem:       133  v-fix:    0  time:  0.01 s
54.20/6.84	c lits-rem:       206  cl-subs:      291  v-elim:      0  v-fix:    0  time:  0.02 s
54.20/6.84	c vivif2 --  cl tried     1483 cl shrink        0 lits rem          0 time: 0.00
54.20/6.84	c vivif2 --  cl tried    12757 cl shrink      729 lits rem       1722 time: 0.01
54.20/6.85	c asymm  cl-useful: 4/1483/1483 lits-rem:8 time: 0.01
54.20/6.85	c calculated reachability. Time: 0.00
54.20/6.85	c  N st    24     69904       924      1481      1529     12757      7796    153861   no data   no data
70.95/8.90	c  F st    25     87500       924      1481      1529     18347      7796    290481   no data   no data
70.95/8.90	c  N st    25     87500       924      1481      1529     18347      7796    290481   no data   no data
72.55/9.16	c Finding binary XORs  T:     0.00 s  found:       0
75.76/9.58	c Decided on static restart strategy
78.94/9.97	c  N st    32     95539       924      1481      1577     26167      7796    482152   no data   no data
88.52/11.17	c  N st    34    104856       923      1481      1619     22611      7796    357103   no data   no data
88.52/11.17	c  S st    34    104856       923      1481      1619     22611      7796    357103   no data   no data
88.52/11.17	c Finding binary XORs  T:     0.00 s  found:       0
89.32/11.24	c  S st    34    105356       923      1481      1637     22953      7788    362134   no data   no data
89.32/11.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
89.32/11.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:     38 BRemN:      0 P:  0.8M T:  0.02
89.32/11.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.32/11.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.32/11.26	c subs with bin:        8  lits-rem:         2  v-fix:    0  time:  0.00 s
89.32/11.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    923 time:  0.00 s
89.32/11.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
89.32/11.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
89.32/11.30	c subs with bin:      107  lits-rem:       258  v-fix:    0  time:  0.02 s
91.73/11.50	c lits-rem:       746  cl-subs:     2882  v-elim:      0  v-fix:    0  time:  0.20 s
91.73/11.50	c vivif2 --  cl tried     1473 cl shrink        0 lits rem          0 time: 0.00
91.73/11.51	c vivif2 --  cl tried    19964 cl shrink     2175 lits rem       3939 time: 0.01
91.73/11.53	c asymm  cl-useful: 1/1473/1473 lits-rem:1 time: 0.01
91.73/11.53	c calculated reachability. Time: 0.00
91.73/11.53	c  N st    34    105356       923      1473      1603     19964      7770    316095   no data   no data
102.10/12.89	c  N st    35    114955       923      1473      1603     15968      7770    179818   no data   no data
118.07/14.86	c  N st    36    129352       923      1473      1604     29835      7770    510545   no data   no data
142.82/17.93	c  N st    37    150947       923      1473      1605     21232      7770    265822   no data   no data
149.99/18.87	c  S st    38    158034       923      1473      1610     28147      7770    469396   no data   no data
150.79/18.97	c  S st    38    158535       923      1473      1612     28645      7770    479205   no data   no data
150.79/18.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
151.59/19.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     10 BRemN:      0 P:  1.1M T:  0.02
151.59/19.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
151.59/19.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.59/19.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.59/19.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    923 time:  0.00 s
151.59/19.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
151.59/19.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
151.59/19.05	c subs with bin:      146  lits-rem:       202  v-fix:    0  time:  0.03 s
153.99/19.34	c lits-rem:      1020  cl-subs:     2110  v-elim:      0  v-fix:    0  time:  0.29 s
153.99/19.34	c vivif2 --  cl tried     1473 cl shrink        0 lits rem          0 time: 0.00
153.99/19.36	c vivif2 --  cl tried    26389 cl shrink     3374 lits rem       6014 time: 0.02
153.99/19.38	c asymm  cl-useful: 1/1473/1473 lits-rem:1 time: 0.02
153.99/19.38	c calculated reachability. Time: 0.00
153.99/19.38	c  N st    38    158535       923      1473      1608     26389      7769    440223   no data   no data
213.87/26.81	c  N st    39    207124       923      1473      1609     21185      7769    229027   no data   no data
213.87/26.81	c Finding binary XORs  T:     0.00 s  found:       0
251.39/31.55	c  N st    40    237802       923      1473      1631     31395      7769    458484   no data   no data
251.39/31.55	c  S st    40    237802       923      1473      1631     31395      7769    458484   no data   no data
252.31/31.65	c  S st    40    238305       923      1473      1633     31895      7769    469414   no data   no data
252.31/31.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.31/31.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     16 BRemN:      0 P:  1.2M T:  0.03
252.31/31.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.31/31.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.31/31.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.31/31.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    923 time:  0.00 s
252.31/31.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.31/31.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
253.12/31.72	c subs with bin:       50  lits-rem:        38  v-fix:    0  time:  0.02 s
255.38/32.08	c lits-rem:      1353  cl-subs:     3514  v-elim:      0  v-fix:    0  time:  0.36 s
255.38/32.08	c vivif2 --  cl tried     1473 cl shrink        0 lits rem          0 time: 0.00
256.18/32.10	c vivif2 --  cl tried    28331 cl shrink     4602 lits rem       7400 time: 0.02
256.18/32.12	c asymm  cl-useful: 0/1473/1473 lits-rem:0 time: 0.02
256.18/32.12	c calculated reachability. Time: 0.00
256.18/32.12	c  N st    40    238305       923      1473      1622     28331      7769    410525   no data   no data
344.00/43.15	c  F st    41    306251       923      1473      1622     30772      7769    401875   no data   no data
344.00/43.15	c  N st    41    306251       923      1473      1622     30772      7769    401875   no data   no data
344.00/43.15	c Finding binary XORs  T:     0.00 s  found:       0
349.72/43.82	c Decided on static restart strategy
378.33/47.49	c  N st    51    334555       922      1473      1711     35017      7769    515412   no data   no data
399.90/50.11	c Finding binary XORs  T:     0.00 s  found:       0
411.20/51.53	c  N st    53    357458       922      1472      1695     32411      7758    428523   no data   no data
411.20/51.53	c  S st    53    357458       922      1472      1695     32411      7758    428523   no data   no data
411.86/51.64	c  S st    53    357960       922      1472      1695     32910      7758    441690   no data   no data
411.86/51.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
411.86/51.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     40 BRemL:     77 BRemN:      0 P:  1.3M T:  0.03
411.86/51.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
411.86/51.67	c bin-w-bin subsume rem            3 bins  time:  0.00 s
411.86/51.67	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.00 s
411.86/51.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    922 time:  0.00 s
411.86/51.67	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
411.86/51.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
412.66/51.71	c subs with bin:       70  lits-rem:       633  v-fix:    0  time:  0.02 s
414.25/51.91	c lits-rem:       687  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  0.20 s
414.25/51.91	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
414.25/51.93	c vivif2 --  cl tried    31244 cl shrink     2006 lits rem       3335 time: 0.02
414.25/51.96	c asymm  cl-useful: 3/1472/1472 lits-rem:3 time: 0.02
414.25/51.96	c calculated reachability. Time: 0.00
414.25/51.96	c  N st    53    357960       922      1472      1655     31244      7747    411911   no data   no data
463.88/58.19	c  N st    54    390353       922      1472      1656     37810      7747    535252   no data   no data
463.88/58.19	c Finding binary XORs  T:     0.00 s  found:       0
537.20/67.30	c  N st    55    438942       922      1472      1662     32320      7747    401927   no data   no data
640.18/80.29	c Finding binary XORs  T:     0.00 s  found:       0
643.38/80.63	c  N st    56    511824       920      1470      1652     44187      7723    814711   no data   no data
684.90/85.80	c  N st    57    536940       920      1470      1653     39301      7723    505257   no data   no data
684.90/85.80	c  S st    57    536940       920      1470      1653     39301      7723    505257   no data   no data
685.70/85.96	c  S st    57    537442       920      1470      1653     39801      7723    516464   no data   no data
685.70/85.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
685.70/85.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    124 BRemL:     77 BRemN:      0 P:  1.6M T:  0.04
685.70/86.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
685.70/86.00	c bin-w-bin subsume rem            1 bins  time:  0.00 s
686.50/86.00	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  0.00 s
686.50/86.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    919 time:  0.00 s
686.50/86.00	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
686.50/86.00	c lits-rem:         3  cl-subs:        1  v-elim:      3  v-fix:    0  time:  0.01 s
686.50/86.05	c subs with bin:      170  lits-rem:       108  v-fix:    0  time:  0.03 s
687.30/86.18	c lits-rem:       602  cl-subs:      938  v-elim:      0  v-fix:    0  time:  0.13 s
687.30/86.18	c vivif2 --  cl tried     1471 cl shrink        0 lits rem          0 time: 0.00
688.10/86.20	c vivif2 --  cl tried    37270 cl shrink     2230 lits rem       3681 time: 0.02
688.10/86.25	c asymm  cl-useful: 2/1471/1471 lits-rem:2 time: 0.04
688.10/86.25	c calculated reachability. Time: 0.00
688.10/86.25	c  N st    57    537442       916      1471      1683     37270      7765    476278   no data   no data
966.71/121.18	c  N st    58    701426       916      1471      1683     67502      7765   1166937   no data   no data
967.51/121.21	c Finding binary XORs  T:     0.00 s  found:       0
1155.12/144.79	c  N st    59    806165       914      1471      1689     61085      7741    936421   no data   no data
1155.12/144.79	c  S st    59    806165       914      1471      1689     61085      7741    936421   no data   no data
1155.12/144.79	c Finding binary XORs  T:     0.00 s  found:       0
1157.65/145.03	c  S st    59    806668       913      1468      1825     61518      7729    947097   no data   no data
1157.65/145.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1158.31/145.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:    105 BRemN:      0 P:  2.7M T:  0.07
1158.31/145.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1158.31/145.10	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1158.31/145.11	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
1158.31/145.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    913 time:  0.00 s
1158.31/145.11	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1158.31/145.12	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
1158.31/145.18	c subs with bin:       14  lits-rem:       229  v-fix:    0  time:  0.04 s
1184.00/148.33	c lits-rem:      1503  cl-subs:    10840  v-elim:      0  v-fix:    0  time:  3.15 s
1184.00/148.34	c vivif2 --  cl tried     1464 cl shrink        0 lits rem          0 time: 0.00
1184.00/148.37	c vivif2 --  cl tried    50664 cl shrink     3643 lits rem       5330 time: 0.04
1184.66/148.44	c asymm  cl-useful: 1/1464/1464 lits-rem:1 time: 0.06
1184.66/148.44	c calculated reachability. Time: 0.00
1184.66/148.44	c  N st    59    806668       913      1464      1722     50664      7679    770482   no data   no data
1332.50/166.98	c Finding binary XORs  T:     0.00 s  found:       0
1695.61/212.40	c  F st    60   1071875       909      1459      1636     66804      7633   1016135   no data   no data
1695.61/212.40	c  N st    60   1071875       909      1459      1636     66804      7633   1016135   no data   no data
1695.61/212.41	c Finding binary XORs  T:     0.00 s  found:       0
1706.79/213.82	c Decided on static restart strategy
1751.51/219.46	c  N st    70   1100175       907      1457      1765     51231      7609    653458   no data   no data
1751.51/219.46	c Finding binary XORs  T:     0.00 s  found:       0
1781.83/223.27	c Finding binary XORs  T:     0.00 s  found:       0
1828.14/229.06	c  N st    72   1136174       907      1457      1926     85710      7609   1480596   no data   no data
1896.78/237.61	c  N st    73   1168566       906      1457      1927     72777      7609   1118722   no data   no data
2006.97/251.48	c  N st    74   1210002       905      1457      1932     67727      7609    967018   no data   no data
2006.97/251.48	c  S st    74   1210002       905      1457      1932     67727      7609    967018   no data   no data
2009.49/251.72	c  S st    74   1210506       905      1457      1940     68227      7609    977790   no data   no data
2009.49/251.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2010.15/251.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    217 BRemL:    281 BRemN:      0 P:  3.2M T:  0.08
2010.15/251.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2010.15/251.81	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2010.15/251.81	c subs with bin:        4  lits-rem:         6  v-fix:    0  time:  0.00 s
2010.15/251.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    905 time:  0.00 s
2010.15/251.81	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2010.15/251.82	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.01 s
2010.95/251.90	c subs with bin:       20  lits-rem:       290  v-fix:    0  time:  0.04 s
2025.34/253.73	c lits-rem:      3321  cl-subs:     5556  v-elim:      0  v-fix:    0  time:  1.84 s
2025.34/253.73	c vivif2 --  cl tried     1457 cl shrink        0 lits rem          0 time: 0.00
2025.34/253.78	c vivif2 --  cl tried    62468 cl shrink     3011 lits rem       4026 time: 0.04
2026.26/253.87	c asymm  cl-useful: 0/1457/1457 lits-rem:0 time: 0.09
2026.26/253.87	c calculated reachability. Time: 0.00
2026.26/253.87	c  N st    74   1210506       903      1457      1795     62468      7579    892576   no data   no data
2026.26/253.87	c Finding binary XORs  T:     0.00 s  found:       0
2201.90/275.91	c  N st    75   1283388       903      1457      1795     86112      7579   1340644   no data   no data
2202.71/275.92	c Finding binary XORs  T:     0.00 s  found:       0
2307.28/289.10	c Finding binary XORs  T:     0.00 s  found:       0
2438.09/305.48	c  N st    76   1392712       899      1451      1858     87321      7534   1271195   no data   no data
2809.31/351.94	c  N st    77   1556699       898      1451      1863    103465      7534   1673762   no data   no data
2809.31/351.96	c Finding binary XORs  T:     0.00 s  found:       1
3184.54/398.95	c  N st    78   1710507       895      1446      1811     92699      7484   1429622   no data   no data
3184.54/398.95	c  S st    78   1710507       895      1446      1811     92699      7484   1429622   no data   no data
3187.73/399.35	c  S st    78   1711009       892      1446      1824     93197      7484   1437621   no data   no data
3187.73/399.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3188.53/399.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    178 BRemL:    201 BRemN:      0 P:  3.1M T:  0.09
3188.53/399.47	c Replacing        1 vars Replaced      616 lits Time:     0.02 s 
3188.53/399.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3188.53/399.47	c bin-w-bin subsume rem           12 bins  time:  0.00 s
3188.53/399.47	c subs with bin:       15  lits-rem:        21  v-fix:    0  time:  0.00 s
3188.53/399.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    891 time:  0.00 s
3188.53/399.47	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3188.53/399.49	c lits-rem:         0  cl-subs:        2  v-elim:      3  v-fix:    0  time:  0.02 s
3190.13/399.64	c subs with bin:      178  lits-rem:      3085  v-fix:    0  time:  0.10 s
3249.20/407.07	c lits-rem:      3366  cl-subs:    15205  v-elim:      0  v-fix:    0  time:  7.43 s
3249.20/407.07	c vivif2 --  cl tried     1434 cl shrink        1 lits rem          2 time: 0.00
3250.01/407.14	c vivif2 --  cl tried    77584 cl shrink     6804 lits rem       9367 time: 0.07
3250.81/407.27	c asymm  cl-useful: 1/1434/1434 lits-rem:1 time: 0.13
3250.81/407.27	c calculated reachability. Time: 0.00
3250.81/407.27	c  N st    78   1711009       888      1434      1597     77584      7411   1193778   no data   no data
3250.81/407.27	c Finding binary XORs  T:     0.00 s  found:       0
3286.74/411.78	c Finding binary XORs  T:     0.00 s  found:       0
4238.37/530.97	c  N st    79   2079974       887      1433      1664     90087      7400   1255308   no data   no data
4238.37/530.98	c Finding binary XORs  T:     0.00 s  found:       0
4529.09/567.33	c  N st    80   2211009       883      1427      1611     93882      7353   1303846   no data   no data
4529.09/567.33	c  S st    80   2211009       883      1427      1611     93882      7353   1303846   no data   no data
4529.09/567.34	c Finding binary XORs  T:     0.00 s  found:       5
4532.15/567.72	c  S st    80   2211511       879      1412      1599     93532      7296   1299241   no data   no data
4532.15/567.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.01
4532.95/567.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    113 BRemL:    253 BRemN:      0 P:  4.9M T:  0.11
4532.95/567.85	c Replacing        6 vars Replaced     1059 lits Time:     0.01 s 
4532.95/567.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4532.95/567.85	c bin-w-bin subsume rem           14 bins  time:  0.00 s
4532.95/567.85	c subs with bin:       24  lits-rem:        19  v-fix:    0  time:  0.00 s
4532.95/567.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    872 time:  0.00 s
4532.95/567.85	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4532.95/567.87	c lits-rem:         0  cl-subs:        4  v-elim:      8  v-fix:    0  time:  0.02 s
4542.53/569.04	c subs with bin:     5136  lits-rem:      6534  v-fix:    0  time:  1.13 s
4572.08/572.73	c lits-rem:      3705  cl-subs:    12039  v-elim:      0  v-fix:    0  time:  3.70 s
4572.08/572.73	c vivif2 --  cl tried     1390 cl shrink        0 lits rem          0 time: 0.00
4572.08/572.81	c vivif2 --  cl tried    73669 cl shrink    12050 lits rem      17819 time: 0.07
4573.81/572.93	c asymm  cl-useful: 5/1390/1390 lits-rem:5 time: 0.12
4573.81/572.93	c calculated reachability. Time: 0.00
4573.81/572.93	c  N st    80   2211511       864      1390      1397     73663      7201    984372   no data   no data
4573.81/572.93	c Finding binary XORs  T:     0.00 s  found:       0
4678.39/586.03	c Finding binary XORs  T:     0.00 s  found:       1
5829.61/730.28	c  N st    81   2711512       862      1385      1445    101382      7174   1290851   no data   no data
5829.61/730.28	c  S st    81   2711512       862      1385      1445    101382      7174   1290851   no data   no data
5830.27/730.39	c Finding binary XORs  T:     0.00 s  found:      60
5831.07/730.48	c Replacing       61 vars Replaced    42899 lits Time:     0.09 s 
5833.46/730.75	c  S st    81   2712018       745      1198      1604     75966      6201    911656   no data   no data
5833.46/730.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5834.26/730.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    133 BRemL:    430 BRemN:      1 P:  2.4M T:  0.06
5834.26/730.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5834.26/730.82	c bin-w-bin subsume rem          112 bins  time:  0.00 s
5834.26/730.82	c subs with bin:       22  lits-rem:        14  v-fix:    0  time:  0.00 s
5834.26/730.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    745 time:  0.00 s
5834.26/730.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5834.26/730.84	c lits-rem:         0  cl-subs:       19  v-elim:     18  v-fix:    0  time:  0.01 s
5857.41/733.77	c subs with bin:    18671  lits-rem:      4399  v-fix:    0  time:  2.91 s
5861.41/734.20	c lits-rem:      4955  cl-subs:     1938  v-elim:      0  v-fix:    0  time:  0.43 s
5861.41/734.20	c vivif2 --  cl tried     1156 cl shrink        5 lits rem          5 time: 0.00
5861.41/734.25	c vivif2 --  cl tried    52134 cl shrink    10020 lits rem      15244 time: 0.04
5862.21/734.30	c asymm  cl-useful: 18/1151/1151 lits-rem:18 time: 0.06
5862.21/734.30	c calculated reachability. Time: 0.00
5862.21/734.30	c  N st    81   2712018       727      1151      1166     52107      5978    543193   no data   no data
5862.21/734.31	c Finding binary XORs  T:     0.00 s  found:       0
6012.30/753.18	c Finding binary XORs  T:     0.00 s  found:      37
6012.30/753.20	c Replacing       60 vars Replaced    18824 lits Time:     0.02 s 
6026.67/754.96	c Following stats are for *FIRST FINISHED THREAD ONLY*
6026.67/754.96	c num threads              : 8          
6026.67/754.96	c restarts                 : 82         
6026.67/754.96	c dynamic restarts         : 0          
6026.67/754.96	c static restarts          : 82         
6026.67/754.96	c full restarts            : 4          
6026.67/754.96	c total simplify time      : 0.60       
6026.67/754.96	c learnts DL2              : 0          
6026.67/754.96	c learnts size 2           : 6628       
6026.67/754.96	c learnts size 1           : 142         (10.14     % of vars)
6026.67/754.96	c filedLit time            : 0.56        (0.07      % time)
6026.67/754.96	c v-elim SatELite          : 470         (33.57     % vars)
6026.67/754.96	c SatELite time            : 26.08       (3.46      % time)
6026.67/754.96	c v-elim xor               : 12          (0.86      % vars)
6026.67/754.96	c xor elim time            : 0.04        (0.00      % time)
6026.67/754.96	c num binary xor trees     : 59         
6026.67/754.96	c binxor trees' crown      : 81          (1.37      leafs/tree)
6026.67/754.96	c bin xor find time        : 0.02       
6026.67/754.96	c OTF clause improved      : 100128      (0.04      clauses/conflict)
6026.67/754.96	c OTF impr. size diff      : 109856      (1.10       lits/clause)
6026.67/754.96	c OTF cl watch-shrink      : 1618702     (0.58      clauses/conflict)
6026.67/754.96	c OTF cl watch-sh-lit      : 4540362     (2.80       lits/clause)
6026.67/754.96	c tried to recurMin cls    : 645202      (23.06      % of conflicts)
6026.67/754.96	c updated cache            : 14211       (0.02       lits/tried recurMin)
6026.67/754.96	c unit cls recevied        : 77          (54.23     % of units)
6026.67/754.96	c unit cls sent            : 11          (7.75      % of units)
6026.67/754.96	c bin cls recevied         : 3153       
6026.67/754.96	c bin cls sent             : 392        
6026.67/754.96	c clauses over max glue    : 0           (0.00      % of all clauses)
6026.67/754.96	c conflicts                : 2797402     (3706.89   / sec)
6026.67/754.96	c decisions                : 3224643     (0.56      % random)
6026.67/754.96	c bogo-props               : 132694318319 (175835746.11 / sec)
6026.67/754.96	c conflict literals        : 65374845    (61.50     % deleted)
6026.67/754.96	c Memory used              : 920.03      MB
6026.67/754.96	c single-thread CPU time   : 754.65      s
6026.67/754.96	c all-threads sum CPU time : 6024.76     s
6026.67/754.96	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-3393882-1306070218/watcher-3393882-1306070218 -o /tmp/evaluation-result-3393882-1306070218/solver-3393882-1306070218 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393882-1306070218.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.03 3.81 1.57 2/491 25607
/proc/meminfo: memFree=18479272/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=92144 CPUtime=0.09 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 420 0 0 0 9 0 0 0 22 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151511 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 23036 360 302 95 0 18018 0
[pid=25607/tid=25608] ppid=25605 vsize=92144 CPUtime=0.01 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=92144 CPUtime=0 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151922 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=92144 CPUtime=0.01 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=92144 CPUtime=0.01 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=92144 CPUtime=0.01 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=92144 CPUtime=0 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=92144 CPUtime=0.01 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 718622786 94355456 360 33554432000 4194304 4580107 140735272033584 18446744073709551615 47214289151513 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.120592 s]
/proc/loadavg: 6.03 3.81 1.57 2/491 25607
/proc/meminfo: memFree=18479272/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=559500 CPUtime=7.44 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 9768 0 0 0 739 5 0 0 19 0 8 0 718622786 572928000 5855 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 139875 5855 379 95 0 134857 0
[pid=25607/tid=25608] ppid=25605 vsize=559500 CPUtime=0.92 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1127 0 0 0 92 0 0 0 19 0 8 0 718622786 572928000 5855 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=559500 CPUtime=0.89 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1153 0 0 0 89 0 0 0 19 0 8 0 718622786 572928000 5855 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=559500 CPUtime=0.93 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1183 0 0 0 93 0 0 0 19 0 8 0 718622786 572928000 5856 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=559500 CPUtime=0.92 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1146 0 0 0 92 0 0 0 19 0 8 0 718622786 572928000 5856 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=559500 CPUtime=0.93 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1204 0 0 0 93 0 0 0 19 0 8 0 718622786 572928000 5856 33554432000 4194304 4580107 140735272033584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=559500 CPUtime=0.92 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1190 0 0 0 92 0 0 0 19 0 8 0 718622786 572928000 5856 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=559500 CPUtime=0.93 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1000 0 0 0 93 0 0 0 19 0 8 0 718622786 572928000 5856 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 559500

[startup+1.02392 s]
/proc/loadavg: 6.03 3.81 1.57 2/491 25607
/proc/meminfo: memFree=18479272/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=559500 CPUtime=8.08 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 10048 0 0 0 803 5 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 139875 6135 379 95 0 134857 0
[pid=25607/tid=25608] ppid=25605 vsize=559500 CPUtime=1 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1156 0 0 0 100 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=559500 CPUtime=0.97 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1188 0 0 0 97 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=559500 CPUtime=1.01 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1218 0 0 0 101 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=559500 CPUtime=1 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1180 0 0 0 100 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=559500 CPUtime=1.01 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1245 0 0 0 101 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=559500 CPUtime=1 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1220 0 0 0 100 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=559500 CPUtime=1.01 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1050 0 0 0 101 0 0 0 19 0 8 0 718622786 572928000 6135 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 559500

[startup+1.10091 s]
/proc/loadavg: 6.03 3.81 1.57 2/491 25607
/proc/meminfo: memFree=18479272/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=559640 CPUtime=8.69 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 10348 0 0 0 864 5 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293251 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 139910 6435 379 95 0 134892 0
[pid=25607/tid=25608] ppid=25605 vsize=559640 CPUtime=1.08 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1194 0 0 0 108 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=559640 CPUtime=1.05 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1226 0 0 0 105 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=559640 CPUtime=1.08 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1252 0 0 0 108 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=559640 CPUtime=1.08 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1226 0 0 0 108 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=559640 CPUtime=1.08 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1285 0 0 0 108 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=559640 CPUtime=1.07 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1245 0 0 0 107 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=559640 CPUtime=1.08 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1101 0 0 0 108 0 0 0 19 0 8 0 718622786 573071360 6435 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 559640

[startup+1.20089 s]
/proc/loadavg: 6.03 3.81 1.57 2/491 25607
/proc/meminfo: memFree=18479272/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=559700 CPUtime=9.49 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 10795 0 0 0 944 5 0 0 19 0 8 0 718622786 573132800 6609 33554432000 4194304 4580107 140735272033584 18446744073709551615 4316421 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 139925 6611 379 95 0 134907 0
[pid=25607/tid=25608] ppid=25605 vsize=559700 CPUtime=1.18 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1235 0 0 0 118 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=559700 CPUtime=1.15 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1270 0 0 0 115 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=559700 CPUtime=1.18 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1303 0 0 0 118 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=559700 CPUtime=1.18 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1262 0 0 0 118 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=559700 CPUtime=1.18 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1336 0 0 0 118 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=559700 CPUtime=1.17 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1291 0 0 0 117 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=559700 CPUtime=1.18 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1228 0 0 0 118 0 0 0 19 0 8 0 718622786 573132800 6611 33554432000 4194304 4580107 140735272033584 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 559700

[startup+1.50084 s]
/proc/loadavg: 6.03 3.81 1.57 2/491 25607
/proc/meminfo: memFree=18479272/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=560312 CPUtime=11.9 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 12392 0 0 0 1184 6 0 0 19 0 8 0 718622786 573759488 6609 33554432000 4194304 4580107 140735272033584 18446744073709551615 4296158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 140078 6609 379 95 0 135060 0
[pid=25607/tid=25608] ppid=25605 vsize=560312 CPUtime=1.48 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1359 0 0 0 148 0 0 0 19 0 8 0 718622786 573759488 6609 33554432000 4194304 4580107 140735272033584 18446744073709551615 4318692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=560312 CPUtime=1.45 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1525 0 0 0 145 0 0 0 20 0 8 0 718622786 573759488 6609 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=560312 CPUtime=1.48 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1565 0 0 0 148 0 0 0 19 0 8 0 718622786 573759488 6609 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=560312 CPUtime=1.48 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1409 0 0 0 148 0 0 0 19 0 8 0 718622786 573759488 6610 33554432000 4194304 4580107 140735272033584 18446744073709551615 4340614 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=560312 CPUtime=1.48 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1598 0 0 0 148 0 0 0 19 0 8 0 718622786 573759488 6610 33554432000 4194304 4580107 140735272033584 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=560312 CPUtime=1.47 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1488 0 0 0 147 0 0 0 20 0 8 0 718622786 573759488 6610 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295409 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=560312 CPUtime=1.48 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 1358 0 0 0 148 0 0 0 19 0 8 0 718622786 573759488 6610 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 560312

[startup+3.11855 s]
/proc/loadavg: 6.03 3.81 1.57 9/499 25615
/proc/meminfo: memFree=18439296/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=553292 CPUtime=24.8 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 20779 0 0 0 2473 7 0 0 25 0 8 0 718622786 566571008 9471 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 138323 9472 380 95 0 133305 0
[pid=25607/tid=25608] ppid=25605 vsize=553292 CPUtime=3.1 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2349 0 0 0 309 1 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=553292 CPUtime=3.03 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2284 0 0 0 303 0 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=553292 CPUtime=3.1 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2397 0 0 0 310 0 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=553292 CPUtime=3.1 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2231 0 0 0 310 0 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=553292 CPUtime=3.1 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2564 0 0 0 310 0 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=553292 CPUtime=3.09 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2416 0 0 0 309 0 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4322746 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=553292 CPUtime=3.1 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 2221 0 0 0 310 0 0 0 25 0 8 0 718622786 566571008 9472 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 553292

[startup+6.30099 s]
/proc/loadavg: 6.19 3.88 1.61 9/499 25615
/proc/meminfo: memFree=18416640/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=554404 CPUtime=50.34 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 36814 0 0 0 5025 9 0 0 25 0 8 0 718622786 567709696 15629 33554432000 4194304 4580107 140735272033584 18446744073709551615 4489196 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 138601 15629 380 95 0 133583 0
[pid=25607/tid=25608] ppid=25605 vsize=554404 CPUtime=6.3 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 4746 0 0 0 629 1 0 0 25 0 8 0 718622786 567709696 15629 33554432000 4194304 4580107 140735272033584 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=554404 CPUtime=6.17 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 5456 0 0 0 617 0 0 0 25 0 8 0 718622786 567709696 15630 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=554404 CPUtime=6.3 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 5771 0 0 0 629 1 0 0 25 0 8 0 718622786 567709696 15630 33554432000 4194304 4580107 140735272033584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=554404 CPUtime=6.31 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 4292 0 0 0 630 1 0 0 25 0 8 0 718622786 567709696 15630 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=554404 CPUtime=6.31 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 3823 0 0 0 630 1 0 0 25 0 8 0 718622786 567709696 15630 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=554404 CPUtime=6.3 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 3784 0 0 0 629 1 0 0 25 0 8 0 718622786 567709696 15630 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294998 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=554404 CPUtime=6.3 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 3222 0 0 0 630 0 0 0 25 0 8 0 718622786 567709696 15630 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 88684 0 0 0 73010 30 0 0 25 0 8 0 718622786 910458880 149041 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=889120 CPUtime=730.4 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90574 0 0 0 73009 31 0 0 25 0 8 0 718622786 910458880 149041 33554432000 4194304 4580107 140735272033584 18446744073709551615 4305597 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=889120 CPUtime=730.39 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 89244 0 0 0 73002 37 0 0 25 0 8 0 718622786 910458880 149041 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=889120 CPUtime=730.19 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 69297 0 0 0 72998 21 0 0 25 0 8 0 718622786 910458880 149041 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5831.07
Current children cumulated vsize (KiB) 889120

[startup+743.2 s]
/proc/loadavg: 8.01 7.67 5.10 9/499 25635
/proc/meminfo: memFree=17863304/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=916028 CPUtime=5933.26 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 721139 0 0 0 593083 243 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 229007 155042 380 95 0 223989 0
[pid=25607/tid=25608] ppid=25605 vsize=916028 CPUtime=743.2 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92701 0 0 0 74292 28 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=916028 CPUtime=731.04 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93364 0 0 0 73072 32 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=916028 CPUtime=743.19 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106108 0 0 0 74288 31 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=916028 CPUtime=743.2 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 88684 0 0 0 74290 30 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=916028 CPUtime=743.2 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92147 0 0 0 74289 31 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=916028 CPUtime=743.2 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90485 0 0 0 74282 38 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=916028 CPUtime=743 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 69924 0 0 0 74278 22 0 0 25 0 8 0 718622786 938012672 155042 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5933.26
Current children cumulated vsize (KiB) 916028

[startup+749.601 s]
/proc/loadavg: 8.01 7.67 5.11 9/499 25635
/proc/meminfo: memFree=17846120/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=981564 CPUtime=5984.36 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 724721 0 0 0 598191 245 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4320735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 245391 158624 380 95 0 240373 0
[pid=25607/tid=25608] ppid=25605 vsize=981564 CPUtime=749.6 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92876 0 0 0 74932 28 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=981564 CPUtime=737.33 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93729 0 0 0 73701 32 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=981564 CPUtime=749.59 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106303 0 0 0 74928 31 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=981564 CPUtime=749.61 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 89877 0 0 0 74930 31 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=981564 CPUtime=749.6 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92520 0 0 0 74929 31 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=981564 CPUtime=749.59 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 91114 0 0 0 74921 38 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4415552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=981564 CPUtime=749.39 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 70199 0 0 0 74917 22 0 0 25 0 8 0 718622786 1005121536 158624 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5984.36
Current children cumulated vsize (KiB) 981564

[startup+752.801 s]
/proc/loadavg: 8.01 7.68 5.13 9/499 25635
/proc/meminfo: memFree=17893488/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=942108 CPUtime=6009.9 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 725791 0 0 0 600744 246 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 235527 145999 380 95 0 230509 0
[pid=25607/tid=25608] ppid=25605 vsize=942108 CPUtime=752.8 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92876 0 0 0 75252 28 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=942108 CPUtime=740.47 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93729 0 0 0 74015 32 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=942108 CPUtime=752.79 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106376 0 0 0 75248 31 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=942108 CPUtime=752.8 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90072 0 0 0 75249 31 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=942108 CPUtime=752.8 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92605 0 0 0 75249 31 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=942108 CPUtime=752.79 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 91559 0 0 0 75241 38 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=942108 CPUtime=752.59 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 70216 0 0 0 75237 22 0 0 25 0 8 0 718622786 964718592 145999 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6009.9
Current children cumulated vsize (KiB) 942108

[startup+753.601 s]
/proc/loadavg: 8.01 7.68 5.13 9/499 25635
/proc/meminfo: memFree=17903904/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=942108 CPUtime=6016.28 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 725971 0 0 0 601382 246 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 235527 143182 380 95 0 230509 0
[pid=25607/tid=25608] ppid=25605 vsize=942108 CPUtime=753.6 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92876 0 0 0 75332 28 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=942108 CPUtime=741.25 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93729 0 0 0 74093 32 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=942108 CPUtime=753.6 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106379 0 0 0 75328 32 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=942108 CPUtime=753.6 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90129 0 0 0 75329 31 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=942108 CPUtime=753.6 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92605 0 0 0 75329 31 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=942108 CPUtime=753.59 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 91642 0 0 0 75321 38 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=942108 CPUtime=753.39 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 70216 0 0 0 75317 22 0 0 25 0 8 0 718622786 964718592 143182 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6016.28
Current children cumulated vsize (KiB) 942108

[startup+754.418 s]
/proc/loadavg: 8.01 7.68 5.14 9/499 25635
/proc/meminfo: memFree=17902912/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=942108 CPUtime=6022.81 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 726147 0 0 0 602035 246 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 235527 143358 380 95 0 230509 0
[pid=25607/tid=25608] ppid=25605 vsize=942108 CPUtime=754.42 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92876 0 0 0 75414 28 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=942108 CPUtime=742.05 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93729 0 0 0 74173 32 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=942108 CPUtime=754.41 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106382 0 0 0 75409 32 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=942108 CPUtime=754.42 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90226 0 0 0 75411 31 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=942108 CPUtime=754.41 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92605 0 0 0 75410 31 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=942108 CPUtime=754.41 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 91718 0 0 0 75403 38 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=942108 CPUtime=754.21 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 70216 0 0 0 75399 22 0 0 25 0 8 0 718622786 964718592 143358 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6022.81
Current children cumulated vsize (KiB) 942108

[startup+754.8 s]
/proc/loadavg: 8.01 7.68 5.14 9/499 25635
/proc/meminfo: memFree=17902912/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=942108 CPUtime=6025.86 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 726215 0 0 0 602340 246 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 235527 143426 380 95 0 230509 0
[pid=25607/tid=25608] ppid=25605 vsize=942108 CPUtime=754.8 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92876 0 0 0 75452 28 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=942108 CPUtime=742.44 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93729 0 0 0 74212 32 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4320962 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=942108 CPUtime=754.8 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106383 0 0 0 75448 32 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=942108 CPUtime=754.8 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90261 0 0 0 75449 31 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=942108 CPUtime=754.8 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92605 0 0 0 75449 31 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=942108 CPUtime=754.79 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 91750 0 0 0 75441 38 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=942108 CPUtime=754.59 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 70216 0 0 0 75437 22 0 0 25 0 8 0 718622786 964718592 143426 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6025.86
Current children cumulated vsize (KiB) 942108

[startup+754.901 s]
/proc/loadavg: 8.01 7.68 5.14 9/499 25635
/proc/meminfo: memFree=17902912/32951124 swapFree=60609112/67111528
[pid=25607] ppid=25605 vsize=942108 CPUtime=6026.67 cores=0-7
/proc/25607/stat : 25607 (strangenight2-m) R 25605 25607 25541 0 -1 4202496 726233 0 0 0 602421 246 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25607/statm: 235527 143444 380 95 0 230509 0
[pid=25607/tid=25608] ppid=25605 vsize=942108 CPUtime=754.9 cores=0-7
/proc/25607/task/25608/stat : 25608 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92876 0 0 0 75462 28 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25607/tid=25609] ppid=25605 vsize=942108 CPUtime=742.54 cores=0-7
/proc/25607/task/25609/stat : 25609 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 93729 0 0 0 74222 32 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25607/tid=25610] ppid=25605 vsize=942108 CPUtime=754.9 cores=0-7
/proc/25607/task/25610/stat : 25610 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 106384 0 0 0 75458 32 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25607/tid=25611] ppid=25605 vsize=942108 CPUtime=754.9 cores=0-7
/proc/25607/task/25611/stat : 25611 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 90269 0 0 0 75459 31 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25607/tid=25612] ppid=25605 vsize=942108 CPUtime=754.9 cores=0-7
/proc/25607/task/25612/stat : 25612 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 92605 0 0 0 75459 31 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25607/tid=25613] ppid=25605 vsize=942108 CPUtime=754.89 cores=0-7
/proc/25607/task/25613/stat : 25613 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 91759 0 0 0 75451 38 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25607/tid=25614] ppid=25605 vsize=942108 CPUtime=754.69 cores=0-7
/proc/25607/task/25614/stat : 25614 (strangenight2-m) R 25605 25607 25541 0 -1 4202560 70216 0 0 0 75447 22 0 0 25 0 8 0 718622786 964718592 143444 33554432000 4194304 4580107 140735272033584 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6026.67
Current children cumulated vsize (KiB) 942108

Child status: 20
Real time (s): 754.995
CPU time (s): 6027.25
CPU user time (s): 6024.76
CPU system time (s): 2.49362
CPU usage (%): 798.317
Max. virtual memory (cumulated for all children) (KiB): 1083092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6024.76
system time used= 2.49362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 726247
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= 5356
involuntary context switches= 25933

runsolver used 3.58745 second user time and 8.76667 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-22 15:16:58
IDJOB=3393882
IDBENCH=20472
IDSOLVER=1878
FILE ID=node108/3393882-1306070218
RUNJOBID= node108-1306069999-25555
PBS_JOBID= 13387895
Free space on /tmp= 73076 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393882-1306070218/watcher-3393882-1306070218 -o /tmp/evaluation-result-3393882-1306070218/solver-3393882-1306070218 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393882-1306070218.cnf

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=1327506054

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.82
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.820
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.77
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.820
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.820
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.820
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.75
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.820
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:     32951124 kB
MemFree:      18479816 kB
Buffers:        194236 kB
Cached:        6285220 kB
SwapCached:      27044 kB
Active:        3561120 kB
Inactive:     10658580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18479816 kB
SwapTotal:    67111528 kB
SwapFree:     60609112 kB
Dirty:            5452 kB
Writeback:          56 kB
AnonPages:     7723672 kB
Mapped:          28244 kB
Slab:           116400 kB
PageTables:      65280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134536744 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= 73072 MiB
End job on node108 at 2011-05-22 15:29:33