Trace number 3282758

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-1-mt? (TO) 4800.19 1201.94

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark493.835
Satisfiable
(Un)Satisfiability was proved
Number of variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
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 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282758-1304032908.cnf'
0.00/0.05	c -- clauses added:            0 learnts,        96161 normals,            0 xors
0.00/0.05	c -- vars added      31951
0.00/0.05	c Parsing time:  0.13 s
0.00/0.05	c  N st     0         0     31951     34439     61522         0    226361         0   no data   no data  --
0.77/0.23	c asymm  cl-useful: 15/34199/34199 lits-rem:45 time: 0.74
3.97/1.05	c Flit:    75 Blit:    312 bXBeca:    0 bXProp: 1890 Bins:      0 BRemL:      0 BRemN:      0 P: 18.7M T:  3.21
3.97/1.06	c Cleaning up after failed var search:     0.01 s 
3.97/1.07	c Replacing     1890 vars Replaced    47731 lits Time:     0.03 s 
3.97/1.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3.97/1.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
4.38/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28403 time:  0.40 s
4.78/1.28	c Removed useless bin:       0  fixed:     0  props:  14.00M  time:  0.32 s
5.56/1.42	c lits-rem:        22  cl-subs:      822  v-elim:   9467  v-fix:    0  time:  0.56 s
5.56/1.46	c Finding binary XORs  T:     0.16 s  found:      12
5.56/1.47	c Replacing       12 vars Replaced      292 lits Time:     0.02 s 
5.56/1.48	c Finding non-binary XORs:     0.04 s (found:     322, avg size: 3.0)
5.56/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5.56/1.49	c calculated reachability. Time: 0.03
5.56/1.50	c Calc default polars -  time:   0.01 s pos:    5776 undec:   13948 neg:   12227
5.56/1.50	c =========================================================================================
5.56/1.50	c types(t): F = full restart, N = normal restart
5.56/1.50	c types(t): S = simplification begin/end, E = solution found
5.56/1.50	c restart types(rt): st = static, dy = dynamic
5.56/1.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.56/1.50	c  B st     0         0     18924     25317     41236         0    182563         0   no data   no data  --
30.74/7.71	c  N dy     9      4064     18924     25317     41283      3968    182563    179311     12.95     13.81  --
55.89/14.08	c  N dy    15     10753     18924     25317     41327      7764    182563    300863     10.04     10.58  --
73.46/18.44	c  N dy    40     14954     18924     25317     41435      7185    182563    220117     10.34     10.90  --
97.43/24.41	c  N dy    56     21843     18924     25317     41449      7818    182563    205815      9.97     10.65  --
112.61/28.23	c  F st    67     25000     18924     25317     41461     10927    182563    334561      9.88      8.23  --
118.20/29.64	c  N st    70     26189     18924     25317     41465     12102    182563    384161      9.88   no data  --
140.99/35.37	c Decided on static restart strategy
140.99/35.37	c  S st    73     30001     18924     25317     41506      8447    182563    178919      9.88   no data  --
141.76/35.51	c  S st    73     30503     18924     25317     41537      8918    182563    197893      9.88   no data  --
141.76/35.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
141.76/35.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
151.35/37.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:  13652 BRemL:    291 BRemN:      0 P: 21.8M T:  9.65
151.35/37.95	c Replacing        8 vars Replaced     3241 lits Time:     0.04 s 
151.35/37.97	c bin-w-bin subsume rem           38 bins  time:  0.02 s
151.75/38.03	c subs with bin:       99  lits-rem:     10924  v-fix:    0  time:  0.24 s
151.75/38.07	c Subs w/ non-existent bins:      0 l-rem:    865 v-fix:     0 done:   2476 time:  0.13 s
151.75/38.09	c Removed useless bin:      43  fixed:     0  props:   2.51M  time:  0.10 s
154.16/38.64	c lits-rem:      9235  cl-subs:     7554  v-elim:   8718  v-fix:    0  time:  2.17 s
155.34/38.90	c asymm  cl-useful: 1439/23745/23745 lits-rem:4708 time: 1.04
155.34/38.91	c calculated reachability. Time: 0.04
155.34/38.91	c  N st    73     30503     10198     23744     37911      3775    177719     72975      9.88   no data  --
155.34/38.94	c Finding binary XORs  T:     0.11 s  found:       9
194.49/48.77	c  N st    75     37616     10198     23744     37920     10845    177719    411434      9.88   no data  --
228.86/57.35	c  N st    76     44015     10198     23744     37938      8885    177719    209817      9.88   no data  --
239.22/59.91	c  S st    77     45755     10198     23744     38031     10615    177719    290460      9.88   no data  --
239.63/60.05	c  S st    77     46261     10198     23744     38037     11114    177719    310204      9.88   no data  --
239.63/60.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
239.63/60.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
243.23/60.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4667 BRemL:     81 BRemN:     30 P: 13.6M T:  3.35
243.23/60.90	c Replacing        9 vars Replaced      149 lits Time:     0.03 s 
243.23/60.93	c bin-w-bin subsume rem           15 bins  time:  0.02 s
243.23/60.99	c subs with bin:     5173  lits-rem:      1912  v-fix:    0  time:  0.25 s
243.63/61.00	c Subs w/ non-existent bins:      0 l-rem:    691 v-fix:     0 done:    132 time:  0.05 s
243.63/61.02	c Removed useless bin:      39  fixed:     0  props:   1.24M  time:  0.06 s
246.04/61.69	c lits-rem:      1596  cl-subs:     2261  v-elim:     54  v-fix:    0  time:  2.67 s
246.04/61.70	c vivif2 --  cl tried    18505 cl shrink      251 lits rem        446 time: 0.04
246.44/61.72	c vivif2 --  cl tried     9096 cl shrink     2302 lits rem       9618 time: 0.10
247.22/61.97	c asymm  cl-useful: 32/18494/18494 lits-rem:38 time: 0.98
247.22/61.97	c calculated reachability. Time: 0.03
247.22/61.97	c  N st    77     46261     10135     18492     42376      9096    159650    254343      9.88   no data  --
247.22/61.99	c Finding binary XORs  T:     0.07 s  found:       0
324.71/81.35	c  N st    78     60658     10135     18492     42385     13948    159650    442745      9.88   no data  --
369.85/92.63	c  N st    79     69391     10135     18492     42429     12053    159650    298096      9.88   no data  --
369.85/92.63	c  S st    79     69391     10135     18492     42429     12053    159650    298096      9.88   no data  --
370.25/92.77	c  S st    79     69892     10135     18492     42462     12553    159650    318256      9.88   no data  --
370.25/92.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
370.25/92.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
373.05/93.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     36 BRemL:     39 BRemN:     29 P: 13.5M T:  2.54
373.05/93.43	c bin-w-bin subsume rem           41 bins  time:  0.02 s
373.05/93.50	c subs with bin:       53  lits-rem:         1  v-fix:    0  time:  0.25 s
373.47/93.53	c Subs w/ non-existent bins:      1 l-rem:    556 v-fix:     0 done:   2803 time:  0.10 s
373.47/93.54	c Removed useless bin:      54  fixed:     0  props:   1.16M  time:  0.07 s
376.24/94.25	c lits-rem:       441  cl-subs:     1846  v-elim:     25  v-fix:    0  time:  2.81 s
376.24/94.25	c vivif2 --  cl tried    18427 cl shrink       29 lits rem         41 time: 0.04
376.24/94.28	c vivif2 --  cl tried    10777 cl shrink     1184 lits rem       8544 time: 0.09
377.44/94.54	c asymm  cl-useful: 210/18425/18425 lits-rem:583 time: 1.05
377.44/94.55	c calculated reachability. Time: 0.03
377.44/94.55	c  N st    79     69892     10110     18239     42449     10777    158995    263405      9.88   no data  --
377.44/94.57	c Finding binary XORs  T:     0.07 s  found:       2
474.93/118.99	c  F st    80     87501     10110     18239     42452     16702    158995    461379      9.88   no data  --
475.30/119.01	c Replacing        2 vars Replaced     7434 lits Time:     0.09 s 
475.30/119.03	c  N st    80     87501     10108     18239     42448     16702    158991    461375      9.88   no data  --
504.06/126.25	c Decided on static restart strategy
518.46/129.86	c  N st    87     95540     10108     18239     42731     24685    158990    836534      9.88   no data  --
569.57/142.67	c  N st    89    104838     10108     18239     42731     21302    158990    641949      9.88   no data  --
569.57/142.67	c  S st    89    104838     10108     18239     42731     21302    158990    641949      9.88   no data  --
570.37/142.84	c  S st    89    105341     10108     18239     42747     21805    158990    659690      9.88   no data  --
570.37/142.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
570.37/142.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
573.17/143.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     36 BRemL:    238 BRemN:    193 P: 16.0M T:  2.84
573.17/143.57	c Replacing        2 vars Replaced      604 lits Time:     0.04 s 
573.57/143.61	c bin-w-bin subsume rem            7 bins  time:  0.02 s
573.97/143.71	c subs with bin:       33  lits-rem:        17  v-fix:    0  time:  0.44 s
573.97/143.74	c Subs w/ non-existent bins:      0 l-rem:    653 v-fix:     0 done:   2259 time:  0.11 s
573.97/143.76	c Removed useless bin:      20  fixed:     0  props:   1.15M  time:  0.07 s
588.35/147.40	c lits-rem:      3503  cl-subs:     2283  v-elim:     27  v-fix:    0  time: 14.54 s
588.76/147.41	c vivif2 --  cl tried    18210 cl shrink       16 lits rem         18 time: 0.04
588.76/147.47	c vivif2 --  cl tried    19555 cl shrink     4261 lits rem      20609 time: 0.23
589.94/147.77	c asymm  cl-useful: 52/17475/18206 lits-rem:130 time: 1.20
589.94/147.78	c calculated reachability. Time: 0.02
589.94/147.78	c  N st    89    105341     10079     18168     42279     19555    158430    584768      9.88   no data  --
589.94/147.79	c Finding binary XORs  T:     0.06 s  found:       0
649.07/162.51	c  N st    90    114940     10079     18168     42280     15491    158430    334052      9.88   no data  --
719.36/180.18	c  N st    91    129337     10079     18168     42418     15161    158430    321954      9.88   no data  --
843.61/211.22	c  N st    92    150933     10079     18168     42420     21252    158430    548795      9.88   no data  --
882.74/221.02	c  S st    93    158011     10079     18168     42552     28304    158430    983453      9.88   no data  --
883.56/221.24	c  S st    93    158513     10079     18168     42556     28803    158430   1001375      9.88   no data  --
883.56/221.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
883.56/221.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
886.74/222.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     25 BRemL:    143 BRemN:     46 P: 17.5M T:  3.00
886.74/222.01	c Replacing        1 vars Replaced       20 lits Time:     0.03 s 
886.74/222.05	c bin-w-bin subsume rem           19 bins  time:  0.02 s
887.55/222.22	c subs with bin:       75  lits-rem:        36  v-fix:    0  time:  0.68 s
887.55/222.26	c Subs w/ non-existent bins:      0 l-rem:    733 v-fix:     0 done:   4668 time:  0.16 s
887.55/222.28	c Removed useless bin:      62  fixed:     0  props:   1.14M  time:  0.07 s
894.72/224.04	c lits-rem:      9081  cl-subs:     1681  v-elim:      8  v-fix:    0  time:  7.01 s
894.72/224.05	c vivif2 --  cl tried    18074 cl shrink        3 lits rem          3 time: 0.04
895.12/224.15	c vivif2 --  cl tried    27138 cl shrink     7177 lits rem      39800 time: 0.40
895.12/224.16	c asymm  cl-useful: 2/598/18073 lits-rem:6 time: 0.06
895.12/224.17	c calculated reachability. Time: 0.03
895.12/224.17	c  N st    93    158513     10070     18071     42292     27138    158014    909019      9.88   no data  --
895.12/224.19	c Finding binary XORs  T:     0.07 s  found:       0
1169.17/292.71	c  N st    94    207101     10070     18071     42294     22857    158013    479103      9.88   no data  --
1354.89/339.25	c  N st    95    237770     10070     18071     42310     33741    158013    870617      9.88   no data  --
1354.89/339.25	c  S st    95    237770     10070     18071     42310     33741    158013    870617      9.88   no data  --
1355.69/339.47	c  S st    95    238275     10070     18071     42314     34243    158013    888697      9.88   no data  --
1355.69/339.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1355.69/339.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1358.89/340.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      5 BRemN:      6 P: 18.3M T:  3.09
1359.29/340.30	c bin-w-bin subsume rem            8 bins  time:  0.02 s
1359.69/340.43	c subs with bin:        5  lits-rem:         3  v-fix:    0  time:  0.52 s
1359.69/340.45	c Subs w/ non-existent bins:      0 l-rem:    531 v-fix:     0 done:    534 time:  0.08 s
1359.69/340.46	c Removed useless bin:       1  fixed:     0  props:   1.13M  time:  0.07 s
1376.06/344.52	c lits-rem:      5148  cl-subs:     2145  v-elim:      1  v-fix:    0  time: 16.17 s
1376.06/344.52	c vivif2 --  cl tried    18071 cl shrink        3 lits rem          3 time: 0.04
1376.46/344.60	c vivif2 --  cl tried    32098 cl shrink     5827 lits rem      21136 time: 0.32
1377.66/344.93	c asymm  cl-useful: 22/14756/18070 lits-rem:50 time: 1.31
1377.66/344.94	c calculated reachability. Time: 0.03
1377.66/344.94	c  N st    95    238275     10069     18056     42309     32098    157972    812227      9.88   no data  --
1803.07/451.44	c  F st    96    306250     10069     18056     42315     34961    157971    822762      9.88   no data  --
1803.07/451.46	c  N st    96    306250     10069     18056     42315     34961    157971    822762      9.88   no data  --
1803.07/451.48	c Finding binary XORs  T:     0.07 s  found:       0
1836.22/459.74	c Decided on static restart strategy
1978.43/495.34	c  N st   106    334551     10069     18056     42849     39593    157971   1143325      9.88   no data  --
2127.04/532.55	c  N st   108    357413     10069     18056     42851     37787    157971    998575      9.88   no data  --
2127.04/532.55	c  S st   108    357413     10069     18056     42851     37787    157971    998575      9.88   no data  --
2128.21/532.81	c  S st   108    357914     10069     18056     42852     38288    157971   1016767      9.88   no data  --
2128.21/532.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2128.21/532.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2131.44/533.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:    250 BRemN:     13 P: 20.9M T:  3.37
2131.81/533.71	c bin-w-bin subsume rem          216 bins  time:  0.02 s
2132.21/533.87	c subs with bin:       41  lits-rem:         7  v-fix:    0  time:  0.64 s
2132.21/533.89	c Subs w/ non-existent bins:      0 l-rem:    724 v-fix:     0 done:    710 time:  0.08 s
2132.61/533.91	c Removed useless bin:      33  fixed:     0  props:   1.13M  time:  0.07 s
2139.82/535.79	c lits-rem:       489  cl-subs:     1543  v-elim:      1  v-fix:    0  time:  7.53 s
2140.22/535.80	c vivif2 --  cl tried    18023 cl shrink        2 lits rem          3 time: 0.04
2140.60/535.90	c vivif2 --  cl tried    36741 cl shrink     6987 lits rem      28781 time: 0.40
2141.00/536.01	c asymm  cl-useful: 18/3267/18023 lits-rem:54 time: 0.42
2141.00/536.02	c calculated reachability. Time: 0.03
2141.00/536.02	c  N st   108    357914     10068     18005     42364     36741    157824    956086      9.88   no data  --
2354.31/589.40	c  N st   109    390307     10068     18005     42364     43388    157824   1141932      9.88   no data  --
2653.91/664.49	c  N st   110    438895     10068     18005     42368     37589    157823    893548      9.88   no data  --
3123.25/781.97	c  N st   111    511777     10068     18005     42371     51855    157823   1291193      9.88   no data  --
3279.43/821.08	c  N st   112    536871     10068     18005     42413     46360    157823   1162220      9.88   no data  --
3279.43/821.08	c  S st   112    536871     10068     18005     42413     46360    157823   1162220      9.88   no data  --
3281.03/821.43	c  S st   112    537372     10068     18005     42415     46861    157823   1178844      9.88   no data  --
3281.03/821.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3281.03/821.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3284.62/822.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     12 BRemL:      3 BRemN:     21 P: 21.9M T:  3.49
3284.62/822.37	c bin-w-bin subsume rem            1 bins  time:  0.02 s
3285.42/822.56	c subs with bin:       16  lits-rem:         4  v-fix:    0  time:  0.76 s
3285.42/822.58	c Subs w/ non-existent bins:      1 l-rem:    535 v-fix:     0 done:    816 time:  0.08 s
3285.82/822.60	c Removed useless bin:       9  fixed:     0  props:   1.12M  time:  0.07 s
3295.82/825.14	c lits-rem:      2315  cl-subs:     4222  v-elim:      1  v-fix:    0  time: 10.17 s
3295.82/825.15	c vivif2 --  cl tried    17996 cl shrink        1 lits rem          1 time: 0.04
3296.20/825.26	c vivif2 --  cl tried    42635 cl shrink     7217 lits rem      36063 time: 0.44
3297.81/825.60	c asymm  cl-useful: 168/8956/17995 lits-rem:168 time: 1.36
3297.81/825.61	c calculated reachability. Time: 0.03
3297.81/825.61	c  N st   112    537372     10067     17995     42390     42635    157575   1075199      9.88   no data  --
4360.72/1091.99	c  N st   113    701357     10067     17995     42394     38138    157575    615071      9.88   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3282758-1304032908/watcher-3282758-1304032908 -o /tmp/evaluation-result-3282758-1304032908/solver-3282758-1304032908 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3282758-1304032908.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.21 7.80 7.75 6/180 20557
/proc/meminfo: memFree=17252088/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 593521541 52465664 352 33554432000 4194304 4650419 140737163923120 18446744073709551615 47500497057714 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 12809 352 303 112 0 7774 0
[pid=20557/tid=20558] ppid=20555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593521541 52465664 352 33554432000 4194304 4650419 140737163923120 18446744073709551615 47500497057708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593521541 52465664 352 33554432000 4194304 4650419 140737163923120 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593521541 52465664 352 33554432000 4194304 4650419 140737163923120 18446744073709551615 47500497057712 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.158407 s]
/proc/loadavg: 7.21 7.80 7.75 6/180 20557
/proc/meminfo: memFree=17252088/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=308600 CPUtime=0.6 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 15458 0 0 0 57 3 0 0 25 0 4 0 593521541 316006400 13302 33554432000 4194304 4650419 140737163923120 18446744073709551615 4370249 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 77150 13302 369 112 0 72115 0
[pid=20557/tid=20558] ppid=20555 vsize=308600 CPUtime=0.14 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3691 0 0 0 14 0 0 0 25 0 4 0 593521541 316006400 13302 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=308600 CPUtime=0.14 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3690 0 0 0 13 1 0 0 25 0 4 0 593521541 316006400 13302 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=308600 CPUtime=0.14 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3955 0 0 0 14 0 0 0 25 0 4 0 593521541 316006400 13302 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 308600

[startup+0.200402 s]
/proc/loadavg: 7.21 7.80 7.75 6/180 20557
/proc/meminfo: memFree=17252088/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=308600 CPUtime=0.77 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 15461 0 0 0 74 3 0 0 25 0 4 0 593521541 316006400 13305 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 77150 13305 369 112 0 72115 0
[pid=20557/tid=20558] ppid=20555 vsize=308600 CPUtime=0.18 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3692 0 0 0 18 0 0 0 25 0 4 0 593521541 316006400 13305 33554432000 4194304 4650419 140737163923120 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=308600 CPUtime=0.19 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3690 0 0 0 18 1 0 0 25 0 4 0 593521541 316006400 13305 33554432000 4194304 4650419 140737163923120 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=308600 CPUtime=0.18 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3957 0 0 0 18 0 0 0 25 0 4 0 593521541 316006400 13305 33554432000 4194304 4650419 140737163923120 18446744073709551615 4315246 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 308600

[startup+0.300382 s]
/proc/loadavg: 7.21 7.80 7.75 6/180 20557
/proc/meminfo: memFree=17252088/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=316916 CPUtime=1.17 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 19958 0 0 0 113 4 0 0 25 0 4 0 593521541 324521984 17193 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 79229 17195 373 112 0 74194 0
[pid=20557/tid=20558] ppid=20555 vsize=316916 CPUtime=0.29 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 5187 0 0 0 28 1 0 0 25 0 4 0 593521541 324521984 17195 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=316916 CPUtime=0.28 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 5205 0 0 0 27 1 0 0 25 0 4 0 593521541 324521984 17196 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369024 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=316916 CPUtime=0.28 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3961 0 0 0 28 0 0 0 25 0 4 0 593521541 324521984 17197 33554432000 4194304 4650419 140737163923120 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 316916

[startup+0.700317 s]
/proc/loadavg: 7.21 7.80 7.75 6/180 20557
/proc/meminfo: memFree=17252088/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=343580 CPUtime=2.77 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 40057 0 0 0 268 9 0 0 18 0 4 0 593521541 351825920 37292 33554432000 4194304 4650419 140737163923120 18446744073709551615 4302800 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 85895 37292 373 112 0 80860 0
[pid=20557/tid=20558] ppid=20555 vsize=343580 CPUtime=0.69 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 11886 0 0 0 66 3 0 0 18 0 4 0 593521541 351825920 37292 33554432000 4194304 4650419 140737163923120 18446744073709551615 4369877 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=343580 CPUtime=0.68 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 11884 0 0 0 67 1 0 0 25 0 4 0 593521541 351825920 37292 33554432000 4194304 4650419 140737163923120 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=343580 CPUtime=0.68 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3972 0 0 0 68 0 0 0 25 0 4 0 593521541 351825920 37292 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 343580

[startup+1.50117 s]
/proc/loadavg: 7.21 7.80 7.75 9/184 20561
/proc/meminfo: memFree=17087260/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=357612 CPUtime=5.96 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 51864 0 0 0 585 11 0 0 19 0 4 0 593521541 366194688 48285 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363531 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 89403 48285 392 112 0 84368 0
[pid=20557/tid=20558] ppid=20555 vsize=357612 CPUtime=1.48 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 15891 0 0 0 145 3 0 0 18 0 4 0 593521541 366194688 48285 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=357612 CPUtime=1.47 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 15663 0 0 0 145 2 0 0 25 0 4 0 593521541 366194688 48285 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=357612 CPUtime=1.48 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 3993 0 0 0 148 0 0 0 25 0 4 0 593521541 366194688 48285 33554432000 4194304 4650419 140737163923120 18446744073709551615 4314837 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 357612

[startup+3.1009 s]
/proc/loadavg: 7.21 7.80 7.75 9/184 20561
/proc/meminfo: memFree=17057996/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=357612 CPUtime=12.34 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 52168 0 0 0 1223 11 0 0 23 0 4 0 593521541 366194688 48554 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 89403 48554 392 112 0 84368 0
[pid=20557/tid=20558] ppid=20555 vsize=357612 CPUtime=3.09 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 15996 0 0 0 305 4 0 0 20 0 4 0 593521541 366194688 48554 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=357612 CPUtime=3.07 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 15704 0 0 0 305 2 0 0 25 0 4 0 593521541 366194688 48554 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=357612 CPUtime=3.08 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 4038 0 0 0 308 0 0 0 25 0 4 0 593521541 366194688 48554 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 357612

[startup+6.30034 s]
/proc/loadavg: 7.28 7.80 7.75 9/184 20561
/proc/meminfo: memFree=17063052/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=357612 CPUtime=25.13 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 52636 0 0 0 2501 12 0 0 25 0 4 0 593521541 366194688 48951 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 89403 48951 393 112 0 84368 0
[pid=20557/tid=20558] ppid=20555 vsize=357612 CPUtime=6.29 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 16136 0 0 0 625 4 0 0 25 0 4 0 593521541 366194688 48951 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=357612 CPUtime=6.25 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 15768 0 0 0 623 2 0 0 25 0 4 0 593521541 366194688 48951 33554432000 4194304 4650419 140737163923120 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=357612 CPUtime=6.28 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 4171 0 0 0 628 0 0 0 25 0 4 0 593521541 366194688 48951 33554432000 4194304 4650419 140737163923120 18446744073709551615 4331103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 357612

[startup+12.7002 s]
/proc/loadavg: 7.33 7.80 7.75 9/184 20561
/proc/meminfo: memFree=17019044/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=360180 CPUtime=50.69 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 55585 0 0 0 5056 13 0 0 25 0 4 0 593521541 368824320 48939 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 90045 48939 395 112 0 85010 0
[pid=20557/tid=20558] ppid=20555 vsize=360180 CPUtime=12.69 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 16765 0 0 0 1265 4 0 0 25 0 4 0 593521541 368824320 48939 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364017 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=360180 CPUtime=12.61 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 16221 0 0 0 1259 2 0 0 25 0 4 0 593521541 368824320 48939 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=360180 CPUtime=12.69 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 4908 0 0 0 1268 1 0 0 25 0 4 0 593521541 368824320 48939 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 360180

[startup+25.501 s]
/proc/loadavg: 7.48 7.81 7.75 9/184 20562
/proc/meminfo: memFree=16994244/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=361248 CPUtime=101.82 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 59188 0 0 0 10168 14 0 0 25 0 4 0 593521541 369917952 49336 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 90312 49336 395 112 0 85277 0
[pid=20557/tid=20558] ppid=20555 vsize=361248 CPUtime=25.49 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 17486 0 0 0 2545 4 0 0 25 0 4 0 593521541 369917952 49336 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=361248 CPUtime=25.34 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 16841 0 0 0 2532 2 0 0 25 0 4 0 593521541 369917952 49336 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=361248 CPUtime=25.48 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 5818 0 0 0 2547 1 0 0 25 0 4 0 593521541 369917952 49336 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363640 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 361248

[startup+51.1005 s]
/proc/loadavg: 7.72 7.84 7.76 9/184 20562
/proc/meminfo: memFree=16917672/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=417444 CPUtime=204.07 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 69453 0 0 0 20389 18 0 0 25 0 4 0 593521541 427462656 55385 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 104361 55385 396 112 0 99326 0
[pid=20557/tid=20558] ppid=20555 vsize=417444 CPUtime=51.08 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 18764 0 0 0 5104 4 0 0 25 0 4 0 593521541 427462656 55385 33554432000 4194304 4650419 140737163923120 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=417444 CPUtime=50.8 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 17677 0 0 0 5077 3 0 0 25 0 4 0 593521541 427462656 55385 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=417444 CPUtime=51.08 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 7572 0 0 0 5106 2 0 0 25 0 4 0 593521541 427462656 55385 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 417444

[startup+102.301 s]
/proc/loadavg: 7.95 7.88 7.78 9/184 20564
/proc/meminfo: memFree=16754700/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=548500 CPUtime=408.62 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 104602 0 0 0 40833 29 0 0 25 0 4 0 593521541 561664000 82494 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 137125 82494 396 112 0 132090 0
[pid=20557/tid=20558] ppid=20555 vsize=548500 CPUtime=102.29 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 30465 0 0 0 10222 7 0 0 25 0 4 0 593521541 561664000 82494 33554432000 4194304 4650419 140737163923120 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=548500 CPUtime=101.72 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 22777 0 0 0 10167 5 0 0 25 0 4 0 593521541 561664000 82494 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=548500 CPUtime=102.29 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 22203 0 0 0 10223 6 0 0 25 0 4 0 593521541 561664000 82494 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 548500

[startup+162.301 s]

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

[pid=20557] ppid=20555 vsize=700244 CPUtime=2565.61 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 213046 0 0 0 256490 71 0 0 25 0 4 0 593521541 717049856 116914 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 175061 116914 396 112 0 170026 0
[pid=20557/tid=20558] ppid=20555 vsize=700244 CPUtime=642.29 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 55046 0 0 0 64213 16 0 0 25 0 4 0 593521541 717049856 116914 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=700244 CPUtime=638.73 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 49944 0 0 0 63856 17 0 0 25 0 4 0 593521541 717049856 116914 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=700244 CPUtime=642.26 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 46971 0 0 0 64209 17 0 0 25 0 4 0 593521541 717049856 116914 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364871 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.61
Current children cumulated vsize (KiB) 700244

[startup+702.301 s]
/proc/loadavg: 8.18 8.10 7.93 9/184 20580
/proc/meminfo: memFree=16401944/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=700380 CPUtime=2805.29 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 222702 0 0 0 280453 76 0 0 25 0 4 0 593521541 717189120 117401 33554432000 4194304 4650419 140737163923120 18446744073709551615 4334008 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 175095 117401 396 112 0 170060 0
[pid=20557/tid=20558] ppid=20555 vsize=700380 CPUtime=702.3 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 57200 0 0 0 70212 18 0 0 25 0 4 0 593521541 717189120 117401 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=700380 CPUtime=698.4 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 52782 0 0 0 69822 18 0 0 25 0 4 0 593521541 717189120 117401 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=700380 CPUtime=702.26 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 49706 0 0 0 70208 18 0 0 25 0 4 0 593521541 717189120 117401 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 700380

[startup+762.301 s]
/proc/loadavg: 8.17 8.11 7.94 9/184 20581
/proc/meminfo: memFree=16411240/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=701016 CPUtime=3044.97 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 228174 0 0 0 304419 78 0 0 25 0 4 0 593521541 717840384 117539 33554432000 4194304 4650419 140737163923120 18446744073709551615 4331850 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 175254 117539 396 112 0 170219 0
[pid=20557/tid=20558] ppid=20555 vsize=701016 CPUtime=762.3 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 58451 0 0 0 76212 18 0 0 25 0 4 0 593521541 717840384 117539 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=701016 CPUtime=758.07 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 54993 0 0 0 75788 19 0 0 25 0 4 0 593521541 717840384 117539 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=701016 CPUtime=762.27 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 50750 0 0 0 76208 19 0 0 25 0 4 0 593521541 717840384 117539 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364971 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.97
Current children cumulated vsize (KiB) 701016

[startup+822.301 s]
/proc/loadavg: 8.23 8.13 7.95 9/184 20583
/proc/meminfo: memFree=16378832/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=701092 CPUtime=3284.62 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 236832 0 0 0 328380 82 0 0 25 0 4 0 593521541 717918208 122289 33554432000 4194304 4650419 140737163923120 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 175273 122289 396 112 0 170238 0
[pid=20557/tid=20558] ppid=20555 vsize=701092 CPUtime=822.3 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 61144 0 0 0 82211 19 0 0 25 0 4 0 593521541 717918208 122289 33554432000 4194304 4650419 140737163923120 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=701092 CPUtime=817.73 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 56934 0 0 0 81753 20 0 0 25 0 4 0 593521541 717918208 122289 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=701092 CPUtime=822.26 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 53682 0 0 0 82206 20 0 0 25 0 4 0 593521541 717918208 122289 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.62
Current children cumulated vsize (KiB) 701092

[startup+882.307 s]
/proc/loadavg: 8.21 8.14 7.96 9/184 20584
/proc/meminfo: memFree=16351280/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=766968 CPUtime=3524.31 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 247309 0 0 0 352344 87 0 0 25 0 4 0 593521541 785375232 125064 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333678 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 191742 125064 396 112 0 186707 0
[pid=20557/tid=20558] ppid=20555 vsize=766968 CPUtime=882.31 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 61520 0 0 0 88211 20 0 0 25 0 4 0 593521541 785375232 125064 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=766968 CPUtime=877.41 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 59098 0 0 0 87719 22 0 0 25 0 4 0 593521541 785375232 125064 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364017 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=766968 CPUtime=882.26 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 58536 0 0 0 88204 22 0 0 25 0 4 0 593521541 785375232 125064 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 766968

[startup+942.301 s]
/proc/loadavg: 8.08 8.11 7.96 9/184 20586
/proc/meminfo: memFree=16334996/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=701868 CPUtime=3763.96 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 253355 0 0 0 376306 90 0 0 25 0 4 0 593521541 718712832 127027 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363683 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 175467 127027 396 112 0 170432 0
[pid=20557/tid=20558] ppid=20555 vsize=701868 CPUtime=942.3 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 63348 0 0 0 94210 20 0 0 25 0 4 0 593521541 718712832 127027 33554432000 4194304 4650419 140737163923120 18446744073709551615 4315544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=701868 CPUtime=937.07 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 61096 0 0 0 93684 23 0 0 25 0 4 0 593521541 718712832 127027 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=701868 CPUtime=942.25 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 59514 0 0 0 94202 23 0 0 25 0 4 0 593521541 718712832 127027 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 701868

[startup+1002.3 s]
/proc/loadavg: 8.03 8.09 7.96 9/184 20588
/proc/meminfo: memFree=16335592/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=713496 CPUtime=4003.63 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 261502 0 0 0 400268 95 0 0 25 0 4 0 593521541 730619904 130514 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 178374 130514 396 112 0 173339 0
[pid=20557/tid=20558] ppid=20555 vsize=713496 CPUtime=1002.31 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 65826 0 0 0 100209 22 0 0 25 0 4 0 593521541 730619904 130514 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=713496 CPUtime=996.73 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 63113 0 0 0 99650 23 0 0 25 0 4 0 593521541 730619904 130514 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=713496 CPUtime=1002.25 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 61323 0 0 0 100200 25 0 0 25 0 4 0 593521541 730619904 130514 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 713496

[startup+1062.3 s]
/proc/loadavg: 8.17 8.11 7.98 9/184 20592
/proc/meminfo: memFree=16319668/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=779124 CPUtime=4242.48 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 267257 0 0 0 424150 98 0 0 25 0 4 0 593521541 797822976 127381 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 194781 127381 396 112 0 189746 0
[pid=20557/tid=20558] ppid=20555 vsize=779124 CPUtime=1062.3 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 65908 0 0 0 106208 22 0 0 25 0 4 0 593521541 797822976 127381 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=779124 CPUtime=1056.25 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 64924 0 0 0 105601 24 0 0 25 0 4 0 593521541 797822976 127381 33554432000 4194304 4650419 140737163923120 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=779124 CPUtime=1062.24 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 64350 0 0 0 106197 27 0 0 25 0 4 0 593521541 797822976 127381 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.48
Current children cumulated vsize (KiB) 779124

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 7.98 9/184 20594
/proc/meminfo: memFree=16277208/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=779196 CPUtime=4482.15 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 276393 0 0 0 448113 102 0 0 25 0 4 0 593521541 797896704 134557 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 194799 134557 396 112 0 189764 0
[pid=20557/tid=20558] ppid=20555 vsize=779196 CPUtime=1122.31 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 68836 0 0 0 112208 23 0 0 25 0 4 0 593521541 797896704 134557 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=779196 CPUtime=1115.91 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 66764 0 0 0 111567 24 0 0 25 0 4 0 593521541 797896704 134557 33554432000 4194304 4650419 140737163923120 18446744073709551615 4333763 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=779196 CPUtime=1122.25 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 66792 0 0 0 112196 29 0 0 25 0 4 0 593521541 797896704 134557 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.15
Current children cumulated vsize (KiB) 779196

[startup+1182.3 s]
/proc/loadavg: 7.81 8.02 7.96 9/184 20626
/proc/meminfo: memFree=16782636/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=779196 CPUtime=4721.82 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 285181 0 0 0 472075 107 0 0 25 0 4 0 593521541 797896704 143056 33554432000 4194304 4650419 140737163923120 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 194799 143056 396 112 0 189764 0
[pid=20557/tid=20558] ppid=20555 vsize=779196 CPUtime=1182.31 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 71372 0 0 0 118206 25 0 0 25 0 4 0 593521541 797896704 143056 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=779196 CPUtime=1175.58 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 67898 0 0 0 117533 25 0 0 25 0 4 0 593521541 797896704 143056 33554432000 4194304 4650419 140737163923120 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=779196 CPUtime=1182.24 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 69301 0 0 0 118194 30 0 0 25 0 4 0 593521541 797896704 143056 33554432000 4194304 4650419 140737163923120 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.82
Current children cumulated vsize (KiB) 779196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 7.86 8.02 7.96 9/184 20627
/proc/meminfo: memFree=16663232/32950940 swapFree=67111528/67111528
[pid=20557] ppid=20555 vsize=779276 CPUtime=4800.13 cores=0,2,4,6
/proc/20557/stat : 20557 (strangenight1-m) R 20555 20557 20083 0 -1 4202496 288129 0 0 0 479904 109 0 0 25 0 4 0 593521541 797978624 143931 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20557/statm: 194819 143931 396 112 0 189784 0
[pid=20557/tid=20558] ppid=20555 vsize=779276 CPUtime=1201.91 cores=0,2,4,6
/proc/20557/task/20558/stat : 20558 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 71965 0 0 0 120166 25 0 0 25 0 4 0 593521541 797978624 143931 33554432000 4194304 4650419 140737163923120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20557/tid=20559] ppid=20555 vsize=779276 CPUtime=1195.08 cores=0,2,4,6
/proc/20557/task/20559/stat : 20559 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 69132 0 0 0 119482 26 0 0 25 0 4 0 593521541 797978624 143931 33554432000 4194304 4650419 140737163923120 18446744073709551615 4330629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20557/tid=20560] ppid=20555 vsize=779276 CPUtime=1201.85 cores=0,2,4,6
/proc/20557/task/20560/stat : 20560 (strangenight1-m) R 20555 20557 20083 0 -1 4202560 69873 0 0 0 120154 31 0 0 25 0 4 0 593521541 797978624 143931 33554432000 4194304 4650419 140737163923120 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 779276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.19
CPU user time (s): 4799.07
CPU system time (s): 1.12183
CPU usage (%): 399.37
Max. virtual memory (cumulated for all children) (KiB): 826896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.07
system time used= 1.12183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288131
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= 2872
involuntary context switches= 22115

runsolver used 2.03769 second user time and 4.52831 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 01:21:48
IDJOB=3282758
IDBENCH=70849
IDSOLVER=1588
FILE ID=node117/3282758-1304032908
RUNJOBID= node117-1304032874-20503
PBS_JOBID= 13170335
Free space on /tmp= 71672 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282758-1304032908/watcher-3282758-1304032908 -o /tmp/evaluation-result-3282758-1304032908/solver-3282758-1304032908 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3282758-1304032908.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=1581098518

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17252376 kB
Buffers:       2375064 kB
Cached:       12388652 kB
SwapCached:          0 kB
Active:        8371988 kB
Inactive:      6745384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17252376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9484 kB
Writeback:           0 kB
AnonPages:      352400 kB
Mapped:          15504 kB
Slab:           517072 kB
PageTables:       5600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   691716 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= 71664 MiB
End job on node117 at 2011-04-29 01:41:52