Trace number 3394304

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 566.937 72.9864

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
MD5SUMf1a7d779d46b93ce2fde4f2438e6ae5c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark51.8701
Satisfiable
(Un)Satisfiability was proved
Number of variables82007
Number of clauses241364
Sum of the clauses size563180
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2160908
Number of clauses of size 380454
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.00	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394304-1306094119.cnf'
0.00/0.02	c -- header says num vars:          82007
0.00/0.02	c -- header says num clauses:      241364
8.53/0.34	c -- clauses added:            0 learnts,       241364 normals,            0 xors
8.53/0.34	c -- vars added      82007
11.05/1.57	c Parsing time:  0.10 s
11.05/1.57	c  N st     0         0     82007     80454    160908         0    563178         0   no data   no data
11.05/1.57	c asymm  cl-useful: 0/32711/80453 lits-rem:0 time: 0.55
29.41/3.87	c Flit:    43 Blit:   6060 bXBeca:    0 bXProp: 5431 Bins:      0 BRemL:      0 BRemN:      0 P: 43.7M T:  2.92
29.41/3.88	c Cleaning up after failed var search:     0.01 s 
30.06/3.92	c Replacing     5431 vars Replaced   103374 lits Time:     0.03 s 
30.06/3.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30.06/3.98	c bin-w-bin subsume rem         1702 bins  time:  0.02 s
30.78/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
31.58/4.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  70441 time:  0.14 s
32.37/4.30	c Removed useless bin:    1198  fixed:     0  props:  14.52M  time:  0.13 s
50.71/6.56	c lits-rem:        53  cl-subs:     1208  v-elim:  23480  v-fix:    0  time:  2.21 s
50.71/6.58	c Finding binary XORs  T:     0.02 s  found:       0
51.50/6.61	c Finding non-binary XORs:     0.01 s (found:     312, avg size: 3.3)
51.50/6.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    104 locsubst:    15 time:   0.01
51.50/6.61	c calculated reachability. Time: 0.00
51.50/6.62	c Calc default polars -  time:   0.01 s pos:    4133 undec:   35474 neg:   42400
51.50/6.62	c =========================================================================================
51.50/6.62	c types(t): F = full restart, N = normal restart
51.50/6.62	c types(t): S = simplification begin/end, E = solution found
51.50/6.62	c restart types(rt): st = static, dy = dynamic
51.50/6.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
51.50/6.62	c  B st     0         0     46857     49464    103452         0    386833         0   no data   no data
66.66/8.59	c  N dy    13      4870     46855     49464    104188      4038    386832     92094      5.74      6.05
79.45/10.16	c  N dy    34      9036     46842     49464    106960      7768    386797    156023      6.62      7.04
92.21/11.75	c  N dy    53     13379     46786     49464    110688     11761    386797    254414      7.35     19.80
95.41/12.18	c Finding binary XORs  T:     0.02 s  found:     394
103.39/13.16	c  N dy    65     17625     46769     49384    110769     15690    386084    338027      7.53     18.43
113.77/14.41	c  N dy    81     21712     46715     49384    112369     10588    386083    108369      7.90     10.00
120.96/15.33	c  F st    89     25003     46628     49384    114306     13734    385889    156261      7.68   no data
120.96/15.37	c Replacing      401 vars Replaced    13212 lits Time:     0.03 s 
126.54/16.05	c  N st    92     26195     46226     49178    113265     14526    384214    179509      7.68   no data
132.94/16.89	c  S st    95     30001     46223     49178    113355     18168    384214    338042      7.68   no data
136.12/17.27	c  S st    95     30504     46144     49178    114753     18509    384214    343502      7.68   no data
136.12/17.29	c x-sub:     5 x-cut:      0 vfix:      0 v-elim:     52 locsubst:     0 time:   0.02
197.57/24.98	c Flit:   189 Blit:    236 bXBeca:    0 bXProp: 2314 Bins: 260321 BRemL:  68244 BRemN:    198 P: 75.7M T:  7.47
198.37/25.00	c Cleaning up after failed var search:     0.02 s 
198.37/25.05	c Replacing     2314 vars Replaced   253624 lits Time:     0.05 s 
198.37/25.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
199.17/25.13	c bin-w-bin subsume rem        57705 bins  time:  0.06 s
200.77/25.32	c subs with bin:      113  lits-rem:       546  v-fix:    0  time:  0.19 s
201.57/25.45	c Subs w/ non-existent bins:     10 l-rem:    117 v-fix:     0 done:  43344 time:  0.12 s
202.37/25.51	c Removed useless bin:     604  fixed:     0  props:   2.35M  time:  0.06 s
211.95/26.77	c lits-rem:      2744  cl-subs:    11176  v-elim:  22343  v-fix:    0  time:  1.23 s
211.95/26.79	c subs with bin:      337  lits-rem:       653  v-fix:    0  time:  0.01 s
212.87/26.86	c lits-rem:       135  cl-subs:      394  v-elim:      0  v-fix:    0  time:  0.03 s
212.87/26.86	c Added XOR as norm:16
217.53/27.44	c asymm  cl-useful: 34/30440/63151 lits-rem:102 time: 0.58
217.53/27.46	c calculated reachability. Time: 0.02
217.53/27.47	c  N dy    95     30504     21001     63117     74266      2986    313871     98032      7.68   no data
218.32/27.56	c Finding binary XORs  T:     0.10 s  found:     161
223.90/28.28	c  N dy   102     34779     20997     63117     74587      6776    313871    144389      7.32      7.89
231.22/29.16	c  N dy   111     40457     20891     63117     77395     11928    313871    204711      7.03      7.50
234.27/29.56	c Finding binary XORs  T:     0.04 s  found:     200
234.27/29.58	c Replacing      361 vars Replaced    14178 lits Time:     0.02 s 
237.47/29.97	c  N dy   125     45548     20414     62806    131635      9610    310193    266559      6.91      7.28
238.26/30.00	c  S st   127     45757     20414     62806    131642      9806    310193    269728      6.92   no data
239.19/30.19	c  S st   127     46259     20404     62806    131722     10200    310193    272165      6.92   no data
239.19/30.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     15 locsubst:     0 time:   0.01
258.18/32.58	c Flit:    98 Blit:     47 bXBeca:    0 bXProp:  186 Bins:  72105 BRemL:  59712 BRemN:    362 P: 21.1M T:  2.33
258.18/32.58	c Cleaning up after failed var search:     0.00 s 
258.98/32.62	c Replacing      186 vars Replaced    19998 lits Time:     0.03 s 
258.98/32.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.98/32.67	c bin-w-bin subsume rem        30299 bins  time:  0.02 s
264.58/33.32	c subs with bin:     1819  lits-rem:      2564  v-fix:    0  time:  0.65 s
264.58/33.37	c Subs w/ non-existent bins:    228 l-rem:    549 v-fix:     0 done:  20044 time:  0.05 s
264.58/33.39	c Removed useless bin:     396  fixed:     0  props:   0.61M  time:  0.02 s
271.76/34.24	c lits-rem:       256  cl-subs:     1554  v-elim:   1264  v-fix:    0  time:  0.82 s
271.76/34.27	c subs with bin:      316  lits-rem:      1048  v-fix:    0  time:  0.02 s
272.56/34.33	c lits-rem:       449  cl-subs:      667  v-elim:      0  v-fix:    0  time:  0.05 s
272.56/34.33	c Added XOR as norm:1
272.56/34.36	c vivif2 --  cl tried    60666 cl shrink     1305 lits rem       1747 time: 0.03
272.56/34.38	c vivif2 --  cl tried     8233 cl shrink     1366 lits rem       3117 time: 0.01
282.13/35.59	c asymm  cl-useful: 202/43770/60371 lits-rem:271 time: 1.19
283.06/35.62	c calculated reachability. Time: 0.01
283.06/35.63	c  N dy   127     46259     18780     60369     93775      8157    295057    184601      6.92   no data
283.06/35.68	c Finding binary XORs  T:     0.05 s  found:      26
288.50/36.30	c  N dy   141     50448     18750     60369    149145     12046    295057    342825      6.85      7.26
290.91/36.67	c Finding binary XORs  T:     0.04 s  found:     141
294.09/37.00	c  N dy   155     54481     18710     60280    146424     15863    293890    389431      6.81      8.76
298.89/37.61	c Finding binary XORs  T:     0.04 s  found:      23
298.89/37.64	c Replacing      190 vars Replaced    12386 lits Time:     0.03 s 
299.69/37.70	c  N dy   170     58587     18506     60224    178751     19542    293353    504380      6.78      7.21
305.27/38.40	c  N dy   186     62631     18480     60224    183838     23331    293352    560804      6.75      7.16
311.65/39.23	c  N dy   205     67744     18473     60224    183888     15481    293352    411830      6.72      7.07
313.25/39.49	c  S st   213     69388     18424     60224    190580     16957    293352    445322      6.70      5.65
314.85/39.67	c  S st   213     69889     18417     60224    190627     17394    293352    448253      6.70   no data
314.85/39.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
333.21/41.90	c Flit:    74 Blit:     23 bXBeca:    0 bXProp:  215 Bins:  34507 BRemL:  81394 BRemN:    113 P: 19.4M T:  2.17
333.21/41.94	c Replacing      215 vars Replaced    15527 lits Time:     0.02 s 
333.21/41.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
333.21/41.98	c bin-w-bin subsume rem        33062 bins  time:  0.02 s
337.99/42.59	c subs with bin:      423  lits-rem:       387  v-fix:    0  time:  0.59 s
338.79/42.64	c Subs w/ non-existent bins:     46 l-rem:      7 v-fix:     0 done:  18103 time:  0.05 s
338.79/42.66	c Removed useless bin:     227  fixed:     0  props:   0.48M  time:  0.02 s
345.33/43.45	c lits-rem:        80  cl-subs:     1356  v-elim:    682  v-fix:    0  time:  0.76 s
345.33/43.48	c subs with bin:      496  lits-rem:      1103  v-fix:    0  time:  0.02 s
345.98/43.56	c lits-rem:       556  cl-subs:      849  v-elim:      0  v-fix:    0  time:  0.07 s
345.98/43.56	c Added XOR as norm:0
345.98/43.60	c vivif2 --  cl tried    58521 cl shrink      392 lits rem        798 time: 0.03
346.78/43.61	c vivif2 --  cl tried    14328 cl shrink     1285 lits rem       3179 time: 0.01
349.98/44.01	c asymm  cl-useful: 18/14688/58458 lits-rem:54 time: 0.39
349.98/44.03	c calculated reachability. Time: 0.01
349.98/44.03	c  N dy   213     69889     17421     58440     88001     14302    287020    216846      6.70   no data
349.98/44.07	c Finding binary XORs  T:     0.05 s  found:      13
355.56/44.77	c  N dy   231     74584     17411     58440     88074     18657    287020    264604      6.66      7.07
357.95/45.06	c Finding binary XORs  T:     0.04 s  found:     240
357.95/45.09	c Replacing      253 vars Replaced    14829 lits Time:     0.02 s 
362.09/45.56	c  N dy   255     79575     16981     58176     97729     22555    283026    345032      6.66      7.10
368.33/46.32	c  N dy   284     84731     16946     58176    103630     27397    283026    430487      6.70      8.77
371.65/46.77	c  F st   301     87502     16904     58176    107165     29990    283026    470795      6.71      5.92
374.71/47.14	c  N st   306     90799     16862     58048    100881     17267    280479    262077      6.71   no data
380.44/47.82	c Finding binary XORs  T:     0.04 s  found:     105
381.88/48.01	c  N dy   327     97143     16842     58023    100703     23177    280056    342625      6.71      7.23
389.22/48.96	c  N dy   350    103351     16799     58023    100979     28923    280056    415607      6.68      9.50
391.47/49.23	c  S st   360    104833     16795     58023    100993     30316    280056    435320      6.69      4.89
393.08/49.41	c  S st   360    105336     16791     58023    101164     30779    280056    438917      6.69   no data
393.08/49.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
409.83/51.50	c Flit:    63 Blit:     17 bXBeca:    0 bXProp:  137 Bins:  20749 BRemL:  50195 BRemN:    206 P: 26.4M T:  2.03
409.83/51.54	c Replacing      242 vars Replaced    17457 lits Time:     0.03 s 
409.83/51.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
409.83/51.57	c bin-w-bin subsume rem         3217 bins  time:  0.01 s
411.43/51.76	c subs with bin:      258  lits-rem:       297  v-fix:    0  time:  0.18 s
411.43/51.79	c Subs w/ non-existent bins:     23 l-rem:      3 v-fix:     0 done:  16435 time:  0.04 s
412.24/51.81	c Removed useless bin:     153  fixed:     0  props:   0.37M  time:  0.02 s
416.22/52.34	c lits-rem:        55  cl-subs:      964  v-elim:    419  v-fix:    0  time:  0.51 s
416.22/52.39	c subs with bin:      845  lits-rem:      2327  v-fix:    0  time:  0.02 s
417.81/52.54	c lits-rem:      2487  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  0.13 s
417.81/52.54	c Added XOR as norm:0
417.81/52.57	c vivif2 --  cl tried    56628 cl shrink      379 lits rem        741 time: 0.03
418.61/52.60	c vivif2 --  cl tried    26814 cl shrink     3713 lits rem       6953 time: 0.03
423.53/53.26	c asymm  cl-useful: 306/14812/56609 lits-rem:597 time: 0.64
423.53/53.28	c calculated reachability. Time: 0.01
423.53/53.28	c  N dy   360    105336     16016     56562     60266     26807    275199    296108      6.69   no data
424.33/53.32	c Finding binary XORs  T:     0.04 s  found:       9
433.78/54.56	c  N dy   385    112456     15859     56562     81744     33431    275199    433133      6.68      7.22
436.98/54.94	c Finding binary XORs  T:     0.04 s  found:     130
444.16/55.81	c  N dy   426    119676     15763     56326     80780     21775    270394    260110      6.71      7.10
453.74/57.08	c  N dy   474    127350     15707     56326     81004     29045    270394    373289      6.74      7.70
466.51/58.67	c  N dy   537    135522     15656     56111     78265     35364    266000    515250      6.87      9.89
477.03/59.95	c Finding binary XORs  T:     0.04 s  found:     128
477.03/59.97	c Replacing      267 vars Replaced    12344 lits Time:     0.02 s 
481.69/60.50	c  N dy   607    144238     15250     55953     78250     22799    264049    267114      7.00     10.17
494.59/62.16	c  N dy   678    153603     15193     55953     78610     31647    264049    516902      7.18      8.22
496.85/62.46	c Finding binary XORs  T:     0.04 s  found:     163
496.85/62.48	c Replacing      163 vars Replaced     8394 lits Time:     0.03 s 
502.57/63.16	c  S st   710    158004     14984     55683     79556     33947    258763    610104      7.28   no data
504.03/63.38	c  S st   710    158504     14981     55683     79575     34408    258763    614325      7.28   no data
504.83/63.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
518.41/65.18	c Flit:    29 Blit:      8 bXBeca:    0 bXProp:   31 Bins:   9445 BRemL:  26514 BRemN:    115 P: 24.9M T:  1.76
519.21/65.21	c Replacing       31 vars Replaced     3389 lits Time:     0.03 s 
519.21/65.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
519.21/65.24	c bin-w-bin subsume rem         4800 bins  time:  0.01 s
520.13/65.34	c subs with bin:      206  lits-rem:        68  v-fix:    0  time:  0.08 s
520.13/65.37	c Subs w/ non-existent bins:      2 l-rem:     32 v-fix:     0 done:  14913 time:  0.03 s
520.13/65.39	c Removed useless bin:      86  fixed:     0  props:   0.35M  time:  0.01 s
521.60/65.58	c lits-rem:        55  cl-subs:     1004  v-elim:    481  v-fix:    0  time:  0.19 s
525.60/66.04	c subs with bin:      988  lits-rem:      3036  v-fix:    0  time:  0.43 s
526.39/66.18	c lits-rem:      2626  cl-subs:     1962  v-elim:      0  v-fix:    0  time:  0.13 s
526.39/66.18	c Added XOR as norm:0
527.19/66.22	c vivif2 --  cl tried    54724 cl shrink      331 lits rem        568 time: 0.03
527.19/66.25	c vivif2 --  cl tried    30136 cl shrink     1783 lits rem      12686 time: 0.04
531.97/66.82	c asymm  cl-useful: 286/21924/54697 lits-rem:919 time: 0.54
531.97/66.83	c calculated reachability. Time: 0.01
531.97/66.83	c  N dy   710    158504     14432     54465     55006     30132    253992    479824      7.28   no data
531.97/66.88	c Finding binary XORs  T:     0.04 s  found:      13
544.75/68.47	c Finding binary XORs  T:     0.04 s  found:     138
545.55/68.50	c Replacing      151 vars Replaced     8184 lits Time:     0.02 s 
548.74/68.98	c  N dy   766    168702     13952     54042     59093     35070    245489    519162      7.31     17.73
566.83/72.91	c Following stats are for *FIRST FINISHED THREAD ONLY*
566.83/72.91	c num threads              : 8          
566.83/72.91	c restarts                 : 813        
566.83/72.91	c dynamic restarts         : 795        
566.83/72.91	c static restarts          : 18         
566.83/72.91	c full restarts            : 2          
566.83/72.91	c total simplify time      : 1.08       
566.83/72.91	c learnts DL2              : 0          
566.83/72.91	c learnts size 2           : 856071     
566.83/72.91	c learnts size 1           : 9591        (11.70     % of vars)
566.83/72.91	c filedLit time            : 13.24       (18.26     % time)
566.83/72.91	c v-elim SatELite          : 47443       (57.85     % vars)
566.83/72.91	c SatELite time            : 4.23        (5.84      % time)
566.83/72.91	c v-elim xor               : 171         (0.21      % vars)
566.83/72.91	c xor elim time            : 0.05        (0.07      % time)
566.83/72.91	c num binary xor trees     : 6479       
566.83/72.91	c binxor trees' crown      : 10841       (1.67      leafs/tree)
566.83/72.91	c bin xor find time        : 0.67       
566.83/72.91	c OTF clause improved      : 10845       (0.05      clauses/conflict)
566.83/72.91	c OTF impr. size diff      : 12675       (1.17       lits/clause)
566.83/72.91	c OTF cl watch-shrink      : 88423       (0.39      clauses/conflict)
566.83/72.91	c OTF cl watch-sh-lit      : 204448      (2.31       lits/clause)
566.83/72.91	c tried to recurMin cls    : 100306      (44.52      % of conflicts)
566.83/72.91	c updated cache            : 0           (0.00       lits/tried recurMin)
566.83/72.91	c unit cls recevied        : 1872        (19.52     % of units)
566.83/72.91	c unit cls sent            : 487         (5.08      % of units)
566.83/72.91	c bin cls recevied         : 355336     
566.83/72.91	c bin cls sent             : 34566      
566.83/72.91	c clauses over max glue    : 0           (0.00      % of all clauses)
566.83/72.91	c conflicts                : 225304      (3108.76   / sec)
566.83/72.91	c decisions                : 5663891     (1.25      % random)
566.83/72.91	c bogo-props               : 1480936883  (20434048.77 / sec)
566.83/72.91	c conflict literals        : 4937920     (16.77     % deleted)
566.83/72.91	c Memory used              : 1942.20     MB
566.83/72.91	c single-thread CPU time   : 72.47       s
566.83/72.91	c all-threads sum CPU time : 564.54      s
566.83/72.91	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-3394304-1306094119/watcher-3394304-1306094119 -o /tmp/evaluation-result-3394304-1306094119/solver-3394304-1306094119 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394304-1306094119.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: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=92144 CPUtime=0.07 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 420 0 0 0 7 0 0 0 24 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628819382 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29857/statm: 23036 361 302 95 0 18018 0
[pid=29857/tid=29858] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=92144 CPUtime=0 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628819378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818967 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.117945 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=656780 CPUtime=0.57 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 24882 0 0 0 35 22 0 0 17 0 8 0 721014575 672542720 20933 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 164195 20964 337 95 0 159177 0
[pid=29857/tid=29858] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 2730 0 0 0 5 2 0 0 17 0 8 0 721014575 672542720 20982 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=656780 CPUtime=0.05 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) D 29855 29857 29692 0 -1 4202560 3069 0 0 0 2 3 0 0 17 0 8 0 721014575 672542720 20992 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 3305 0 0 0 4 3 0 0 17 0 8 0 721014575 672542720 21004 33554432000 4194304 4580107 140735058449168 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=656780 CPUtime=0.06 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 3137 0 0 0 4 2 0 0 17 0 8 0 721014575 672542720 21008 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=656780 CPUtime=0.06 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 2659 0 0 0 4 2 0 0 17 0 8 0 721014575 672542720 21042 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634171349 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 3336 0 0 0 4 3 0 0 17 0 8 0 721014575 672542720 21045 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 3220 0 0 0 5 2 0 0 17 0 8 0 721014575 672542720 21045 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 656780

[startup+0.201954 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=691468 CPUtime=0.93 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 46129 0 0 0 55 38 0 0 17 0 8 0 721014575 708063232 37882 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 172867 37963 337 95 0 167849 0
[pid=29857/tid=29858] ppid=29855 vsize=691468 CPUtime=0.11 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5235 0 0 0 8 3 0 0 17 0 8 0 721014575 708063232 38038 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=691468 CPUtime=0.09 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5716 0 0 0 4 5 0 0 17 0 8 0 721014575 708063232 38084 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=691468 CPUtime=0.11 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5982 0 0 0 7 4 0 0 17 0 8 0 721014575 708063232 38147 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=691468 CPUtime=0.1 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) D 29855 29857 29692 0 -1 4202560 6279 0 0 0 7 3 0 0 17 0 8 0 721014575 708063232 38148 33554432000 4194304 4580107 140735058449168 18446744073709551615 4253879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=692188 CPUtime=0.12 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5324 0 0 0 7 5 0 0 17 0 8 0 721014575 708800512 38149 33554432000 4194304 4580107 140735058449168 18446744073709551615 4253879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=692908 CPUtime=0.11 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 5768 0 0 0 6 5 0 0 17 0 8 0 721014575 709537792 38158 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=692908 CPUtime=0.12 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5989 0 0 0 7 5 0 0 17 0 8 0 721014575 709537792 38158 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 691468

[startup+0.302896 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=744440 CPUtime=1.43 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) D 29855 29857 29692 0 -1 4202496 74987 0 0 0 81 62 0 0 17 0 8 0 721014575 762306560 58379 33554432000 4194304 4580107 140735058449168 18446744073709551615 4309730 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 186380 58389 337 95 0 181362 0
[pid=29857/tid=29858] ppid=29855 vsize=745520 CPUtime=0.17 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 8613 0 0 0 11 6 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=745520 CPUtime=0.16 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 9011 0 0 0 7 9 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=745520 CPUtime=0.18 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 9632 0 0 0 10 8 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=745520 CPUtime=0.16 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 10249 0 0 0 10 6 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=745520 CPUtime=0.17 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 8855 0 0 0 10 7 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=745520 CPUtime=0.17 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 9372 0 0 0 10 7 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=745520 CPUtime=0.19 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9835 0 0 0 11 8 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 744440

[startup+0.893826 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=758448 CPUtime=6.08 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 82386 0 0 0 536 72 0 0 18 0 8 0 721014575 776650752 65508 33554432000 4194304 4580107 140735058449168 18446744073709551615 4230891 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 189612 65530 360 95 0 184594 0
[pid=29857/tid=29858] ppid=29855 vsize=758448 CPUtime=0.75 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9370 0 0 0 68 7 0 0 17 0 8 0 721014575 776650752 65540 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=758448 CPUtime=0.74 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9732 0 0 0 64 10 0 0 18 0 8 0 721014575 776650752 65553 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=758448 CPUtime=0.75 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11086 0 0 0 66 9 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4230811 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=758448 CPUtime=0.74 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10788 0 0 0 67 7 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=758448 CPUtime=0.76 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9957 0 0 0 67 9 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=758448 CPUtime=0.75 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10211 0 0 0 67 8 0 0 17 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=758448 CPUtime=0.76 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11133 0 0 0 67 9 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 758448

[startup+1.50065 s]
/proc/loadavg: 7.87 7.93 7.95 12/506 29865
/proc/meminfo: memFree=20324628/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=760692 CPUtime=11.05 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 84277 0 0 0 1032 73 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 190173 67270 360 95 0 185155 0
[pid=29857/tid=29858] ppid=29855 vsize=760692 CPUtime=1.37 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9793 0 0 0 130 7 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=760692 CPUtime=1.36 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9909 0 0 0 126 10 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11107 0 0 0 129 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11203 0 0 0 130 8 0 0 19 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9964 0 0 0 129 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10631 0 0 0 129 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=760692 CPUtime=1.37 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11344 0 0 0 128 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 760692

[startup+3.10137 s]
/proc/loadavg: 7.87 7.93 7.95 9/506 29865
/proc/meminfo: memFree=20321228/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=761076 CPUtime=23.69 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 85235 0 0 0 2296 73 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293258 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 190269 68100 360 95 0 185251 0
[pid=29857/tid=29858] ppid=29855 vsize=761076 CPUtime=2.95 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9873 0 0 0 288 7 0 0 18 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=761076 CPUtime=2.95 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9982 0 0 0 285 10 0 0 21 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=761076 CPUtime=2.96 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11208 0 0 0 287 9 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4234788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=761076 CPUtime=2.96 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11307 0 0 0 288 8 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=761076 CPUtime=2.97 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10067 0 0 0 288 9 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=761076 CPUtime=2.97 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10730 0 0 0 288 9 0 0 21 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=761076 CPUtime=2.96 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11658 0 0 0 287 9 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4301924 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 761076

[startup+6.3008 s]
/proc/loadavg: 7.87 7.93 7.95 9/506 29865
/proc/meminfo: memFree=20184832/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=773092 CPUtime=49.11 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 126697 0 0 0 4825 86 0 0 20 0 8 0 721014575 791646208 103732 33554432000 4194304 4580107 140735058449168 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 193273 103733 375 95 0 188255 0
[pid=29857/tid=29858] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 16189 0 0 0 605 9 0 0 20 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399437 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=773092 CPUtime=6.12 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 16287 0 0 0 601 11 0 0 21 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=773092 CPUtime=6.15 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 15837 0 0 0 605 10 0 0 21 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 17848 0 0 0 603 11 0 0 20 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399832 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 15763 0 0 0 604 10 0 0 22 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4409951 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 16956 0 0 0 604 10 0 0 20 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=773092 CPUtime=6.15 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 12777 0 0 0 606 9 0 0 25 0 8 0 721014575 791646208 103735 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 77266 0 0 0 5115 27 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1908192 CPUtime=51.43 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 77905 0 0 0 5116 27 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1908192 CPUtime=51.42 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 79369 0 0 0 5118 24 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1908192 CPUtime=51.42 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 55174 0 0 0 5121 21 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 410.63
Current children cumulated vsize (KiB) 1908192

[startup+64.4006 s]
/proc/loadavg: 8.00 7.95 7.96 9/506 29866
/proc/meminfo: memFree=19078304/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1908620 CPUtime=512.8 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 647460 0 0 0 51055 225 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4227877 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 477155 378586 380 95 0 472137 0
[pid=29857/tid=29858] ppid=29855 vsize=1908620 CPUtime=64.21 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 84021 0 0 0 6392 29 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1908620 CPUtime=64.21 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 86531 0 0 0 6393 28 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1908620 CPUtime=64.23 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 79624 0 0 0 6396 27 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1908620 CPUtime=64.22 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 80516 0 0 0 6393 29 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1908620 CPUtime=64.22 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81681 0 0 0 6394 28 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1908620 CPUtime=64.23 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 83226 0 0 0 6398 25 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1908620 CPUtime=64.22 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 62575 0 0 0 6400 22 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4301641 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 512.8
Current children cumulated vsize (KiB) 1908620

[startup+67.619 s]
/proc/loadavg: 8.00 7.95 7.96 9/506 29867
/proc/meminfo: memFree=19060824/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1963524 CPUtime=538.5 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 671699 0 0 0 53622 228 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 490881 382958 380 95 0 485863 0
[pid=29857/tid=29858] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 84587 0 0 0 6714 30 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1963524 CPUtime=67.43 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 87488 0 0 0 6715 28 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1963524 CPUtime=67.45 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 80252 0 0 0 6718 27 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81452 0 0 0 6714 30 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 82286 0 0 0 6716 28 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 83880 0 0 0 6719 25 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 79255 0 0 0 6721 23 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 538.5
Current children cumulated vsize (KiB) 1963524

[startup+70.8005 s]
/proc/loadavg: 8.00 7.95 7.96 3/506 29867
/proc/meminfo: memFree=19054252/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=562.66 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 681481 0 0 0 56035 231 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384574 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=70.64 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 86018 0 0 0 7034 30 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=70.65 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7037 28 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (KiB) 1988812

[startup+71.6003 s]
/proc/loadavg: 8.00 7.95 7.96 3/506 29867
/proc/meminfo: memFree=19054252/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=564.22 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 681487 0 0 0 56191 231 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384580 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=71.42 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 86024 0 0 0 7112 30 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=71.43 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7115 28 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.22
Current children cumulated vsize (KiB) 1988812

[startup+72.4012 s]
/proc/loadavg: 7.52 7.85 7.93 3/506 29867
/proc/meminfo: memFree=19053472/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=565.83 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 683498 0 0 0 56351 232 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384838 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=72.22 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 88035 0 0 0 7191 31 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=72.24 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7196 28 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 565.83
Current children cumulated vsize (KiB) 1988812

[startup+72.8011 s]
/proc/loadavg: 7.52 7.85 7.93 3/506 29867
/proc/meminfo: memFree=19053472/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=566.63 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 683498 0 0 0 56431 232 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384838 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=72.62 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 88035 0 0 0 7231 31 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=72.63 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7235 28 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 566.63
Current children cumulated vsize (KiB) 1988812

[startup+72.9011 s]
/proc/loadavg: 7.52 7.85 7.93 3/506 29867
/proc/meminfo: memFree=19053472/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=566.83 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 683498 0 0 0 56451 232 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384838 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=72.72 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 88035 0 0 0 7241 31 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=72.73 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7245 28 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 566.83
Current children cumulated vsize (KiB) 1988812

Child status: 20
Real time (s): 72.9864
CPU time (s): 566.937
CPU user time (s): 564.541
CPU system time (s): 2.39564
CPU usage (%): 776.771
Max. virtual memory (cumulated for all children) (KiB): 1988812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 564.541
system time used= 2.39563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683501
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= 94403
involuntary context switches= 2482

runsolver used 0.364944 second user time and 0.84887 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-22 21:55:20
IDJOB=3394304
IDBENCH=82477
IDSOLVER=1878
FILE ID=node103/3394304-1306094119
RUNJOBID= node103-1306094043-29706
PBS_JOBID= 13387954
Free space on /tmp= 73128 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394304-1306094119/watcher-3394304-1306094119 -o /tmp/evaluation-result-3394304-1306094119/solver-3394304-1306094119 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394304-1306094119.cnf

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

MD5SUM BENCH= f1a7d779d46b93ce2fde4f2438e6ae5c
RANDOM SEED=2052661544

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20593316 kB
Buffers:        368320 kB
Cached:        8036532 kB
SwapCached:     340096 kB
Active:        4587336 kB
Inactive:      7451720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20593316 kB
SwapTotal:    67111528 kB
SwapFree:     53501332 kB
Dirty:            9604 kB
Writeback:           0 kB
AnonPages:     3304892 kB
Mapped:          23540 kB
Slab:           175312 kB
PageTables:      72620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162029680 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= 73120 MiB
End job on node103 at 2011-05-22 21:56:33