Trace number 3369623

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 (fixed)? (TO) 4800.51 1203.08

General information on the benchmark

NameSAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
MD5SUM3be662940f394fa876137a905247d755
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28147
Number of clauses108436
Sum of the clauses size373110
Maximum clause length166
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 218786
Number of clauses of size 351588
Number of clauses of size 437440
Number of clauses of size 53
Number of clauses of size over 5605

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-3369623-1305415865.cnf'
0.00/0.00	c -- header says num vars:          28147
0.00/0.00	c -- header says num clauses:      108436
0.32/0.13	c -- clauses added:            0 learnts,       108436 normals,            0 xors
0.32/0.13	c -- vars added      28147
0.32/0.13	c Parsing time:  0.30 s
0.32/0.13	c  N st     0         0     28147     89613     18786         0    372979         0   no data   no data  --
0.80/0.33	c asymm  cl-useful: 3453/89582/89582 lits-rem:3703 time: 0.81
0.80/0.48	c Flit:    11 Blit:      0 bXBeca:    0 bXProp: 4694 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.47
1.83/0.50	c Replacing     4694 vars Replaced    77987 lits Time:     0.13 s 
2.14/0.61	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2.14/0.61	c subs with bin:      246  lits-rem:       220  v-fix:    0  time:  0.06 s
2.14/0.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    16 done:  23417 time:  0.06 s
2.14/0.65	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2.90/0.99	c lits-rem:       878  cl-subs:      714  v-elim:    727  v-fix:    0  time:  1.45 s
2.90/1.00	c Finding binary XORs  T:     0.04 s  found:       0
2.90/1.07	c Finding non-binary XORs:     0.23 s (found:    7709, avg size: 3.5)
2.90/1.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2.90/1.08	c calculated reachability. Time: 0.01
2.90/1.08	c Calc default polars -  time:   0.02 s pos:    4423 undec:    6112 neg:   17612
2.90/1.08	c =========================================================================================
2.90/1.08	c types(t): F = full restart, N = normal restart
2.90/1.08	c types(t): S = simplification begin/end, E = solution found
2.90/1.08	c restart types(rt): st = static, dy = dynamic
2.90/1.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.90/1.08	c  B st     0         0     22678     42755      9165         0    239147         0   no data   no data  --
2.90/1.59	c Decided on static restart strategy
8.30/2.19	c  N st     8      4913     22548     42755     10781      3237    239146     16864   no data   no data  --
14.24/3.69	c Finding binary XORs  T:     0.04 s  found:       0
16.24/4.11	c  N st    10     11296     22385     41752     13284      8502    236242     45380   no data   no data  --
25.85/6.54	c  N st    11     17039     22297     41752     15828     13833    236242     78823   no data   no data  --
27.41/6.98	c Finding binary XORs  T:     0.04 s  found:       1
40.98/10.39	c  F st    12     25000     22282     41231     16973     18226    234964    334507   no data   no data  --
41.38/10.40	c Replacing        6 vars Replaced       14 lits Time:     0.04 s 
41.38/10.44	c  N st    12     25000     22281     41165     16994     18226    234628    334503   no data   no data  --
49.76/12.55	c Decided on static restart strategy
49.76/12.55	c  N st    18     30000     22281     41165     17576     23066    234628    537603   no data   no data  --
49.76/12.55	c  S st    18     30000     22281     41165     17576     23066    234628    537603   no data   no data  --
49.76/12.56	c Finding binary XORs  T:     0.04 s  found:       0
50.56/12.74	c  S st    18     30500     22281     41165     17588     23549    234628    544462   no data   no data  --
50.56/12.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
50.56/12.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.20/13.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  10840 BRemL:   1488 BRemN:     13 P:  4.6M T:  1.63
52.55/13.21	c bin-w-bin subsume rem          684 bins  time:  0.03 s
52.95/13.30	c subs with bin:    11829  lits-rem:      7770  v-fix:    0  time:  0.35 s
52.95/13.32	c Subs w/ non-existent bins:    203 l-rem:    223 v-fix:     0 done:   2134 time:  0.06 s
52.95/13.34	c Removed useless bin:     129  fixed:     0  props:   0.31M  time:  0.05 s
61.73/15.52	c lits-rem:       858  cl-subs:     6335  v-elim:   1235  v-fix:    0  time:  8.69 s
62.53/15.72	c asymm  cl-useful: 1168/31569/31569 lits-rem:1168 time: 0.78
62.53/15.73	c calculated reachability. Time: 0.02
62.53/15.73	c  N st    18     30500     21046     31569     22605     16729    211237    127581   no data   no data  --
68.52/17.29	c Finding binary XORs  T:     0.06 s  found:       0
78.88/19.88	c  N st    20     37613     21046     31569     22695     23744    211237   1483791   no data   no data  --
89.26/22.40	c  N st    21     44014     21046     31569     22695     30042    211237   2141933   no data   no data  --
91.29/22.94	c  S st    22     45751     21046     31569     23384     31768    211237   2414417   no data   no data  --
92.04/23.19	c  S st    22     46252     21046     31569     23388     32263    211237   2423134   no data   no data  --
92.45/23.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
92.45/23.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
94.06/23.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3838 BRemL:   1533 BRemN:      0 P:  6.5M T:  1.70
94.45/23.77	c bin-w-bin subsume rem         1008 bins  time:  0.02 s
96.84/24.30	c subs with bin:     4689  lits-rem:      1884  v-fix:    0  time:  2.11 s
96.84/24.32	c Subs w/ non-existent bins:      0 l-rem:    212 v-fix:     0 done:    147 time:  0.06 s
96.84/24.34	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.05 s
108.85/27.38	c lits-rem:       425  cl-subs:     1170  v-elim:      4  v-fix:    0  time: 12.11 s
108.85/27.39	c vivif2 --  cl tried    26960 cl shrink       51 lits rem         51 time: 0.04
109.61/27.53	c vivif2 --  cl tried    30978 cl shrink     6814 lits rem      13011 time: 0.54
110.41/27.73	c asymm  cl-useful: 0/26910/26910 lits-rem:0 time: 0.79
110.41/27.74	c calculated reachability. Time: 0.02
110.41/27.74	c  N st    22     46252     21042     26910     25138     30966    201403   2221643   no data   no data  --
155.10/38.99	c  N st    23     60649     21042     26910     25138     38759    201403   3897338   no data   no data  --
155.50/39.01	c Finding binary XORs  T:     0.06 s  found:       0
177.46/44.51	c  N st    24     69378     21042     26910     30043     47418    201403   5837430   no data   no data  --
177.46/44.51	c  S st    24     69378     21042     26910     30043     47418    201403   5837430   no data   no data  --
178.65/44.86	c  S st    24     69880     21042     26910     30046     47918    201403   5846918   no data   no data  --
178.65/44.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
178.65/44.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
181.04/45.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    678 BRemL:   1545 BRemN:      8 P:  6.0M T:  2.29
182.25/45.78	c bin-w-bin subsume rem         3308 bins  time:  0.03 s
189.03/47.41	c subs with bin:      407  lits-rem:      3360  v-fix:    0  time:  6.51 s
189.03/47.43	c Subs w/ non-existent bins:      2 l-rem:    178 v-fix:     0 done:    522 time:  0.07 s
189.03/47.45	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.06 s
629.13/157.70	c lits-rem:         6  cl-subs:      665  v-elim:      0  v-fix:    0  time: 439.44 s
629.13/157.71	c vivif2 --  cl tried    26590 cl shrink        0 lits rem          0 time: 0.04
630.73/158.13	c vivif2 --  cl tried    47163 cl shrink    17192 lits rem      45144 time: 1.67
631.57/158.33	c asymm  cl-useful: 3/26590/26590 lits-rem:9 time: 0.80
631.57/158.35	c calculated reachability. Time: 0.02
631.57/158.35	c  N st    24     69880     21042     26587     25886     47163    200542   5684842   no data   no data  --
684.60/171.64	c  F st    25     87501     21042     26587     25886     50386    200542   5373925   no data   no data  --
685.00/171.74	c  N st    25     87501     21042     26587     25886     50386    200542   5373925   no data   no data  --
685.00/171.76	c Finding binary XORs  T:     0.07 s  found:       0
694.18/174.06	c Decided on static restart strategy
701.40/175.91	c  N st    32     95538     21042     26587     26320     40049    200542   3153479   no data   no data  --
722.91/181.28	c  N st    34    104820     21042     26587     26320     49209    200542   5511169   no data   no data  --
722.91/181.28	c  S st    34    104820     21042     26587     26320     49209    200542   5511169   no data   no data  --
724.11/181.53	c  S st    34    105322     21042     26587     26320     49711    200542   5520894   no data   no data  --
724.11/181.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
724.11/181.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
726.11/182.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:    142 BRemN:      3 P:  5.4M T:  1.79
726.90/182.25	c bin-w-bin subsume rem          336 bins  time:  0.02 s
733.68/183.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.73 s
733.68/183.95	c Subs w/ non-existent bins:      0 l-rem:     37 v-fix:     0 done:    218 time:  0.06 s
733.68/183.97	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.05 s
1039.77/260.68	c lits-rem:         4  cl-subs:      537  v-elim:      0  v-fix:    0  time: 305.86 s
1039.77/260.69	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
1041.32/261.00	c vivif2 --  cl tried    49174 cl shrink     7115 lits rem      29834 time: 1.25
1042.13/261.20	c asymm  cl-useful: 0/26587/26587 lits-rem:0 time: 0.79
1042.13/261.21	c calculated reachability. Time: 0.02
1042.13/261.21	c  N st    34    105322     21042     26587     25847     49174    200532   5376822   no data   no data  --
1060.49/265.88	c  N st    35    114921     21042     26587     25847     58570    200532   7601053   no data   no data  --
1103.98/276.72	c  N st    36    129319     21042     26587     25856     52606    200532   5663940   no data   no data  --
1167.06/292.59	c  N st    37    150914     21042     26587     25856     51508    200532   5178674   no data   no data  --
1185.78/297.27	c  S st    38    157986     21042     26587     25856     58504    200532   6698785   no data   no data  --
1187.38/297.62	c  S st    38    158490     21042     26587     25856     59006    200532   6710016   no data   no data  --
1187.38/297.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1187.38/297.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1189.02/298.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      4 BRemN:      0 P:  5.5M T:  1.72
1190.18/298.37	c bin-w-bin subsume rem            5 bins  time:  0.02 s
1196.97/300.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.70 s
1196.97/300.06	c Subs w/ non-existent bins:      0 l-rem:     67 v-fix:     0 done:    248 time:  0.06 s
1196.97/300.08	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.05 s
1671.42/418.99	c lits-rem:         1  cl-subs:      542  v-elim:      0  v-fix:    0  time: 473.90 s
1671.42/419.00	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.05
1673.38/419.41	c vivif2 --  cl tried    58464 cl shrink    10057 lits rem      33872 time: 1.61
1674.18/419.62	c asymm  cl-useful: 1/26587/26587 lits-rem:1 time: 0.84
1674.18/419.63	c calculated reachability. Time: 0.02
1674.18/419.63	c  N st    38    158490     21042     26587     25847     58464    200531   6577178   no data   no data  --
1838.23/460.76	c  N st    39    207079     21042     26587     25847     57199    200531   6515509   no data   no data  --
1925.60/482.67	c  N st    40    237735     21042     26587     25847     60980    200531   7299577   no data   no data  --
1925.60/482.67	c  S st    40    237735     21042     26587     25847     60980    200531   7299577   no data   no data  --
1926.79/482.95	c  S st    40    238238     21042     26587     25847     61480    200531   7311144   no data   no data  --
1926.79/482.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1926.79/482.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1928.79/483.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  1.83
1929.98/483.76	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1936.77/485.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.70 s
1936.77/485.46	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     0 done:     90 time:  0.06 s
1936.77/485.47	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.05 s
2493.43/624.95	c lits-rem:         5  cl-subs:      605  v-elim:      0  v-fix:    0  time: 555.95 s
2493.43/624.96	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
2495.43/625.40	c vivif2 --  cl tried    60875 cl shrink     9240 lits rem      43003 time: 1.75
2496.23/625.60	c asymm  cl-useful: 0/26587/26587 lits-rem:0 time: 0.80
2496.23/625.61	c calculated reachability. Time: 0.02
2496.23/625.61	c  N st    40    238238     21042     26587     25847     60875    200531   7129874   no data   no data  --
2681.03/671.97	c  F st    41    306250     21042     26587     25847     72091    200531   9666972   no data   no data  --
2681.43/672.06	c  N st    41    306250     21042     26587     25847     72091    200531   9666972   no data   no data  --
2692.17/674.76	c Decided on static restart strategy
2740.86/686.95	c  N st    51    334556     21042     26587     25847     70529    200531   8583644   no data   no data  --
2804.34/702.87	c  N st    53    357357     21042     26587     25847     62457    200531   5889414   no data   no data  --
2804.34/702.87	c  S st    53    357357     21042     26587     25847     62457    200531   5889414   no data   no data  --
2805.50/703.10	c  S st    53    357861     21042     26587     25847     62959    200531   5896748   no data   no data  --
2805.50/703.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2805.50/703.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2807.10/703.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.7M T:  1.77
2808.33/703.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2813.89/705.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
2813.89/705.25	c Subs w/ non-existent bins:      0 l-rem:      7 v-fix:     0 done:    381 time:  0.06 s
2813.89/705.26	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.05 s
3133.93/785.44	c lits-rem:        11  cl-subs:      465  v-elim:      0  v-fix:    0  time: 319.58 s
3133.93/785.45	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
3135.12/785.79	c vivif2 --  cl tried    62494 cl shrink     6577 lits rem      33448 time: 1.36
3136.32/786.01	c asymm  cl-useful: 0/26587/26587 lits-rem:0 time: 0.88
3136.32/786.02	c calculated reachability. Time: 0.02
3136.32/786.02	c  N st    53    357861     21042     26587     25847     62494    200531   5784408   no data   no data  --
3250.85/814.71	c  N st    54    390253     21042     26587     25847     62966    200531   5755269   no data   no data  --
3428.42/859.21	c  N st    55    438841     21042     26587     25847     78302    200531   8840473   no data   no data  --
3691.40/925.13	c  N st    56    511725     21042     26587     25847     82449    200531   9626086   no data   no data  --
3760.87/942.60	c  N st    57    536791     21042     26587     25847     71626    200531   9650285   no data   no data  --
3760.87/942.60	c  S st    57    536791     21042     26587     25847     71626    200531   9650285   no data   no data  --
3762.03/942.85	c  S st    57    537293     21042     26587     25847     72126    200531   9657175   no data   no data  --
3762.03/942.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3762.03/942.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3764.03/943.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.8M T:  1.95
3766.02/943.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3773.20/945.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.33 s
3773.20/945.66	c Subs w/ non-existent bins:      0 l-rem:    198 v-fix:     0 done:    574 time:  0.07 s
3773.20/945.68	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.06 s
4672.28/1170.96	c lits-rem:         0  cl-subs:      541  v-elim:      0  v-fix:    0  time: 898.07 s
4672.28/1170.97	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
4675.08/1171.62	c vivif2 --  cl tried    71585 cl shrink     8620 lits rem      54564 time: 2.59
4675.88/1171.86	c asymm  cl-useful: 0/26587/26587 lits-rem:0 time: 0.93
4675.88/1171.87	c calculated reachability. Time: 0.02
4675.88/1171.87	c  N st    57    537293     21042     26587     25847     71585    200531   9432523   no data   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: 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-3369623-1305415865/watcher-3369623-1305415865 -o /tmp/evaluation-result-3369623-1305415865/solver-3369623-1305415865 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369623-1305415865.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: 8.12 8.09 7.78 5/304 18131
/proc/meminfo: memFree=11961544/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=190608 CPUtime=0 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 3754 0 0 0 0 0 0 0 25 0 4 0 653184364 195182592 3231 33554432000 4194304 4650419 140734960753664 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 47652 3234 341 112 0 42617 0
[pid=18131/tid=18132] ppid=18129 vsize=190652 CPUtime=0 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) D 18129 18131 17455 0 -1 4202560 1293 0 0 0 0 0 0 0 18 0 4 0 653184364 195227648 3638 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377327210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=190864 CPUtime=0 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 154 0 0 0 0 0 0 0 25 0 4 0 653184364 195444736 3660 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377301307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=190864 CPUtime=0 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 1311 0 0 0 0 0 0 0 18 0 4 0 653184364 195444736 3687 33554432000 4194304 4650419 140734960753664 18446744073709551615 255376998608 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0156361 s]
/proc/loadavg: 8.12 8.09 7.78 5/304 18131
/proc/meminfo: memFree=11961544/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=198852 CPUtime=0.03 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) D 18129 18131 17455 0 -1 4202496 7630 0 0 0 2 1 0 0 25 0 4 0 653184364 203624448 6055 33554432000 4194304 4650419 140734960753664 18446744073709551615 255376998600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 49713 6055 341 112 0 44678 0
[pid=18131/tid=18132] ppid=18129 vsize=198852 CPUtime=0 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) D 18129 18131 17455 0 -1 4202560 2115 0 0 0 0 0 0 0 18 0 4 0 653184364 203624448 6055 33554432000 4194304 4650419 140734960753664 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=198852 CPUtime=0 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 779 0 0 0 0 0 0 0 25 0 4 0 653184364 203624448 6055 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377327210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=198852 CPUtime=0 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) D 18129 18131 17455 0 -1 4202560 2187 0 0 0 0 0 0 0 18 0 4 0 653184364 203624448 6055 33554432000 4194304 4650419 140734960753664 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 198852

[startup+0.100577 s]
/proc/loadavg: 8.12 8.09 7.78 5/304 18131
/proc/meminfo: memFree=11961544/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=373492 CPUtime=0.32 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 16066 0 0 0 25 7 0 0 17 0 4 0 653184364 382455808 14455 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377327210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 93406 14494 345 112 0 88371 0
[pid=18131/tid=18132] ppid=18129 vsize=373624 CPUtime=0.07 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 3955 0 0 0 5 2 0 0 18 0 4 0 653184364 382590976 14540 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=373624 CPUtime=0.07 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) S 18129 18131 17455 0 -1 4202560 3766 0 0 0 6 1 0 0 18 0 4 0 653184364 382590976 14592 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377406446 0 0 4096 2 18446604441968724800 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=373624 CPUtime=0.07 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 4172 0 0 0 6 1 0 0 18 0 4 0 653184364 382590976 14635 33554432000 4194304 4650419 140734960753664 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 373492

[startup+0.333341 s]
/proc/loadavg: 8.12 8.09 7.78 5/304 18131
/proc/meminfo: memFree=11961544/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=384184 CPUtime=1.83 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) S 18129 18131 17455 0 -1 4202496 22252 0 0 0 172 11 0 0 18 0 4 0 653184364 393404416 18808 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377406446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 96112 18883 376 112 0 91077 0
[pid=18131/tid=18132] ppid=18129 vsize=386252 CPUtime=0.46 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 5868 0 0 0 43 3 0 0 18 0 4 0 653184364 395522048 18886 33554432000 4194304 4650419 140734960753664 18446744073709551615 4457248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=386252 CPUtime=0.46 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) S 18129 18131 17455 0 -1 4202560 5630 0 0 0 44 2 0 0 18 0 4 0 653184364 395522048 18886 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377406446 0 0 4096 2 18446604441968724800 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=386252 CPUtime=0.46 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 4680 0 0 0 45 1 0 0 18 0 4 0 653184364 395522048 18886 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 384184

[startup+0.744368 s]
/proc/loadavg: 8.12 8.09 7.78 5/304 18131
/proc/meminfo: memFree=11961544/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=397448 CPUtime=2.9 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 36543 0 0 0 275 15 0 0 18 0 4 0 653184364 406986752 29895 33554432000 4194304 4650419 140734960753664 18446744073709551615 255376998585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 99362 29919 388 112 0 94327 0
[pid=18131/tid=18132] ppid=18129 vsize=397448 CPUtime=0.72 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 11102 0 0 0 67 5 0 0 18 0 4 0 653184364 406986752 29936 33554432000 4194304 4650419 140734960753664 18446744073709551615 255376998155 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=397448 CPUtime=0.73 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) S 18129 18131 17455 0 -1 4202560 10157 0 0 0 69 4 0 0 18 0 4 0 653184364 406986752 29957 33554432000 4194304 4650419 140734960753664 18446744073709551615 255377406446 0 0 4096 2 18446604441968724800 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=397448 CPUtime=0.72 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 4686 0 0 0 70 2 0 0 18 0 4 0 653184364 406986752 29978 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 397448

[startup+1.62923 s]
/proc/loadavg: 8.12 8.09 7.78 5/304 18131
/proc/meminfo: memFree=11961544/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=399608 CPUtime=6.38 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 40064 0 0 0 621 17 0 0 19 0 4 0 653184364 409198592 32821 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 99902 32821 393 112 0 94867 0
[pid=18131/tid=18132] ppid=18129 vsize=399608 CPUtime=1.58 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 12240 0 0 0 153 5 0 0 19 0 4 0 653184364 409198592 32821 33554432000 4194304 4650419 140734960753664 18446744073709551615 4413215 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=399608 CPUtime=1.59 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 11335 0 0 0 155 4 0 0 19 0 4 0 653184364 409198592 32821 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=399608 CPUtime=1.59 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 4761 0 0 0 157 2 0 0 19 0 4 0 653184364 409198592 32821 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365110 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 399608

[startup+3.10096 s]
/proc/loadavg: 8.11 8.09 7.78 9/308 18135
/proc/meminfo: memFree=11817796/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=399608 CPUtime=12.28 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 40255 0 0 0 1211 17 0 0 22 0 4 0 653184364 409198592 33012 33554432000 4194304 4650419 140734960753664 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 99902 33012 394 112 0 94867 0
[pid=18131/tid=18132] ppid=18129 vsize=399608 CPUtime=3.07 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 12280 0 0 0 302 5 0 0 22 0 4 0 653184364 409198592 33013 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=399608 CPUtime=3.06 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 11369 0 0 0 301 5 0 0 22 0 4 0 653184364 409198592 33013 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=399608 CPUtime=3.07 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 4807 0 0 0 305 2 0 0 22 0 4 0 653184364 409198592 33013 33554432000 4194304 4650419 140734960753664 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 399608

[startup+6.30036 s]
/proc/loadavg: 8.11 8.09 7.78 9/308 18135
/proc/meminfo: memFree=11815068/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=399608 CPUtime=25.02 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 40584 0 0 0 2485 17 0 0 25 0 4 0 653184364 409198592 33341 33554432000 4194304 4650419 140734960753664 18446744073709551615 4364042 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 99902 33341 394 112 0 94867 0
[pid=18131/tid=18132] ppid=18129 vsize=399608 CPUtime=6.26 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 12374 0 0 0 621 5 0 0 25 0 4 0 653184364 409198592 33341 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=399608 CPUtime=6.23 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 11440 0 0 0 618 5 0 0 25 0 4 0 653184364 409198592 33341 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363935 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=399608 CPUtime=6.26 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 4873 0 0 0 624 2 0 0 25 0 4 0 653184364 409198592 33341 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 399608

[startup+12.7012 s]
/proc/loadavg: 8.10 8.08 7.78 9/308 18135
/proc/meminfo: memFree=11826080/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=399496 CPUtime=50.56 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 46568 0 0 0 5038 18 0 0 25 0 4 0 653184364 409083904 33320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4364017 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 99874 33320 396 112 0 94839 0
[pid=18131/tid=18132] ppid=18129 vsize=399496 CPUtime=12.66 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 14751 0 0 0 1260 6 0 0 25 0 4 0 653184364 409083904 33320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4364064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=399496 CPUtime=12.56 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 12978 0 0 0 1251 5 0 0 25 0 4 0 653184364 409083904 33320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=399496 CPUtime=12.66 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 5039 0 0 0 1264 2 0 0 25 0 4 0 653184364 409083904 33320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 399496

[startup+25.5008 s]
/proc/loadavg: 8.08 8.08 7.78 9/308 18136
/proc/meminfo: memFree=11651868/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=525856 CPUtime=101.63 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 104015 0 0 0 10133 30 0 0 25 0 4 0 653184364 538476544 76925 33554432000 4194304 4650419 140734960753664 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 131464 76926 396 112 0 126429 0
[pid=18131/tid=18132] ppid=18129 vsize=525856 CPUtime=25.45 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 28658 0 0 0 2536 9 0 0 25 0 4 0 653184364 538476544 76926 33554432000 4194304 4650419 140734960753664 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=525856 CPUtime=25.23 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 28618 0 0 0 2515 8 0 0 25 0 4 0 653184364 538476544 76927 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=525856 CPUtime=25.45 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 16048 0 0 0 2542 3 0 0 25 0 4 0 653184364 538476544 76928 33554432000 4194304 4650419 140734960753664 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 525856

[startup+51.1011 s]
/proc/loadavg: 8.33 8.14 7.81 9/308 18136
/proc/meminfo: memFree=11400168/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=951204 CPUtime=203.79 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 187576 0 0 0 20329 50 0 0 25 0 4 0 653184364 974032896 130320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 237801 130320 396 112 0 232766 0
[pid=18131/tid=18132] ppid=18129 vsize=951204 CPUtime=51.05 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 52992 0 0 0 5092 13 0 0 25 0 4 0 653184364 974032896 130320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=951204 CPUtime=50.59 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 46243 0 0 0 5045 14 0 0 25 0 4 0 653184364 974032896 130320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=951204 CPUtime=51.06 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 31657 0 0 0 5098 8 0 0 25 0 4 0 653184364 974032896 130320 33554432000 4194304 4650419 140734960753664 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 951204

[startup+102.301 s]
/proc/loadavg: 8.21 8.13 7.82 9/308 18138
/proc/meminfo: memFree=11209580/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=971952 CPUtime=408.08 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 242167 0 0 0 40739 69 0 0 25 0 4 0 653184364 995278848 164772 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 242988 164772 396 112 0 237953 0
[pid=18131/tid=18132] ppid=18129 vsize=971952 CPUtime=102.24 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 68506 0 0 0 10205 19 0 0 25 0 4 0 653184364 995278848 164772 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=971952 CPUtime=101.29 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 73208 0 0 0 10108 21 0 0 25 0 4 0 653184364 995278848 164772 33554432000 4194304 4650419 140734960753664 18446744073709551615 4433841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=971952 CPUtime=102.26 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 40592 0 0 0 10212 14 0 0 25 0 4 0 653184364 995278848 164772 33554432000 4194304 4650419 140734960753664 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 971952

[startup+162.3 s]

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

[pid=18131] ppid=18129 vsize=1529188 CPUtime=2562.91 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1305976 0 0 0 255968 323 0 0 25 0 4 0 653184364 1565888512 295709 33554432000 4194304 4650419 140734960753664 18446744073709551615 4315570 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 382297 295709 396 112 0 377262 0
[pid=18131/tid=18132] ppid=18129 vsize=1529188 CPUtime=642.18 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 396453 0 0 0 64130 88 0 0 25 0 4 0 653184364 1565888512 295709 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1529188 CPUtime=636.16 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 578490 0 0 0 63483 133 0 0 25 0 4 0 653184364 1565888512 295709 33554432000 4194304 4650419 140734960753664 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1529188 CPUtime=642.26 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 137883 0 0 0 64173 53 0 0 25 0 4 0 653184364 1565888512 295709 33554432000 4194304 4650419 140734960753664 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.91
Current children cumulated vsize (KiB) 1529188

[startup+702.3 s]
/proc/loadavg: 8.31 8.21 7.99 9/308 18184
/proc/meminfo: memFree=10576820/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1510460 CPUtime=2802.32 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1401930 0 0 0 279883 349 0 0 25 0 4 0 653184364 1546711040 308846 33554432000 4194304 4650419 140734960753664 18446744073709551615 4315047 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 377615 308846 396 112 0 372580 0
[pid=18131/tid=18132] ppid=18129 vsize=1510460 CPUtime=702.16 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 411640 0 0 0 70123 93 0 0 25 0 4 0 653184364 1546711040 308846 33554432000 4194304 4650419 140734960753664 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1510460 CPUtime=695.6 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 621144 0 0 0 69416 144 0 0 25 0 4 0 653184364 1546711040 308846 33554432000 4194304 4650419 140734960753664 18446744073709551615 4360470 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1510460 CPUtime=702.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 147739 0 0 0 70169 56 0 0 25 0 4 0 653184364 1546711040 308846 33554432000 4194304 4650419 140734960753664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.32
Current children cumulated vsize (KiB) 1510460

[startup+762.3 s]
/proc/loadavg: 8.28 8.21 8.01 10/308 18185
/proc/meminfo: memFree=10421916/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1700856 CPUtime=3041.75 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1487524 0 0 0 303796 379 0 0 25 0 4 0 653184364 1741676544 335536 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 425214 335536 396 112 0 420179 0
[pid=18131/tid=18132] ppid=18129 vsize=1700856 CPUtime=762.14 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 443444 0 0 0 76111 103 0 0 25 0 4 0 653184364 1741676544 335536 33554432000 4194304 4650419 140734960753664 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1700856 CPUtime=755.04 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 667091 0 0 0 75344 160 0 0 25 0 4 0 653184364 1741676544 335536 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1700856 CPUtime=762.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 155276 0 0 0 76166 59 0 0 25 0 4 0 653184364 1741676544 335536 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.75
Current children cumulated vsize (KiB) 1700856

[startup+822.3 s]
/proc/loadavg: 6.64 7.82 7.89 5/299 18204
/proc/meminfo: memFree=10804348/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1811068 CPUtime=3281.18 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1555205 0 0 0 327710 408 0 0 25 0 4 0 653184364 1854533632 339226 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 452767 339226 396 112 0 447732 0
[pid=18131/tid=18132] ppid=18129 vsize=1811068 CPUtime=822.14 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 82107 107 0 0 25 0 4 0 653184364 1854533632 339226 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1811068 CPUtime=814.48 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 699982 0 0 0 81274 174 0 0 25 0 4 0 653184364 1854533632 339226 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1811068 CPUtime=822.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 160374 0 0 0 82161 64 0 0 25 0 4 0 653184364 1854533632 339226 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.18
Current children cumulated vsize (KiB) 1811068

[startup+882.301 s]
/proc/loadavg: 4.97 7.13 7.64 7/299 18206
/proc/meminfo: memFree=10870796/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1819864 CPUtime=3520.6 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1607895 0 0 0 351630 430 0 0 25 0 4 0 653184364 1863540736 322275 33554432000 4194304 4650419 140734960753664 18446744073709551615 4315210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 454966 322275 396 112 0 449931 0
[pid=18131/tid=18132] ppid=18129 vsize=1819864 CPUtime=882.11 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 88104 107 0 0 25 0 4 0 653184364 1863540736 322275 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1819864 CPUtime=873.93 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 733104 0 0 0 87205 188 0 0 25 0 4 0 653184364 1863540736 322275 33554432000 4194304 4650419 140734960753664 18446744073709551615 4435766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1819864 CPUtime=882.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 169743 0 0 0 88158 67 0 0 25 0 4 0 653184364 1863540736 322275 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.6
Current children cumulated vsize (KiB) 1819864

[startup+942.301 s]
/proc/loadavg: 4.35 6.55 7.41 5/299 18207
/proc/meminfo: memFree=10759904/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1886096 CPUtime=3760.05 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1672914 0 0 0 375547 458 0 0 25 0 4 0 653184364 1931362304 351191 33554432000 4194304 4650419 140734960753664 18446744073709551615 4364170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 471524 351191 396 112 0 466489 0
[pid=18131/tid=18132] ppid=18129 vsize=1886096 CPUtime=942.09 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 94102 107 0 0 25 0 4 0 653184364 1931362304 351191 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1886096 CPUtime=933.39 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 766940 0 0 0 93138 201 0 0 25 0 4 0 653184364 1931362304 351191 33554432000 4194304 4650419 140734960753664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1886096 CPUtime=942.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 179654 0 0 0 94154 71 0 0 25 0 4 0 653184364 1931362304 351191 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.05
Current children cumulated vsize (KiB) 1886096

[startup+1002.3 s]
/proc/loadavg: 4.13 6.09 7.20 5/299 18209
/proc/meminfo: memFree=10680424/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1952192 CPUtime=3999.48 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1745352 0 0 0 399465 483 0 0 25 0 4 0 653184364 1999044608 370404 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 488048 370404 396 112 0 483013 0
[pid=18131/tid=18132] ppid=18129 vsize=1952192 CPUtime=1002.09 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 100102 107 0 0 25 0 4 0 653184364 1999044608 370404 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1952192 CPUtime=992.83 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 795107 0 0 0 99068 215 0 0 25 0 4 0 653184364 1999044608 370404 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1952192 CPUtime=1002.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 186927 0 0 0 100149 76 0 0 25 0 4 0 653184364 1999044608 370404 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.48
Current children cumulated vsize (KiB) 1952192

[startup+1062.3 s]
/proc/loadavg: 4.11 5.72 7.00 5/299 18210
/proc/meminfo: memFree=10664796/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1887172 CPUtime=4238.92 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1817812 0 0 0 423381 511 0 0 25 0 4 0 653184364 1932464128 347706 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 471793 347706 396 112 0 466758 0
[pid=18131/tid=18132] ppid=18129 vsize=1887172 CPUtime=1062.07 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 106100 107 0 0 25 0 4 0 653184364 1932464128 347706 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1887172 CPUtime=1052.28 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 824493 0 0 0 104997 231 0 0 25 0 4 0 653184364 1932464128 347706 33554432000 4194304 4650419 140734960753664 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1887172 CPUtime=1062.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 192634 0 0 0 106145 80 0 0 25 0 4 0 653184364 1932464128 347706 33554432000 4194304 4650419 140734960753664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.92
Current children cumulated vsize (KiB) 1887172

[startup+1122.3 s]
/proc/loadavg: 4.04 5.40 6.81 5/299 18212
/proc/meminfo: memFree=10689712/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1985184 CPUtime=4478.34 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1887301 0 0 0 447300 534 0 0 25 0 4 0 653184364 2032828416 368033 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 496296 368033 396 112 0 491261 0
[pid=18131/tid=18132] ppid=18129 vsize=1985184 CPUtime=1122.06 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 112099 107 0 0 25 0 4 0 653184364 2032828416 368033 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1985184 CPUtime=1111.71 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 856291 0 0 0 110925 246 0 0 25 0 4 0 653184364 2032828416 368033 33554432000 4194304 4650419 140734960753664 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1985184 CPUtime=1122.25 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 197909 0 0 0 112142 83 0 0 25 0 4 0 653184364 2032828416 368033 33554432000 4194304 4650419 140734960753664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.34
Current children cumulated vsize (KiB) 1985184

[startup+1182.3 s]
/proc/loadavg: 4.17 5.17 6.63 5/299 18214
/proc/meminfo: memFree=10714632/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1921848 CPUtime=4717.8 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1948644 0 0 0 471221 559 0 0 25 0 4 0 653184364 1967972352 361402 33554432000 4194304 4650419 140734960753664 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 480462 361402 396 112 0 475427 0
[pid=18131/tid=18132] ppid=18129 vsize=1921848 CPUtime=1182.05 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 118098 107 0 0 25 0 4 0 653184364 1967972352 361402 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1921848 CPUtime=1171.16 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 895630 0 0 0 116853 263 0 0 25 0 4 0 653184364 1967972352 361402 33554432000 4194304 4650419 140734960753664 18446744073709551615 4367986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1921848 CPUtime=1182.26 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 203281 0 0 0 118139 87 0 0 25 0 4 0 653184364 1967972352 361402 33554432000 4194304 4650419 140734960753664 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.8
Current children cumulated vsize (KiB) 1921848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 4.12 5.10 6.57 5/299 18214
/proc/meminfo: memFree=10673096/32951124 swapFree=66050672/67111528
[pid=18131] ppid=18129 vsize=1986808 CPUtime=4800.42 cores=0,2,4,6
/proc/18131/stat : 18131 (strangenight1-m) R 18129 18131 17455 0 -1 4202496 1973418 0 0 0 479471 571 0 0 25 0 4 0 653184364 2034491392 371916 33554432000 4194304 4650419 140734960753664 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18131/statm: 496702 371916 396 112 0 491667 0
[pid=18131/tid=18132] ppid=18129 vsize=1986808 CPUtime=1202.75 cores=0,2,4,6
/proc/18131/task/18132/stat : 18132 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 456608 0 0 0 120168 107 0 0 25 0 4 0 653184364 2034491392 371917 33554432000 4194304 4650419 140734960753664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18131/tid=18133] ppid=18129 vsize=1986808 CPUtime=1191.67 cores=0,2,4,6
/proc/18131/task/18133/stat : 18133 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 908454 0 0 0 118898 269 0 0 25 0 4 0 653184364 2034491392 371917 33554432000 4194304 4650419 140734960753664 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18131/tid=18134] ppid=18129 vsize=1986808 CPUtime=1202.96 cores=0,2,4,6
/proc/18131/task/18134/stat : 18134 (strangenight1-m) R 18129 18131 17455 0 -1 4202560 204464 0 0 0 120209 87 0 0 25 0 4 0 653184364 2034491392 371917 33554432000 4194304 4650419 140734960753664 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 1986808

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): 1203.08
CPU time (s): 4800.51
CPU user time (s): 4794.74
CPU system time (s): 5.76912
CPU usage (%): 399.019
Max. virtual memory (cumulated for all children) (KiB): 2051380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.74
system time used= 5.76912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1973423
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= 11813
involuntary context switches= 71984

runsolver used 3.2615 second user time and 8.08677 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 01:31:05
IDJOB=3369623
IDBENCH=84223
IDSOLVER=1846
FILE ID=node135/3369623-1305415865
RUNJOBID= node135-1305414597-17982
PBS_JOBID= 13324519
Free space on /tmp= 73332 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369623-1305415865/watcher-3369623-1305415865 -o /tmp/evaluation-result-3369623-1305415865/solver-3369623-1305415865 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369623-1305415865.cnf

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=46401497

node135.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.851
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.70
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.851
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.83
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11961824 kB
Buffers:        278736 kB
Cached:        5862400 kB
SwapCached:      50684 kB
Active:       10082180 kB
Inactive:     10663216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11961824 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           10932 kB
Writeback:          24 kB
AnonPages:    14558788 kB
Mapped:          19412 kB
Slab:           135180 kB
PageTables:      47344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57340752 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73336 MiB
End job on node135 at 2011-05-15 01:51:10