Trace number 3321007

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-mtUNSAT 5685.18 711.453

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.01	c Using 8 threads
0.65/0.10	c This is CryptoMiniSat 3.0.0
0.65/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.65/0.10	c Reading file 'HOME/instance-3321007-1304322185.cnf'
0.65/0.10	c -- header says num vars:           1400
0.65/0.10	c -- header says num clauses:        4732
0.65/0.11	c -- clauses added:            0 learnts,         4732 normals,            0 xors
0.65/0.11	c -- vars added       1400
0.65/0.11	c Parsing time:  0.00 s
0.65/0.11	c  N st     0         0      1400      2677      2052         0     12297         0   no data   no data
0.65/0.12	c asymm  cl-useful: 0/2677/2677 lits-rem:0 time: 0.00
0.65/0.12	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   10 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.65/0.12	c Replacing       10 vars Replaced      120 lits Time:     0.00 s 
0.65/0.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.65/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.65/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.65/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1382 time:  0.00 s
0.65/0.12	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
0.65/0.14	c lits-rem:         0  cl-subs:      136  v-elim:    425  v-fix:    0  time:  0.01 s
0.65/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.65/0.14	c Finding non-binary XORs:     0.00 s (found:     377, avg size: 3.0)
0.65/0.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     0 time:   0.00
0.65/0.14	c calculated reachability. Time: 0.00
0.65/0.14	c Calc default polars -  time:   0.00 s pos:     139 undec:     488 neg:     773
0.65/0.14	c =========================================================================================
0.65/0.14	c types(t): F = full restart, N = normal restart
0.65/0.14	c types(t): S = simplification begin/end, E = solution found
0.65/0.14	c restart types(rt): st = static, dy = dynamic
0.65/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.65/0.14	c  B st     0         0       946      1524       867         0      8035         0   no data   no data
1.47/0.24	c Decided on static restart strategy
2.98/0.46	c  N st     8      4919       946      1524       927      4774      8035    194830   no data   no data
4.57/0.63	c Finding binary XORs  T:     0.00 s  found:       0
6.86/0.93	c  N st    10     11303       942      1524      1180      4516      8011     85531   no data   no data
10.85/1.45	c  N st    11     17047       942      1524      1184     10157      8011    299514   no data   no data
17.30/2.24	c  F st    12     25000       940      1524      1255     12784      8011    284592   no data   no data
17.30/2.24	c Replacing        1 vars Replaced      110 lits Time:     0.00 s 
17.30/2.24	c  N st    12     25000       939      1512      1252     12781      7965    284512   no data   no data
17.30/2.24	c Finding binary XORs  T:     0.00 s  found:       0
21.25/2.70	c Decided on static restart strategy
21.25/2.70	c  N st    18     30002       938      1512      1285     11193      7957    241874   no data   no data
21.25/2.70	c  S st    18     30002       938      1512      1285     11193      7957    241874   no data   no data
21.25/2.76	c  S st    18     30506       938      1512      1296     11682      7957    252433   no data   no data
21.25/2.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.25/2.78	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    595 BRemL:    331 BRemN:      0 P:  0.5M T:  0.02
21.25/2.78	c Replacing        1 vars Replaced       61 lits Time:     0.00 s 
21.25/2.78	c blocked clauses removed:        0 vars:      0 tried:         238 T: 0.00 s
21.25/2.78	c bin-w-bin subsume rem            5 bins  time:  0.00 s
21.25/2.78	c subs with bin:       30  lits-rem:        37  v-fix:    0  time:  0.00 s
21.25/2.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    936 time:  0.00 s
21.25/2.78	c Removed useless bin:       8  fixed:     0  props:   0.01M  time:  0.00 s
21.25/2.79	c lits-rem:         0  cl-subs:       11  v-elim:      9  v-fix:    0  time:  0.00 s
22.04/2.82	c subs with bin:       41  lits-rem:      4104  v-fix:    0  time:  0.02 s
22.04/2.89	c lits-rem:       539  cl-subs:      390  v-elim:      0  v-fix:    0  time:  0.07 s
22.84/2.90	c asymm  cl-useful: 5/1483/1483 lits-rem:5 time: 0.01
22.84/2.90	c calculated reachability. Time: 0.00
22.84/2.90	c  N st    18     30506       927      1483      1501     10869      7798    230288   no data   no data
25.29/3.23	c Finding binary XORs  T:     0.00 s  found:       0
28.44/3.66	c  N st    20     37618       927      1483      1510     10540      7798    182481   no data   no data
33.92/4.33	c  N st    21     44017       927      1483      1510     16847      7798    332671   no data   no data
33.92/4.33	c Finding binary XORs  T:     0.00 s  found:       0
34.73/4.49	c  S st    22     45759       927      1483      1779      9998      7798    130566   no data   no data
35.47/4.55	c  S st    22     46262       927      1483      1779     10500      7798    141806   no data   no data
35.47/4.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.47/4.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:    258 BRemN:      4 P:  0.5M T:  0.01
35.47/4.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35.47/4.56	c bin-w-bin subsume rem            8 bins  time:  0.00 s
35.47/4.56	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.00 s
35.47/4.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    927 time:  0.00 s
35.47/4.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.47/4.57	c lits-rem:         1  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
35.47/4.58	c subs with bin:        1  lits-rem:        83  v-fix:    0  time:  0.01 s
35.47/4.59	c lits-rem:       277  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.01 s
35.47/4.59	c vivif2 --  cl tried     1487 cl shrink        0 lits rem          0 time: 0.00
35.47/4.59	c vivif2 --  cl tried    10293 cl shrink     1281 lits rem       2428 time: 0.01
36.27/4.60	c asymm  cl-useful: 1/1487/1487 lits-rem:1 time: 0.01
36.27/4.61	c calculated reachability. Time: 0.00
36.27/4.61	c  N st    22     46262       924      1487      1504     10293      7802    135310   no data   no data
61.34/7.98	c  N st    23     60659       924      1487      1505     14801      7802    236381   no data   no data
61.34/7.98	c Finding binary XORs  T:     0.00 s  found:       0
70.14/9.08	c  N st    24     69395       924      1487      1625     12736      7802    163168   no data   no data
70.14/9.08	c  S st    24     69395       924      1487      1625     12736      7802    163168   no data   no data
70.94/9.14	c  S st    24     69899       924      1487      1648     13237      7802    174766   no data   no data
70.94/9.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
70.94/9.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     53 BRemN:      0 P:  0.6M T:  0.01
70.94/9.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
70.94/9.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.94/9.16	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  0.00 s
70.94/9.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
70.94/9.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
70.94/9.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
70.94/9.17	c subs with bin:       20  lits-rem:       102  v-fix:    0  time:  0.01 s
70.94/9.19	c lits-rem:       199  cl-subs:      442  v-elim:      0  v-fix:    0  time:  0.02 s
70.94/9.19	c vivif2 --  cl tried     1481 cl shrink        0 lits rem          0 time: 0.00
71.74/9.20	c vivif2 --  cl tried    12775 cl shrink      755 lits rem       1559 time: 0.01
71.74/9.21	c asymm  cl-useful: 3/1481/1481 lits-rem:7 time: 0.01
71.74/9.21	c calculated reachability. Time: 0.00
71.74/9.21	c  N st    24     69899       924      1479      1602     12775      7791    167606   no data   no data
86.91/11.11	c  F st    25     87501       924      1479      1603     18647      7791    336651   no data   no data
86.91/11.11	c  N st    25     87501       924      1479      1603     18647      7791    336651   no data   no data
86.91/11.11	c Finding binary XORs  T:     0.00 s  found:       0
92.52/11.80	c Decided on static restart strategy
94.96/12.17	c  N st    32     95540       924      1479      1616     26553      7791    562387   no data   no data
105.31/13.40	c  N st    34    104848       924      1479      1620     23038      7791    404130   no data   no data
105.31/13.40	c  S st    34    104848       924      1479      1620     23038      7791    404130   no data   no data
105.31/13.48	c  S st    34    105352       924      1479      1621     23538      7791    413182   no data   no data
105.31/13.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
106.10/13.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     17 BRemN:      0 P:  1.0M T:  0.02
106.10/13.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106.10/13.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.10/13.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.10/13.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
106.10/13.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
106.10/13.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
106.10/13.57	c subs with bin:      296  lits-rem:       103  v-fix:    0  time:  0.04 s
107.70/13.70	c lits-rem:       606  cl-subs:     1349  v-elim:      0  v-fix:    0  time:  0.14 s
107.70/13.70	c vivif2 --  cl tried     1479 cl shrink        0 lits rem          0 time: 0.00
107.70/13.72	c vivif2 --  cl tried    21893 cl shrink     3074 lits rem       7480 time: 0.02
107.70/13.74	c asymm  cl-useful: 1/1479/1479 lits-rem:1 time: 0.02
107.70/13.74	c calculated reachability. Time: 0.00
107.70/13.74	c  N st    34    105352       924      1479      1609     21893      7790    383318   no data   no data
120.53/15.35	c  N st    35    114952       924      1479      1609     17717      7790    250025   no data   no data
136.48/17.32	c  N st    36    129350       924      1479      1613     17188      7790    199275   no data   no data
160.45/20.33	c  N st    37    150945       924      1479      1615     22595      7790    322890   no data   no data
160.45/20.33	c Finding binary XORs  T:     0.00 s  found:       0
168.45/21.34	c  S st    38    158031       924      1479      1627     29602      7790    557709   no data   no data
169.25/21.45	c  S st    38    158533       924      1479      1629     30100      7790    570900   no data   no data
169.25/21.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
169.25/21.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:     12 BRemN:      0 P:  1.2M T:  0.03
169.25/21.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
169.25/21.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.25/21.48	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.00 s
169.25/21.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
169.25/21.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
169.25/21.49	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
170.05/21.55	c subs with bin:       79  lits-rem:       226  v-fix:    0  time:  0.04 s
172.45/21.81	c lits-rem:       715  cl-subs:     2067  v-elim:      0  v-fix:    0  time:  0.26 s
172.45/21.81	c vivif2 --  cl tried     1476 cl shrink        0 lits rem          0 time: 0.00
172.45/21.85	c vivif2 --  cl tried    27954 cl shrink     5182 lits rem      13396 time: 0.03
172.45/21.87	c asymm  cl-useful: 0/1476/1476 lits-rem:0 time: 0.02
172.45/21.87	c calculated reachability. Time: 0.00
172.45/21.87	c  N st    38    158533       924      1476      1621     27954      7782    529640   no data   no data
230.80/29.11	c  N st    39    207121       924      1476      1621     22510      7782    283709   no data   no data
267.55/33.78	c  N st    40    237800       924      1476      1626     32841      7782    532793   no data   no data
267.55/33.78	c  S st    40    237800       924      1476      1626     32841      7782    532793   no data   no data
268.35/33.89	c  S st    40    238300       924      1476      1628     33337      7782    541903   no data   no data
268.35/33.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
269.16/33.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      7 BRemN:      0 P:  1.3M T:  0.03
269.16/33.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
269.16/33.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.16/33.92	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
269.16/33.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
269.16/33.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
269.16/33.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
269.16/33.98	c subs with bin:       19  lits-rem:        75  v-fix:    0  time:  0.03 s
272.34/34.31	c lits-rem:       589  cl-subs:     2853  v-elim:      0  v-fix:    0  time:  0.33 s
272.34/34.31	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
272.34/34.34	c vivif2 --  cl tried    30465 cl shrink     4120 lits rem       8808 time: 0.02
272.34/34.36	c asymm  cl-useful: 2/1474/1474 lits-rem:2 time: 0.02
272.34/34.36	c calculated reachability. Time: 0.00
272.34/34.36	c  N st    40    238300       924      1474      1628     30465      7776    491829   no data   no data
364.27/45.88	c  F st    41    306250       924      1474      1628     33005      7776    508081   no data   no data
364.27/45.88	c  N st    41    306250       924      1474      1628     33005      7776    508081   no data   no data
364.27/45.89	c Finding binary XORs  T:     0.00 s  found:       0
372.26/46.89	c Decided on static restart strategy
407.44/51.23	c  N st    51    334553       923      1473      1752     37103      7765    581964   no data   no data
438.61/55.17	c  N st    53    357450       923      1473      1756     35242      7765    505269   no data   no data
438.61/55.17	c  S st    53    357450       923      1473      1756     35242      7765    505269   no data   no data
440.21/55.30	c  S st    53    357950       923      1473      1756     35742      7765    515758   no data   no data
440.21/55.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
440.21/55.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     25 BRemL:     94 BRemN:      0 P:  1.7M T:  0.04
440.21/55.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.21/55.34	c bin-w-bin subsume rem            2 bins  time:  0.00 s
440.21/55.34	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
440.21/55.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    923 time:  0.00 s
440.21/55.34	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
440.21/55.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
440.21/55.39	c subs with bin:       38  lits-rem:       111  v-fix:    0  time:  0.03 s
442.60/55.69	c lits-rem:       825  cl-subs:     1764  v-elim:      0  v-fix:    0  time:  0.29 s
442.60/55.69	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
443.40/55.71	c vivif2 --  cl tried    33940 cl shrink     2332 lits rem       4138 time: 0.02
443.40/55.74	c asymm  cl-useful: 1/1472/1472 lits-rem:1 time: 0.03
443.40/55.74	c calculated reachability. Time: 0.00
443.40/55.74	c  N st    53    357950       923      1472      1685     33940      7763    480824   no data   no data
479.38/60.28	c  N st    54    390342       923      1472      1685     39988      7763    640454   no data   no data
479.38/60.28	c Finding binary XORs  T:     0.00 s  found:       0
556.12/69.80	c  N st    55    438931       923      1472      1687     34064      7763    442422   no data   no data
664.03/83.35	c  N st    56    511814       923      1472      1695     47940      7763    729335   no data   no data
664.03/83.35	c Finding binary XORs  T:     0.00 s  found:       0
703.19/88.22	c  N st    57    536926       923      1472      1730     42004      7763    618069   no data   no data
703.19/88.22	c  S st    57    536926       923      1472      1730     42004      7763    618069   no data   no data
703.99/88.37	c  S st    57    537431       923      1472      1737     42506      7763    629652   no data   no data
703.99/88.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
704.78/88.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     40 BRemN:      0 P:  1.8M T:  0.04
704.78/88.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
704.78/88.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
704.78/88.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
704.78/88.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    923 time:  0.00 s
704.78/88.42	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
704.78/88.43	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
705.58/88.51	c subs with bin:      362  lits-rem:      1528  v-fix:    0  time:  0.06 s
707.99/88.84	c lits-rem:       813  cl-subs:     2320  v-elim:      0  v-fix:    0  time:  0.33 s
707.99/88.84	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
707.99/88.87	c vivif2 --  cl tried    39824 cl shrink     3616 lits rem       6544 time: 0.03
708.78/88.91	c asymm  cl-useful: 3/1472/1472 lits-rem:3 time: 0.04
708.78/88.91	c calculated reachability. Time: 0.00
708.78/88.91	c  N st    57    537431       923      1472      1700     39824      7759    584800   no data   no data
1009.40/126.57	c  N st    58    701415       923      1472      1700     69228      7758   1176007   no data   no data
1190.81/149.21	c  N st    59    806147       920      1472      1704     62643      7758    990510   no data   no data
1190.81/149.21	c  S st    59    806147       920      1472      1704     62643      7758    990510   no data   no data
1190.81/149.22	c Finding binary XORs  T:     0.00 s  found:       0
1192.41/149.44	c  S st    59    806649       919      1469      1660     61304      7717    974640   no data   no data
1192.41/149.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1193.25/149.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    158 BRemL:     90 BRemN:      0 P:  2.4M T:  0.06
1193.25/149.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1193.25/149.51	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1193.25/149.51	c subs with bin:        4  lits-rem:         3  v-fix:    0  time:  0.00 s
1193.25/149.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    919 time:  0.00 s
1193.25/149.51	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1193.25/149.53	c lits-rem:         1  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.02 s
1194.05/149.66	c subs with bin:      480  lits-rem:       485  v-fix:    0  time:  0.10 s
1206.80/151.21	c lits-rem:      1201  cl-subs:     6960  v-elim:      0  v-fix:    0  time:  1.54 s
1206.80/151.21	c vivif2 --  cl tried     1462 cl shrink        1 lits rem          1 time: 0.00
1206.80/151.26	c vivif2 --  cl tried    52594 cl shrink     5199 lits rem       7837 time: 0.05
1207.60/151.32	c asymm  cl-useful: 1/1462/1462 lits-rem:2 time: 0.06
1207.60/151.32	c calculated reachability. Time: 0.00
1207.60/151.32	c  N st    59    806649       917      1462      1724     52594      7737    809720   no data   no data
1207.60/151.32	c Finding binary XORs  T:     0.00 s  found:       0
1722.40/215.72	c  F st    60   1071875       917      1462      1724     72364      7737   1250581   no data   no data
1722.40/215.72	c  N st    60   1071875       917      1462      1724     72364      7737   1250581   no data   no data
1722.40/215.74	c Finding binary XORs  T:     0.00 s  found:       0
1734.39/217.23	c Decided on static restart strategy
1782.40/223.27	c  N st    70   1100178       914      1458      2017     53986      7701    635975   no data   no data
1868.69/234.09	c  N st    72   1136172       914      1458      2020     89167      7701   1346109   no data   no data
1940.68/243.08	c  N st    73   1168564       914      1458      2021     76623      7701   1231442   no data   no data
1940.68/243.09	c Finding binary XORs  T:     0.00 s  found:       0
2018.97/252.85	c Finding binary XORs  T:     0.00 s  found:       0
2029.41/254.15	c  N st    74   1209975       912      1456      1888     61769      7679    933886   no data   no data
2029.41/254.15	c  S st    74   1209975       912      1456      1888     61769      7679    933886   no data   no data
2031.76/254.41	c  S st    74   1210478       911      1456      1888     62267      7679    943199   no data   no data
2031.76/254.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2031.76/254.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     59 BRemL:    201 BRemN:      0 P:  2.5M T:  0.07
2031.76/254.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2031.76/254.48	c bin-w-bin subsume rem            6 bins  time:  0.00 s
2031.76/254.49	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  0.00 s
2031.76/254.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    911 time:  0.00 s
2031.76/254.49	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2032.56/254.50	c lits-rem:         1  cl-subs:        5  v-elim:      2  v-fix:    0  time:  0.02 s
2033.36/254.62	c subs with bin:      187  lits-rem:       605  v-fix:    0  time:  0.07 s
2037.40/255.18	c lits-rem:      1788  cl-subs:     1581  v-elim:      0  v-fix:    0  time:  0.55 s
2037.40/255.18	c vivif2 --  cl tried     1451 cl shrink        0 lits rem          0 time: 0.00
2038.20/255.24	c vivif2 --  cl tried    60079 cl shrink     7376 lits rem      16916 time: 0.06
2038.95/255.31	c asymm  cl-useful: 2/1451/1451 lits-rem:2 time: 0.08
2038.95/255.32	c calculated reachability. Time: 0.00
2038.95/255.32	c  N st    74   1210478       909      1451      1716     60079      7633    885517   no data   no data
2038.95/255.32	c Finding binary XORs  T:     0.00 s  found:       0
2198.02/275.22	c  N st    75   1283360       909      1451      1717     89665      7633   1527341   no data   no data
2198.02/275.24	c Finding binary XORs  T:     0.00 s  found:       0
2446.63/306.39	c  N st    76   1392683       907      1449      1755     54869      7609    619827   no data   no data
2447.43/306.40	c Finding binary XORs  T:     0.00 s  found:       0
2822.34/353.35	c  N st    77   1556667       905      1447      1730     60379      7587    691443   no data   no data
2822.34/353.36	c Finding binary XORs  T:     0.00 s  found:       0
3170.08/396.84	c  N st    78   1710480       901      1446      1919    101039      7546   1546429   no data   no data
3170.08/396.84	c  S st    78   1710480       901      1446      1919    101039      7546   1546429   no data   no data
3170.08/396.84	c Finding binary XORs  T:     0.00 s  found:       0
3174.08/397.33	c  S st    78   1710982       901      1446      1974    101541      7546   1556109   no data   no data
3174.08/397.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3174.88/397.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     53 BRemL:    253 BRemN:      0 P:  3.8M T:  0.14
3174.88/397.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3174.88/397.48	c bin-w-bin subsume rem           10 bins  time:  0.00 s
3174.88/397.48	c subs with bin:        5  lits-rem:         6  v-fix:    0  time:  0.00 s
3174.88/397.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    901 time:  0.00 s
3174.88/397.48	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3175.68/397.51	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.03 s
3178.08/397.84	c subs with bin:      418  lits-rem:      1076  v-fix:    0  time:  0.26 s
3243.62/406.08	c lits-rem:      3923  cl-subs:    17013  v-elim:      0  v-fix:    0  time:  8.23 s
3243.62/406.08	c vivif2 --  cl tried     1447 cl shrink        0 lits rem          0 time: 0.00
3244.42/406.18	c vivif2 --  cl tried    83642 cl shrink     8865 lits rem      12607 time: 0.10
3246.02/406.32	c asymm  cl-useful: 1/1447/1447 lits-rem:1 time: 0.15
3246.02/406.33	c calculated reachability. Time: 0.00
3246.02/406.33	c  N st    78   1710982       899      1447      1735     83642      7525   1299243   no data   no data
3634.53/454.92	c Finding binary XORs  T:     0.00 s  found:       0
3782.42/473.47	c Finding binary XORs  T:     0.00 s  found:       3
4147.79/519.13	c  N st    79   2079948       891      1431      1831     93434      7425   1281863   no data   no data
4391.55/549.67	c  N st    80   2210983       890      1431      1840     98344      7425   1335707   no data   no data
4391.55/549.67	c  S st    80   2210983       890      1431      1840     98344      7425   1335707   no data   no data
4391.55/549.68	c Finding binary XORs  T:     0.00 s  found:       1
4394.79/550.04	c  S st    80   2211489       889      1427      1827     98829      7401   1347840   no data   no data
4394.79/550.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4395.54/550.17	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:    1 Bins:    234 BRemL:    299 BRemN:      0 P:  5.1M T:  0.12
4396.34/550.20	c Replacing        5 vars Replaced     3317 lits Time:     0.03 s 
4396.34/550.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4396.34/550.21	c bin-w-bin subsume rem           13 bins  time:  0.00 s
4396.34/550.21	c subs with bin:       13  lits-rem:         8  v-fix:    0  time:  0.00 s
4396.34/550.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    881 time:  0.00 s
4396.34/550.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4396.34/550.23	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.02 s
4412.38/552.25	c subs with bin:     6584  lits-rem:     17542  v-fix:    0  time:  1.96 s
4457.10/557.81	c lits-rem:      3712  cl-subs:    18638  v-elim:      0  v-fix:    0  time:  5.57 s
4457.10/557.81	c vivif2 --  cl tried     1406 cl shrink        1 lits rem          2 time: 0.00
4457.90/557.90	c vivif2 --  cl tried    73082 cl shrink    16673 lits rem      28312 time: 0.09
4458.70/558.00	c asymm  cl-useful: 2/1406/1406 lits-rem:2 time: 0.09
4458.70/558.00	c calculated reachability. Time: 0.00
4458.70/558.00	c  N st    80   2211489       879      1406      1650     73072      7297    910987   no data   no data
4477.88/560.44	c Finding binary XORs  T:     0.00 s  found:       0
5574.66/697.63	c Finding binary XORs  T:     0.00 s  found:      23
5575.46/697.73	c Replacing       25 vars Replaced    47596 lits Time:     0.10 s 
5659.39/708.23	c Finding binary XORs  T:     0.00 s  found:       1
5671.39/709.72	c Replacing       30 vars Replaced     6692 lits Time:     0.02 s 
5677.83/710.58	c Finding binary XORs  T:     0.00 s  found:      20
5677.83/710.59	c Replacing       39 vars Replaced     9935 lits Time:     0.02 s 
5681.78/711.05	c Replacing       27 vars Replaced     4577 lits Time:     0.01 s 
5684.18/711.31	c Finding binary XORs  T:     0.00 s  found:      12
5684.18/711.32	c Replacing       35 vars Replaced    11098 lits Time:     0.01 s 
5684.98/711.42	c  E st    81   2710509       537       880       991     27007      4600    230588   no data   no data
5684.98/711.42	c Following stats are for *FIRST FINISHED THREAD ONLY*
5684.98/711.42	c num threads              : 8          
5684.98/711.42	c restarts                 : 81         
5684.98/711.42	c dynamic restarts         : 0          
5684.98/711.42	c static restarts          : 81         
5684.98/711.42	c full restarts            : 4          
5684.98/711.42	c total simplify time      : 0.97       
5684.98/711.42	c learnts DL2              : 0          
5684.98/711.42	c learnts size 2           : 6503       
5684.98/711.42	c learnts size 1           : 714         (51.00     % of vars)
5684.98/711.42	c filedLit time            : 0.60        (0.08      % time)
5684.98/711.42	c v-elim SatELite          : 445         (31.79     % vars)
5684.98/711.42	c SatELite time            : 17.16       (2.42      % time)
5684.98/711.42	c v-elim xor               : 11          (0.79      % vars)
5684.98/711.42	c xor elim time            : 0.03        (0.00      % time)
5684.98/711.42	c num binary xor trees     : 110        
5684.98/711.42	c binxor trees' crown      : 173         (1.57      leafs/tree)
5684.98/711.42	c bin xor find time        : 0.01       
5684.98/711.42	c OTF clause improved      : 86303       (0.03      clauses/conflict)
5684.98/711.42	c OTF impr. size diff      : 94969       (1.10       lits/clause)
5684.98/711.42	c OTF cl watch-shrink      : 1618432     (0.60      clauses/conflict)
5684.98/711.42	c OTF cl watch-sh-lit      : 4444764     (2.75       lits/clause)
5684.98/711.42	c tried to recurMin cls    : 590976      (21.80      % of conflicts)
5684.98/711.42	c updated cache            : 11531       (0.02       lits/tried recurMin)
5684.98/711.42	c unit cls recevied        : 60          (8.40      % of units)
5684.98/711.42	c unit cls sent            : 242         (33.89     % of units)
5684.98/711.42	c bin cls recevied         : 2427       
5684.98/711.42	c bin cls sent             : 1653       
5684.98/711.42	c clauses over max glue    : 0           (0.00      % of all clauses)
5684.98/711.42	c conflicts                : 2710509     (3820.46   / sec)
5684.98/711.42	c decisions                : 3107813     (0.25      % random)
5684.98/711.42	c bogo-props               : 123393606851 (173923362.59 / sec)
5684.98/711.42	c conflict literals        : 61592268    (60.14     % deleted)
5684.98/711.42	c Memory used              : 871.69      MB
5684.98/711.42	c single-thread CPU time   : 709.47      s
5684.98/711.42	c all-threads sum CPU time : 5682.30     s
5684.98/711.42	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: 935)

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-3321007-1304322185/watcher-3321007-1304322185 -o /tmp/evaluation-result-3321007-1304322185/solver-3321007-1304322185 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321007-1304322185.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: 0.00 0.00 0.00 1/185 15049
/proc/meminfo: memFree=27545076/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=92188 CPUtime=0.01 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 413 0 0 0 1 0 0 0 20 0 8 0 543818126 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15049/statm: 23047 352 299 106 0 18018 0
[pid=15049/tid=15050] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522224 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 352 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0143191 s]
/proc/loadavg: 0.00 0.00 0.00 1/185 15049
/proc/meminfo: memFree=27545076/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=92188 CPUtime=0.05 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 422 0 0 0 5 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15049/statm: 23047 361 303 106 0 18018 0
[pid=15049/tid=15050] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 92188

[startup+0.101295 s]
/proc/loadavg: 0.00 0.00 0.00 1/185 15049
/proc/meminfo: memFree=27545076/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=92188 CPUtime=0.65 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 422 0 0 0 65 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521815 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/15049/statm: 23047 361 303 106 0 18018 0
[pid=15049/tid=15050] ppid=15047 vsize=92188 CPUtime=0.09 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 5 0 0 0 9 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=92188 CPUtime=0.09 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 9 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=92188 CPUtime=0 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543818126 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679522226 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=92188 CPUtime=0.09 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521817 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=92188 CPUtime=0.09 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521808 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=92188 CPUtime=0.08 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521811 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=92188 CPUtime=0.09 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 8 0 543818127 94400512 361 33554432000 4194304 4627427 140735060755792 18446744073709551615 47436679521808 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 92188

[startup+0.32251 s]
/proc/loadavg: 0.00 0.00 0.00 1/185 15049
/proc/meminfo: memFree=27545076/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=490608 CPUtime=2.35 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 5252 0 0 0 232 3 0 0 18 0 8 0 543818126 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15049/statm: 122652 5000 387 106 0 117623 0
[pid=15049/tid=15050] ppid=15047 vsize=490608 CPUtime=0.31 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 710 0 0 0 31 0 0 0 18 0 8 0 543818126 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 4321862 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=490608 CPUtime=0.29 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 592 0 0 0 29 0 0 0 18 0 8 0 543818126 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=490608 CPUtime=0.2 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 588 0 0 0 20 0 0 0 18 0 8 0 543818126 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=490608 CPUtime=0.3 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 526 0 0 0 30 0 0 0 18 0 8 0 543818127 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 4332909 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=490608 CPUtime=0.3 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 663 0 0 0 30 0 0 0 18 0 8 0 543818127 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 4330971 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=490608 CPUtime=0.29 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 718 0 0 0 29 0 0 0 18 0 8 0 543818127 502382592 5000 33554432000 4194304 4627427 140735060755792 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=490608 CPUtime=0.3 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 391 0 0 0 30 0 0 0 18 0 8 0 543818127 502382592 5001 33554432000 4194304 4627427 140735060755792 18446744073709551615 4351546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 490608

[startup+0.701159 s]
/proc/loadavg: 0.00 0.00 0.00 1/185 15049
/proc/meminfo: memFree=27545076/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=493132 CPUtime=5.37 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 7782 0 0 0 534 3 0 0 18 0 8 0 543818126 504967168 5803 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15049/statm: 123283 5803 388 106 0 118254 0
[pid=15049/tid=15050] ppid=15047 vsize=493132 CPUtime=0.68 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1022 0 0 0 68 0 0 0 18 0 8 0 543818126 504967168 5803 33554432000 4194304 4627427 140735060755792 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=493132 CPUtime=0.67 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 929 0 0 0 67 0 0 0 18 0 8 0 543818126 504967168 5803 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=493132 CPUtime=0.58 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 929 0 0 0 58 0 0 0 18 0 8 0 543818126 504967168 5803 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=493132 CPUtime=0.68 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 823 0 0 0 68 0 0 0 18 0 8 0 543818127 504967168 5803 33554432000 4194304 4627427 140735060755792 18446744073709551615 4321467 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=493132 CPUtime=0.68 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 921 0 0 0 68 0 0 0 18 0 8 0 543818127 504967168 5803 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=493132 CPUtime=0.67 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1047 0 0 0 67 0 0 0 18 0 8 0 543818127 504967168 5804 33554432000 4194304 4627427 140735060755792 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=493132 CPUtime=0.68 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 723 0 0 0 68 0 0 0 18 0 8 0 543818127 504967168 5804 33554432000 4194304 4627427 140735060755792 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 493132

[startup+1.50102 s]
/proc/loadavg: 0.00 0.00 0.00 9/193 15057
/proc/meminfo: memFree=27522072/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=495296 CPUtime=11.65 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 11957 0 0 0 1159 6 0 0 19 0 8 0 543818126 507183104 7186 33554432000 4194304 4627427 140735060755792 18446744073709551615 4321776 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15049/statm: 123824 7186 388 106 0 118795 0
[pid=15049/tid=15050] ppid=15047 vsize=495296 CPUtime=1.44 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1489 0 0 0 144 0 0 0 19 0 8 0 543818126 507183104 7186 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=495296 CPUtime=1.46 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1417 0 0 0 146 0 0 0 19 0 8 0 543818126 507183104 7186 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=495296 CPUtime=1.36 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1468 0 0 0 136 0 0 0 19 0 8 0 543818126 507183104 7186 33554432000 4194304 4627427 140735060755792 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=495296 CPUtime=1.47 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1328 0 0 0 147 0 0 0 19 0 8 0 543818127 507183104 7186 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=495296 CPUtime=1.47 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1424 0 0 0 147 0 0 0 19 0 8 0 543818127 507183104 7186 33554432000 4194304 4627427 140735060755792 18446744073709551615 4321425 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=495296 CPUtime=1.45 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1645 0 0 0 144 1 0 0 19 0 8 0 543818127 507183104 7187 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=495296 CPUtime=1.48 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 1274 0 0 0 147 1 0 0 19 0 8 0 543818127 507183104 7187 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 495296

[startup+3.10074 s]
/proc/loadavg: 0.00 0.00 0.00 9/193 15057
/proc/meminfo: memFree=27517856/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=488464 CPUtime=24.45 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 20036 0 0 0 2437 8 0 0 23 0 8 0 543818126 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15049/statm: 122116 9768 390 106 0 117087 0
[pid=15049/tid=15050] ppid=15047 vsize=488464 CPUtime=3.04 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2348 0 0 0 304 0 0 0 24 0 8 0 543818126 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=488464 CPUtime=3.05 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2304 0 0 0 305 0 0 0 24 0 8 0 543818126 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=488464 CPUtime=2.96 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2357 0 0 0 296 0 0 0 23 0 8 0 543818126 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=488464 CPUtime=3.07 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2134 0 0 0 306 1 0 0 25 0 8 0 543818127 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=488464 CPUtime=3.07 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2257 0 0 0 307 0 0 0 23 0 8 0 543818127 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=488464 CPUtime=3.04 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2608 0 0 0 303 1 0 0 24 0 8 0 543818127 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=488464 CPUtime=3.08 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 2111 0 0 0 307 1 0 0 24 0 8 0 543818127 500187136 9768 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (KiB) 488464

[startup+6.30119 s]
/proc/loadavg: 0.64 0.13 0.04 10/193 15057
/proc/meminfo: memFree=27482344/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=506788 CPUtime=48.88 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 35366 0 0 0 4865 23 0 0 25 0 8 0 543818126 518950912 16466 33554432000 4194304 4627427 140735060755792 18446744073709551615 4310659 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 126697 16466 390 106 0 121668 0
[pid=15049/tid=15050] ppid=15047 vsize=506788 CPUtime=6.13 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 4696 0 0 0 610 3 0 0 25 0 8 0 543818126 518950912 16466 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=506788 CPUtime=6.19 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 5639 0 0 0 618 1 0 0 25 0 8 0 543818126 518950912 16466 33554432000 4194304 4627427 140735060755792 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=506788 CPUtime=6.14 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 4900 0 0 0 612 2 0 0 25 0 8 0 543818126 518950912 16466 33554432000 4194304 4627427 140735060755792 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=506788 CPUtime=6.25 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 4277 0 0 0 620 5 0 0 25 0 8 0 543818127 518950912 16466 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=506788 CPUtime=6.26 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 3730 0 0 0 624 2 0 0 25 0 8 0 543818127 518950912 16466 33554432000 4194304 4627427 140735060755792 18446744073709551615 4327355 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=506788 CPUtime=6.18 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 3779 0 0 0 617 1 0 0 25 0 8 0 543818127 518950912 16467 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=506788 CPUtime=6.26 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 3403 0 0 0 625 1 0 0 25 0 8 0 543818127 518950912 16467 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 106304 0 0 0 70169 36 0 0 25 0 8 0 543818127 992538624 146777 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=969276 CPUtime=702.16 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 86925 0 0 0 70189 27 0 0 25 0 8 0 543818127 992538624 146777 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=969276 CPUtime=702.25 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 70196 29 0 0 25 0 8 0 543818127 992538624 146777 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5612.23
Current children cumulated vsize (KiB) 969276

Solver just ended. Dumping a history of the last processes samples

[startup+703.901 s]
/proc/loadavg: 8.03 7.26 4.23 9/193 15075
/proc/meminfo: memFree=26975972/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=905356 CPUtime=5625.06 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 763790 0 0 0 562224 282 0 0 25 0 8 0 543818126 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 226339 142336 390 106 0 221310 0
[pid=15049/tid=15050] ppid=15047 vsize=905356 CPUtime=699.93 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 111651 0 0 0 69951 42 0 0 25 0 8 0 543818126 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=905356 CPUtime=703.8 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 70351 29 0 0 25 0 8 0 543818126 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=905356 CPUtime=703.76 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87476 0 0 0 70347 29 0 0 25 0 8 0 543818126 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=905356 CPUtime=703.85 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 96627 0 0 0 70342 43 0 0 25 0 8 0 543818127 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=905356 CPUtime=703.65 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107270 0 0 0 70329 36 0 0 25 0 8 0 543818127 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=905356 CPUtime=703.77 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87022 0 0 0 70350 27 0 0 25 0 8 0 543818127 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=905356 CPUtime=703.85 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 70356 29 0 0 25 0 8 0 543818127 927084544 142336 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5625.06
Current children cumulated vsize (KiB) 905356

[startup+707.1 s]
/proc/loadavg: 8.02 7.27 4.25 9/193 15075
/proc/meminfo: memFree=26979940/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=892608 CPUtime=5650.6 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 765693 0 0 0 564777 283 0 0 25 0 8 0 543818126 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 223152 141918 390 106 0 218123 0
[pid=15049/tid=15050] ppid=15047 vsize=892608 CPUtime=703.11 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 111865 0 0 0 70269 42 0 0 25 0 8 0 543818126 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=892608 CPUtime=707 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 70671 29 0 0 25 0 8 0 543818126 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=892608 CPUtime=706.95 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87703 0 0 0 70666 29 0 0 25 0 8 0 543818126 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=892608 CPUtime=707.04 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 96907 0 0 0 70661 43 0 0 25 0 8 0 543818127 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=892608 CPUtime=706.84 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107466 0 0 0 70648 36 0 0 25 0 8 0 543818127 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=892608 CPUtime=706.96 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87218 0 0 0 70669 27 0 0 25 0 8 0 543818127 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=892608 CPUtime=707.05 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 70676 29 0 0 25 0 8 0 543818127 914030592 141918 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5650.6
Current children cumulated vsize (KiB) 892608

[startup+708.701 s]
/proc/loadavg: 8.02 7.27 4.25 9/193 15075
/proc/meminfo: memFree=26976596/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=892608 CPUtime=5663.39 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 766352 0 0 0 566056 283 0 0 25 0 8 0 543818126 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 223152 142577 390 106 0 218123 0
[pid=15049/tid=15050] ppid=15047 vsize=892608 CPUtime=704.7 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 111966 0 0 0 70427 43 0 0 25 0 8 0 543818126 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=892608 CPUtime=708.6 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 70831 29 0 0 25 0 8 0 543818126 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=892608 CPUtime=708.55 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87807 0 0 0 70826 29 0 0 25 0 8 0 543818126 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=892608 CPUtime=708.64 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 97025 0 0 0 70821 43 0 0 25 0 8 0 543818127 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=892608 CPUtime=708.44 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107578 0 0 0 70808 36 0 0 25 0 8 0 543818127 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=892608 CPUtime=708.57 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87318 0 0 0 70829 28 0 0 25 0 8 0 543818127 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=892608 CPUtime=708.65 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 70836 29 0 0 25 0 8 0 543818127 914030592 142577 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5663.39
Current children cumulated vsize (KiB) 892608

[startup+710.301 s]
/proc/loadavg: 8.02 7.27 4.25 9/193 15075
/proc/meminfo: memFree=26974984/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=892608 CPUtime=5676.19 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 766926 0 0 0 567335 284 0 0 25 0 8 0 543818126 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 223152 143151 390 106 0 218123 0
[pid=15049/tid=15050] ppid=15047 vsize=892608 CPUtime=706.3 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 112057 0 0 0 70587 43 0 0 25 0 8 0 543818126 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=892608 CPUtime=710.2 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 70991 29 0 0 25 0 8 0 543818126 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=892608 CPUtime=710.15 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87894 0 0 0 70986 29 0 0 25 0 8 0 543818126 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=892608 CPUtime=710.23 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 97125 0 0 0 70980 43 0 0 25 0 8 0 543818127 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=892608 CPUtime=710.04 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107687 0 0 0 70968 36 0 0 25 0 8 0 543818127 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=892608 CPUtime=710.17 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87404 0 0 0 70989 28 0 0 25 0 8 0 543818127 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=892608 CPUtime=710.25 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 70996 29 0 0 25 0 8 0 543818127 914030592 143151 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5676.19
Current children cumulated vsize (KiB) 892608

[startup+711.101 s]
/proc/loadavg: 8.02 7.28 4.27 9/193 15075
/proc/meminfo: memFree=26973372/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=892608 CPUtime=5682.58 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 767151 0 0 0 567974 284 0 0 25 0 8 0 543818126 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 223152 143376 390 106 0 218123 0
[pid=15049/tid=15050] ppid=15047 vsize=892608 CPUtime=707.09 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 112093 0 0 0 70666 43 0 0 25 0 8 0 543818126 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308123 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=892608 CPUtime=711 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 71071 29 0 0 25 0 8 0 543818126 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=892608 CPUtime=710.95 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87918 0 0 0 71066 29 0 0 25 0 8 0 543818126 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=892608 CPUtime=711.03 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 97171 0 0 0 71060 43 0 0 25 0 8 0 543818127 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=892608 CPUtime=710.84 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107732 0 0 0 71048 36 0 0 25 0 8 0 543818127 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=892608 CPUtime=710.96 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87439 0 0 0 71068 28 0 0 25 0 8 0 543818127 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=892608 CPUtime=711.05 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 71076 29 0 0 25 0 8 0 543818127 914030592 143376 33554432000 4194304 4627427 140735060755792 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5682.58
Current children cumulated vsize (KiB) 892608

[startup+711.301 s]
/proc/loadavg: 8.02 7.28 4.27 9/193 15075
/proc/meminfo: memFree=26973372/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=892608 CPUtime=5684.18 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 767224 0 0 0 568134 284 0 0 25 0 8 0 543818126 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4324344 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 223152 143449 390 106 0 218123 0
[pid=15049/tid=15050] ppid=15047 vsize=892608 CPUtime=707.29 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 112101 0 0 0 70686 43 0 0 25 0 8 0 543818126 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=892608 CPUtime=711.2 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 71091 29 0 0 25 0 8 0 543818126 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=892608 CPUtime=711.15 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87932 0 0 0 71086 29 0 0 25 0 8 0 543818126 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=892608 CPUtime=711.23 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 97182 0 0 0 71080 43 0 0 25 0 8 0 543818127 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=892608 CPUtime=711.04 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107742 0 0 0 71068 36 0 0 25 0 8 0 543818127 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=892608 CPUtime=711.16 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87453 0 0 0 71088 28 0 0 25 0 8 0 543818127 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=892608 CPUtime=711.25 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 71096 29 0 0 25 0 8 0 543818127 914030592 143449 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5684.18
Current children cumulated vsize (KiB) 892608

[startup+711.401 s]
/proc/loadavg: 8.02 7.28 4.27 9/193 15075
/proc/meminfo: memFree=26973372/32951132 swapFree=67111356/67111528
[pid=15049] ppid=15047 vsize=892608 CPUtime=5684.98 cores=0-7
/proc/15049/stat : 15049 (strangenight2-m) R 15047 15049 15023 0 -1 4202496 767257 0 0 0 568214 284 0 0 25 0 8 0 543818126 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15049/statm: 223152 143482 390 106 0 218123 0
[pid=15049/tid=15050] ppid=15047 vsize=892608 CPUtime=707.39 cores=0-7
/proc/15049/task/15050/stat : 15050 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 112104 0 0 0 70696 43 0 0 25 0 8 0 543818126 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15049/tid=15051] ppid=15047 vsize=892608 CPUtime=711.3 cores=0-7
/proc/15049/task/15051/stat : 15051 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 93164 0 0 0 71101 29 0 0 25 0 8 0 543818126 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15049/tid=15052] ppid=15047 vsize=892608 CPUtime=711.25 cores=0-7
/proc/15049/task/15052/stat : 15052 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87940 0 0 0 71096 29 0 0 25 0 8 0 543818126 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15049/tid=15053] ppid=15047 vsize=892608 CPUtime=711.33 cores=0-7
/proc/15049/task/15053/stat : 15053 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 97187 0 0 0 71090 43 0 0 25 0 8 0 543818127 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309710 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15049/tid=15054] ppid=15047 vsize=892608 CPUtime=711.14 cores=0-7
/proc/15049/task/15054/stat : 15054 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 107747 0 0 0 71078 36 0 0 25 0 8 0 543818127 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309744 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15049/tid=15055] ppid=15047 vsize=892608 CPUtime=711.26 cores=0-7
/proc/15049/task/15055/stat : 15055 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 87459 0 0 0 71098 28 0 0 25 0 8 0 543818127 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15049/tid=15056] ppid=15047 vsize=892608 CPUtime=711.35 cores=0-7
/proc/15049/task/15056/stat : 15056 (strangenight2-m) R 15047 15049 15023 0 -1 4202560 81080 0 0 0 71106 29 0 0 25 0 8 0 543818127 914030592 143482 33554432000 4194304 4627427 140735060755792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5684.98
Current children cumulated vsize (KiB) 892608

Child status: 20
Real time (s): 711.453
CPU time (s): 5685.18
CPU user time (s): 5682.3
CPU system time (s): 2.87356
CPU usage (%): 799.093
Max. virtual memory (cumulated for all children) (KiB): 1011752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5682.3
system time used= 2.87356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767266
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= 3592
involuntary context switches= 24065

runsolver used 1.13183 second user time and 2.76558 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-02 09:43:05
IDJOB=3321007
IDBENCH=20472
IDSOLVER=1709
FILE ID=node131/3321007-1304322185
RUNJOBID= node131-1304322184-15037
PBS_JOBID= 13176795
Free space on /tmp= 72908 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321007-1304322185/watcher-3321007-1304322185 -o /tmp/evaluation-result-3321007-1304322185/solver-3321007-1304322185 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321007-1304322185.cnf

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=1223615711

node131.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.830
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.66
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.83
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.77
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.830
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.830
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      27545496 kB
Buffers:        296856 kB
Cached:        1938592 kB
SwapCached:        168 kB
Active:        3178652 kB
Inactive:      1895752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      27545496 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5840 kB
Writeback:           0 kB
AnonPages:     2838192 kB
Mapped:          19416 kB
Slab:           259784 kB
PageTables:      11256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  3171800 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72900 MiB
End job on node131 at 2011-05-02 09:54:56