Trace number 3393952

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 230.02 30.1004

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor032.cnf
MD5SUMe1a6f3a7c69cc7fbec84aac478eb151a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark53.2849
Satisfiable
(Un)Satisfiability was proved
Number of variables13240
Number of clauses39143
Sum of the clauses size91331
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 226094
Number of clauses of size 313047
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3393952-1306075133.cnf'
0.00/0.06	c -- header says num vars:          13240
0.00/0.06	c -- header says num clauses:       39143
2.97/0.49	c -- clauses added:            0 learnts,        39143 normals,            0 xors
2.97/0.49	c -- vars added      13240
2.97/0.49	c Parsing time:  0.02 s
2.97/0.49	c  N st     0         0     13240     13047     26094         0     91329         0   no data   no data
2.97/0.49	c asymm  cl-useful: 0/13030/13030 lits-rem:0 time: 0.37
10.74/1.42	c Flit:     0 Blit:     65 bXBeca:    0 bXProp:   67 Bins:      0 BRemL:      0 BRemN:      0 P: 16.7M T:  0.90
10.74/1.42	c Replacing       67 vars Replaced     1244 lits Time:     0.00 s 
10.74/1.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.74/1.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.74/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.74/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  13090 time:  0.04 s
11.54/1.52	c Removed useless bin:      66  fixed:     0  props:   7.71M  time:  0.04 s
12.30/1.60	c lits-rem:         0  cl-subs:      116  v-elim:   4363  v-fix:    0  time:  0.06 s
12.30/1.63	c Finding binary XORs  T:     0.03 s  found:       0
12.30/1.64	c Finding non-binary XORs:     0.00 s (found:     525, avg size: 3.0)
12.30/1.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.30/1.64	c calculated reachability. Time: 0.01
12.30/1.64	c Calc default polars -  time:   0.00 s pos:     230 undec:    5327 neg:    7683
12.30/1.64	c =========================================================================================
12.30/1.64	c types(t): F = full restart, N = normal restart
12.30/1.64	c types(t): S = simplification begin/end, E = solution found
12.30/1.64	c restart types(rt): st = static, dy = dynamic
12.30/1.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
12.30/1.64	c  B st     0         0      8727     11656     15969         0     74988         0   no data   no data
17.22/2.22	c  N dy    10      6384      8727     11656     16065      3745     74988     58586     13.46     14.47
21.07/2.76	c  N dy    20     10673      8725     11656     16803      7897     74988    274723     12.59     13.64
25.06/3.20	c  N dy    40     14762      8725     11656     17701      7767     74988    156759     12.43     33.45
26.01/3.40	c Finding binary XORs  T:     0.02 s  found:     286
26.01/3.41	c Replacing      286 vars Replaced     7941 lits Time:     0.01 s 
29.05/3.78	c  N dy    50     18983      8434     10994     17948      6336     72967    105480     11.97     13.17
33.85/4.30	c  N dy    76     23111      8432     10994     18002     10377     72967    271453     12.58     13.36
35.58/4.54	c  F st    87     25001      8431     10994     18047     12213     72967    344050     12.53      7.55
38.64/4.93	c  N st    92     28299      8431     10984     18653      8849     72927    163144     12.53   no data
40.23/5.16	c  S st    93     30002      8429     10984     18656     10531     72927    272170     12.53   no data
41.03/5.24	c  S st    93     30502      8429     10984     18680     11003     72927    288688     12.53   no data
41.03/5.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.79/7.37	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:  322 Bins:  33460 BRemL:   3534 BRemN:      0 P: 20.1M T:  2.12
57.79/7.38	c Replacing      322 vars Replaced    15305 lits Time:     0.01 s 
57.79/7.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57.79/7.39	c bin-w-bin subsume rem         1093 bins  time:  0.00 s
57.79/7.40	c subs with bin:      214  lits-rem:        75  v-fix:    0  time:  0.01 s
58.59/7.42	c Subs w/ non-existent bins:      0 l-rem:    216 v-fix:     0 done:   8097 time:  0.03 s
58.59/7.43	c Removed useless bin:       2  fixed:     0  props:   0.39M  time:  0.01 s
58.59/7.48	c lits-rem:        32  cl-subs:      123  v-elim:   3625  v-fix:    0  time:  0.05 s
58.59/7.49	c subs with bin:      108  lits-rem:      1109  v-fix:    0  time:  0.00 s
58.59/7.49	c lits-rem:        72  cl-subs:       89  v-elim:      0  v-fix:    0  time:  0.00 s
62.57/7.98	c asymm  cl-useful: 366/11568/11568 lits-rem:423 time: 0.49
62.57/7.99	c calculated reachability. Time: 0.00
62.57/7.99	c  N dy    93     30502      4472     11568     25516      2757     63173     52399     12.53   no data
63.37/8.01	c Finding binary XORs  T:     0.02 s  found:       0
65.77/8.39	c  N dy    97     34789      4467     11568     26412      6946     63173    148125     12.02     12.91
68.17/8.65	c Finding binary XORs  T:     0.01 s  found:     288
68.17/8.65	c Replacing      288 vars Replaced    11461 lits Time:     0.01 s 
68.96/8.75	c  N dy   113     39110      4177     10800     29084      7170     60636    156309     11.74     12.44
71.34/9.07	c  N dy   126     43152      4177     10800     29110     11109     60632    243786     11.48     12.28
73.74/9.30	c  S st   137     45755      4175     10800     29206      7118     60632    105578     11.42      7.44
73.74/9.35	c  S st   137     46258      4175     10800     29216      7605     60632    116479     11.42   no data
73.74/9.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.12/10.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   34 Bins:  10775 BRemL:  14897 BRemN:      0 P:  7.0M T:  1.26
84.12/10.62	c Replacing       34 vars Replaced     2301 lits Time:     0.01 s 
84.12/10.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.12/10.62	c bin-w-bin subsume rem         1380 bins  time:  0.00 s
84.12/10.63	c subs with bin:      190  lits-rem:        27  v-fix:    0  time:  0.01 s
84.12/10.64	c Subs w/ non-existent bins:     15 l-rem:     36 v-fix:     0 done:   4141 time:  0.01 s
84.12/10.64	c Removed useless bin:       7  fixed:     0  props:   0.12M  time:  0.00 s
84.12/10.66	c lits-rem:         0  cl-subs:        3  v-elim:     74  v-fix:    0  time:  0.01 s
84.12/10.67	c subs with bin:       53  lits-rem:       848  v-fix:    0  time:  0.01 s
84.12/10.68	c lits-rem:       228  cl-subs:      273  v-elim:      0  v-fix:    0  time:  0.01 s
84.12/10.69	c vivif2 --  cl tried    10594 cl shrink       28 lits rem         28 time: 0.01
84.12/10.69	c vivif2 --  cl tried     6273 cl shrink      884 lits rem       1849 time: 0.01
88.90/11.20	c asymm  cl-useful: 6/10591/10591 lits-rem:6 time: 0.51
88.90/11.20	c calculated reachability. Time: 0.00
88.90/11.20	c  N dy   137     46258      4067     10591     20171      6271     60981     74990     11.42   no data
88.90/11.21	c Finding binary XORs  T:     0.01 s  found:       0
91.30/11.53	c  N dy   144     50508      4067     10591     23797     10441     60980    205765     11.14     11.78
92.90/11.77	c Finding binary XORs  T:     0.01 s  found:      48
92.90/11.78	c Replacing       48 vars Replaced     4944 lits Time:     0.01 s 
93.71/11.89	c  N dy   156     54632      4016     10501     22408     14211     60609    286746     10.97     11.84
96.24/12.21	c  N dy   167     58643      4016     10501     23856     10112     60608    144287     10.86     11.70
99.28/12.53	c  N dy   188     62853      4015     10501     23865     14259     60608    244627     10.80     11.39
102.48/12.91	c  N dy   214     66937      4015     10501     24172     18273     60607    365395     10.83     11.42
104.08/13.17	c  S st   227     69389      4014     10501     24240     10790     60607    126261     10.80      9.79
105.02/13.22	c  S st   227     69889      4014     10501     24243     11285     60607    139652     10.80   no data
105.02/13.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
113.80/14.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   29 Bins:   2575 BRemL:   8997 BRemN:     33 P: 12.1M T:  1.18
113.80/14.41	c Replacing       29 vars Replaced     2452 lits Time:     0.01 s 
113.80/14.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.60/14.42	c bin-w-bin subsume rem          907 bins  time:  0.00 s
114.60/14.42	c subs with bin:       33  lits-rem:        35  v-fix:    0  time:  0.00 s
114.60/14.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3982 time:  0.01 s
114.60/14.43	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
114.60/14.44	c lits-rem:         1  cl-subs:       10  v-elim:     10  v-fix:    0  time:  0.01 s
114.60/14.46	c subs with bin:       94  lits-rem:       965  v-fix:    0  time:  0.02 s
114.60/14.48	c lits-rem:       311  cl-subs:      457  v-elim:      0  v-fix:    0  time:  0.01 s
114.60/14.49	c vivif2 --  cl tried    10389 cl shrink        0 lits rem          0 time: 0.01
115.25/14.50	c vivif2 --  cl tried    10038 cl shrink      770 lits rem       2305 time: 0.01
119.23/15.05	c asymm  cl-useful: 72/10389/10389 lits-rem:93 time: 0.55
119.23/15.05	c calculated reachability. Time: 0.00
119.23/15.05	c  N dy   227     69889      3972     10382     16167     10038     59995    102548     10.80   no data
119.23/15.06	c Finding binary XORs  T:     0.01 s  found:       1
122.57/15.45	c  N dy   240     74444      3971     10382     16175     14525     59993    243835     10.71     11.28
124.02/15.61	c Finding binary XORs  T:     0.01 s  found:      20
126.43/15.92	c  N dy   264     79237      3961     10335     17994     18407     59738    380106     10.68     13.46
130.42/16.44	c  N dy   293     84529      3958     10335     18177     13054     59738    169618     10.65     11.27
132.80/16.71	c  F st   307     87500      3958     10335     18180     15991     59735    280776     10.64      8.54
132.80/16.71	c Replacing       21 vars Replaced     1598 lits Time:     0.00 s 
135.20/17.02	c  N st   312     90796      3937     10290     18130     19134     59521    472583     10.64   no data
138.40/17.43	c Finding binary XORs  T:     0.01 s  found:       9
140.94/17.72	c  N dy   338     96754      3930     10280     23404     12732     59424    141920     10.72     11.34
145.58/18.35	c  N dy   375    102950      3921     10280     23914     18856     59424    390876     10.74     11.36
147.18/18.55	c  S st   387    104833      3921     10280     23915     20724     59424    459938     10.76   no data
147.97/18.62	c  S st   387    105334      3921     10280     23918     21218     59423    478288     10.76   no data
147.97/18.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
158.50/19.99	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   23 Bins:  20039 BRemL:   7117 BRemN:      1 P: 12.2M T:  1.36
159.14/20.01	c Replacing       32 vars Replaced    12233 lits Time:     0.02 s 
159.14/20.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
159.14/20.02	c bin-w-bin subsume rem         1502 bins  time:  0.00 s
159.14/20.03	c subs with bin:       96  lits-rem:       321  v-fix:    0  time:  0.01 s
159.14/20.04	c Subs w/ non-existent bins:     20 l-rem:     34 v-fix:     0 done:   3888 time:  0.01 s
159.14/20.04	c Removed useless bin:       1  fixed:     0  props:   0.15M  time:  0.00 s
159.14/20.05	c lits-rem:        42  cl-subs:      111  v-elim:     68  v-fix:    0  time:  0.01 s
159.94/20.15	c subs with bin:      560  lits-rem:      3494  v-fix:    0  time:  0.08 s
159.94/20.19	c lits-rem:       799  cl-subs:      691  v-elim:      0  v-fix:    0  time:  0.04 s
160.74/20.20	c vivif2 --  cl tried    10000 cl shrink      490 lits rem        619 time: 0.01
160.74/20.22	c vivif2 --  cl tried    13760 cl shrink     3642 lits rem      14541 time: 0.02
165.54/20.91	c asymm  cl-useful: 79/9979/9979 lits-rem:142 time: 0.69
166.48/20.92	c calculated reachability. Time: 0.00
166.48/20.92	c  N dy   387    105334      3820      9955     25126     13680     57163    218790     10.76   no data
166.48/20.93	c Finding binary XORs  T:     0.01 s  found:       4
171.12/21.55	c Finding binary XORs  T:     0.01 s  found:      37
171.12/21.56	c Replacing       41 vars Replaced     6455 lits Time:     0.01 s 
171.92/21.68	c  N dy   413    112257      3741      9798     32663     18255     56221    483796     10.70     11.55
177.50/22.39	c  N dy   451    119438      3733      9798     33208     16176     56208    385174     10.72     11.72
185.48/23.33	c Finding binary XORs  T:     0.01 s  found:      54
185.48/23.34	c Replacing       54 vars Replaced    12099 lits Time:     0.01 s 
185.48/23.38	c  N dy   505    127214      3665      9724     46681     22826     55706    766662     10.79     11.52
193.62/24.33	c  N dy   553    135353      3649      9724     47708     18892     55696    475168     10.81     11.49
203.04/25.51	c  N dy   612    144082      3631      9724     48081     27482     55696    914368     10.91     11.56
211.82/26.69	c  N dy   661    153508      3581      9473     46910     20866     54385    525411     10.92     11.53
212.62/26.78	c Finding binary XORs  T:     0.01 s  found:      69
212.62/26.80	c Replacing       69 vars Replaced     9374 lits Time:     0.01 s 
217.42/27.35	c Finding binary XORs  T:     0.01 s  found:     105
217.42/27.36	c Replacing      105 vars Replaced    17622 lits Time:     0.01 s 
217.42/27.38	c  S st   688    158005      3375      9170     58923     22067     52862    630666     10.94   no data
218.23/27.46	c  S st   688    158505      3374      9170     58923     22565     52862    664184     10.94   no data
218.23/27.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
228.04/29.16	c Flit:    10 Blit:     67 bXBeca:    0 bXProp:  172 Bins:   8189 BRemL:  27847 BRemN:      3 P: 24.3M T:  1.70
228.04/29.18	c Replacing      172 vars Replaced    27120 lits Time:     0.01 s 
228.04/29.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
228.04/29.19	c bin-w-bin subsume rem         6798 bins  time:  0.00 s
228.04/29.19	c subs with bin:      612  lits-rem:       864  v-fix:    0  time:  0.01 s
228.24/29.20	c Subs w/ non-existent bins:     16 l-rem:    495 v-fix:     0 done:   3115 time:  0.01 s
228.24/29.20	c Removed useless bin:      15  fixed:     0  props:   0.16M  time:  0.00 s
228.24/29.22	c lits-rem:       188  cl-subs:      273  v-elim:    160  v-fix:    0  time:  0.01 s
228.44/29.33	c subs with bin:     2469  lits-rem:     10604  v-fix:    0  time:  0.11 s
228.44/29.39	c lits-rem:      1846  cl-subs:      983  v-elim:      0  v-fix:    0  time:  0.05 s
228.64/29.40	c vivif2 --  cl tried     7805 cl shrink      569 lits rem       1011 time: 0.01
228.64/29.42	c vivif2 --  cl tried    10932 cl shrink     6279 lits rem      42032 time: 0.02
229.84/30.07	c asymm  cl-useful: 181/6667/7717 lits-rem:388 time: 0.64
229.84/30.07	c calculated reachability. Time: 0.00
229.84/30.07	c  N dy   688    158505      2955      7647     27622     10395     43998    209178     10.94   no data
229.84/30.07	c Following stats are for *FIRST FINISHED THREAD ONLY*
229.84/30.07	c num threads              : 8          
229.84/30.07	c restarts                 : 796        
229.84/30.07	c dynamic restarts         : 778        
229.84/30.07	c static restarts          : 18         
229.84/30.07	c full restarts            : 2          
229.84/30.07	c total simplify time      : 0.22       
229.84/30.07	c learnts DL2              : 0          
229.84/30.07	c learnts size 2           : 175631     
229.84/30.07	c learnts size 1           : 1129        (8.53      % of vars)
229.84/30.07	c filedLit time            : 5.15        (17.21     % time)
229.84/30.07	c v-elim SatELite          : 8149        (61.55     % vars)
229.84/30.07	c SatELite time            : 0.19        (0.62      % time)
229.84/30.07	c v-elim xor               : 0           (0.00      % vars)
229.84/30.07	c xor elim time            : 0.01        (0.04      % time)
229.84/30.07	c num binary xor trees     : 337        
229.84/30.07	c binxor trees' crown      : 1478        (4.39      leafs/tree)
229.84/30.07	c bin xor find time        : 0.15       
229.84/30.07	c OTF clause improved      : 2324        (0.01      clauses/conflict)
229.84/30.07	c OTF impr. size diff      : 3207        (1.38       lits/clause)
229.84/30.07	c OTF cl watch-shrink      : 113748      (0.62      clauses/conflict)
229.84/30.07	c OTF cl watch-sh-lit      : 549101      (4.83       lits/clause)
229.84/30.07	c tried to recurMin cls    : 86757       (47.60      % of conflicts)
229.84/30.07	c updated cache            : 0           (0.00       lits/tried recurMin)
229.84/30.07	c unit cls recevied        : 167         (14.79     % of units)
229.84/30.07	c unit cls sent            : 32          (2.83      % of units)
229.84/30.07	c bin cls recevied         : 116185     
229.84/30.07	c bin cls sent             : 22215      
229.84/30.07	c clauses over max glue    : 0           (0.00      % of all clauses)
229.84/30.07	c conflicts                : 182269      (6085.08   / sec)
229.84/30.07	c decisions                : 550979      (1.58      % random)
229.84/30.07	c bogo-props               : 1039784876  (34713364.07 / sec)
229.84/30.07	c conflict literals        : 7067455     (33.00     % deleted)
229.84/30.07	c Memory used              : 956.32      MB
229.84/30.07	c single-thread CPU time   : 29.95       s
229.84/30.07	c all-threads sum CPU time : 229.44      s
229.84/30.07	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3393952-1306075133/watcher-3393952-1306075133 -o /tmp/evaluation-result-3393952-1306075133/solver-3393952-1306075133 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393952-1306075133.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: 8.12 8.09 8.01 2/543 21471
/proc/meminfo: memFree=13579260/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=92144 CPUtime=0.1 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 420 0 0 0 10 0 0 0 23 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 23036 360 302 95 0 18018 0
[pid=21471/tid=21472] ppid=21469 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4 0 0 0 1 0 0 0 23 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=92144 CPUtime=0 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827219 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=92144 CPUtime=0 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 719113695 94355456 360 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827229 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0610641 s]
/proc/loadavg: 8.12 8.09 8.01 2/543 21471
/proc/meminfo: memFree=13579260/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=445560 CPUtime=0.38 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 1869 0 0 0 37 1 0 0 18 0 8 0 719113695 456253440 1752 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 115492 1755 336 95 0 110474 0
[pid=21471/tid=21472] ppid=21469 vsize=461968 CPUtime=0.05 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 183 0 0 0 5 0 0 0 24 0 8 0 719113695 473055232 1759 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 18446604450122769472 0 0 -1 6 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=461968 CPUtime=0 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 183 0 0 0 0 0 0 0 24 0 8 0 719113695 473055232 1760 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=461968 CPUtime=0.05 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 188 0 0 0 5 0 0 0 24 0 8 0 719113695 473055232 1768 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640556299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=461968 CPUtime=0.05 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 187 0 0 0 5 0 0 0 18 0 8 0 719113695 473055232 1776 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 18446604450122769472 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=461968 CPUtime=0.04 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 187 0 0 0 4 0 0 0 25 0 8 0 719113695 473055232 1783 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=461968 CPUtime=0.04 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 196 0 0 0 4 0 0 0 18 0 8 0 719113695 473055232 1787 33554432000 4194304 4580107 140735052834672 18446744073709551615 4310128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=461968 CPUtime=0.05 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 187 0 0 0 5 0 0 0 25 0 8 0 719113695 473055232 1789 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640518419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 445560

[startup+0.10112 s]
/proc/loadavg: 8.12 8.09 8.01 2/543 21471
/proc/meminfo: memFree=13579260/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=569992 CPUtime=0.59 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) S 21469 21471 21187 0 -1 4202496 11291 0 0 0 50 9 0 0 17 0 8 0 719113695 583671808 9335 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 142498 9363 337 95 0 137480 0
[pid=21471/tid=21472] ppid=21469 vsize=569992 CPUtime=0.06 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 1373 0 0 0 6 0 0 0 17 0 8 0 719113695 583671808 9376 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 18446604450122769472 0 0 -1 6 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=569992 CPUtime=0.02 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 1293 0 0 0 1 1 0 0 17 0 8 0 719113695 583671808 9391 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 18446604450122769472 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=569992 CPUtime=0.08 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1485 0 0 0 7 1 0 0 17 0 8 0 719113695 583671808 9405 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=569992 CPUtime=0.08 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1416 0 0 0 7 1 0 0 17 0 8 0 719113695 583671808 9454 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=569992 CPUtime=0.07 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1384 0 0 0 6 1 0 0 17 0 8 0 719113695 583671808 9481 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=570132 CPUtime=0.08 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) D 21469 21471 21187 0 -1 4202560 1400 0 0 0 7 1 0 0 17 0 8 0 719113695 583815168 9488 33554432000 4194304 4580107 140735052834672 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=570132 CPUtime=0.07 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) D 21469 21471 21187 0 -1 4202560 1297 0 0 0 7 0 0 0 17 0 8 0 719113695 583815168 9488 33554432000 4194304 4580107 140735052834672 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 569992

[startup+0.37301 s]
/proc/loadavg: 8.12 8.09 8.01 2/543 21471
/proc/meminfo: memFree=13579260/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=571808 CPUtime=2.75 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 14341 0 0 0 262 13 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 142952 12353 359 95 0 137934 0
[pid=21471/tid=21472] ppid=21469 vsize=571808 CPUtime=0.34 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1794 0 0 0 33 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=571808 CPUtime=0.29 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1592 0 0 0 28 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=571808 CPUtime=0.34 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1856 0 0 0 33 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294157 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=571808 CPUtime=0.34 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1780 0 0 0 33 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=571808 CPUtime=0.33 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1707 0 0 0 32 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=571808 CPUtime=0.34 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1759 0 0 0 33 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=571808 CPUtime=0.34 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1766 0 0 0 33 1 0 0 18 0 8 0 719113695 585531392 12353 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 571808

[startup+0.70095 s]
/proc/loadavg: 8.12 8.09 8.01 2/543 21471
/proc/meminfo: memFree=13579260/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=581812 CPUtime=5.23 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 31731 0 0 0 504 19 0 0 18 0 8 0 719113695 595775488 29743 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 145453 29752 360 95 0 140435 0
[pid=21471/tid=21472] ppid=21469 vsize=581812 CPUtime=0.65 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4207 0 0 0 63 2 0 0 18 0 8 0 719113695 595775488 29756 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=581812 CPUtime=0.6 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4136 0 0 0 58 2 0 0 18 0 8 0 719113695 595775488 29758 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=581812 CPUtime=0.65 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4295 0 0 0 63 2 0 0 18 0 8 0 719113695 595775488 29761 33554432000 4194304 4580107 140735052834672 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=581812 CPUtime=0.66 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4355 0 0 0 64 2 0 0 18 0 8 0 719113695 595775488 29761 33554432000 4194304 4580107 140735052834672 18446744073709551615 4295352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=581812 CPUtime=0.64 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4034 0 0 0 62 2 0 0 18 0 8 0 719113695 595775488 29761 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=581812 CPUtime=0.65 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4233 0 0 0 63 2 0 0 18 0 8 0 719113695 595775488 29761 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=581812 CPUtime=0.66 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 1844 0 0 0 65 1 0 0 18 0 8 0 719113695 595775488 29761 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 581812

[startup+1.5008 s]
/proc/loadavg: 8.12 8.09 8.01 9/551 21479
/proc/meminfo: memFree=13362124/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=610488 CPUtime=11.54 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 61012 0 0 0 1128 26 0 0 18 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4490609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 152622 58798 373 95 0 147604 0
[pid=21471/tid=21472] ppid=21469 vsize=610488 CPUtime=1.44 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 8351 0 0 0 141 3 0 0 18 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4515262 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=610488 CPUtime=1.37 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 8291 0 0 0 134 3 0 0 18 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4515203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=610488 CPUtime=1.43 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 8389 0 0 0 141 2 0 0 18 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292093 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=610488 CPUtime=1.45 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 8361 0 0 0 142 3 0 0 18 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292086 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=610488 CPUtime=1.42 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 8207 0 0 0 139 3 0 0 19 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4515243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=610488 CPUtime=1.44 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 8220 0 0 0 141 3 0 0 18 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292193 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=610488 CPUtime=1.45 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 2496 0 0 0 144 1 0 0 19 0 8 0 719113695 625139712 58798 33554432000 4194304 4580107 140735052834672 18446744073709551615 4484499 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 610488

[startup+3.10052 s]
/proc/loadavg: 8.11 8.09 8.01 9/551 21479
/proc/meminfo: memFree=13311548/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=604672 CPUtime=24.26 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 77349 0 0 0 2394 32 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4295831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 151168 67044 380 95 0 146150 0
[pid=21471/tid=21472] ppid=21469 vsize=604672 CPUtime=3.03 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 10875 0 0 0 299 4 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4324665 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=604672 CPUtime=2.95 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 10539 0 0 0 291 4 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=604672 CPUtime=3.03 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 10479 0 0 0 299 4 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4322729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=604672 CPUtime=3.03 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 9947 0 0 0 300 3 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=604672 CPUtime=3.02 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 10912 0 0 0 298 4 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=604672 CPUtime=3.04 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 10661 0 0 0 300 4 0 0 20 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=604672 CPUtime=3.04 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 3152 0 0 0 303 1 0 0 23 0 8 0 719113695 619184128 67044 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 604672

[startup+6.30093 s]
/proc/loadavg: 8.11 8.09 8.01 9/551 21479
/proc/meminfo: memFree=13285436/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=653768 CPUtime=49.81 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 92034 0 0 0 4945 36 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293268 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 163442 73892 381 95 0 158424 0
[pid=21471/tid=21472] ppid=21469 vsize=653768 CPUtime=6.23 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 13072 0 0 0 619 4 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=653768 CPUtime=6.09 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 12153 0 0 0 605 4 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=653768 CPUtime=6.23 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 12042 0 0 0 619 4 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=653768 CPUtime=6.24 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 11742 0 0 0 620 4 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=653768 CPUtime=6.23 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 13050 0 0 0 618 5 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=653768 CPUtime=6.24 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 13274 0 0 0 619 5 0 0 25 0 8 0 719113695 669458432 73892 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=653768 CPUtime=6.25 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 4644 0 0 0 623 2 0 0 25 0 8 0 719113695 669458432 73893 33554432000 4194304 4580107 140735052834672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 653768

[startup+12.7008 s]
/proc/loadavg: 8.09 8.09 8.01 9/551 21479
/proc/meminfo: memFree=13212272/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=848200 CPUtime=100.88 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 118655 0 0 0 10045 43 0 0 25 0 8 0 719113695 868556800 93560 33554432000 4194304 4580107 140735052834672 18446744073709551615 4319382 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 212050 93560 381 95 0 207032 0
[pid=21471/tid=21472] ppid=21469 vsize=848200 CPUtime=12.63 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 16874 0 0 0 1258 5 0 0 25 0 8 0 719113695 868556800 93560 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=848200 CPUtime=12.37 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 14927 0 0 0 1232 5 0 0 25 0 8 0 719113695 868556800 93561 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=848200 CPUtime=12.63 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 15451 0 0 0 1258 5 0 0 25 0 8 0 719113695 868556800 93561 33554432000 4194304 4580107 140735052834672 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=848200 CPUtime=12.64 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 15778 0 0 0 1259 5 0 0 25 0 8 0 719113695 868556800 93561 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=848200 CPUtime=12.62 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 17128 0 0 0 1256 6 0 0 25 0 8 0 719113695 868556800 93561 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293962 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=848200 CPUtime=12.64 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 16337 0 0 0 1258 6 0 0 25 0 8 0 719113695 868556800 93561 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640520001 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=848200 CPUtime=12.64 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 7332 0 0 0 1262 2 0 0 25 0 8 0 719113695 868556800 93561 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.88
Current children cumulated vsize (KiB) 848200

[startup+25.5014 s]
/proc/loadavg: 8.08 8.08 8.01 9/551 21480
/proc/meminfo: memFree=13068024/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=1007608 CPUtime=203.04 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 164380 0 0 0 20252 52 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 251902 127362 381 95 0 246884 0
[pid=21471/tid=21472] ppid=21469 vsize=1007608 CPUtime=25.43 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 23846 0 0 0 2537 6 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=1007608 CPUtime=24.93 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 19350 0 0 0 2487 6 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=1007608 CPUtime=25.43 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21105 0 0 0 2537 6 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=1007608 CPUtime=25.44 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21771 0 0 0 2538 6 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4465108 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=1007608 CPUtime=25.43 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 20448 0 0 0 2536 7 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=1007608 CPUtime=25.44 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 20712 0 0 0 2537 7 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4296010 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=1007608 CPUtime=25.45 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 16882 0 0 0 2541 4 0 0 25 0 8 0 719113695 1031790592 127362 33554432000 4194304 4580107 140735052834672 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.04
Current children cumulated vsize (KiB) 1007608

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

[startup+25.6014 s]
/proc/loadavg: 8.08 8.08 8.01 9/551 21480
/proc/meminfo: memFree=13068024/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=1007608 CPUtime=203.85 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 164655 0 0 0 20332 53 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 251902 127637 381 95 0 246884 0
[pid=21471/tid=21472] ppid=21469 vsize=1007608 CPUtime=25.53 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 23886 0 0 0 2547 6 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=1007608 CPUtime=25.03 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 19351 0 0 0 2497 6 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4295365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=1007608 CPUtime=25.53 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21145 0 0 0 2547 6 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=1007608 CPUtime=25.54 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21806 0 0 0 2548 6 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=1007608 CPUtime=25.53 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 20485 0 0 0 2546 7 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=1007608 CPUtime=25.54 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 20761 0 0 0 2547 7 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4320717 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=1007608 CPUtime=25.55 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 16920 0 0 0 2551 4 0 0 25 0 8 0 719113695 1031790592 127637 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 1007608

[startup+27.2011 s]
/proc/loadavg: 8.08 8.08 8.01 9/551 21480
/proc/meminfo: memFree=13060608/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=942072 CPUtime=216.62 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 168860 0 0 0 21609 53 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4319221 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 235518 128175 381 95 0 230500 0
[pid=21471/tid=21472] ppid=21469 vsize=942072 CPUtime=27.13 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 24425 0 0 0 2706 7 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=942072 CPUtime=26.61 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 19575 0 0 0 2655 6 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=942072 CPUtime=27.13 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21698 0 0 0 2707 6 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=942072 CPUtime=27.13 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 22598 0 0 0 2707 6 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=942072 CPUtime=27.12 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21252 0 0 0 2705 7 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4322541 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=942072 CPUtime=27.14 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 21288 0 0 0 2707 7 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=942072 CPUtime=27.14 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 17684 0 0 0 2710 4 0 0 25 0 8 0 719113695 964681728 128175 33554432000 4194304 4580107 140735052834672 18446744073709551615 253640528276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 216.62
Current children cumulated vsize (KiB) 942072

[startup+28.8009 s]
/proc/loadavg: 8.07 8.08 8.01 3/551 21480
/proc/meminfo: memFree=13064328/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=979272 CPUtime=227.44 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 172721 0 0 0 22689 55 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 4238622 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 244818 128693 381 95 0 239800 0
[pid=21471/tid=21472] ppid=21469 vsize=979272 CPUtime=28.4 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 25045 0 0 0 2833 7 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=979272 CPUtime=27.86 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 20221 0 0 0 2780 6 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=979272 CPUtime=28.4 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 22278 0 0 0 2834 6 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=979272 CPUtime=28.74 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 22932 0 0 0 2867 7 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763802656 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=979272 CPUtime=28.39 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 21635 0 0 0 2832 7 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=979272 CPUtime=28.41 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 21967 0 0 0 2834 7 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=979272 CPUtime=28.42 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 18042 0 0 0 2838 4 0 0 25 0 8 0 719113695 1002774528 128693 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 227.44
Current children cumulated vsize (KiB) 979272

[startup+29.6007 s]
/proc/loadavg: 8.07 8.08 8.01 3/551 21480
/proc/meminfo: memFree=13064328/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=979272 CPUtime=229.04 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 173186 0 0 0 22849 55 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 244818 129158 381 95 0 239800 0
[pid=21471/tid=21472] ppid=21469 vsize=979272 CPUtime=28.4 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 25045 0 0 0 2833 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=979272 CPUtime=27.86 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 20221 0 0 0 2780 6 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=979272 CPUtime=28.4 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 22278 0 0 0 2834 6 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=979272 CPUtime=29.54 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 22932 0 0 0 2947 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763802667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=979272 CPUtime=28.39 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 21635 0 0 0 2832 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=979272 CPUtime=28.41 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 21967 0 0 0 2834 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=979272 CPUtime=28.42 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 18042 0 0 0 2838 4 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 229.04
Current children cumulated vsize (KiB) 979272

[startup+30.0006 s]
/proc/loadavg: 8.07 8.08 8.01 3/551 21480
/proc/meminfo: memFree=13062468/32951124 swapFree=56449260/67111528
[pid=21471] ppid=21469 vsize=979272 CPUtime=229.84 cores=0-7
/proc/21471/stat : 21471 (strangenight2-m) R 21469 21471 21187 0 -1 4202496 173186 0 0 0 22929 55 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 4295122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21471/statm: 244818 129158 381 95 0 239800 0
[pid=21471/tid=21472] ppid=21469 vsize=979272 CPUtime=28.4 cores=0-7
/proc/21471/task/21472/stat : 21472 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 25045 0 0 0 2833 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 2 0 0 0
[pid=21471/tid=21473] ppid=21469 vsize=979272 CPUtime=27.86 cores=0-7
/proc/21471/task/21473/stat : 21473 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 20221 0 0 0 2780 6 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 7 0 0 0
[pid=21471/tid=21474] ppid=21469 vsize=979272 CPUtime=28.4 cores=0-7
/proc/21471/task/21474/stat : 21474 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 22278 0 0 0 2834 6 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 4 0 0 0
[pid=21471/tid=21475] ppid=21469 vsize=979272 CPUtime=29.94 cores=0-7
/proc/21471/task/21475/stat : 21475 (strangenight2-m) R 21469 21471 21187 0 -1 4202560 22932 0 0 0 2987 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763802820 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21471/tid=21476] ppid=21469 vsize=979272 CPUtime=28.39 cores=0-7
/proc/21471/task/21476/stat : 21476 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 21635 0 0 0 2832 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 6 0 0 0
[pid=21471/tid=21477] ppid=21469 vsize=979272 CPUtime=28.41 cores=0-7
/proc/21471/task/21477/stat : 21477 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 21967 0 0 0 2834 7 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 3 0 0 0
[pid=21471/tid=21478] ppid=21469 vsize=979272 CPUtime=28.42 cores=0-7
/proc/21471/task/21478/stat : 21478 (strangenight2-m) S 21469 21471 21187 0 -1 4202560 18042 0 0 0 2838 4 0 0 25 0 8 0 719113695 1002774528 129158 33554432000 4194304 4580107 140735052834672 18446744073709551615 47757763827252 0 0 4096 2 18446604450122769472 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 229.84
Current children cumulated vsize (KiB) 979272

Child status: 20
Real time (s): 30.1004
CPU time (s): 230.02
CPU user time (s): 229.443
CPU system time (s): 0.576912
CPU usage (%): 764.175
Max. virtual memory (cumulated for all children) (KiB): 1007608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.443
system time used= 0.576912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173189
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= 30565
involuntary context switches= 798

runsolver used 0.138978 second user time and 0.426935 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-22 16:38:53
IDJOB=3393952
IDBENCH=70818
IDSOLVER=1878
FILE ID=node106/3393952-1306075133
RUNJOBID= node106-1306069999-21201
PBS_JOBID= 13387897
Free space on /tmp= 73260 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393952-1306075133/watcher-3393952-1306075133 -o /tmp/evaluation-result-3393952-1306075133/solver-3393952-1306075133 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393952-1306075133.cnf

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

MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=975072558

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13579716 kB
Buffers:        339872 kB
Cached:       10944472 kB
SwapCached:      27520 kB
Active:        8017060 kB
Inactive:     11046100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13579716 kB
SwapTotal:    67111528 kB
SwapFree:     56449260 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:     7759672 kB
Mapped:          25652 kB
Slab:           156816 kB
PageTables:      77548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167520448 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= 73256 MiB
End job on node106 at 2011-05-22 16:39:23