Trace number 3421736

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)SAT 4548.88 591.56

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.089986
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.20/0.05	c This is CryptoMiniSat 3.0.0
0.20/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.20/0.05	c Reading file 'HOME/instance-3421736-1308516281.cnf'
0.20/0.06	c -- header says num vars:            894
0.20/0.06	c -- header says num clauses:       82294
0.53/0.10	c -- clauses added:            0 learnts,        82294 normals,            0 xors
0.53/0.10	c -- vars added        894
0.53/0.10	c Parsing time:  0.02 s
0.53/0.10	c  N st     0         0       894        30     82264         0    165422         0   no data   no data
0.53/0.10	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.53/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
0.53/0.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.53/0.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.53/0.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.53/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    894 time:  0.01 s
0.53/0.16	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.01 s
0.53/0.22	c lits-rem:      1284  cl-subs:        0  v-elim:     30  v-fix:    0  time:  0.06 s
0.53/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.53/0.22	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.53/0.22	c calculated reachability. Time: 0.00
0.53/0.22	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     864
0.53/0.22	c =========================================================================================
0.53/0.22	c types(t): F = full restart, N = normal restart
0.53/0.22	c types(t): S = simplification begin/end, E = solution found
0.53/0.22	c restart types(rt): st = static, dy = dynamic
0.53/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.53/0.22	c  B st     0         0       864      3096     78304         0    257922         0   no data   no data
0.53/0.60	c  N dy     9      4166       864      3096     78304      4019    257922    425981     11.92     12.58
0.53/1.05	c  N dy    27      8429       864      3096     78304      5757    257922    513420     11.29     12.00
10.08/1.41	c  N dy    47     13372       864      3096     78304      6431    257922    558191     11.30     11.90
16.43/2.10	c  N dy    67     18773       864      3096     78304      6235    257922    430031     11.18     11.80
18.82/2.46	c  N dy    83     22788       864      3096     78305     10183    257922    791030     11.14     12.88
21.23/2.74	c  F st    90     25000       864      3096     78305     12324    257922   1014413     11.10     10.40
22.85/2.97	c  N st    94     27032       864      3096     78305      7651    257922    542728     11.10   no data
26.02/3.34	c  S st    96     30000       864      3096     78305     10552    257922    881336     11.10   no data
26.02/3.39	c  S st    96     30503       864      3096     78305     11052    257922    919909     11.10   no data
26.02/3.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.42/3.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.6M T:  0.21
28.42/3.61	c blocked clauses removed:        0 vars:      0 tried:         864 T: 0.00 s
28.42/3.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
34.81/4.41	c subs with bin:        0  lits-rem:     18959  v-fix:    0  time:  0.79 s
34.81/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
34.81/4.42	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
34.81/4.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
46.01/5.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.34 s
57.20/7.29	c lits-rem:      2058  cl-subs:      550  v-elim:      0  v-fix:    0  time:  1.47 s
58.84/7.49	c asymm  cl-useful: 0/1418/3096 lits-rem:0 time: 0.20
58.84/7.49	c calculated reachability. Time: 0.00
58.84/7.49	c  N dy    96     30503       864      3096     78305     10502    238963    886092     11.10   no data
64.39/8.13	c  N dy   114     34666       864      3096     78305     14532    238963   1238580     11.06     11.73
68.39/8.66	c  N dy   127     38985       864      3096     78306     11038    238963    799294     10.94     11.58
77.18/9.70	c  N dy   146     45757       864      3096     78307      8909    238963    497159     10.79      9.81
77.18/9.70	c  S st   146     45757       864      3096     78307      8909    238963    497159     10.79      9.81
77.18/9.74	c  S st   146     46262       864      3096     78307      9413    238963    536586     10.79   no data
77.18/9.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.78/9.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.2M T:  0.16
78.78/9.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.78/9.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
83.58/10.51	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.59 s
83.58/10.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
83.58/10.52	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
83.58/10.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
94.78/11.95	c subs with bin:      317  lits-rem:        11  v-fix:    0  time:  1.42 s
96.38/12.16	c lits-rem:       536  cl-subs:      335  v-elim:      0  v-fix:    0  time:  0.21 s
96.38/12.17	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
96.38/12.17	c vivif2 --  cl tried     8761 cl shrink        9 lits rem          9 time: 0.01
97.98/12.36	c asymm  cl-useful: 0/1571/3096 lits-rem:0 time: 0.19
97.98/12.37	c calculated reachability. Time: 0.00
97.98/12.37	c  N dy   146     46262       864      3096     78307      8761    238962    521601     10.79   no data
101.17/12.77	c  N dy   167     50315       864      3096     78307     12708    238962    850627     10.82     11.40
106.77/13.42	c  N dy   182     55867       864      3096     78307     18154    238962   1348814     10.71     11.30
110.80/13.95	c  N dy   203     60290       864      3096     78307     12722    238962    809219     10.75     11.47
114.76/14.41	c  N dy   212     64311       864      3096     78307     16638    238962   1106235     10.65     11.29
119.59/15.04	c  N dy   237     68428       864      3096     78307     20649    238962   1474852     10.80     16.75
120.39/15.19	c  S st   241     69400       864      3096     78307     10901    238962    630429     10.80   no data
121.15/15.23	c  S st   241     69900       864      3096     78307     11396    238962    663504     10.80   no data
121.15/15.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
122.75/15.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.3M T:  0.18
122.75/15.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.75/15.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
127.55/16.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.59 s
127.55/16.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
127.55/16.03	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
127.55/16.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.55/17.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
141.94/17.84	c lits-rem:       156  cl-subs:      185  v-elim:      0  v-fix:    0  time:  0.31 s
141.94/17.85	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
141.94/17.86	c vivif2 --  cl tried    11211 cl shrink        0 lits rem          0 time: 0.01
143.54/18.05	c asymm  cl-useful: 0/1557/3096 lits-rem:0 time: 0.19
143.54/18.06	c calculated reachability. Time: 0.00
143.54/18.06	c  N dy   241     69900       864      3096     78307     11211    238962    658641     10.80   no data
148.34/18.62	c  N dy   262     74434       864      3096     78307     15644    238962   1092428     10.81     13.81
154.77/19.46	c  N dy   272     79774       864      3096     78307     20826    238962   1406794     10.72     11.36
161.13/20.24	c  N dy   295     84912       864      3096     78307     14148    238962    912598     10.72     11.74
163.57/20.60	c  F st   304     87502       864      3096     78307     16646    238962   1053239     10.69      9.83
167.52/21.07	c  N st   309     90798       864      3096     78307     19849    238962   1365955     10.69   no data
175.52/22.02	c  N dy   318     96629       864      3096     78307     12893    238962    740653     10.67     11.33
182.72/22.99	c  N dy   354    103152       864      3096     78307     19243    238962   1329900     10.77     11.51
185.11/23.25	c  S st   361    104851       864      3096     78307     20881    238962   1496884     10.78      9.27
185.91/23.33	c  S st   361    105353       864      3096     78307     21381    238962   1536014     10.78   no data
185.91/23.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
188.32/23.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.6M T:  0.34
188.32/23.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
188.32/23.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
193.11/24.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.59 s
193.11/24.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
193.11/24.29	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
193.91/24.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
205.90/25.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
228.29/28.69	c lits-rem:       724  cl-subs:      571  v-elim:      0  v-fix:    0  time:  2.86 s
228.29/28.69	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
229.08/28.72	c vivif2 --  cl tried    20810 cl shrink        0 lits rem          0 time: 0.03
230.68/28.94	c asymm  cl-useful: 0/1003/3096 lits-rem:0 time: 0.22
230.68/28.94	c calculated reachability. Time: 0.00
230.68/28.94	c  N dy   361    105353       864      3096     78307     20810    238962   1510797     10.78   no data
241.08/30.26	c  N dy   396    112131       864      3096     78308     13801    238962    774618     10.82     13.45
248.27/31.18	c  N dy   427    119342       864      3096     78308     20813    238962   1367515     10.84     11.42
262.66/32.93	c  N dy   469    128774       864      3096     78308     15390    238962    795911     10.88     11.48
272.26/34.19	c  N dy   492    137440       864      3096     78308     23765    238962   1279044     10.79     11.39
284.25/35.63	c  N dy   537    146326       864      3096     78308     16887    238962    859111     10.89     11.59
294.65/36.95	c  N dy   569    155670       864      3096     78308     25980    238962   1635198     10.88     15.26
297.84/37.39	c  S st   579    158029       864      3096     78308     28277    238962   1828795     10.87   no data
298.64/37.49	c  S st   579    158530       864      3096     78308     28775    238962   1872009     10.87   no data
298.64/37.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
302.64/37.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.2M T:  0.45
302.64/37.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
302.64/37.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
307.43/38.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.59 s
307.43/38.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
307.43/38.56	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
307.43/38.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
320.24/40.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.49 s
363.40/45.58	c lits-rem:      1117  cl-subs:      830  v-elim:      0  v-fix:    0  time:  5.47 s
363.40/45.58	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
364.20/45.62	c vivif2 --  cl tried    27945 cl shrink        4 lits rem          4 time: 0.03
365.85/45.82	c asymm  cl-useful: 0/536/3096 lits-rem:0 time: 0.20
365.85/45.82	c calculated reachability. Time: 0.00
365.85/45.82	c  N dy   579    158530       864      3096     78308     27945    238962   1841926     10.87   no data
380.19/47.67	c  N dy   627    168990       864      3096     78309     21603    238962   1207098     10.90     11.52
396.18/49.61	c  N dy   671    180306       864      3096     78309     32607    238962   2152806     10.90     11.50
412.17/51.61	c  N dy   731    191885       864      3096     78309     26328    238962   1641040     10.96     15.99
431.36/54.04	c  N dy   788    204573       864      3096     78309     20221    238962    991285     10.96     11.54
449.76/56.35	c  N dy   854    217727       864      3096     78310     32990    238962   2109644     11.02     11.62
468.13/58.63	c  N dy   896    232113       864      3096     78310     27520    238962   1505823     10.97     11.99
477.73/59.81	c  S st   913    237795       864      3096     78311     33049    238962   1936539     10.94      8.24
478.53/59.91	c  S st   913    238296       864      3096     78311     33545    238962   1974086     10.94   no data
478.53/59.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
482.52/60.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 18.9M T:  0.55
482.52/60.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
482.52/60.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
487.32/61.07	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.59 s
487.32/61.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
487.32/61.08	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
488.11/61.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
500.12/62.61	c subs with bin:       84  lits-rem:        36  v-fix:    0  time:  1.45 s
551.32/69.06	c lits-rem:      1548  cl-subs:     1319  v-elim:      0  v-fix:    0  time:  6.45 s
551.32/69.06	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
552.08/69.10	c vivif2 --  cl tried    32142 cl shrink       58 lits rem         58 time: 0.04
553.68/69.37	c asymm  cl-useful: 0/942/3096 lits-rem:0 time: 0.27
553.68/69.38	c calculated reachability. Time: 0.00
553.68/69.38	c  N dy   913    238296       864      3096     78312     32142    238961   1933523     10.94   no data
577.71/72.31	c  N dy   976    253554       864      3096     78314     26568    238961   1427245     10.95     11.73
606.45/75.90	c  N dy  1073    269746       864      3096     78314     42269    238961   2796565     11.06     11.73
629.67/78.90	c  N dy  1160    287204       864      3096     78314     37846    238961   2253612     11.11     12.06
659.22/82.54	c  N dy  1260    305631       864      3096     78315     33413    238961   1896182     11.15     15.07
660.02/82.67	c  F st  1266    306251       864      3096     78315     34016    238961   1956345     11.16   no data
692.04/86.64	c  N dy  1336    325214       864      3096     78316     29132    238961   1481612     11.18     15.77
724.78/90.74	c  N dy  1420    346031       864      3096     78317     25011    238961   1091523     11.18     11.80
739.97/92.64	c  S st  1469    357447       864      3096     78319     36095    238961   1942728     11.20   no data
740.77/92.73	c  S st  1469    357950       864      3096     78319     36595    238961   1973544     11.20   no data
740.77/92.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
744.81/93.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.6M T:  0.47
744.81/93.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
744.81/93.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
749.56/93.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.59 s
749.56/93.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
749.56/93.83	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
749.56/93.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
763.95/95.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
807.92/101.17	c lits-rem:      1342  cl-subs:     1569  v-elim:      0  v-fix:    0  time:  5.56 s
807.92/101.18	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
808.72/101.22	c vivif2 --  cl tried    35026 cl shrink      786 lits rem        916 time: 0.04
810.32/101.48	c asymm  cl-useful: 0/569/3096 lits-rem:0 time: 0.26
810.32/101.48	c calculated reachability. Time: 0.00
810.32/101.48	c  N dy  1469    357950       864      3096     78319     35026    238961   1936008     11.20   no data
848.70/106.27	c  N dy  1566    378443       864      3096     78321     29720    238961   1453359     11.24     12.24
883.07/110.52	c  N dy  1647    399657       864      3096     78322     50313    238961   3028727     11.25     11.98
913.45/114.30	c  N dy  1740    419681       864      3096     78323     43613    238961   2526904     11.27     11.89
949.43/118.85	c  N dy  1839    439755       864      3096     78324     35920    238961   1865053     11.32     12.01
989.41/123.85	c  N dy  1919    459774       864      3096     78326     55308    238961   3388919     11.32     12.28
1022.18/127.99	c  N dy  2011    480017       864      3096     78326     46777    238961   2549162     11.35     12.04
1060.59/132.73	c  N dy  2117    500045       864      3096     78327     37057    238961   1779689     11.40     12.07
1097.34/137.34	c  N dy  2217    520064       864      3096     78328     56418    238961   3114281     11.41     12.05
1124.52/140.79	c  S st  2307    536925       864      3096     78328     42677    238961   2141679     11.45      7.81
1125.31/140.89	c  S st  2307    537427       864      3096     78328     43178    238961   2180852     11.45   no data
1126.11/140.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1130.12/141.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 21.1M T:  0.54
1130.12/141.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1130.12/141.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1134.92/142.04	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.59 s
1134.92/142.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
1134.92/142.05	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
1134.92/142.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1147.71/143.61	c subs with bin:      126  lits-rem:        69  v-fix:    0  time:  1.48 s
1205.26/150.84	c lits-rem:      1664  cl-subs:     2264  v-elim:      0  v-fix:    0  time:  7.23 s
1205.26/150.84	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
1205.26/150.89	c vivif2 --  cl tried    40788 cl shrink      495 lits rem        531 time: 0.05
1207.66/151.14	c asymm  cl-useful: 0/451/3096 lits-rem:0 time: 0.25
1207.66/151.15	c calculated reachability. Time: 0.00
1207.66/151.15	c  N dy  2307    537427       864      3096     78328     40788    238960   2135656     11.45   no data
1248.44/156.26	c  N dy  2382    557481       864      3096     78337     60190    238960   3710098     11.47     15.07
1286.02/160.93	c  N dy  2518    577534       864      3096     78338     48722    238960   2712553     11.56     22.06
1330.80/166.52	c  N dy  2625    597751       864      3096     78339     36333    238960   1648799     11.60     12.39
1363.57/170.66	c  N dy  2693    618149       864      3096     78339     56039    238960   2987324     11.58     12.29
1398.74/175.02	c  N dy  2746    638505       864      3096     78340     42851    238960   2012451     11.55     12.19
1437.92/179.90	c  N dy  2851    658557       864      3096     78342     62259    238960   3552110     11.58     15.80
1472.30/184.27	c  N dy  2911    678635       864      3096     78343     47804    238960   2351649     11.57     20.58
1517.91/189.95	c  N dy  2998    698701       864      3096     78344     67131    238960   3747367     11.58     12.49
1553.08/194.39	c  N dy  3082    719261       864      3096     78344     52292    238960   2737983     11.59     12.27
1603.42/200.68	c  N dy  3186    739820       864      3096     78345     36437    238960   1501410     11.62     12.39
1636.19/204.72	c  N dy  3246    759838       864      3096     78345     55775    238960   2988932     11.60     19.67
1688.15/211.25	c  N dy  3347    780819       864      3096     78346     39314    238960   1688104     11.63     12.33
1725.72/215.92	c  N dy  3439    800845       864      3096     78346     58709    238960   3215949     11.65     12.32
1738.56/217.52	c  S st  3466    806140       864      3096     78347     63825    238960   3638525     11.66   no data
1739.32/217.68	c  S st  3466    806641       864      3096     78347     64323    238960   3675081     11.66   no data
1739.32/217.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1747.36/218.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.5M T:  0.94
1747.36/218.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1747.36/218.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1752.10/219.24	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.59 s
1752.10/219.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
1752.10/219.26	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
1752.10/219.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1766.50/221.03	c subs with bin:      866  lits-rem:       588  v-fix:    0  time:  1.63 s
1855.24/232.10	c lits-rem:      2868  cl-subs:     4216  v-elim:      0  v-fix:    0  time: 11.06 s
1855.24/232.10	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
1855.24/232.18	c vivif2 --  cl tried    59241 cl shrink      647 lits rem        729 time: 0.08
1857.63/232.48	c asymm  cl-useful: 0/314/3096 lits-rem:0 time: 0.30
1857.63/232.49	c calculated reachability. Time: 0.00
1857.63/232.49	c  N dy  3466    806641       864      3096     78347     59241    238955   3580428     11.66   no data
1915.19/239.67	c  N dy  3567    826861       864      3096     78350     41141    238955   1935311     11.68     12.30
1953.56/244.46	c  N dy  3640    846915       864      3096     78350     60448    238955   3402260     11.68     12.31
2009.54/251.40	c  N dy  3737    867012       864      3096     78351     41234    238955   1817527     11.70     24.35
2051.10/256.68	c  N dy  3829    887087       864      3096     78355     60644    238955   3367607     11.71     17.92
2117.45/264.96	c  N dy  3953    907109       864      3096     78356     40390    238955   1695647     11.76     12.58
2154.22/269.59	c  N dy  4041    927467       864      3096     78356     60025    238955   3207144     11.77     12.53
2209.39/276.46	c  N dy  4127    947927       864      3096     78357     79721    238955   4772696     11.78     12.40
2247.81/281.25	c  N dy  4215    968030       864      3096     78358     58685    238955   3010034     11.79     12.58
2305.32/288.49	c  N dy  4310    988190       864      3096     78359     78111    238955   4548397     11.80     12.47
2347.69/293.74	c  N dy  4394   1008222       864      3096     78359     55977    238955   2793494     11.81     12.45
2395.66/299.74	c  N dy  4476   1028488       864      3096     78360     75506    238955   4314323     11.81     12.58
2444.43/305.86	c  N dy  4565   1049308       864      3096     78361     53188    238955   2544148     11.82     12.46
2491.60/311.79	c  N dy  4648   1069335       864      3096     78363     72512    238955   4052311     11.83     12.54
2499.59/312.77	c  F st  4664   1071875       864      3096     78364     74958    238955   4241647     11.83      8.31
2547.61/318.72	c  N dy  4725   1089532       864      3096     78366     48537    238955   2155037     11.84     12.64
2591.58/324.28	c  N dy  4827   1109883       864      3096     78370     68227    238955   3710051     11.86     12.52
2652.34/331.86	c  N dy  4913   1130490       864      3096     78371     88041    238955   5187909     11.87     12.69
2697.11/337.45	c  N dy  5016   1150798       864      3096     78372     63240    238955   3256128     11.89     12.55
2773.01/346.90	c  N dy  5141   1171405       864      3096     78374     83095    238955   4823341     11.92     12.56
2832.18/354.33	c  N dy  5240   1191443       864      3096     78376     57066    238955   2663389     11.94     14.32
2878.55/360.12	c  S st  5345   1209962       864      3096     78377     74860    238955   4037890     11.97   no data
2880.15/360.33	c  S st  5345   1210464       864      3096     78377     75356    238955   4078165     11.97   no data
2880.15/360.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2888.94/361.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 34.7M T:  1.14
2888.94/361.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2888.94/361.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2893.73/362.09	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.60 s
2894.53/362.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
2894.53/362.11	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
2894.53/362.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2912.12/364.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.12 s
3011.25/376.72	c lits-rem:      3617  cl-subs:     5459  v-elim:      0  v-fix:    0  time: 12.33 s
3011.25/376.72	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
3012.05/376.82	c vivif2 --  cl tried    69897 cl shrink     2585 lits rem       2922 time: 0.10
3014.45/377.13	c asymm  cl-useful: 0/310/3096 lits-rem:0 time: 0.31
3014.45/377.14	c calculated reachability. Time: 0.00
3014.45/377.14	c  N dy  5345   1210464       864      3096     78377     69897    238943   3981920     11.97   no data
3081.61/385.57	c  N dy  5452   1231425       864      3096     78378     90065    238943   5579674     11.99     12.65
3128.03/391.39	c  N dy  5556   1251516       864      3096     78379     63337    238943   3295781     12.00     12.72
3186.35/398.66	c  N dy  5663   1271662       864      3096     78381     82736    238943   4870451     12.02     12.70
3244.70/405.99	c  N dy  5757   1291676       864      3096     78382     54854    238943   2511197     12.02     13.11
3296.67/412.40	c  N dy  5850   1313635       864      3096     78383     76048    238943   4160492     12.03     12.78
3372.63/421.93	c  N dy  5951   1333651       864      3096     78384     95333    238943   5706982     12.05     22.24
3425.39/428.50	c  N dy  6033   1354171       864      3096     78386     66836    238943   3351829     12.06     12.76
3489.34/436.57	c  N dy  6093   1374264       864      3096     78388     86147    238943   4495913     12.05     18.46
3549.34/444.05	c  N dy  6179   1395386       864      3096     78388     57515    238943   2616431     12.05     12.77
3596.47/449.92	c  N dy  6266   1415489       864      3096     78392     76893    238943   4043770     12.05     12.73
3663.67/458.34	c  N dy  6369   1436326       864      3096     78394     97017    238943   5671330     12.07     12.77
3713.99/464.67	c  N dy  6477   1456383       864      3096     78396     66263    238943   3307494     12.09     15.18
3773.15/472.06	c  N dy  6576   1476421       864      3096     78399     85534    238943   4849321     12.12     12.87
3849.14/481.54	c  N dy  6680   1496885       864      3096     78400     54179    238943   2317405     12.13     12.85
3897.87/487.62	c  N dy  6759   1517561       864      3096     78401     74135    238943   3819700     12.14     12.79
3975.41/497.36	c  N dy  6869   1538145       864      3096     78403     93895    238943   5340734     12.15     12.85
4041.81/505.61	c  N dy  6958   1558553       864      3096     78403     61511    238943   2865431     12.16     12.84
4097.73/512.68	c  N dy  7056   1579120       864      3096     78405     81272    238943   4413991     12.17     12.87
4173.72/522.17	c  N dy  7142   1599149       864      3096     78410    100496    238943   5853231     12.17     17.72
4236.07/529.95	c  N dy  7261   1620773       864      3096     78411     68359    238943   3278453     12.19     13.08
4303.19/538.34	c  N dy  7383   1641320       864      3096     78411     88069    238943   4791847     12.22     13.01
4389.53/549.10	c  N dy  7511   1661330       864      3096     78414    107333    238943   6262247     12.24     21.99
4439.88/555.44	c  N dy  7592   1682249       864      3096     78414     73614    238943   3655562     12.25     12.90
4548.63/591.49	c Following stats are for *FIRST FINISHED THREAD ONLY*
4548.63/591.49	c num threads              : 8          
4548.63/591.49	c restarts                 : 7758       
4548.63/591.49	c dynamic restarts         : 7728       
4548.63/591.49	c static restarts          : 30         
4548.63/591.49	c full restarts            : 4          
4548.63/591.49	c total simplify time      : 0.02       
4548.63/591.49	c learnts DL2              : 0          
4548.63/591.49	c learnts size 2           : 82375      
4548.63/591.49	c learnts size 1           : 0           (0.00      % of vars)
4548.63/591.49	c filedLit time            : 3.49        (0.59      % time)
4548.63/591.49	c v-elim SatELite          : 30          (3.36      % vars)
4548.63/591.49	c SatELite time            : 42.99       (7.31      % time)
4548.63/591.49	c v-elim xor               : 0           (0.00      % vars)
4548.63/591.49	c xor elim time            : 0.04        (0.01      % time)
4548.63/591.49	c num binary xor trees     : 0          
4548.63/591.49	c binxor trees' crown      : 0           (nan       leafs/tree)
4548.63/591.49	c bin xor find time        : 0.00       
4548.63/591.49	c OTF clause improved      : 58277       (0.03      clauses/conflict)
4548.63/591.49	c OTF impr. size diff      : 66547       (1.14       lits/clause)
4548.63/591.49	c OTF cl watch-shrink      : 1402992     (0.82      clauses/conflict)
4548.63/591.49	c OTF cl watch-sh-lit      : 30856363    (21.99      lits/clause)
4548.63/591.49	c tried to recurMin cls    : 401121      (23.40      % of conflicts)
4548.63/591.49	c updated cache            : 4686        (0.01       lits/tried recurMin)
4548.63/591.49	c unit cls recevied        : 0           (nan       % of units)
4548.63/591.49	c unit cls sent            : 0           (nan       % of units)
4548.63/591.49	c bin cls recevied         : 98         
4548.63/591.49	c bin cls sent             : 13         
4548.63/591.49	c clauses over max glue    : 0           (0.00      % of all clauses)
4548.63/591.49	c conflicts                : 1714370     (2914.00   / sec)
4548.63/591.49	c decisions                : 2566252     (0.25      % random)
4548.63/591.49	c bogo-props               : 43696724704 (74273539.51 / sec)
4548.63/591.49	c conflict literals        : 134412361   (42.60     % deleted)
4548.63/591.49	c Memory used              : 2001.47     MB
4548.63/591.49	c single-thread CPU time   : 588.32      s
4548.63/591.49	c all-threads sum CPU time : 4544.29     s
4548.63/591.49	s SATISFIABLE
4548.63/591.49	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 894 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3421736-1308516281/watcher-3421736-1308516281 -o /tmp/evaluation-result-3421736-1308516281/solver-3421736-1308516281 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421736-1308516281.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.89 3/170 25644
/proc/meminfo: memFree=27498512/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873782 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25644/statm: 23036 352 299 95 0 18018 0
[pid=25644/tid=25645] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 352 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873778 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0401199 s]
/proc/loadavg: 3.68 3.93 3.89 3/170 25644
/proc/meminfo: memFree=27498512/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=92144 CPUtime=0.2 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 419 0 0 0 20 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873369 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 23036 359 302 95 0 18018 0
[pid=25644/tid=25645] ppid=25642 vsize=92144 CPUtime=0.03 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873369 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=92144 CPUtime=0 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=92144 CPUtime=0.03 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873369 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=92144 CPUtime=0.03 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=92144 CPUtime=0.01 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=92144 CPUtime=0.03 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=92144 CPUtime=0.03 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 8 0 963226106 94355456 359 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873373 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 92144

[startup+0.101113 s]
/proc/loadavg: 3.68 3.93 3.89 3/170 25644
/proc/meminfo: memFree=27498512/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=489104 CPUtime=0.53 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) D 25642 25644 25422 0 -1 4202496 6217 0 0 0 45 8 0 0 17 0 8 0 963226106 500842496 6126 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244010017 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 122276 6138 336 95 0 117258 0
[pid=25644/tid=25645] ppid=25642 vsize=489104 CPUtime=0.08 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 805 0 0 0 7 1 0 0 17 0 8 0 963226106 500842496 6140 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=489104 CPUtime=0.02 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 862 0 0 0 1 1 0 0 17 0 8 0 963226106 500842496 6147 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244453870 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=489104 CPUtime=0.07 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 580 0 0 0 6 1 0 0 17 0 8 0 963226106 500842496 6151 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=489104 CPUtime=0.06 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 664 0 0 0 6 0 0 0 17 0 8 0 963226106 500842496 6153 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=489104 CPUtime=0.04 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 713 0 0 0 4 0 0 0 17 0 8 0 963226106 500842496 6154 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244453870 0 0 4096 2 18446604443866814400 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=489104 CPUtime=0.07 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) D 25642 25644 25422 0 -1 4202560 656 0 0 0 6 1 0 0 17 0 8 0 963226106 500842496 6158 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=489104 CPUtime=0.07 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 725 0 0 0 7 0 0 0 17 0 8 0 963226106 500842496 6160 33554432000 4194304 4580107 140736885168880 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 489104

[startup+1.17493 s]
/proc/loadavg: 3.68 3.93 3.89 3/170 25644
/proc/meminfo: memFree=27498512/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=637860 CPUtime=9.02 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 28977 0 0 0 885 17 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 159465 19597 376 95 0 154447 0
[pid=25644/tid=25645] ppid=25642 vsize=637860 CPUtime=1.13 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3927 0 0 0 112 1 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=637860 CPUtime=1.09 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3995 0 0 0 107 2 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=637860 CPUtime=1.13 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3247 0 0 0 111 2 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4316705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=637860 CPUtime=1.13 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3421 0 0 0 111 2 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=637860 CPUtime=1.1 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3682 0 0 0 108 2 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=637860 CPUtime=1.12 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3678 0 0 0 110 2 0 0 19 0 8 0 963226106 653168640 19597 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=637860 CPUtime=1.13 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3145 0 0 0 112 1 0 0 19 0 8 0 963226106 653168640 19598 33554432000 4194304 4580107 140736885168880 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 637860

[startup+1.27491 s]
/proc/loadavg: 3.68 3.93 3.89 3/170 25644
/proc/meminfo: memFree=27498512/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=639104 CPUtime=9.82 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 31138 0 0 0 965 17 0 0 19 0 8 0 963226106 654442496 19140 33554432000 4194304 4580107 140736885168880 18446744073709551615 4321089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 159776 19141 377 95 0 154758 0
[pid=25644/tid=25645] ppid=25642 vsize=639104 CPUtime=1.23 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4037 0 0 0 122 1 0 0 19 0 8 0 963226106 654442496 19141 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=639104 CPUtime=1.19 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4103 0 0 0 117 2 0 0 19 0 8 0 963226106 654442496 19141 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=639104 CPUtime=1.23 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3809 0 0 0 121 2 0 0 19 0 8 0 963226106 654442496 19141 33554432000 4194304 4580107 140736885168880 18446744073709551615 4324501 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=639104 CPUtime=1.23 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3917 0 0 0 121 2 0 0 19 0 8 0 963226106 654442496 19142 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=639104 CPUtime=1.2 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3814 0 0 0 118 2 0 0 19 0 8 0 963226106 654442496 19142 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=639104 CPUtime=1.22 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3778 0 0 0 120 2 0 0 19 0 8 0 963226106 654442496 19142 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=639104 CPUtime=1.23 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3279 0 0 0 122 1 0 0 19 0 8 0 963226106 654442496 19142 33554432000 4194304 4580107 140736885168880 18446744073709551615 4322568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 639104

[startup+1.57486 s]
/proc/loadavg: 3.68 3.93 3.89 3/170 25644
/proc/meminfo: memFree=27498512/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=629940 CPUtime=12.23 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 34058 0 0 0 1205 18 0 0 19 0 8 0 963226106 645058560 21363 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 157485 21364 377 95 0 152467 0
[pid=25644/tid=25645] ppid=25642 vsize=629940 CPUtime=1.53 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4384 0 0 0 152 1 0 0 19 0 8 0 963226106 645058560 21364 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=629940 CPUtime=1.48 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4409 0 0 0 146 2 0 0 19 0 8 0 963226106 645058560 21364 33554432000 4194304 4580107 140736885168880 18446744073709551615 4322664 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=629940 CPUtime=1.53 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4075 0 0 0 151 2 0 0 19 0 8 0 963226106 645058560 21364 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=629940 CPUtime=1.53 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4216 0 0 0 151 2 0 0 19 0 8 0 963226106 645058560 21364 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=629940 CPUtime=1.5 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4196 0 0 0 148 2 0 0 19 0 8 0 963226106 645058560 21366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=629940 CPUtime=1.52 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 4128 0 0 0 150 2 0 0 19 0 8 0 963226106 645058560 21366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=629940 CPUtime=1.53 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 3908 0 0 0 152 1 0 0 20 0 8 0 963226106 645058560 21366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 629940

[startup+3.10059 s]
/proc/loadavg: 3.68 3.93 3.89 9/178 25652
/proc/meminfo: memFree=27405872/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=624600 CPUtime=24.41 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 52823 0 0 0 2421 20 0 0 24 0 8 0 963226106 639590400 24033 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 156150 24034 377 95 0 151132 0
[pid=25644/tid=25645] ppid=25642 vsize=624600 CPUtime=3.06 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6802 0 0 0 304 2 0 0 24 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=624600 CPUtime=3.01 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6784 0 0 0 299 2 0 0 25 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=624600 CPUtime=3.05 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6525 0 0 0 303 2 0 0 24 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=624600 CPUtime=3.05 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6361 0 0 0 303 2 0 0 24 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=624600 CPUtime=3.02 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6409 0 0 0 300 2 0 0 24 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4324141 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=624600 CPUtime=3.05 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6191 0 0 0 302 3 0 0 24 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=624600 CPUtime=3.06 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 6526 0 0 0 304 2 0 0 24 0 8 0 963226106 639590400 24034 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 624600

[startup+6.30603 s]
/proc/loadavg: 4.03 4.00 3.91 9/178 25652
/proc/meminfo: memFree=27307900/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=654656 CPUtime=50.04 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 84807 0 0 0 4979 25 0 0 25 0 8 0 963226106 670367744 48449 33554432000 4194304 4580107 140736885168880 18446744073709551615 4416997 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25644/statm: 163664 48450 378 95 0 158646 0
[pid=25644/tid=25645] ppid=25642 vsize=654656 CPUtime=6.26 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 9603 0 0 0 624 2 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4406388 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=654656 CPUtime=6.21 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 13229 0 0 0 618 3 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=654656 CPUtime=6.26 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 9504 0 0 0 623 3 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=654656 CPUtime=6.26 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 10269 0 0 0 624 2 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=654656 CPUtime=6.21 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 10473 0 0 0 618 3 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=654656 CPUtime=6.25 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 10239 0 0 0 622 3 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=654656 CPUtime=6.26 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 9680 0 0 0 624 2 0 0 25 0 8 0 963226106 670367744 48450 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0

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

[pid=25644] ppid=25642 vsize=2090980 CPUtime=4175.27 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) R 25642 25644 25422 0 -1 4202496 1480344 0 0 0 417106 421 0 0 25 0 8 0 963226106 2141163520 338365 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294026 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 522745 338365 378 95 0 517727 0
[pid=25644/tid=25645] ppid=25642 vsize=2090980 CPUtime=522.27 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 176720 0 0 0 52181 46 0 0 25 0 8 0 963226106 2141163520 338365 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2090980 CPUtime=522.2 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 168920 0 0 0 52173 47 0 0 25 0 8 0 963226106 2141163520 338366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2090980 CPUtime=522.26 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 192996 0 0 0 52169 57 0 0 25 0 8 0 963226106 2141163520 338366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2090980 CPUtime=522.2 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 196966 0 0 0 52171 49 0 0 25 0 8 0 963226106 2141163520 338366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2090980 CPUtime=519.82 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 185697 0 0 0 51918 64 0 0 25 0 8 0 963226106 2141163520 338366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2090980 CPUtime=522.24 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 194510 0 0 0 52171 53 0 0 25 0 8 0 963226106 2141163520 338366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2090980 CPUtime=522.25 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 199230 0 0 0 52174 51 0 0 25 0 8 0 963226106 2141163520 338366 33554432000 4194304 4580107 140736885168880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4175.27
Current children cumulated vsize (KiB) 2090980

[startup+582.301 s]
/proc/loadavg: 6.42 7.08 5.68 3/178 25668
/proc/meminfo: memFree=26139012/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=2049500 CPUtime=4530.42 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) S 25642 25644 25422 0 -1 4202496 1573043 0 0 0 452589 453 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 512375 339949 378 95 0 507357 0
[pid=25644/tid=25645] ppid=25642 vsize=2049500 CPUtime=561.49 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 188951 0 0 0 56100 49 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 181540 0 0 0 56091 52 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2049500 CPUtime=582.25 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 212159 0 0 0 58164 61 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 205611 0 0 0 56090 53 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2049500 CPUtime=579.82 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 195347 0 0 0 57912 70 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466848964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 207835 0 0 0 56091 56 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 209119 0 0 0 56092 55 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4530.42
Current children cumulated vsize (KiB) 2049500

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

[startup+583.101 s]
/proc/loadavg: 6.42 7.08 5.68 3/178 25668
/proc/meminfo: memFree=26139012/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=2049500 CPUtime=4532.02 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) S 25642 25644 25422 0 -1 4202496 1573043 0 0 0 452749 453 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 512375 339949 378 95 0 507357 0
[pid=25644/tid=25645] ppid=25642 vsize=2049500 CPUtime=561.49 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 188951 0 0 0 56100 49 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 181540 0 0 0 56091 52 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2049500 CPUtime=583.05 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 212159 0 0 0 58244 61 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 205611 0 0 0 56090 53 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2049500 CPUtime=580.62 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 195347 0 0 0 57992 70 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466848964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 207835 0 0 0 56091 56 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 209119 0 0 0 56092 55 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4532.02
Current children cumulated vsize (KiB) 2049500

[startup+586.3 s]
/proc/loadavg: 6.07 6.99 5.66 3/178 25668
/proc/meminfo: memFree=26139012/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=2049500 CPUtime=4538.41 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) S 25642 25644 25422 0 -1 4202496 1573043 0 0 0 453388 453 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 512375 339949 378 95 0 507357 0
[pid=25644/tid=25645] ppid=25642 vsize=2049500 CPUtime=561.49 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 188951 0 0 0 56100 49 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 181540 0 0 0 56091 52 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2049500 CPUtime=586.25 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 212159 0 0 0 58564 61 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 205611 0 0 0 56090 53 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2049500 CPUtime=583.82 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 195347 0 0 0 58312 70 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 4219837 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 207835 0 0 0 56091 56 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 209119 0 0 0 56092 55 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4538.41
Current children cumulated vsize (KiB) 2049500

[startup+589.501 s]
/proc/loadavg: 6.07 6.99 5.66 3/178 25668
/proc/meminfo: memFree=26138884/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=2049500 CPUtime=4544.82 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) S 25642 25644 25422 0 -1 4202496 1573043 0 0 0 454029 453 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 512375 339949 378 95 0 507357 0
[pid=25644/tid=25645] ppid=25642 vsize=2049500 CPUtime=561.49 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 188951 0 0 0 56100 49 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 181540 0 0 0 56091 52 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2049500 CPUtime=589.45 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 212159 0 0 0 58884 61 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 205611 0 0 0 56090 53 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2049500 CPUtime=587.02 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 195347 0 0 0 58632 70 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466848960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 207835 0 0 0 56091 56 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 209119 0 0 0 56092 55 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4544.82
Current children cumulated vsize (KiB) 2049500

[startup+590.301 s]
/proc/loadavg: 5.74 6.91 5.64 3/178 25668
/proc/meminfo: memFree=26138884/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=2049500 CPUtime=4546.43 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) S 25642 25644 25422 0 -1 4202496 1573043 0 0 0 454190 453 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 512375 339949 378 95 0 507357 0
[pid=25644/tid=25645] ppid=25642 vsize=2049500 CPUtime=561.49 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 188951 0 0 0 56100 49 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 181540 0 0 0 56091 52 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2049500 CPUtime=590.26 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 212159 0 0 0 58965 61 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 205611 0 0 0 56090 53 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2049500 CPUtime=587.82 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 195347 0 0 0 58712 70 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466848811 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 207835 0 0 0 56091 56 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 209119 0 0 0 56092 55 0 0 25 0 8 0 963226106 2098688000 339949 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4546.43
Current children cumulated vsize (KiB) 2049500

[startup+591.101 s]
/proc/loadavg: 5.74 6.91 5.64 3/178 25668
/proc/meminfo: memFree=26138884/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=2049500 CPUtime=4548.02 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) S 25642 25644 25422 0 -1 4202496 1573174 0 0 0 454349 453 0 0 25 0 8 0 963226106 2098688000 339429 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 512375 339429 378 95 0 507357 0
[pid=25644/tid=25645] ppid=25642 vsize=2049500 CPUtime=561.49 cores=0-7
/proc/25644/task/25645/stat : 25645 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 188951 0 0 0 56100 49 0 0 25 0 8 0 963226106 2098688000 339429 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 4 0 0 0
[pid=25644/tid=25646] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25646/stat : 25646 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 181540 0 0 0 56091 52 0 0 25 0 8 0 963226106 2098688000 339429 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 5 0 0 0
[pid=25644/tid=25647] ppid=25642 vsize=2049500 CPUtime=591.05 cores=0-7
/proc/25644/task/25647/stat : 25647 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 212291 0 0 0 59044 61 0 0 25 0 8 0 963226106 2098688000 339430 33554432000 4194304 4580107 140736885168880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=2049500 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 205611 0 0 0 56090 53 0 0 25 0 8 0 963226106 2098688000 339430 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 2 0 0 0
[pid=25644/tid=25649] ppid=25642 vsize=2049500 CPUtime=588.62 cores=0-7
/proc/25644/task/25649/stat : 25649 (strangenight2-m) R 25642 25644 25422 0 -1 4202560 195347 0 0 0 58792 70 0 0 25 0 8 0 963226106 2098688000 339430 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466848811 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25644/tid=25650] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25650/stat : 25650 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 207835 0 0 0 56091 56 0 0 25 0 8 0 963226106 2098688000 339430 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 6 0 0 0
[pid=25644/tid=25651] ppid=25642 vsize=2049500 CPUtime=561.47 cores=0-7
/proc/25644/task/25651/stat : 25651 (strangenight2-m) S 25642 25644 25422 0 -1 4202560 209119 0 0 0 56092 55 0 0 25 0 8 0 963226106 2098688000 339430 33554432000 4194304 4580107 140736885168880 18446744073709551615 47609466873396 0 0 4096 2 18446604443866814400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4548.02
Current children cumulated vsize (KiB) 2049500

[startup+591.506 s]
/proc/loadavg: 5.74 6.91 5.64 3/178 25668
/proc/meminfo: memFree=26140492/32951124 swapFree=67056676/67111528
[pid=25644] ppid=25642 vsize=0 CPUtime=4548.82 cores=0-7
/proc/25644/stat : 25644 (strangenight2-m) Z 25642 25644 25422 0 -1 4203548 1573326 0 0 0 454428 454 0 0 18 0 2 0 963226106 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/25644/statm: 0 0 0 0 0 0 0
[pid=25644/tid=25648] ppid=25642 vsize=0 CPUtime=561.43 cores=0-7
/proc/25644/task/25648/stat : 25648 (strangenight2-m) R 25642 25644 25422 0 -1 4203588 205611 0 0 0 56090 53 0 0 18 0 2 0 963226106 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4548.82
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 591.56
CPU time (s): 4548.88
CPU user time (s): 4544.28
CPU system time (s): 4.5983
CPU usage (%): 768.964
Max. virtual memory (cumulated for all children) (KiB): 2285744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4544.29
system time used= 4.5983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1573326
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= 19285
involuntary context switches= 19477

runsolver used 0.894863 second user time and 2.12968 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-19 22:44:41
IDJOB=3421736
IDBENCH=88215
IDSOLVER=1878
FILE ID=node136/3421736-1308516281
RUNJOBID= node136-1308511179-25436
PBS_JOBID= 13608248
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421736-1308516281/watcher-3421736-1308516281 -o /tmp/evaluation-result-3421736-1308516281/solver-3421736-1308516281 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421736-1308516281.cnf

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=670713605

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27499064 kB
Buffers:        562024 kB
Cached:        4490652 kB
SwapCached:       8800 kB
Active:        1600024 kB
Inactive:      3471556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27499064 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:            6636 kB
Writeback:           0 kB
AnonPages:       16964 kB
Mapped:          12812 kB
Slab:           315884 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187676 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= 73356 MiB
End job on node136 at 2011-06-19 22:54:33