Trace number 4405646

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
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 1427.06 215.465

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-26.xml
MD5SUMf8945e9ee38ae25fe131ea9d51f4675a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark442.279
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains93
Minimum domain size1087
Maximum domain size1185
Distribution of domain sizes[{"size":1087,"count":6},{"size":1088,"count":2},{"size":1089,"count":4},{"size":1090,"count":4},{"size":1091,"count":4},{"size":1092,"count":2},{"size":1093,"count":12},{"size":1094,"count":8},{"size":1095,"count":6},{"size":1096,"count":4},{"size":1097,"count":2},{"size":1098,"count":4},{"size":1099,"count":6},{"size":1101,"count":4},{"size":1102,"count":2},{"size":1103,"count":4},{"size":1104,"count":2},{"size":1105,"count":6},{"size":1106,"count":8},{"size":1107,"count":10},{"size":1108,"count":4},{"size":1109,"count":2},{"size":1110,"count":6},{"size":1111,"count":2},{"size":1112,"count":4},"...",{"size":1159,"count":10}, {"size":1160,"count":4}, {"size":1161,"count":4}, {"size":1162,"count":6}, {"size":1163,"count":10}, {"size":1164,"count":2}, {"size":1165,"count":2}, {"size":1166,"count":4}, {"size":1167,"count":2}, {"size":1168,"count":2}, {"size":1170,"count":8}, {"size":1171,"count":2}, {"size":1173,"count":4}, {"size":1174,"count":4}, {"size":1175,"count":4}, {"size":1176,"count":6}, {"size":1177,"count":2}, {"size":1178,"count":4}, {"size":1179,"count":4}, {"size":1180,"count":8}, {"size":1181,"count":10}, {"size":1182,"count":6}, {"size":1183,"count":4}, {"size":1184,"count":6}, {"size":1185,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24084-serial-file.bin HOME/instance-4405646-1569358546.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 22:55:06 CEST 2019
0.66/0.57	c PID: 24087
0.99/0.79	c IP: 172.20.3.133
0.99/0.79	c HOST: node133.alineos.net
0.99/0.79	c (0,0) Parsing Begin
6.00/1.91	c (1,1) Parsing End
6.00/1.92	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1185
6.00/1.92	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.00/1.92	c (1,1) Constraint Name Generate Begin
6.00/1.98	c (1,1) Ctr:HOME/instance-4405646-1569358546.xml,Add:Le:Ne:Num:Or:Var
6.00/1.98	c (1,1) Constraint Name Generate End
6.00/1.98	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.00/1.98	c (1,1) CSP to CSPinCNF Begin
7.22/2.24	c (1,1) translated 558 (10%) constraints
7.63/2.30	c (1,1) translated 1116 (20%) constraints
7.63/2.35	c (1,1) translated 1674 (30%) constraints
7.63/2.40	c (1,1) translated 2232 (40%) constraints
8.04/2.43	c (1,1) translated 2790 (50%) constraints
8.04/2.47	c (1,1) translated 3348 (60%) constraints
8.42/2.50	c (1,1) translated 3906 (70%) constraints
8.42/2.53	c (1,1) translated 4464 (80%) constraints
8.42/2.56	c (2,2) translated 5022 (90%) constraints
8.42/2.58	c (2,2) translated 5580 (100%) constraints
8.42/2.58	c (2,2) ===========================================
8.83/2.61	c (2,2) Hybrid: #OE=450, #LE=0
8.83/2.61	c (2,2) Hybrid
8.83/2.61	c (2,2) ===========================================
8.83/2.65	c (2,2) translated 558 (10%) constraints
8.83/2.67	c (2,2) translated 1116 (20%) constraints
8.83/2.69	c (2,2) translated 1674 (30%) constraints
9.15/2.71	c (2,2) translated 2232 (40%) constraints
9.15/2.72	c (2,2) translated 2790 (50%) constraints
9.15/2.74	c (2,2) translated 3348 (60%) constraints
9.15/2.75	c (2,2) translated 3906 (70%) constraints
9.15/2.76	c (2,2) translated 4464 (80%) constraints
9.15/2.78	c (2,2) translated 5022 (90%) constraints
9.15/2.79	c (2,2) translated 5580 (100%) constraints
9.36/2.80	c (2,2) CSP to CSPinCNF End
9.36/2.80	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
9.36/2.80	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.36/2.80	c (2,2) CSPinCNF Propagation Begin
9.36/2.88	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.36/2.88	c (2,2) CSPinCNF Propagation End
9.36/2.88	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
9.36/2.88	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.78/2.90	c (2,2) Hybrid: #OE=450, #LE=0
9.78/2.90	c (2,2) Simplify CSPinCNF Begin
10.46/3.17	c (2,2) Simplify CSPinCNF End
10.46/3.17	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
10.46/3.17	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.46/3.17	c (2,2) Calculate Precise Domain Begin
10.46/3.18	c (2,2) 0 values are removed by re-calculation
10.46/3.18	c (2,2) Calculate Precise Domain End
10.46/3.18	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
10.46/3.18	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.46/3.18	c (2,2) CSPinCNF to SatSolver Begin
15.70/6.29	c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 874757 SAT clauses)
18.10/8.53	c (7,7) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1402946 SAT clauses)
20.67/10.74	c (10,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1951604 SAT clauses)
22.78/12.81	c (12,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2511717 SAT clauses)
24.85/14.87	c (14,14) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3069583 SAT clauses)
27.42/17.03	c (16,16) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3637919 SAT clauses)
29.03/18.69	c (18,18) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4089842 SAT clauses)
31.06/20.67	c (20,20) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4624275 SAT clauses)
33.40/22.80	c (22,22) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5190683 SAT clauses)
35.62/25.10	c (24,24) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6034380 SAT clauses)
35.62/25.10	c (24,24) CSPinCNF to SatSolver End
35.62/25.10	c (24,24) Heap : 4232 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
35.62/25.10	c (24,24) 321486 bool, 6034755 clause
35.62/25.10	c (24,24) Export Begin
35.89/25.21	c (24,24) Export to HOME/scop-24084-serial-file.bin
35.89/25.21	c (24,24) Export End
35.89/25.21	c (24,24) Export File Size: 0.07 MB
35.89/25.21	c (24,24) 1,1,2,2,2,2,24,STOP-AFTER(DIMACS)
35.89/25.21	c END-Prog: Tue Sep 24 22:55:31 CEST 2019
35.89/25.26	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24084-serial-file.bin
36.00/25.71	c (0,0) Read Serial File Begin
36.00/25.71	c (0,0) HOME/scop-24084-serial-file.bin
36.00/25.95	c (0,0) Read Serial File End
36.00/25.96	
36.00/25.96	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
36.00/25.96	(Solving Process)
36.00/25.96	
36.00/25.98	c BEGIN-Prog: Tue Sep 24 22:55:32 CEST 2019
36.00/25.98	c PID: 24109
36.00/25.98	c IP: 172.20.3.133
36.00/25.98	c HOST: node133.alineos.net
36.00/25.99	c (0,0) SatSolver.solve Begin
36.00/25.99	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405646-1569358546.xml-scop-24087.cnf
36.00/26.01	c (0,0) c
36.00/26.01	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
36.00/26.01	c (0,0) c
36.00/26.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
36.00/26.01	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
36.00/26.01	c (0,0) c ========================================[ Problem Statistics ]===========================================
36.00/26.01	c (0,0) c |                                                                                                       |
39.55/28.35	c (2,0) c |  Number of variables:        321486                                                                   |
39.55/28.35	c (2,0) c |  Number of clauses:         5915349                                                                   |
39.55/28.35	c (2,0) c |  Parse time:                   2.11 s                                                                 |
39.55/28.35	c (2,0) c |                                                                                                       |
39.95/28.75	c (3,0) c | Too many clauses... No preprocessing                                                                  |
39.95/28.75	c (3,0) c |  Simplification time:          0.36 s                                                                 |
39.95/28.75	c (3,0) c |                                                                                                       |
39.95/28.75	c (3,0) c |  Generating clones                                                                                    |
41.55/30.37	c (4,0) c |  all clones generated. Memory =  3456.13Mb.                                                           |
41.55/30.37	c (4,0) c ========================================================================================================|
41.55/30.37	c (4,0) c
41.55/30.37	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
41.55/30.37	c (4,0) c
41.55/30.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.55/30.37	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
41.55/30.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.55/30.37	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
41.55/30.37	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
41.55/30.37	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
41.55/30.37	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
41.55/30.37	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
41.55/30.37	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
41.55/30.37	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
41.55/30.37	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
41.55/30.37	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
41.55/30.37	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
41.55/30.37	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
41.55/30.37	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
41.55/30.37	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
41.55/30.37	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
41.55/30.37	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
41.55/30.37	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
274.47/59.79	c (34,0) c
274.47/59.79	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
274.47/59.79	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
274.47/59.79	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
274.47/59.79	c (34,0) c |  0 |      3 |       5658 |       3264 |    73312 |     2262 |      111 |      704 |       32 |      167 |  20 | 37.970 |
274.47/59.79	c (34,0) c |  1 |      8 |       5231 |       2996 |    74976 |     1991 |      140 |      621 |       44 |      159 |  20 | 37.958 |
274.47/59.79	c (34,0) c |  2 |      9 |       5034 |       3013 |    76385 |     2010 |      127 |      676 |       38 |      170 |  20 | 37.955 |
274.47/59.79	c (34,0) c |  3 |      8 |       5431 |       3235 |    80121 |     2229 |      125 |      683 |       45 |      173 |  20 | 37.963 |
274.47/59.79	c (34,0) c |  4 |     11 |       4961 |       2981 |    78442 |     1970 |      126 |      674 |       39 |      168 |  20 | 37.962 |
274.47/59.79	c (34,0) c |  5 |     12 |       5701 |       3427 |    80213 |     2423 |      141 |      653 |       44 |      171 |  20 | 37.952 |
274.47/59.79	c (34,0) c |  6 |      7 |       5237 |       3043 |    74214 |     2041 |      126 |      778 |       36 |      175 |  20 | 37.978 |
274.47/59.79	c (34,0) c |  7 |      9 |       5278 |       3231 |    75595 |     2231 |      106 |      693 |       48 |      165 |  20 | 37.971 |
274.47/59.79	c (34,0) c 
274.47/59.79	c (34,0) c synthesis       25190 conflicts   337943029 propagations      108 conflicts/sec  1448506 propagations/sec
274.47/59.79	c (34,0) c real: 33.7718 s, cpu: 233.305 s, memory: 3448.62 Mb
505.92/89.78	c (64,0) c
505.92/89.78	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
505.92/89.78	c (64,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
505.92/89.78	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
505.92/89.78	c (64,0) c |  0 |      8 |      11424 |       6829 |   126671 |     3028 |      765 |     3740 |      177 |      319 |  20 | 38.108 |
505.92/89.79	c (64,0) c |  1 |     19 |      10747 |       6538 |   127913 |     5527 |      749 |     2571 |      105 |      299 |  20 | 38.082 |
505.92/89.79	c (64,0) c |  2 |     18 |      10640 |       6521 |   129096 |     5517 |      695 |     1985 |      163 |      319 |  20 | 38.074 |
505.92/89.79	c (64,0) c |  3 |     14 |      10794 |       6658 |   128115 |     2858 |      690 |     2593 |      147 |      319 |  20 | 38.088 |
505.92/89.79	c (64,0) c |  4 |     16 |       9972 |       6133 |   128914 |     5119 |      566 |     2065 |      151 |      319 |  20 | 38.074 |
505.92/89.79	c (64,0) c |  5 |     17 |      11001 |       6772 |   127323 |     2974 |      761 |     2364 |      162 |      319 |  20 | 38.088 |
505.92/89.79	c (64,0) c |  6 |     12 |       9961 |       6094 |   121825 |     5084 |      544 |     2515 |      170 |      319 |  20 | 38.074 |
505.92/89.79	c (64,0) c |  7 |     14 |      11203 |       7030 |   128976 |     3232 |      724 |     2435 |      158 |      318 |  20 | 38.087 |
505.92/89.79	c (64,0) c 
505.92/89.79	c (64,0) c synthesis       52575 conflicts   711874248 propagations      114 conflicts/sec  1536839 propagations/sec
505.92/89.79	c (64,0) c real: 63.7723 s, cpu: 463.207 s, memory: 3448.88 Mb
727.49/118.78	c (93,0) c
727.49/118.78	c (93,0) c |------------------------------------------------------------------------------------------------------------------------|
727.49/118.78	c (93,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
727.49/118.78	c (93,0) c |------------------------------------------------------------------------------------------------------------------------|
727.49/118.78	c (93,0) c |  0 |     11 |      16810 |      10289 |   164489 |     6484 |     1588 |     8207 |      493 |      461 |  20 | 38.162 |
727.49/118.78	c (93,0) c |  1 |     26 |      16502 |      10156 |   168497 |     6279 |     1656 |     8077 |      506 |      441 |  20 | 38.164 |
727.49/118.78	c (93,0) c |  2 |     27 |      15504 |       9632 |   168884 |     5826 |     1332 |     9284 |      596 |      461 |  20 | 38.490 |
727.49/118.78	c (93,0) c |  3 |     23 |      15594 |       9866 |   161032 |     6062 |     1402 |     8586 |      434 |      461 |  20 | 38.164 |
727.49/118.78	c (93,0) c |  4 |     24 |      15191 |       9473 |   167190 |     5669 |     1304 |     9176 |      618 |      461 |  20 | 38.164 |
727.49/118.78	c (93,0) c |  5 |     25 |      16361 |      10051 |   166199 |     6251 |     1487 |     9098 |      592 |      461 |  20 | 38.172 |
727.49/118.78	c (93,0) c |  6 |     14 |      14815 |       9256 |   158010 |     5450 |     1418 |     6557 |      506 |      461 |  20 | 38.133 |
727.49/118.78	c (93,0) c |  7 |     23 |      16148 |      10193 |   165560 |     6392 |     1392 |     9345 |      559 |      461 |  20 | 38.172 |
727.49/118.78	c (93,0) c 
727.49/118.78	c (93,0) c synthesis       78916 conflicts  1095986495 propagations      116 conflicts/sec  1604254 propagations/sec
727.49/118.78	c (93,0) c real: 92.7718 s, cpu: 683.175 s, memory: 3449.14 Mb
940.66/147.79	c (122,0) c
940.66/147.79	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
940.66/147.79	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
940.66/147.79	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
940.66/147.79	c (122,0) c |  0 |     16 |      21752 |      13611 |   191289 |     9442 |     2318 |    13555 |      972 |      596 |  20 | 38.657 |
940.66/147.79	c (122,0) c |  1 |     34 |      20942 |      13128 |   197405 |     9001 |     2263 |    12417 |      921 |      576 |  20 | 38.516 |
940.66/147.79	c (122,0) c |  2 |     33 |      20129 |      12613 |   195675 |     8506 |     1999 |    13910 |     1059 |      596 |  20 | 38.657 |
940.66/147.79	c (122,0) c |  3 |     28 |      21135 |      13285 |   198227 |     9446 |     2076 |    12711 |      982 |      596 |  20 | 38.516 |
940.66/147.79	c (122,0) c |  4 |     33 |      20072 |      12637 |   198526 |     7954 |     2004 |    14086 |     1170 |      596 |  20 | 38.658 |
940.66/147.79	c (122,0) c |  5 |     37 |      21570 |      13401 |   196815 |     9439 |     2170 |    13151 |     1126 |      596 |  20 | 38.518 |
940.66/147.79	c (122,0) c |  6 |     25 |      19805 |      12223 |   188592 |     8268 |     2059 |    14133 |      948 |      596 |  20 | 38.662 |
940.66/147.79	c (122,0) c |  7 |     34 |      21509 |      13619 |   193761 |     9698 |     2151 |    14084 |     1043 |      596 |  20 | 38.662 |
940.66/147.79	c (122,0) c 
940.66/147.79	c (122,0) c synthesis      104517 conflicts  1475434714 propagations      117 conflicts/sec  1648909 propagations/sec
940.66/147.79	c (122,0) c real: 121.772 s, cpu: 894.795 s, memory: 3449.41 Mb
1163.08/177.78	c (152,0) c
1163.08/177.78	c (152,0) c |------------------------------------------------------------------------------------------------------------------------|
1163.08/177.78	c (152,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1163.08/177.78	c (152,0) c |------------------------------------------------------------------------------------------------------------------------|
1163.08/177.78	c (152,0) c |  0 |     22 |      26930 |      16914 |   219938 |     7773 |     2968 |    18276 |     1462 |      735 |  20 | 38.873 |
1163.08/177.78	c (152,0) c |  1 |     38 |      25667 |      16311 |   219016 |     6983 |     2942 |    18006 |     1426 |      716 |  20 | 38.873 |
1163.08/177.78	c (152,0) c |  2 |     40 |      25019 |      15792 |   219756 |     6787 |     2643 |    18475 |     1559 |      736 |  20 | 38.873 |
1163.08/177.78	c (152,0) c |  3 |     40 |      26268 |      16501 |   220659 |     7631 |     2681 |    18682 |     1514 |      736 |  20 | 38.873 |
1163.08/177.78	c (152,0) c |  4 |     41 |      24801 |      15756 |   221625 |     6492 |     2635 |    18233 |     1629 |      735 |  20 | 38.873 |
1163.08/177.78	c (152,0) c |  5 |     43 |      26735 |      16909 |   220010 |     7940 |     2865 |    17313 |     1612 |      736 |  20 | 38.683 |
1163.08/177.78	c (152,0) c |  6 |     29 |      25197 |      15646 |   216723 |     6742 |     2772 |    18948 |     1484 |      736 |  20 | 38.879 |
1163.08/177.78	c (152,0) c |  7 |     45 |      26752 |      16946 |   218302 |     8051 |     2815 |    18927 |     1557 |      735 |  20 | 38.873 |
1163.08/177.78	c (152,0) c 
1163.08/177.78	c (152,0) c synthesis      130775 conflicts  1866016635 propagations      117 conflicts/sec  1672234 propagations/sec
1163.08/177.78	c (152,0) c real: 151.772 s, cpu: 1115.88 s, memory: 3449.54 Mb
1382.77/206.78	c (181,0) c
1382.77/206.78	c (181,0) c |------------------------------------------------------------------------------------------------------------------------|
1382.77/206.78	c (181,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1382.77/206.78	c (181,0) c |------------------------------------------------------------------------------------------------------------------------|
1382.77/206.78	c (181,0) c |  0 |     28 |      31965 |      20164 |   238471 |    10684 |     3560 |    23105 |     2087 |      868 |  20 | 38.913 |
1382.77/206.78	c (181,0) c |  1 |     46 |      30729 |      19678 |   237896 |    10229 |     3617 |    22420 |     1968 |      849 |  20 | 38.904 |
1382.77/206.78	c (181,0) c |  2 |     53 |      30299 |      19092 |   242416 |     9723 |     3275 |    23567 |     2163 |      869 |  20 | 38.913 |
1382.77/206.78	c (181,0) c |  3 |     51 |      31170 |      19817 |   240074 |    10628 |     3335 |    22777 |     2100 |      868 |  20 | 38.904 |
1382.77/206.78	c (181,0) c |  4 |     49 |      29974 |      19175 |   241277 |     8916 |     3357 |    23224 |     2260 |      868 |  20 | 38.968 |
1382.77/206.78	c (181,0) c |  5 |     45 |      31356 |      20208 |   236787 |    10592 |     3557 |    22612 |     2036 |      868 |  20 | 38.908 |
1382.77/206.78	c (181,0) c |  6 |     33 |      30200 |      18933 |   235353 |     9972 |     3398 |    22092 |     1935 |      868 |  20 | 38.891 |
1382.77/206.78	c (181,0) c |  7 |     55 |      31670 |      20206 |   235718 |    10977 |     3476 |    23115 |     2101 |      869 |  20 | 38.913 |
1382.77/206.78	c (181,0) c 
1382.77/206.78	c (181,0) c synthesis      157273 conflicts  2249430549 propagations      118 conflicts/sec  1686817 propagations/sec
1382.77/206.78	c (181,0) c real: 180.772 s, cpu: 1333.54 s, memory: 3449.67 Mb
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c real time : 189.232 s
1426.71/215.24	c (189,0) c cpu time  : 1376.82 s
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c | Conflicts     |          162505 |      20856 |      20775 |      19677 |      20410 |      19756 |      20707 |      19520 |      20804 |
1426.71/215.24	c (189,0) c | Decisions     |          254740 |      32902 |      32320 |      31137 |      32059 |      30748 |      32024 |      31023 |      32527 |
1426.71/215.24	c (189,0) c | Propagations  |      2328918079 |  293866010 |  295027663 |  289048943 |  291010681 |  292170732 |  290852489 |  284223806 |  292717755 |
1426.71/215.24	c (189,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
1426.71/215.24	c (189,0) c | SimpDBs       |             167 |         19 |         20 |         22 |         22 |         21 |         21 |         18 |         24 |
1426.71/215.24	c (189,0) c | Restarts      |             365 |         28 |         47 |         55 |         52 |         49 |         45 |         34 |         55 |
1426.71/215.24	c (189,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1426.71/215.24	c (189,0) c | PropBinClauses|      7747976339 |  958417243 |  977171905 |  966532647 |  965587674 |  977009796 |  971789828 |  953015385 |  978451861 |
1426.71/215.24	c (189,0) c | PropPreBlocker|     27428352312 | 3465406569 | 3425063168 | 3416661589 | 3426018624 | 3412646882 | 3422346108 | 3482756258 | 3377453114 |
1426.71/215.24	c (189,0) c | PropNotBlocker|      5103139351 |  625628350 |  633188321 |  647560364 |  637293071 |  649022899 |  638740119 |  626428246 |  645277981 |
1426.71/215.24	c (189,0) c | LitFullScans  |     42876088398 | 5357062168 | 5350919491 | 5362946525 | 5363165048 | 5363487332 | 5359880888 | 5363017832 | 5355609114 |
1426.71/215.24	c (189,0) c | LitScanFracts |         5590629 |     681339 |     614886 |     662944 |     727398 |     701204 |     739018 |     565558 |     898282 |
1426.71/215.24	c (189,0) c | DecisionLevel0|             594 |         59 |         78 |         81 |         73 |         92 |         67 |         66 |         78 |
1426.71/215.24	c (189,0) c | Periods       |            7138 |        892 |        891 |        893 |        893 |        893 |        892 |        893 |        891 |
1426.71/215.24	c (189,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1426.71/215.24	c (189,0) c | Avg_Trail     |                 |     211956 |     209814 |     211302 |     211806 |     211079 |     211825 |     213861 |     208935 |
1426.71/215.24	c (189,0) c | Avg_DL        |                 |         17 |         14 |         14 |         15 |         14 |         14 |         16 |         15 |
1426.71/215.24	c (189,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1426.71/215.24	c (189,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c | Exported      |           28909 |       3759 |       3939 |       3408 |       3474 |       3502 |       3683 |       3494 |       3650 |
1426.71/215.24	c (189,0) c | Imported      |          191626 |      23105 |      23995 |      24436 |      24013 |      23224 |      24191 |      24349 |      24313 |
1426.71/215.24	c (189,0) c | Good          |            2376 |        296 |        282 |        315 |        304 |        272 |        301 |        308 |        298 |
1426.71/215.24	c (189,0) c | Purge         |          189250 |      22809 |      23713 |      24121 |      23709 |      22952 |      23890 |      24041 |      24015 |
1426.71/215.24	c (189,0) c | Promoted      |           17648 |       2210 |       2204 |       2296 |       2217 |       2361 |       2098 |       2042 |       2220 |
1426.71/215.24	c (189,0) c | Remove_Imp    |           35430 |       3619 |       2494 |       5546 |       4416 |       6591 |       2993 |       5953 |       3818 |
1426.71/215.24	c (189,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c | Unaries       |                 |         31 |         31 |         26 |         21 |         43 |         22 |         32 |         23 |
1426.71/215.24	c (189,0) c | Binaries      |                 |         40 |         79 |         38 |         36 |         59 |         51 |         36 |         59 |
1426.71/215.24	c (189,0) c | Glues         |                 |        632 |        752 |        623 |        591 |        628 |        629 |        522 |        621 |
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c | Orig_Seen     |             7 % |     241112 |     242738 |     245046 |     242250 |     243958 |     238688 |     238529 |     237949 |
1426.71/215.24	c (189,0) c | Diff Orig seen|                 |       3163 |       4789 |       7097 |       4301 |       6009 |        739 |        580 |      X     |
1426.71/215.24	c (189,0) c | Hamming       |             9 % |      36047 |      28588 |      23455 |      35718 |      26197 |      32083 |      38874 |      X     |
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c | RunningTime   |                 |  177.6  98%|  184.8 100%|  171.3  94%|  171.0  94%|  171.2  94%|  169.2  93%|  170.8  94%|  175.5  97%|
1426.71/215.24	c (189,0) c | WaitingTime   |                 |    4.1   2%|    0.0   0%|   10.4   6%|   10.8   6%|   10.6   6%|   12.3   7%|   11.0   6%|    6.0   3%|
1426.71/215.24	c (189,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1426.71/215.24	c (189,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1426.71/215.24	c (189,0) c | SolvingTime   |                 |  181.7     |  184.9     |  181.8     |  181.8     |  181.8     |  181.6     |  181.8     |  181.6     |
1426.71/215.24	c (189,0) c | PropagationTim|                 |  172.0  95%|  175.8  95%|  170.5  94%|  170.3  94%|  170.9  94%|  169.7  93%|  171.4  94%|  170.9  94%|
1426.71/215.24	c (189,0) c | AnalysisTime  |                 |    2.8   2%|    2.9   2%|    2.9   2%|    3.0   2%|    2.9   2%|    3.1   2%|    3.1   2%|    2.9   2%|
1426.71/215.24	c (189,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1426.71/215.24	c (189,0) c | SimplifyTime  |                 |    3.1   2%|    2.4   1%|    4.7   3%|    4.7   3%|    4.3   2%|    5.1   3%|    3.5   2%|    3.9   2%|
1426.71/215.24	c (189,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1426.71/215.24	c (189,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1426.71/215.24	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c
1426.71/215.24	c (189,0) c Threads : 8
1426.71/215.24	c (189,0) c Winner : 7
1426.71/215.24	c (189,0) c Conflicts_0 : 20856
1426.71/215.24	c (189,0) c Conflicts_1 : 20775
1426.71/215.24	c (189,0) c Conflicts_2 : 19677
1426.71/215.24	c (189,0) c Conflicts_3 : 20410
1426.71/215.24	c (189,0) c Conflicts_4 : 19756
1426.71/215.24	c (189,0) c Conflicts_5 : 20707
1426.71/215.24	c (189,0) c Conflicts_6 : 19520
1426.71/215.24	c (189,0) c Conflicts_7 : 20804
1426.71/215.24	c (189,0) c Conflicts_total : 162505
1426.71/215.24	c (189,0) c Conflicts_winner : 20804
1426.71/215.24	c (189,0) c Decisions_0 : 32902
1426.71/215.24	c (189,0) c Decisions_1 : 32320
1426.71/215.24	c (189,0) c Decisions_2 : 31137
1426.71/215.24	c (189,0) c Decisions_3 : 32059
1426.71/215.24	c (189,0) c Decisions_4 : 30748
1426.71/215.24	c (189,0) c Decisions_5 : 32024
1426.71/215.24	c (189,0) c Decisions_6 : 31023
1426.71/215.24	c (189,0) c Decisions_7 : 32527
1426.71/215.24	c (189,0) c Decisions_total : 254740
1426.71/215.24	c (189,0) c Decisions_winner : 32527
1426.71/215.24	c (189,0) c Propagations_0 : 293866010
1426.71/215.24	c (189,0) c Propagations_1 : 295027663
1426.71/215.24	c (189,0) c Propagations_2 : 289048943
1426.71/215.24	c (189,0) c Propagations_3 : 291010681
1426.71/215.24	c (189,0) c Propagations_4 : 292170732
1426.71/215.24	c (189,0) c Propagations_5 : 290852489
1426.71/215.24	c (189,0) c Propagations_6 : 284223806
1426.71/215.24	c (189,0) c Propagations_7 : 292717755
1426.71/215.24	c (189,0) c Propagations_total : 2328918079
1426.71/215.24	c (189,0) c Propagations_winner : 292717755
1426.71/215.24	c (189,0) c ReduceDBs_0 : 3
1426.71/215.24	c (189,0) c ReduceDBs_1 : 3
1426.71/215.24	c (189,0) c ReduceDBs_2 : 3
1426.71/215.24	c (189,0) c ReduceDBs_3 : 3
1426.71/215.24	c (189,0) c ReduceDBs_4 : 3
1426.71/215.24	c (189,0) c ReduceDBs_5 : 3
1426.71/215.24	c (189,0) c ReduceDBs_6 : 3
1426.71/215.24	c (189,0) c ReduceDBs_7 : 3
1426.71/215.24	c (189,0) c ReduceDBs_total : 24
1426.71/215.24	c (189,0) c ReduceDBs_winner : 3
1426.71/215.24	c (189,0) c SimpDBs_0 : 19
1426.71/215.24	c (189,0) c SimpDBs_1 : 20
1426.71/215.24	c (189,0) c SimpDBs_2 : 22
1426.71/215.24	c (189,0) c SimpDBs_3 : 22
1426.71/215.24	c (189,0) c SimpDBs_4 : 21
1426.71/215.24	c (189,0) c SimpDBs_5 : 21
1426.71/215.24	c (189,0) c SimpDBs_6 : 18
1426.71/215.24	c (189,0) c SimpDBs_7 : 24
1426.71/215.24	c (189,0) c SimpDBs_total : 167
1426.71/215.24	c (189,0) c SimpDBs_winner : 24
1426.71/215.24	c (189,0) c Restarts_0 : 28
1426.71/215.24	c (189,0) c Restarts_1 : 47
1426.71/215.24	c (189,0) c Restarts_2 : 55
1426.71/215.24	c (189,0) c Restarts_3 : 52
1426.71/215.24	c (189,0) c Restarts_4 : 49
1426.71/215.24	c (189,0) c Restarts_5 : 45
1426.71/215.24	c (189,0) c Restarts_6 : 34
1426.71/215.24	c (189,0) c Restarts_7 : 55
1426.71/215.24	c (189,0) c Restarts_total : 365
1426.71/215.24	c (189,0) c Restarts_winner : 55
1426.71/215.24	c (189,0) c ForcedImports_0 : 0
1426.71/215.24	c (189,0) c ForcedImports_1 : 0
1426.71/215.24	c (189,0) c ForcedImports_2 : 0
1426.71/215.24	c (189,0) c ForcedImports_3 : 0
1426.71/215.24	c (189,0) c ForcedImports_4 : 0
1426.71/215.24	c (189,0) c ForcedImports_5 : 0
1426.71/215.24	c (189,0) c ForcedImports_6 : 0
1426.71/215.24	c (189,0) c ForcedImports_7 : 0
1426.71/215.24	c (189,0) c ForcedImports_total : 0
1426.71/215.24	c (189,0) c ForcedImports_winner : 0
1426.71/215.24	c (189,0) c PropsBinClauses_0 : 958417243
1426.71/215.24	c (189,0) c PropsBinClauses_1 : 977171905
1426.71/215.24	c (189,0) c PropsBinClauses_2 : 966532647
1426.71/215.25	c (189,0) c PropsBinClauses_3 : 965587674
1426.71/215.25	c (189,0) c PropsBinClauses_4 : 977009796
1426.71/215.25	c (189,0) c PropsBinClauses_5 : 971789828
1426.71/215.25	c (189,0) c PropsBinClauses_6 : 953015385
1426.71/215.25	c (189,0) c PropsBinClauses_7 : 978451861
1426.71/215.25	c (189,0) c PropsBinClauses_total : 7747976339
1426.71/215.25	c (189,0) c PropsBinClauses_winner : 978451861
1426.71/215.25	c (189,0) c PropsPreBlocker_0 : 3465406569
1426.71/215.25	c (189,0) c PropsPreBlocker_1 : 3425063168
1426.71/215.25	c (189,0) c PropsPreBlocker_2 : 3416661589
1426.71/215.25	c (189,0) c PropsPreBlocker_3 : 3426018624
1426.71/215.25	c (189,0) c PropsPreBlocker_4 : 3412646882
1426.71/215.25	c (189,0) c PropsPreBlocker_5 : 3422346108
1426.71/215.25	c (189,0) c PropsPreBlocker_6 : 3482756258
1426.71/215.25	c (189,0) c PropsPreBlocker_7 : 3377453114
1426.71/215.25	c (189,0) c PropsPreBlocker_total : 27428352312
1426.71/215.25	c (189,0) c PropsPreBlocker_winner : 3377453114
1426.71/215.25	c (189,0) c PropsNotBlocker_0 : 625628350
1426.71/215.25	c (189,0) c PropsNotBlocker_1 : 633188321
1426.71/215.25	c (189,0) c PropsNotBlocker_2 : 647560364
1426.71/215.25	c (189,0) c PropsNotBlocker_3 : 637293071
1426.71/215.25	c (189,0) c PropsNotBlocker_4 : 649022899
1426.71/215.25	c (189,0) c PropsNotBlocker_5 : 638740119
1426.71/215.25	c (189,0) c PropsNotBlocker_6 : 626428246
1426.71/215.25	c (189,0) c PropsNotBlocker_7 : 645277981
1426.71/215.25	c (189,0) c PropsNotBlocker_total : 5103139351
1426.71/215.25	c (189,0) c PropsNotBlocker_winner : 645277981
1426.71/215.25	c (189,0) c PropsLitFullScans_0 : 5357062168
1426.71/215.25	c (189,0) c PropsLitFullScans_1 : 5350919491
1426.71/215.25	c (189,0) c PropsLitFullScans_2 : 5362946525
1426.71/215.25	c (189,0) c PropsLitFullScans_3 : 5363165048
1426.71/215.25	c (189,0) c PropsLitFullScans_4 : 5363487332
1426.71/215.25	c (189,0) c PropsLitFullScans_5 : 5359880888
1426.71/215.25	c (189,0) c PropsLitFullScans_6 : 5363017832
1426.71/215.25	c (189,0) c PropsLitFullScans_7 : 5355609114
1426.71/215.25	c (189,0) c PropsLitFullScans_total : 42876088398
1426.71/215.25	c (189,0) c PropsLitFullScans_winner : 5355609114
1426.71/215.25	c (189,0) c LitScanFractions_0 : 681339
1426.71/215.25	c (189,0) c LitScanFractions_1 : 614886
1426.71/215.25	c (189,0) c LitScanFractions_2 : 662944
1426.71/215.25	c (189,0) c LitScanFractions_3 : 727398
1426.71/215.25	c (189,0) c LitScanFractions_4 : 701204
1426.71/215.25	c (189,0) c LitScanFractions_5 : 739018
1426.71/215.25	c (189,0) c LitScanFractions_6 : 565558
1426.71/215.25	c (189,0) c LitScanFractions_7 : 898282
1426.71/215.25	c (189,0) c LitScanFractions_total : 5590629
1426.71/215.25	c (189,0) c LitScanFractions_winner : 898282
1426.71/215.25	c (189,0) c DecisionLevel0_0 : 59
1426.71/215.25	c (189,0) c DecisionLevel0_1 : 78
1426.71/215.25	c (189,0) c DecisionLevel0_2 : 81
1426.71/215.25	c (189,0) c DecisionLevel0_3 : 73
1426.71/215.25	c (189,0) c DecisionLevel0_4 : 92
1426.71/215.25	c (189,0) c DecisionLevel0_5 : 67
1426.71/215.25	c (189,0) c DecisionLevel0_6 : 66
1426.71/215.25	c (189,0) c DecisionLevel0_7 : 78
1426.71/215.25	c (189,0) c DecisionLevel0_total : 594
1426.71/215.25	c (189,0) c DecisionLevel0_winner : 78
1426.71/215.25	c (189,0) c Periods_0 : 892
1426.71/215.25	c (189,0) c Periods_1 : 891
1426.71/215.25	c (189,0) c Periods_2 : 893
1426.71/215.25	c (189,0) c Periods_3 : 893
1426.71/215.25	c (189,0) c Periods_4 : 893
1426.71/215.25	c (189,0) c Periods_5 : 892
1426.71/215.25	c (189,0) c Periods_6 : 893
1426.71/215.25	c (189,0) c Periods_7 : 891
1426.71/215.25	c (189,0) c Periods_total : 7138
1426.71/215.25	c (189,0) c Periods_winner : 891
1426.71/215.25	c (189,0) c Margin_0 : 20
1426.71/215.25	c (189,0) c Margin_1 : 20
1426.71/215.25	c (189,0) c Margin_2 : 20
1426.71/215.25	c (189,0) c Margin_3 : 20
1426.71/215.25	c (189,0) c Margin_4 : 20
1426.71/215.25	c (189,0) c Margin_5 : 20
1426.71/215.25	c (189,0) c Margin_6 : 20
1426.71/215.25	c (189,0) c Margin_7 : 20
1426.71/215.25	c (189,0) c Margin_total : 160
1426.71/215.25	c (189,0) c Margin_winner : 20
1426.71/215.25	c (189,0) c Exported_0 : 3759
1426.71/215.25	c (189,0) c Exported_1 : 3939
1426.71/215.25	c (189,0) c Exported_2 : 3408
1426.71/215.25	c (189,0) c Exported_3 : 3474
1426.71/215.25	c (189,0) c Exported_4 : 3502
1426.71/215.25	c (189,0) c Exported_5 : 3683
1426.71/215.25	c (189,0) c Exported_6 : 3494
1426.71/215.25	c (189,0) c Exported_7 : 3650
1426.71/215.25	c (189,0) c Exported_total : 28909
1426.71/215.25	c (189,0) c Exported_winner : 3650
1426.71/215.25	c (189,0) c Imported_0 : 23105
1426.71/215.25	c (189,0) c Imported_1 : 23995
1426.71/215.25	c (189,0) c Imported_2 : 24436
1426.71/215.25	c (189,0) c Imported_3 : 24013
1426.71/215.25	c (189,0) c Imported_4 : 23224
1426.71/215.25	c (189,0) c Imported_5 : 24191
1426.71/215.25	c (189,0) c Imported_6 : 24349
1426.71/215.25	c (189,0) c Imported_7 : 24313
1426.71/215.25	c (189,0) c Imported_total : 191626
1426.71/215.25	c (189,0) c Imported_winner : 24313
1426.71/215.25	c (189,0) c Good_0 : 296
1426.71/215.25	c (189,0) c Good_1 : 282
1426.71/215.25	c (189,0) c Good_2 : 315
1426.71/215.25	c (189,0) c Good_3 : 304
1426.71/215.25	c (189,0) c Good_4 : 272
1426.71/215.25	c (189,0) c Good_5 : 301
1426.71/215.25	c (189,0) c Good_6 : 308
1426.71/215.25	c (189,0) c Good_7 : 298
1426.71/215.25	c (189,0) c Good_total : 2376
1426.71/215.25	c (189,0) c Good_winner : 298
1426.71/215.25	c (189,0) c Purge_0 : 22809
1426.71/215.25	c (189,0) c Purge_1 : 23713
1426.71/215.25	c (189,0) c Purge_2 : 24121
1426.71/215.25	c (189,0) c Purge_3 : 23709
1426.71/215.25	c (189,0) c Purge_4 : 22952
1426.71/215.25	c (189,0) c Purge_5 : 23890
1426.71/215.25	c (189,0) c Purge_6 : 24041
1426.71/215.25	c (189,0) c Purge_7 : 24015
1426.71/215.25	c (189,0) c Purge_total : 189250
1426.71/215.25	c (189,0) c Purge_winner : 24015
1426.71/215.25	c (189,0) c Promoted_0 : 2210
1426.71/215.25	c (189,0) c Promoted_1 : 2204
1426.71/215.25	c (189,0) c Promoted_2 : 2296
1426.71/215.25	c (189,0) c Promoted_3 : 2217
1426.71/215.25	c (189,0) c Promoted_4 : 2361
1426.71/215.25	c (189,0) c Promoted_5 : 2098
1426.71/215.25	c (189,0) c Promoted_6 : 2042
1426.71/215.25	c (189,0) c Promoted_7 : 2220
1426.71/215.25	c (189,0) c Promoted_total : 17648
1426.71/215.25	c (189,0) c Promoted_winner : 2220
1426.71/215.25	c (189,0) c Remove_Imp_0 : 3619
1426.71/215.25	c (189,0) c Remove_Imp_1 : 2494
1426.71/215.25	c (189,0) c Remove_Imp_2 : 5546
1426.71/215.25	c (189,0) c Remove_Imp_3 : 4416
1426.71/215.25	c (189,0) c Remove_Imp_4 : 6591
1426.71/215.25	c (189,0) c Remove_Imp_5 : 2993
1426.71/215.25	c (189,0) c Remove_Imp_6 : 5953
1426.71/215.25	c (189,0) c Remove_Imp_7 : 3818
1426.71/215.25	c (189,0) c Remove_Imp_total : 35430
1426.71/215.25	c (189,0) c Remove_Imp_winner : 3818
1426.71/215.25	c (189,0) c Blocked_Reuse_0 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_1 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_2 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_3 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_4 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_5 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_6 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_7 : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_total : 0
1426.71/215.25	c (189,0) c Blocked_Reuse_winner : 0
1426.71/215.25	c (189,0) c Unaries_0 : 31
1426.71/215.25	c (189,0) c Unaries_1 : 31
1426.71/215.25	c (189,0) c Unaries_2 : 26
1426.71/215.25	c (189,0) c Unaries_3 : 21
1426.71/215.25	c (189,0) c Unaries_4 : 43
1426.71/215.25	c (189,0) c Unaries_5 : 22
1426.71/215.25	c (189,0) c Unaries_6 : 32
1426.71/215.25	c (189,0) c Unaries_7 : 23
1426.71/215.25	c (189,0) c Unaries_total : 229
1426.71/215.25	c (189,0) c Unaries_winner : 23
1426.71/215.25	c (189,0) c Binaries_0 : 40
1426.71/215.25	c (189,0) c Binaries_1 : 79
1426.71/215.25	c (189,0) c Binaries_2 : 38
1426.71/215.25	c (189,0) c Binaries_3 : 36
1426.71/215.25	c (189,0) c Binaries_4 : 59
1426.71/215.25	c (189,0) c Binaries_5 : 51
1426.71/215.25	c (189,0) c Binaries_6 : 36
1426.71/215.25	c (189,0) c Binaries_7 : 59
1426.71/215.25	c (189,0) c Binaries_total : 398
1426.71/215.25	c (189,0) c Binaries_winner : 59
1426.71/215.25	c (189,0) c Glues_0 : 632
1426.71/215.25	c (189,0) c Glues_1 : 752
1426.71/215.25	c (189,0) c Glues_2 : 623
1426.71/215.25	c (189,0) c Glues_3 : 591
1426.71/215.25	c (189,0) c Glues_4 : 628
1426.71/215.25	c (189,0) c Glues_5 : 629
1426.71/215.25	c (189,0) c Glues_6 : 522
1426.71/215.25	c (189,0) c Glues_7 : 621
1426.71/215.25	c (189,0) c Glues_total : 4998
1426.71/215.25	c (189,0) c Glues_winner : 621
1426.71/215.25	c (189,0) c RunningTime_0 : 177.587670
1426.71/215.25	c (189,0) c RunningTime_1 : 184.820165
1426.71/215.25	c (189,0) c RunningTime_2 : 171.321302
1426.71/215.25	c (189,0) c RunningTime_3 : 170.967046
1426.71/215.25	c (189,0) c RunningTime_4 : 171.208049
1426.71/215.25	c (189,0) c RunningTime_5 : 169.240717
1426.71/215.25	c (189,0) c RunningTime_6 : 170.763257
1426.71/215.25	c (189,0) c RunningTime_7 : 175.548952
1426.71/215.25	c (189,0) c RunningTime_total : 1391.457157
1426.71/215.25	c (189,0) c RunningTime_winner : 175.548952
1426.71/215.25	c (189,0) c WaitingTime_0 : 4.095386
1426.71/215.25	c (189,0) c WaitingTime_1 : 0.001069
1426.71/215.25	c (189,0) c WaitingTime_2 : 10.420426
1426.71/215.25	c (189,0) c WaitingTime_3 : 10.778198
1426.71/215.25	c (189,0) c WaitingTime_4 : 10.595810
1426.71/215.25	c (189,0) c WaitingTime_5 : 12.332141
1426.71/215.25	c (189,0) c WaitingTime_6 : 10.985830
1426.71/215.25	c (189,0) c WaitingTime_7 : 6.012207
1426.71/215.25	c (189,0) c WaitingTime_total : 65.221067
1426.71/215.25	c (189,0) c WaitingTime_winner : 6.012207
1426.71/215.25	c (189,0) c ExchangingTime_0 : 0.023681
1426.71/215.25	c (189,0) c ExchangingTime_1 : 0.022212
1426.71/215.25	c (189,0) c ExchangingTime_2 : 0.024797
1426.71/215.25	c (189,0) c ExchangingTime_3 : 0.024519
1426.71/215.25	c (189,0) c ExchangingTime_4 : 0.023586
1426.71/215.25	c (189,0) c ExchangingTime_5 : 0.024615
1426.71/215.25	c (189,0) c ExchangingTime_6 : 0.023731
1426.71/215.25	c (189,0) c ExchangingTime_7 : 0.023956
1426.71/215.25	c (189,0) c ExchangingTime_total : 0.191097
1426.71/215.25	c (189,0) c ExchangingTime_winner : 0.023956
1426.71/215.25	c (189,0) c PeriodProcTime_0 : 0.009236
1426.71/215.25	c (189,0) c PeriodProcTime_1 : 0.015316
1426.71/215.25	c (189,0) c PeriodProcTime_2 : 0.009166
1426.71/215.25	c (189,0) c PeriodProcTime_3 : 0.009145
1426.71/215.25	c (189,0) c PeriodProcTime_4 : 0.010110
1426.71/215.25	c (189,0) c PeriodProcTime_5 : 0.009022
1426.71/215.25	c (189,0) c PeriodProcTime_6 : 0.010172
1426.71/215.25	c (189,0) c PeriodProcTime_7 : 0.010022
1426.71/215.25	c (189,0) c PeriodProcTime_total : 0.082188
1426.71/215.25	c (189,0) c PeriodProcTime_winner : 0.010022
1426.71/215.25	c (189,0) c SolvingTime_0 : 181.715972
1426.71/215.25	c (189,0) c SolvingTime_1 : 184.858762
1426.71/215.25	c (189,0) c SolvingTime_2 : 181.775692
1426.71/215.25	c (189,0) c SolvingTime_3 : 181.778907
1426.71/215.26	c (189,0) c SolvingTime_4 : 181.837556
1426.71/215.26	c (189,0) c SolvingTime_5 : 181.606496
1426.71/215.26	c (189,0) c SolvingTime_6 : 181.782990
1426.71/215.26	c (189,0) c SolvingTime_7 : 181.595136
1426.71/215.26	c (189,0) c SolvingTime_total : 1456.951510
1426.71/215.26	c (189,0) c SolvingTime_winner : 181.595136
1426.71/215.26	c (189,0) c PropagationTime_0 : 172.000506
1426.71/215.26	c (189,0) c PropagationTime_1 : 175.796191
1426.71/215.26	c (189,0) c PropagationTime_2 : 170.508235
1426.71/215.26	c (189,0) c PropagationTime_3 : 170.266585
1426.71/215.26	c (189,0) c PropagationTime_4 : 170.886751
1426.71/215.26	c (189,0) c PropagationTime_5 : 169.715523
1426.71/215.26	c (189,0) c PropagationTime_6 : 171.423179
1426.71/215.26	c (189,0) c PropagationTime_7 : 170.925941
1426.71/215.26	c (189,0) c PropagationTime_total : 1371.522911
1426.71/215.26	c (189,0) c PropagationTime_winner : 170.925941
1426.71/215.26	c (189,0) c AnalysisTime_0 : 2.841577
1426.71/215.26	c (189,0) c AnalysisTime_1 : 2.908072
1426.71/215.26	c (189,0) c AnalysisTime_2 : 2.852146
1426.71/215.26	c (189,0) c AnalysisTime_3 : 2.999394
1426.71/215.26	c (189,0) c AnalysisTime_4 : 2.881526
1426.71/215.26	c (189,0) c AnalysisTime_5 : 3.051229
1426.71/215.26	c (189,0) c AnalysisTime_6 : 3.077672
1426.71/215.26	c (189,0) c AnalysisTime_7 : 2.922205
1426.71/215.26	c (189,0) c AnalysisTime_total : 23.533821
1426.71/215.26	c (189,0) c AnalysisTime_winner : 2.922205
1426.71/215.26	c (189,0) c ReductionTime_0 : 0.006588
1426.71/215.26	c (189,0) c ReductionTime_1 : 0.006666
1426.71/215.26	c (189,0) c ReductionTime_2 : 0.006995
1426.71/215.26	c (189,0) c ReductionTime_3 : 0.006857
1426.71/215.26	c (189,0) c ReductionTime_4 : 0.007559
1426.71/215.26	c (189,0) c ReductionTime_5 : 0.006748
1426.71/215.26	c (189,0) c ReductionTime_6 : 0.008417
1426.71/215.26	c (189,0) c ReductionTime_7 : 0.007986
1426.71/215.26	c (189,0) c ReductionTime_total : 0.057816
1426.71/215.26	c (189,0) c ReductionTime_winner : 0.007986
1426.71/215.26	c (189,0) c SimplifyTime_0 : 3.146996
1426.71/215.26	c (189,0) c SimplifyTime_1 : 2.366789
1426.71/215.26	c (189,0) c SimplifyTime_2 : 4.697642
1426.71/215.26	c (189,0) c SimplifyTime_3 : 4.716096
1426.71/215.26	c (189,0) c SimplifyTime_4 : 4.315898
1426.71/215.26	c (189,0) c SimplifyTime_5 : 5.080148
1426.71/215.26	c (189,0) c SimplifyTime_6 : 3.523448
1426.71/215.26	c (189,0) c SimplifyTime_7 : 3.939822
1426.71/215.26	c (189,0) c SimplifyTime_total : 31.786838
1426.71/215.26	c (189,0) c SimplifyTime_winner : 3.939822
1426.71/215.26	c (189,0) c UsedRateTime_0 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_1 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_2 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_3 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_4 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_5 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_6 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_7 : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_total : 0.000000
1426.71/215.26	c (189,0) c UsedRateTime_winner : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_0 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_1 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_2 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_3 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_4 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_5 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_6 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_7 : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_total : 0.000000
1426.71/215.26	c (189,0) c OverlapRateTime_winner : 0.000000
1426.71/215.26	c (189,0) c
1426.71/215.26	c (189,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1426.71/215.26	c (189,0) c
1426.71/215.26	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.26	c (189,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1426.71/215.26	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.26	c (189,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1426.71/215.26	c (189,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1426.71/215.26	c (189,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1426.71/215.26	c (189,0) c | Initial random_seed   | 1474013719 |  980670247 | 2106314578 |  543797637 |  265134509 | 1706825524 |  968660159 |  865970203 |
1426.71/215.26	c (189,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1426.71/215.26	c (189,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1426.71/215.26	c (189,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1426.71/215.26	c (189,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1426.71/215.26	c (189,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1426.71/215.26	c (189,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1426.71/215.26	c (189,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1426.71/215.26	c (189,0) c | var_decay             |     0.8400 |     0.8400 |     0.8300 |     0.8400 |     0.8300 |     0.8400 |     0.8300 |     0.8400 |
1426.71/215.26	c (189,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1426.71/215.26	c (189,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1426.71/215.26	c (189,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1426.71/215.26	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1426.71/215.26	c (189,0) 
1426.71/215.26	c (189,0) s UNSATISFIABLE
37.48/215.42	c (189,0) SatSolver.solve End
37.48/215.42	c (189,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
37.48/215.42	c (189,0) Show results Begin
37.48/215.42	s UNSATISFIABLE
37.48/215.42	c (189,0) Show results End
37.48/215.42	c (189,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
37.48/215.42	c (189,0) 189,189,STOP-AFTER(ALL)
37.48/215.42	c END-Prog: Tue Sep 24 22:58:41 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10972 MiB free)
  memory of node 1: 16384 MiB (12793 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405646-1569358546/watcher-4405646-1569358546 -o /var/tmp/evaluation-result-4405646-1569358546/solver-4405646-1569358546 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405646-1569358546.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24084, runsolver pid=24081
Current StackSize limit: 8192 KiB


[startup+0.100183 s]*
/proc/loadavg: 8.22 8.36 8.30 2/215 24106
/proc/meminfo: memFree=24241056/32770624 swapFree=67002968/67108860
[pid=24084] ppid=24081 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24084/stat : 24084 (scop.sh) S 24081 24084 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512094137 115843072 349 33554432000 4194304 5098028 140736447318048 140736447315304 140525889745532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34099200 140736447324924 140736447325272 140736447325272 140736447328201 0
/proc/24084/statm: 28282 349 296 221 0 87 0
[pid=24087] ppid=24084 vsize=27314120 memory=106128 CPUtime=0.11 cores=0-7
/proc/24087/stat : 24087 (java) S 24084 24084 20244 0 -1 1077944320 6620 0 0 0 8 3 0 0 20 0 20 0 512094137 27969658880 26532 33554432000 4194304 4196468 140723762534256 140723762516800 140235226550007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
/proc/24087/statm: 6828530 26532 2784 1 0 6790935 0
[pid=24087/tid=24088] ppid=24084 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24087/task/24088/stat : 24088 (java) R 24084 24084 20244 0 -1 4202560 4715 0 0 0 6 2 0 0 20 0 20 0 512094137 27969658880 26532 33554432000 4194304 4196468 140723762534256 140235198368384 140235206825756 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24089] ppid=24084 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24087/task/24089/stat : 24089 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140235230791952 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24090] ppid=24084 vsize=27314120 memory=139882354226816 CPUtime=0 cores=0-7
/proc/24087/task/24090/stat : 24090 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234648615312 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24091] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24091/stat : 24091 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234647562768 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24092] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24092/stat : 24092 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234646510224 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24093] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24093/stat : 24093 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234645457680 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24094] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24094/stat : 24094 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234644405136 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24095] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24095/stat : 24095 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234643352592 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24096] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24096/stat : 24096 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234642300048 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24097] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24097/stat : 24097 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094141 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234217895920 140235226561154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24098] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24098/stat : 24098 (java) S 24084 24084 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512094142 27969658880 26532 33554432000 4194304 4196468 140723762534256 140233165235104 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24099] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24099/stat : 24099 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094142 27969658880 26532 33554432000 4194304 4196468 140723762534256 140232896799728 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24100] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24100/stat : 24100 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094144 27969658880 26532 33554432000 4194304 4196468 140723762534256 140232522291408 140235226568603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24101] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24101/stat : 24101 (java) S 24084 24084 20244 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234216843760 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24102] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24102/stat : 24102 (java) S 24084 24084 20244 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234215791216 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24103] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24103/stat : 24103 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234214738672 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24104] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24104/stat : 24104 (java) S 24084 24084 20244 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234213686128 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24105] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24105/stat : 24105 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 26532 33554432000 4194304 4196468 140723762534256 140232024385760 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24106] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24106/stat : 24106 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 26532 33554432000 4194304 4196468 140723762534256 140234212633008 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107524 KiB

[startup+0.210573 s]*
/proc/loadavg: 8.22 8.36 8.30 3/215 24106
/proc/meminfo: memFree=24219880/32770624 swapFree=67002968/67108860
[pid=24084] ppid=24081 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24084/stat : 24084 (scop.sh) S 24081 24084 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512094137 115843072 349 33554432000 4194304 5098028 140736447318048 140736447315304 140525889745532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34099200 140736447324924 140736447325272 140736447325272 140736447328201 0
/proc/24084/statm: 28282 349 296 221 0 87 0
[pid=24087] ppid=24084 vsize=27314120 memory=125456 CPUtime=0.25 cores=0-7
/proc/24087/stat : 24087 (java) S 24084 24084 20244 0 -1 1077944320 12231 0 0 0 20 5 0 0 20 0 20 0 512094137 27969658880 31364 33554432000 4194304 4196468 140723762534256 140723762516800 140235226550007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
/proc/24087/statm: 6828530 31364 2909 1 0 6790935 0
[pid=24087/tid=24088] ppid=24084 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24087/task/24088/stat : 24088 (java) R 24084 24084 20244 0 -1 4202560 9928 0 0 0 16 4 0 0 20 0 20 0 512094137 27969658880 31364 33554432000 4194304 4196468 140723762534256 140235198373968 140235208113563 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24089] ppid=24084 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/24087/task/24089/stat : 24089 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140235230791952 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24090] ppid=24084 vsize=27314120 memory=139882358057992 CPUtime=0 cores=0-7
/proc/24087/task/24090/stat : 24090 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234648615312 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24091] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24091/stat : 24091 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234647562768 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24092] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24092/stat : 24092 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234646510224 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24093] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24093/stat : 24093 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234645457680 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24094] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24094/stat : 24094 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234644405136 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24095] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24095/stat : 24095 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234643352592 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24096] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24096/stat : 24096 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234642300048 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24097] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24097/stat : 24097 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094141 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234217895920 140235226561154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24098] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24098/stat : 24098 (java) S 24084 24084 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512094142 27969658880 31364 33554432000 4194304 4196468 140723762534256 140233165235104 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24099] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24099/stat : 24099 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094142 27969658880 31364 33554432000 4194304 4196468 140723762534256 140232896799728 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24100] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24100/stat : 24100 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094144 27969658880 31364 33554432000 4194304 4196468 140723762534256 140232522291408 140235226568603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24101] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24101/stat : 24101 (java) S 24084 24084 20244 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234216843760 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24102] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24102/stat : 24102 (java) S 24084 24084 20244 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234215791216 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24103] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24103/stat : 24103 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234214738672 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24104] ppid=24084 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24087/task/24104/stat : 24104 (java) S 24084 24084 20244 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 512094145 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234213686128 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24105] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24105/stat : 24105 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 31364 33554432000 4194304 4196468 140723762534256 140232024385760 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24106] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24106/stat : 24106 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 31364 33554432000 4194304 4196468 140723762534256 140234212633008 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126852 KiB

[startup+0.310529 s]*
/proc/loadavg: 8.22 8.36 8.30 2/215 24106
/proc/meminfo: memFree=24217348/32770624 swapFree=67002968/67108860
[pid=24084] ppid=24081 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24084/stat : 24084 (scop.sh) S 24081 24084 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512094137 115843072 349 33554432000 4194304 5098028 140736447318048 140736447315304 140525889745532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34099200 140736447324924 140736447325272 140736447325272 140736447328201 0
/proc/24084/statm: 28282 349 296 221 0 87 0
[pid=24087] ppid=24084 vsize=27314120 memory=129500 CPUtime=0.42 cores=0-7
/proc/24087/stat : 24087 (java) S 24084 24084 20244 0 -1 1077944320 12783 0 0 0 37 5 0 0 20 0 20 0 512094137 27969658880 32375 33554432000 4194304 4196468 140723762534256 140723762516800 140235226550007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
/proc/24087/statm: 6828530 32375 3018 1 0 6790935 0
[pid=24087/tid=24088] ppid=24084 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24087/task/24088/stat : 24088 (java) R 24084 24084 20244 0 -1 4202560 10292 0 0 0 26 4 0 0 20 0 20 0 512094137 27969658880 32375 33554432000 4194304 4196468 140723762534256 140235198365488 140235209736816 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24089] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24089/stat : 24089 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140235230791952 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24090] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24090/stat : 24090 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234648615312 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24091] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24091/stat : 24091 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234647562768 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24092] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24092/stat : 24092 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234646510224 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24093] ppid=24084 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24087/task/24093/stat : 24093 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234645457680 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24094] ppid=24084 vsize=27314120 memory=139882253087663 CPUtime=0 cores=0-7
/proc/24087/task/24094/stat : 24094 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234644405136 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24095] ppid=24084 vsize=27314120 memory=139882253089968 CPUtime=0 cores=0-7
/proc/24087/task/24095/stat : 24095 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234643352592 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24096] ppid=24084 vsize=27314120 memory=139882253092272 CPUtime=0 cores=0-7
/proc/24087/task/24096/stat : 24096 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234642300048 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24097] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24097/stat : 24097 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094141 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234217895920 140235226561154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24098] ppid=24084 vsize=27314120 memory=279764506191504 CPUtime=0 cores=0-7
/proc/24087/task/24098/stat : 24098 (java) S 24084 24084 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512094142 27969658880 32375 33554432000 4194304 4196468 140723762534256 140233165235104 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24099] ppid=24084 vsize=27314120 memory=279764506198416 CPUtime=0 cores=0-7
/proc/24087/task/24099/stat : 24099 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094142 27969658880 32375 33554432000 4194304 4196468 140723762534256 140232896799728 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24100] ppid=24084 vsize=27314120 memory=279764506139696 CPUtime=0 cores=0-7
/proc/24087/task/24100/stat : 24100 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094144 27969658880 32375 33554432000 4194304 4196468 140723762534256 140232522291408 140235226568603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24101] ppid=24084 vsize=27314120 memory=279764506212240 CPUtime=0 cores=0-7
/proc/24087/task/24101/stat : 24101 (java) S 24084 24084 20244 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234216843760 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24102] ppid=24084 vsize=27314120 memory=279764506219152 CPUtime=0.02 cores=0-7
/proc/24087/task/24102/stat : 24102 (java) S 24084 24084 20244 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 512094145 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234215791216 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24103] ppid=24084 vsize=27314120 memory=279764506216848 CPUtime=0.02 cores=0-7
/proc/24087/task/24103/stat : 24103 (java) R 24084 24084 20244 0 -1 4202560 121 0 0 0 2 0 0 0 20 0 20 0 512094145 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234214738672 140235205797151 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24104] ppid=24084 vsize=27314120 memory=279764506233008 CPUtime=0.07 cores=0-7
/proc/24087/task/24104/stat : 24104 (java) S 24084 24084 20244 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 512094145 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234213686128 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24105] ppid=24084 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24105/stat : 24105 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 32375 33554432000 4194304 4196468 140723762534256 140232024385760 140235226560213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24106] ppid=24084 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24087/task/24106/stat : 24106 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094145 27969658880 32375 33554432000 4194304 4196468 140723762534256 140234212633008 140235226561154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130896 KiB

[startup+0.701455 s]
/proc/loadavg: 8.22 8.36 8.30 3/216 24108
/proc/meminfo: memFree=24194960/32770624 swapFree=67002968/67108860
[pid=24084] ppid=24081 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24084/stat : 24084 (scop.sh) S 24081 24084 20244 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512094137 115843072 349 33554432000 4194304 5098028 140736447318048 140736447315304 140525889745532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34099200 140736447324924 140736447325272 140736447325272 140736447328201 0
/proc/24084/statm: 28282 349 296 221 0 87 0
[pid=24087] ppid=24084 vsize=27320392 memory=165208 CPUtime=0.99 cores=0-7
/proc/24087/stat : 24087 (java) S 24084 24084 20244 0 -1 1077944320 20414 0 0 0 92 7 0 0 20 0 20 0 512094137 27976081408 41302 33554432000 4194304 4196468 140723762534256 140723762516800 140235226550007 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
/proc/24087/statm: 6830098 41302 3182 1 0 6791447 0
[pid=24087/tid=24088] ppid=24084 vsize=27320392 memory=279764506590896 CPUtime=0.68 cores=0-7
/proc/24087/task/24088/stat : 24088 (java) R 24084 24084 20244 0 -1 4202560 17349 0 0 0 62 6 0 0 20 0 20 0 512094137 27976081408 41302 33554432000 4194304 4196468 140723762534256 140235198385520 140234725635143 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24089] ppid=24084 vsize=27320392 memory=139882253296496 CPUtime=0 cores=0-7
/proc/24087/task/24089/stat : 24089 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512094140 27976081408 41302 33554432000 4194304 4196468 140723762534256 140235230791952 140235226560213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24090] ppid=24084 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24087/task/24090/stat : 24090 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27976081408 41302 33554432000 4194304 4196468 140723762534256 140234648615312 140235226560213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0
[pid=24087/tid=24091] ppid=24084 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/24087/task/24091/stat : 24091 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512094140 27976081408 41302 33554432000 4194304 4196468 140723762534256 140234647562768 140235226560213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15757312 140723762541254 140723762541702 140723762541702 140723762544591 0

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

/proc/24109/task/24116/stat : 24116 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454033075344 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24117] ppid=24084 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/24109/task/24117/stat : 24117 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454032022288 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24118] ppid=24084 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/24109/task/24118/stat : 24118 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454030969744 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24119] ppid=24084 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/24109/task/24119/stat : 24119 (java) S 24084 24084 20244 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512096666 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453913569520 140454551755394 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24120] ppid=24084 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/24109/task/24120/stat : 24120 (java) S 24084 24084 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512096666 8616062976 30036 33554432000 4194304 4196468 140721383438256 140452879656096 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24121] ppid=24084 vsize=8414124 memory=6204 CPUtime=0 cores=0-7
/proc/24109/task/24121/stat : 24121 (java) S 24084 24084 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512096667 8616062976 30036 33554432000 4194304 4196468 140721383438256 140452745433840 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24122] ppid=24084 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/24109/task/24122/stat : 24122 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140452370929616 140454551762843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24123] ppid=24084 vsize=8414124 memory=1540 CPUtime=0.07 cores=0-7
/proc/24109/task/24123/stat : 24123 (java) S 24084 24084 20244 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453912517360 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24124] ppid=24084 vsize=8414124 memory=728 CPUtime=0.12 cores=0-7
/proc/24109/task/24124/stat : 24124 (java) S 24084 24084 20244 0 -1 1077944384 566 0 0 0 12 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453911464816 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24125] ppid=24084 vsize=8414124 memory=3956 CPUtime=0.05 cores=0-7
/proc/24109/task/24125/stat : 24125 (java) S 24084 24084 20244 0 -1 1077944384 188 0 0 0 5 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453910411760 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24126] ppid=24084 vsize=8414124 memory=2832 CPUtime=0.23 cores=0-7
/proc/24109/task/24126/stat : 24126 (java) S 24084 24084 20244 0 -1 1077944384 794 0 0 0 23 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453909359216 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24127] ppid=24084 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/24109/task/24127/stat : 24127 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140451873024480 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24128] ppid=24084 vsize=8414124 memory=1428 CPUtime=0.15 cores=0-7
/proc/24109/task/24128/stat : 24128 (java) S 24084 24084 20244 0 -1 1077944384 15 0 0 0 3 12 0 0 20 0 24 0 512096670 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453908306608 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24130] ppid=24084 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/24109/task/24130/stat : 24130 (java) S 24084 24084 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453900272576 140454551768857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24132] ppid=24084 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/24109/task/24132/stat : 24132 (java) S 24084 24084 20244 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30036 33554432000 4194304 4196468 140721383438256 140451201925168 140454551766173 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24133] ppid=24084 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/24109/task/24133/stat : 24133 (java) S 24084 24084 20244 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30036 33554432000 4194304 4196468 140721383438256 140451470360752 140454551766173 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24134] ppid=24084 vsize=8414124 memory=6204 CPUtime=0 cores=0-7
/proc/24109/task/24134/stat : 24134 (java) S 24084 24084 20244 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512096740 8616062976 30036 33554432000 4194304 4196468 140721383438256 140450933497264 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
Current children cumulated CPU time: 1425.91 s
Current children cumulated vsize: 12059708 KiB
Current children cumulated memory: 2831796 KiB

[startup+215.201 s]
/proc/loadavg: 7.27 7.73 8.04 2/222 24156
/proc/meminfo: memFree=21374400/32770624 swapFree=67002968/67108860
[pid=24084] ppid=24081 vsize=113128 memory=1476 CPUtime=36 cores=0-7
/proc/24084/stat : 24084 (scop.sh) S 24081 24084 20244 0 -1 4202496 583 38388 0 0 0 0 3444 156 20 0 1 0 512094137 115843072 369 33554432000 4194304 5098028 140736447318048 140736447314792 140525889745532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34099200 140736447324924 140736447325272 140736447325272 140736447328201 0
/proc/24084/statm: 28282 369 311 221 0 87 0
[pid=24109] ppid=24084 vsize=8414124 memory=120144 CPUtime=1.43 cores=0-7
/proc/24109/stat : 24109 (java) S 24084 24084 20244 0 -1 1077944320 21005 0 0 0 134 9 0 0 20 0 24 0 512096663 8616062976 30036 33554432000 4194304 4196468 140721383438256 140721383420800 140454551744247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
/proc/24109/statm: 2103531 30036 3195 1 0 2064875 0
[pid=24129] ppid=24109 vsize=3532456 memory=2710176 CPUtime=1389.28 cores=0-7
/proc/24129/stat : 24129 (manyglucose-4.1) S 24109 24084 20244 0 -1 1077944320 11962557 0 0 0 137677 1251 0 0 20 0 2 0 512096738 3617234944 677544 33554432000 4194304 4454172 140728774356496 140728774354880 139877065080567 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 27955200 140728774357837 140728774358044 140728774358044 140728774361014 0
/proc/24129/statm: 883114 677544 419 64 0 878782 0
[pid=24129/tid=24136] ppid=24109 vsize=3532456 memory=64328 CPUtime=184.55 cores=0-7
/proc/24129/task/24136/stat : 24136 (manyglucose-4.1) R 24109 24084 20244 0 -1 4202560 1685362 0 0 0 18229 226 0 0 20 0 2 0 512097174 3617234944 677544 33554432000 4194304 4454172 140728774356496 139876974570632 4350902 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 27955200 140728774357837 140728774358044 140728774358044 140728774361014 0
[pid=24109/tid=24110] ppid=24084 vsize=8414124 memory=988 CPUtime=0.77 cores=0-7
/proc/24109/task/24110/stat : 24110 (java) S 24084 24084 20244 0 -1 1077944384 17276 0 0 0 71 6 0 0 20 0 24 0 512096663 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454523584416 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24111] ppid=24084 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/24109/task/24111/stat : 24111 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454555986448 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24112] ppid=24084 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/24109/task/24112/stat : 24112 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454037285520 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24113] ppid=24084 vsize=8414124 memory=2376 CPUtime=0 cores=0-7
/proc/24109/task/24113/stat : 24113 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454036232464 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24114] ppid=24084 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/24109/task/24114/stat : 24114 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454035179920 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24115] ppid=24084 vsize=8414124 memory=2710176 CPUtime=0 cores=0-7
/proc/24109/task/24115/stat : 24115 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454034127888 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24116] ppid=24084 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/24109/task/24116/stat : 24116 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454033075344 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24117] ppid=24084 vsize=8414124 memory=2052 CPUtime=0 cores=0-7
/proc/24109/task/24117/stat : 24117 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454032022288 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24118] ppid=24084 vsize=8414124 memory=9128159639 CPUtime=0 cores=0-7
/proc/24109/task/24118/stat : 24118 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30036 33554432000 4194304 4196468 140721383438256 140454030969744 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24119] ppid=24084 vsize=8414124 memory=4129331682 CPUtime=0 cores=0-7
/proc/24109/task/24119/stat : 24119 (java) S 24084 24084 20244 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512096666 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453913569520 140454551755394 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24120] ppid=24084 vsize=8414124 memory=4129332118 CPUtime=0 cores=0-7
/proc/24109/task/24120/stat : 24120 (java) S 24084 24084 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512096666 8616062976 30036 33554432000 4194304 4196468 140721383438256 140452879656096 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24121] ppid=24084 vsize=8414124 memory=4129332118 CPUtime=0 cores=0-7
/proc/24109/task/24121/stat : 24121 (java) S 24084 24084 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512096667 8616062976 30036 33554432000 4194304 4196468 140721383438256 140452745433840 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24122] ppid=24084 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/24109/task/24122/stat : 24122 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140452370929616 140454551762843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24123] ppid=24084 vsize=8414124 memory=34880 CPUtime=0.07 cores=0-7
/proc/24109/task/24123/stat : 24123 (java) S 24084 24084 20244 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453912517360 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24124] ppid=24084 vsize=8414124 memory=496 CPUtime=0.12 cores=0-7
/proc/24109/task/24124/stat : 24124 (java) S 24084 24084 20244 0 -1 1077944384 566 0 0 0 12 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453911464816 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24125] ppid=24084 vsize=8414124 memory=1564 CPUtime=0.05 cores=0-7
/proc/24109/task/24125/stat : 24125 (java) S 24084 24084 20244 0 -1 1077944384 188 0 0 0 5 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453910411760 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24126] ppid=24084 vsize=8414124 memory=928 CPUtime=0.23 cores=0-7
/proc/24109/task/24126/stat : 24126 (java) S 24084 24084 20244 0 -1 1077944384 794 0 0 0 23 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453909359216 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24127] ppid=24084 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/24109/task/24127/stat : 24127 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512096669 8616062976 30036 33554432000 4194304 4196468 140721383438256 140451873024480 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24128] ppid=24084 vsize=8414124 memory=780 CPUtime=0.15 cores=0-7
/proc/24109/task/24128/stat : 24128 (java) S 24084 24084 20244 0 -1 1077944384 15 0 0 0 3 12 0 0 20 0 24 0 512096670 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453908306608 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24130] ppid=24084 vsize=8414124 memory=728 CPUtime=0 cores=0-7
/proc/24109/task/24130/stat : 24130 (java) S 24084 24084 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30036 33554432000 4194304 4196468 140721383438256 140453900272576 140454551768857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24132] ppid=24084 vsize=8414124 memory=3956 CPUtime=0 cores=0-7
/proc/24109/task/24132/stat : 24132 (java) S 24084 24084 20244 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30036 33554432000 4194304 4196468 140721383438256 140451201925168 140454551766173 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24133] ppid=24084 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/24109/task/24133/stat : 24133 (java) S 24084 24084 20244 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30036 33554432000 4194304 4196468 140721383438256 140451470360752 140454551766173 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24134] ppid=24084 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/24109/task/24134/stat : 24134 (java) S 24084 24084 20244 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512096740 8616062976 30036 33554432000 4194304 4196468 140721383438256 140450933497264 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
Current children cumulated CPU time: 1426.71 s
Current children cumulated vsize: 12059708 KiB
Current children cumulated memory: 2831796 KiB

[startup+215.401 s]
/proc/loadavg: 7.27 7.73 8.04 2/222 24156
/proc/meminfo: memFree=21374400/32770624 swapFree=67002968/67108860
[pid=24084] ppid=24081 vsize=113128 memory=1476 CPUtime=36 cores=0-7
/proc/24084/stat : 24084 (scop.sh) S 24081 24084 20244 0 -1 4202496 583 38388 0 0 0 0 3444 156 20 0 1 0 512094137 115843072 369 33554432000 4194304 5098028 140736447318048 140736447314792 140525889745532 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34099200 140736447324924 140736447325272 140736447325272 140736447328201 0
/proc/24084/statm: 28282 369 311 221 0 87 0
[pid=24109] ppid=24084 vsize=8414124 memory=120592 CPUtime=1.48 cores=0-7
/proc/24109/stat : 24109 (java) S 24084 24084 20244 0 -1 1077944320 21112 0 0 0 139 9 0 0 20 0 24 0 512096663 8616062976 30148 33554432000 4194304 4196468 140721383438256 140721383420800 140454551744247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
/proc/24109/statm: 2103531 30148 3198 1 0 2064875 0
[pid=24109/tid=24110] ppid=24084 vsize=8414124 memory=12024 CPUtime=0.77 cores=0-7
/proc/24109/task/24110/stat : 24110 (java) S 24084 24084 20244 0 -1 1077944384 17276 0 0 0 71 6 0 0 20 0 24 0 512096663 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454523584416 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24111] ppid=24084 vsize=8414124 memory=8325364153842891662 CPUtime=0 cores=0-7
/proc/24109/task/24111/stat : 24111 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454555986448 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24112] ppid=24084 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/24109/task/24112/stat : 24112 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454037285520 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24113] ppid=24084 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/24109/task/24113/stat : 24113 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454036232464 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24114] ppid=24084 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/24109/task/24114/stat : 24114 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454035179920 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24115] ppid=24084 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/24109/task/24115/stat : 24115 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096664 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454034127888 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24116] ppid=24084 vsize=8414124 memory=6204 CPUtime=0 cores=0-7
/proc/24109/task/24116/stat : 24116 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454033075344 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24117] ppid=24084 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/24109/task/24117/stat : 24117 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454032022288 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24118] ppid=24084 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/24109/task/24118/stat : 24118 (java) S 24084 24084 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512096665 8616062976 30148 33554432000 4194304 4196468 140721383438256 140454030969744 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24119] ppid=24084 vsize=8414124 memory=728 CPUtime=0 cores=0-7
/proc/24109/task/24119/stat : 24119 (java) S 24084 24084 20244 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512096666 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453913569520 140454551755394 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24120] ppid=24084 vsize=8414124 memory=3956 CPUtime=0 cores=0-7
/proc/24109/task/24120/stat : 24120 (java) S 24084 24084 20244 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512096666 8616062976 30148 33554432000 4194304 4196468 140721383438256 140452879656096 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24121] ppid=24084 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/24109/task/24121/stat : 24121 (java) S 24084 24084 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512096667 8616062976 30148 33554432000 4194304 4196468 140721383438256 140452745433840 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24122] ppid=24084 vsize=8414124 memory=1212 CPUtime=0 cores=0-7
/proc/24109/task/24122/stat : 24122 (java) S 24084 24084 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512096669 8616062976 30148 33554432000 4194304 4196468 140721383438256 140452370929616 140454551762843 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24123] ppid=24084 vsize=8414124 memory=1036 CPUtime=0.08 cores=0-7
/proc/24109/task/24123/stat : 24123 (java) S 24084 24084 20244 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 24 0 512096669 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453912517360 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24124] ppid=24084 vsize=8414124 memory=14008 CPUtime=0.14 cores=0-7
/proc/24109/task/24124/stat : 24124 (java) S 24084 24084 20244 0 -1 1077944384 570 0 0 0 14 0 0 0 20 0 24 0 512096669 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453911464816 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24125] ppid=24084 vsize=8414124 memory=12024 CPUtime=0.05 cores=0-7
/proc/24109/task/24125/stat : 24125 (java) S 24084 24084 20244 0 -1 1077944384 244 0 0 0 5 0 0 0 20 0 24 0 512096669 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453910411760 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24126] ppid=24084 vsize=8414124 memory=2116 CPUtime=0.24 cores=0-7
/proc/24109/task/24126/stat : 24126 (java) S 24084 24084 20244 0 -1 1077944384 810 0 0 0 24 0 0 0 20 0 24 0 512096669 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453909359216 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24127] ppid=24084 vsize=8414124 memory=34880 CPUtime=0 cores=0-7
/proc/24109/task/24127/stat : 24127 (java) S 24084 24084 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512096669 8616062976 30148 33554432000 4194304 4196468 140721383438256 140451873024480 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24128] ppid=24084 vsize=8414124 memory=496 CPUtime=0.15 cores=0-7
/proc/24109/task/24128/stat : 24128 (java) S 24084 24084 20244 0 -1 1077944384 15 0 0 0 3 12 0 0 20 0 24 0 512096670 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453908306608 140454551755394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24130] ppid=24084 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/24109/task/24130/stat : 24130 (java) S 24084 24084 20244 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30148 33554432000 4194304 4196468 140721383438256 140453900272576 140454551768857 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24132] ppid=24084 vsize=8414124 memory=928 CPUtime=0.02 cores=0-7
/proc/24109/task/24132/stat : 24132 (java) S 24084 24084 20244 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 24 0 512096738 8616062976 30148 33554432000 4194304 4196468 140721383438256 140451201925200 140454551766173 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24133] ppid=24084 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/24109/task/24133/stat : 24133 (java) S 24084 24084 20244 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512096738 8616062976 30148 33554432000 4194304 4196468 140721383438256 140451470360752 140454551766173 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
[pid=24109/tid=24134] ppid=24084 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/24109/task/24134/stat : 24134 (java) S 24084 24084 20244 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512096740 8616062976 30148 33554432000 4194304 4196468 140721383438256 140450933497264 140454551754453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140721383441375 140721383441542 140721383441542 140721383444431 0
Current children cumulated CPU time: 37.48 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122068 KiB

Child status: 0
Real time (s): 215.465
CPU time (s): 1427.06
CPU user time (s): 1412.67
CPU system time (s): 14.3904
CPU usage (%): 662.318
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6056640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1412.67
system time used= 14.3904
maximum resident set size= 6056052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12024393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 275480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59111
involuntary context switches= 14783


# summary of solver processes directly reported to runsolver:
#   pid: 24084
#   total CPU time (s): 1427.06
#   total CPU user time (s): 1412.67
#   total CPU system time (s): 14.3904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.97528 second user time and 2.96196 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 22:55:06
IDJOB=4405646
IDBENCH=138488
IDSOLVER=2868
FILE ID=node133/4405646-1569358546
RUNJOBID= node133-1569350609-20271
PBS_JOBID= 21705096
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-26.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405646-1569358546/watcher-4405646-1569358546 -o /var/tmp/evaluation-result-4405646-1569358546/solver-4405646-1569358546 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405646-1569358546.xml

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

MD5SUM BENCH= f8945e9ee38ae25fe131ea9d51f4675a
RANDOM SEED=105370728

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24337168 kB
MemAvailable:   31843420 kB
Buffers:          149276 kB
Cached:          7411504 kB
SwapCached:         5156 kB
Active:          3728284 kB
Inactive:        3838716 kB
Active(anon):       3996 kB
Inactive(anon):    57204 kB
Active(file):    3724288 kB
Inactive(file):  3781512 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       67002968 kB
Dirty:             21080 kB
Writeback:             0 kB
AnonPages:        253480 kB
Mapped:            58024 kB
Shmem:             46820 kB
Slab:             457536 kB
SReclaimable:     428912 kB
SUnreclaim:        28624 kB
KernelStack:        3888 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13468 MiB
End job on node133 at 2019-09-24 22:58:41