Trace number 4392486

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 order+ManyGlucose (2019-06-15)UNSAT 1435.6 214.861

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17240-serial-file.bin HOME/instance-4392486-1568442179.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 08:22:23 CEST 2019
0.66/0.56	c PID: 17243
0.66/0.56	c IP: 172.20.3.148
0.66/0.56	c HOST: node148.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.67/1.89	c (1,1) Parsing End
5.67/1.90	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1185
6.10/1.90	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.10/1.90	c (1,1) Constraint Name Generate Begin
6.10/1.94	c (1,1) Ctr:HOME/instance-4392486-1568442179.xml,Add:Le:Ne:Num:Or:Var
6.10/1.94	c (1,1) Constraint Name Generate End
6.10/1.94	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.10/1.94	c (1,1) CSP to CSPinCNF Begin
6.89/2.20	c (1,1) translated 558 (10%) constraints
6.89/2.26	c (1,1) translated 1116 (20%) constraints
7.30/2.31	c (1,1) translated 1674 (30%) constraints
7.30/2.35	c (1,1) translated 2232 (40%) constraints
7.30/2.39	c (1,1) translated 2790 (50%) constraints
8.10/2.50	c (1,1) translated 3348 (60%) constraints
8.10/2.50	c (1,1) translated 3906 (70%) constraints
8.10/2.50	c (1,1) translated 4464 (80%) constraints
8.10/2.53	c (1,1) translated 5022 (90%) constraints
8.10/2.54	c (2,1) translated 5580 (100%) constraints
8.10/2.54	c (2,1) ===========================================
8.10/2.55	c (2,1) Order
8.10/2.55	c (2,1) ===========================================
8.10/2.58	c (2,2) translated 558 (10%) constraints
8.10/2.60	c (2,2) translated 1116 (20%) constraints
8.45/2.61	c (2,2) translated 1674 (30%) constraints
8.45/2.63	c (2,2) translated 2232 (40%) constraints
8.45/2.64	c (2,2) translated 2790 (50%) constraints
8.45/2.66	c (2,2) translated 3348 (60%) constraints
8.45/2.67	c (2,2) translated 3906 (70%) constraints
8.45/2.69	c (2,2) translated 4464 (80%) constraints
8.65/2.70	c (2,2) translated 5022 (90%) constraints
8.65/2.71	c (2,2) translated 5580 (100%) constraints
8.65/2.72	c (2,2) CSP to CSPinCNF End
8.65/2.72	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
8.65/2.72	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.65/2.72	c (2,2) CSPinCNF Propagation Begin
9.07/2.81	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.07/2.81	c (2,2) CSPinCNF Propagation End
9.07/2.81	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
9.07/2.81	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.07/2.81	c (2,2) Simplify CSPinCNF Begin
9.74/3.08	c (2,2) Simplify CSPinCNF End
9.74/3.08	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
9.74/3.08	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.74/3.08	c (2,2) Calculate Precise Domain Begin
9.74/3.08	c (2,2) 0 values are removed by re-calculation
9.74/3.08	c (2,2) Calculate Precise Domain End
9.74/3.09	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
9.74/3.09	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.74/3.09	c (2,2) CSPinCNF to SatSolver Begin
15.22/6.16	c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 874757 SAT clauses)
17.51/8.32	c (7,7) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1402946 SAT clauses)
19.98/10.46	c (9,9) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1951604 SAT clauses)
22.00/12.44	c (11,11) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2511717 SAT clauses)
24.02/14.77	c (14,13) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3069583 SAT clauses)
26.52/16.84	c (16,15) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3637919 SAT clauses)
28.18/18.54	c (17,17) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4089842 SAT clauses)
30.10/20.43	c (19,19) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4624275 SAT clauses)
32.26/22.48	c (21,21) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5190683 SAT clauses)
34.51/24.71	c (24,23) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6034380 SAT clauses)
34.51/24.71	c (24,23) CSPinCNF to SatSolver End
34.51/24.71	c (24,23) Heap : 4029 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.51/24.71	c (24,23) 321486 bool, 6034755 clause
34.51/24.71	c (24,23) Export Begin
34.70/24.83	c (24,23) Export to HOME/scop-17240-serial-file.bin
34.70/24.83	c (24,23) Export End
34.70/24.83	c (24,23) Export File Size: 0.07 MB
34.70/24.83	c (24,23) 1,1,2,2,2,2,24,STOP-AFTER(DIMACS)
34.70/24.83	c END-Prog: Sat Sep 14 08:22:47 CEST 2019
34.70/24.87	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17240-serial-file.bin
35.41/25.33	c (0,0) Read Serial File Begin
35.41/25.33	c (0,0) HOME/scop-17240-serial-file.bin
35.69/25.57	c (0,0) Read Serial File End
35.69/25.58	
35.69/25.58	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
35.69/25.58	(Solving Process)
35.69/25.58	
35.95/25.60	c BEGIN-Prog: Sat Sep 14 08:22:48 CEST 2019
35.95/25.60	c PID: 17263
35.95/25.60	c IP: 172.20.3.148
35.95/25.60	c HOST: node148.alineos.net
35.95/25.60	c (0,0) SatSolver.solve Begin
35.95/25.60	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392486-1568442179.xml-scop-17243.cnf
35.95/25.63	c (0,0) c
35.95/25.63	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)
35.95/25.63	c (0,0) c
35.95/25.63	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.95/25.63	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.95/25.63	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.95/25.63	c (0,0) c |                                                                                                       |
38.41/27.97	c (2,0) c |  Number of variables:        321486                                                                   |
38.41/27.97	c (2,0) c |  Number of clauses:         5915349                                                                   |
38.41/27.97	c (2,0) c |  Parse time:                   2.13 s                                                                 |
38.41/27.97	c (2,0) c |                                                                                                       |
38.81/28.37	c (3,0) c | Too many clauses... No preprocessing                                                                  |
38.81/28.37	c (3,0) c |  Simplification time:          0.36 s                                                                 |
38.81/28.37	c (3,0) c |                                                                                                       |
38.81/28.37	c (3,0) c |  Generating clones                                                                                    |
40.41/29.99	c (4,0) c |  all clones generated. Memory =  3456.13Mb.                                                           |
40.41/29.99	c (4,0) c ========================================================================================================|
40.41/29.99	c (4,0) c
40.41/29.99	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
40.41/29.99	c (4,0) c
40.41/29.99	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.41/29.99	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
40.41/29.99	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.41/29.99	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
40.41/29.99	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
40.41/29.99	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
40.41/29.99	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
40.41/29.99	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
40.41/29.99	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
40.41/29.99	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
40.41/29.99	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
40.41/29.99	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
40.41/29.99	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
40.41/29.99	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
40.41/29.99	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
40.41/29.99	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
40.41/29.99	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
40.41/29.99	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
40.41/29.99	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
272.36/59.22	c (33,0) c
272.36/59.22	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
272.36/59.22	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
272.36/59.22	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
272.36/59.22	c (33,0) c |  0 |      2 |       5135 |       3010 |    68117 |     2010 |       99 |      648 |       24 |      156 |  20 | 37.953 |
272.36/59.22	c (33,0) c |  1 |      8 |       5171 |       2958 |    74415 |     1953 |      138 |      621 |       44 |      157 |  20 | 37.958 |
272.36/59.22	c (33,0) c |  2 |      9 |       4926 |       2930 |    74840 |     1927 |      126 |      676 |       36 |      166 |  20 | 37.955 |
272.36/59.22	c (33,0) c |  3 |      8 |       5245 |       3096 |    77444 |     2090 |      123 |      683 |       41 |      166 |  20 | 37.963 |
272.36/59.22	c (33,0) c |  4 |     11 |       4846 |       2880 |    76474 |     1869 |      124 |      674 |       37 |      162 |  20 | 37.962 |
272.36/59.22	c (33,0) c |  5 |     12 |       5735 |       3450 |    80323 |     2446 |      141 |      653 |       44 |      172 |  20 | 37.952 |
272.36/59.22	c (33,0) c |  6 |      7 |       4944 |       2919 |    72143 |     1918 |      122 |      679 |       31 |      170 |  20 | 37.958 |
272.36/59.22	c (33,0) c |  7 |      9 |       5353 |       3252 |    75820 |     2252 |      106 |      693 |       49 |      166 |  20 | 37.971 |
272.36/59.22	c (33,0) c 
272.36/59.22	c (33,0) c synthesis       24495 conflicts   328295597 propagations      106 conflicts/sec  1421076 propagations/sec
272.36/59.22	c (33,0) c real: 33.5916 s, cpu: 231.019 s, memory: 3448.39 Mb
495.43/88.22	c (62,0) c
495.43/88.22	c (62,0) c |------------------------------------------------------------------------------------------------------------------------|
495.43/88.22	c (62,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
495.43/88.22	c (62,0) c |------------------------------------------------------------------------------------------------------------------------|
495.43/88.22	c (62,0) c |  0 |      7 |      10743 |       6441 |   120050 |     5436 |      653 |     2687 |      143 |      301 |  20 | 38.081 |
495.43/88.22	c (62,0) c |  1 |     19 |      10535 |       6402 |   126036 |     5392 |      713 |     1262 |      100 |      291 |  20 | 38.063 |
495.43/88.22	c (62,0) c |  2 |     18 |      10395 |       6369 |   127304 |     5365 |      649 |     1985 |      157 |      311 |  20 | 38.074 |
495.43/88.22	c (62,0) c |  3 |     14 |      10558 |       6503 |   126375 |     5490 |      637 |     2593 |      140 |      311 |  20 | 38.088 |
495.43/88.22	c (62,0) c |  4 |     16 |       9717 |       5972 |   127071 |     4958 |      518 |     2065 |      146 |      311 |  20 | 38.074 |
495.43/88.22	c (62,0) c |  5 |     17 |      10748 |       6610 |   125048 |     2812 |      722 |     2364 |      153 |      311 |  20 | 38.088 |
495.43/88.22	c (62,0) c |  6 |     12 |       9730 |       5949 |   120250 |     4939 |      502 |     2515 |      157 |      311 |  20 | 38.074 |
495.43/88.22	c (62,0) c |  7 |     14 |      10970 |       6857 |   127285 |     3059 |      678 |     2435 |      151 |      311 |  20 | 38.087 |
495.43/88.22	c (62,0) c 
495.43/88.22	c (62,0) c synthesis       51103 conflicts   690172694 propagations      113 conflicts/sec  1521965 propagations/sec
495.43/88.22	c (62,0) c real: 62.5915 s, cpu: 453.475 s, memory: 3448.65 Mb
719.00/117.23	c (91,0) c
719.00/117.23	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
719.00/117.23	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
719.00/117.23	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
719.00/117.23	c (91,0) c |  0 |     11 |      16378 |       9966 |   161621 |     6161 |     1505 |     8207 |      444 |      442 |  20 | 38.162 |
719.00/117.23	c (91,0) c |  1 |     26 |      16309 |      10013 |   166593 |     6136 |     1629 |     8077 |      488 |      435 |  20 | 38.164 |
719.00/117.23	c (91,0) c |  2 |     27 |      15280 |       9466 |   166881 |     5660 |     1298 |     9284 |      569 |      453 |  20 | 38.490 |
719.00/117.23	c (91,0) c |  3 |     23 |      15371 |       9707 |   159482 |     5903 |     1353 |     8586 |      417 |      454 |  20 | 38.164 |
719.00/117.23	c (91,0) c |  4 |     24 |      14935 |       9296 |   165246 |     5492 |     1263 |     9176 |      605 |      454 |  20 | 38.164 |
719.00/117.23	c (91,0) c |  5 |     25 |      16054 |       9846 |   164474 |     6046 |     1458 |     9098 |      546 |      454 |  20 | 38.172 |
719.00/117.23	c (91,0) c |  6 |     14 |      14598 |       9107 |   156826 |     5301 |     1379 |     6557 |      493 |      454 |  20 | 38.133 |
719.00/117.23	c (91,0) c |  7 |     22 |      15909 |      10031 |   163989 |     6230 |     1359 |     8658 |      541 |      454 |  20 | 38.162 |
719.00/117.23	c (91,0) c 
719.00/117.23	c (91,0) c synthesis       77432 conflicts  1072051963 propagations      114 conflicts/sec  1585247 propagations/sec
719.00/117.23	c (91,0) c real: 91.5916 s, cpu: 676.268 s, memory: 3448.78 Mb
938.43/146.23	c (120,0) c
938.43/146.23	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
938.43/146.23	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
938.43/146.23	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
938.43/146.23	c (120,0) c |  0 |     15 |      21279 |      13304 |   187032 |     9135 |     2244 |    12638 |      898 |      583 |  20 | 38.516 |
938.43/146.23	c (120,0) c |  1 |     34 |      20800 |      13028 |   196526 |     8901 |     2244 |    12417 |      913 |      572 |  20 | 38.516 |
938.43/146.23	c (120,0) c |  2 |     33 |      19957 |      12468 |   194685 |     8361 |     1952 |    13910 |     1033 |      591 |  20 | 38.657 |
938.43/146.23	c (120,0) c |  3 |     28 |      20917 |      13153 |   197188 |     9314 |     2045 |    12711 |      956 |      591 |  20 | 38.516 |
938.43/146.23	c (120,0) c |  4 |     33 |      19940 |      12551 |   197556 |     7868 |     1986 |    14086 |     1154 |      592 |  20 | 38.658 |
938.43/146.23	c (120,0) c |  5 |     37 |      21435 |      13307 |   195855 |     9345 |     2147 |    13151 |     1115 |      592 |  20 | 38.518 |
938.43/146.23	c (120,0) c |  6 |     24 |      19645 |      12124 |   187657 |     8169 |     2043 |    13808 |      928 |      592 |  20 | 38.657 |
938.43/146.23	c (120,0) c |  7 |     33 |      21369 |      13536 |   193121 |     9636 |     2132 |    13238 |     1037 |      591 |  20 | 38.519 |
938.43/146.23	c (120,0) c 
938.43/146.23	c (120,0) c synthesis      103471 conflicts  1459253362 propagations      116 conflicts/sec  1630370 propagations/sec
938.43/146.23	c (120,0) c real: 120.592 s, cpu: 895.044 s, memory: 3449.04 Mb
1164.34/176.23	c (150,0) c
1164.34/176.23	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1164.34/176.23	c (150,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1164.34/176.23	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1164.34/176.23	c (150,0) c |  0 |     22 |      26543 |      16648 |   218260 |     7507 |     2914 |    18276 |     1415 |      724 |  20 | 38.873 |
1164.34/176.23	c (150,0) c |  1 |     37 |      25397 |      16202 |   218029 |     6874 |     2925 |    17867 |     1391 |      712 |  20 | 38.873 |
1164.34/176.23	c (150,0) c |  2 |     40 |      24821 |      15680 |   219118 |     6675 |     2617 |    18475 |     1541 |      731 |  20 | 38.873 |
1164.34/176.23	c (150,0) c |  3 |     40 |      26097 |      16376 |   219804 |     7506 |     2663 |    18682 |     1490 |      731 |  20 | 38.873 |
1164.34/176.23	c (150,0) c |  4 |     41 |      24655 |      15648 |   221286 |     6384 |     2605 |    18233 |     1613 |      731 |  20 | 38.873 |
1164.34/176.23	c (150,0) c |  5 |     43 |      26529 |      16776 |   219368 |     7807 |     2835 |    17313 |     1598 |      731 |  20 | 38.683 |
1164.34/176.23	c (150,0) c |  6 |     29 |      24923 |      15518 |   215826 |     6624 |     2744 |    17388 |     1471 |      730 |  20 | 38.688 |
1164.34/176.23	c (150,0) c |  7 |     44 |      26597 |      16842 |   217644 |     7947 |     2793 |    18378 |     1544 |      731 |  20 | 38.873 |
1164.34/176.23	c (150,0) c 
1164.34/176.23	c (150,0) c synthesis      129690 conflicts  1849590039 propagations      116 conflicts/sec  1652275 propagations/sec
1164.34/176.23	c (150,0) c real: 150.592 s, cpu: 1119.42 s, memory: 3449.17 Mb
1384.43/205.23	c (179,0) c
1384.43/205.23	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1384.43/205.23	c (179,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1384.43/205.23	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1384.43/205.23	c (179,0) c |  0 |     27 |      31704 |      19995 |   237614 |    10698 |     3531 |    23009 |     2048 |      861 |  20 | 38.913 |
1384.43/205.23	c (179,0) c |  1 |     44 |      30497 |      19568 |   237403 |    10118 |     3595 |    22114 |     1943 |      845 |  20 | 38.892 |
1384.43/205.23	c (179,0) c |  2 |     50 |      30040 |      18963 |   241956 |     9594 |     3253 |    23297 |     2144 |      865 |  20 | 38.913 |
1384.43/205.23	c (179,0) c |  3 |     51 |      31018 |      19716 |   239519 |    10527 |     3308 |    22777 |     2082 |      864 |  20 | 38.904 |
1384.43/205.23	c (179,0) c |  4 |     49 |      29806 |      19043 |   240818 |     8784 |     3337 |    23224 |     2235 |      864 |  20 | 38.968 |
1384.43/205.23	c (179,0) c |  5 |     45 |      31173 |      20079 |   236481 |    10463 |     3522 |    22612 |     2027 |      864 |  20 | 38.908 |
1384.43/205.23	c (179,0) c |  6 |     33 |      29995 |      18792 |   234676 |     9831 |     3376 |    22092 |     1907 |      864 |  20 | 38.891 |
1384.43/205.23	c (179,0) c |  7 |     55 |      31491 |      20085 |   235306 |    10856 |     3445 |    23115 |     2088 |      865 |  20 | 38.913 |
1384.43/205.23	c (179,0) c 
1384.43/205.23	c (179,0) c synthesis      156241 conflicts  2235040799 propagations      117 conflicts/sec  1669430 propagations/sec
1384.43/205.23	c (179,0) c real: 179.592 s, cpu: 1338.8 s, memory: 3449.30 Mb
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c real time : 189.009 s
1435.25/214.64	c (189,0) c cpu time  : 1389.2 s
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c | Conflicts     |          162363 |      20823 |      20775 |      19645 |      20378 |      19731 |      20707 |      19500 |      20804 |
1435.25/214.64	c (189,0) c | Decisions     |          254540 |      32848 |      32320 |      31095 |      32013 |      30721 |      32024 |      30992 |      32527 |
1435.25/214.64	c (189,0) c | Propagations  |      2326783903 |  293460052 |  295027663 |  288614916 |  290545533 |  291605447 |  290852489 |  283960048 |  292717755 |
1435.25/214.64	c (189,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
1435.25/214.64	c (189,0) c | SimpDBs       |             167 |         19 |         20 |         22 |         22 |         21 |         21 |         18 |         24 |
1435.25/214.64	c (189,0) c | Restarts      |             365 |         28 |         47 |         55 |         52 |         49 |         45 |         34 |         55 |
1435.25/214.64	c (189,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1435.25/214.64	c (189,0) c | PropBinClauses|      7742021272 |  957287156 |  977171905 |  965272130 |  964336729 |  975561480 |  971789828 |  952150183 |  978451861 |
1435.25/214.64	c (189,0) c | PropPreBlocker|     27410530547 | 3461505279 | 3425063168 | 3413026893 | 3422429087 | 3408699578 | 3422346108 | 3480007320 | 3377453114 |
1435.25/214.64	c (189,0) c | PropNotBlocker|      5099169269 |  624872967 |  633188321 |  646691744 |  636509692 |  648196458 |  638740119 |  625691987 |  645277981 |
1435.25/214.64	c (189,0) c | LitFullScans  |     42847492386 | 5351077132 | 5350919491 | 5357024178 | 5357371409 | 5357069471 | 5359880888 | 5358540703 | 5355609114 |
1435.25/214.64	c (189,0) c | LitScanFracts |         5589899 |     681017 |     614886 |     662891 |     727370 |     700900 |     739018 |     565535 |     898282 |
1435.25/214.64	c (189,0) c | DecisionLevel0|             594 |         59 |         78 |         81 |         73 |         92 |         67 |         66 |         78 |
1435.25/214.64	c (189,0) c | Periods       |            7133 |        891 |        891 |        892 |        892 |        892 |        892 |        892 |        891 |
1435.25/214.64	c (189,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1435.25/214.64	c (189,0) c | Avg_Trail     |                 |     211949 |     209814 |     211340 |     211841 |     211099 |     211825 |     213875 |     208935 |
1435.25/214.64	c (189,0) c | Avg_DL        |                 |         17 |         14 |         14 |         15 |         15 |         14 |         16 |         15 |
1435.25/214.64	c (189,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1435.25/214.64	c (189,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c | Exported      |           28875 |       3753 |       3939 |       3398 |       3464 |       3497 |       3683 |       3491 |       3650 |
1435.25/214.64	c (189,0) c | Imported      |          191626 |      23105 |      23995 |      24436 |      24013 |      23224 |      24191 |      24349 |      24313 |
1435.25/214.64	c (189,0) c | Good          |            2376 |        296 |        282 |        315 |        304 |        272 |        301 |        308 |        298 |
1435.25/214.64	c (189,0) c | Purge         |          189250 |      22809 |      23713 |      24121 |      23709 |      22952 |      23890 |      24041 |      24015 |
1435.25/214.64	c (189,0) c | Promoted      |           17617 |       2203 |       2204 |       2289 |       2209 |       2359 |       2098 |       2035 |       2220 |
1435.25/214.64	c (189,0) c | Remove_Imp    |           35430 |       3619 |       2494 |       5546 |       4416 |       6591 |       2993 |       5953 |       3818 |
1435.25/214.64	c (189,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c | Unaries       |                 |         31 |         31 |         26 |         21 |         43 |         22 |         32 |         23 |
1435.25/214.64	c (189,0) c | Binaries      |                 |         40 |         79 |         37 |         36 |         59 |         51 |         36 |         59 |
1435.25/214.64	c (189,0) c | Glues         |                 |        632 |        752 |        619 |        590 |        628 |        629 |        522 |        621 |
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c | Orig_Seen     |             7 % |     241010 |     242738 |     244900 |     242195 |     243827 |     238688 |     238448 |     237949 |
1435.25/214.64	c (189,0) c | Diff Orig seen|                 |       3061 |       4789 |       6951 |       4246 |       5878 |        739 |        499 |      X     |
1435.25/214.64	c (189,0) c | Hamming       |             9 % |      30285 |      28588 |      26640 |      40459 |      25721 |      32083 |      41025 |      X     |
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c | RunningTime   |                 |  181.9 100%|  184.6 100%|  174.6  96%|  172.7  95%|  173.1  95%|  171.0  94%|  168.7  93%|  173.7  96%|
1435.25/214.64	c (189,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    6.8   4%|    8.7   5%|    8.2   5%|   10.3   6%|   12.7   7%|    7.5   4%|
1435.25/214.64	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%|
1435.25/214.64	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%|
1435.25/214.64	c (189,0) c | SolvingTime   |                 |  181.9     |  184.6     |  181.4     |  181.5     |  181.4     |  181.4     |  181.4     |  181.3     |
1435.25/214.64	c (189,0) c | PropagationTim|                 |  173.2  95%|  175.4  95%|  170.5  94%|  169.9  94%|  170.7  94%|  170.0  94%|  170.7  94%|  170.5  94%|
1435.25/214.64	c (189,0) c | AnalysisTime  |                 |    2.9   2%|    3.0   2%|    2.9   2%|    3.0   2%|    2.9   2%|    3.0   2%|    3.1   2%|    2.9   2%|
1435.25/214.64	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%|
1435.25/214.64	c (189,0) c | SimplifyTime  |                 |    2.1   1%|    2.4   1%|    4.1   2%|    4.8   3%|    3.9   2%|    4.6   3%|    3.8   2%|    4.1   2%|
1435.25/214.64	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%|
1435.25/214.64	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%|
1435.25/214.64	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c
1435.25/214.64	c (189,0) c Threads : 8
1435.25/214.64	c (189,0) c Winner : 7
1435.25/214.64	c (189,0) c Conflicts_0 : 20823
1435.25/214.64	c (189,0) c Conflicts_1 : 20775
1435.25/214.64	c (189,0) c Conflicts_2 : 19645
1435.25/214.64	c (189,0) c Conflicts_3 : 20378
1435.25/214.64	c (189,0) c Conflicts_4 : 19731
1435.25/214.64	c (189,0) c Conflicts_5 : 20707
1435.25/214.64	c (189,0) c Conflicts_6 : 19500
1435.25/214.64	c (189,0) c Conflicts_7 : 20804
1435.25/214.64	c (189,0) c Conflicts_total : 162363
1435.25/214.64	c (189,0) c Conflicts_winner : 20804
1435.25/214.64	c (189,0) c Decisions_0 : 32848
1435.25/214.64	c (189,0) c Decisions_1 : 32320
1435.25/214.64	c (189,0) c Decisions_2 : 31095
1435.25/214.64	c (189,0) c Decisions_3 : 32013
1435.25/214.64	c (189,0) c Decisions_4 : 30721
1435.25/214.64	c (189,0) c Decisions_5 : 32024
1435.25/214.64	c (189,0) c Decisions_6 : 30992
1435.25/214.64	c (189,0) c Decisions_7 : 32527
1435.25/214.64	c (189,0) c Decisions_total : 254540
1435.25/214.64	c (189,0) c Decisions_winner : 32527
1435.25/214.64	c (189,0) c Propagations_0 : 293460052
1435.25/214.64	c (189,0) c Propagations_1 : 295027663
1435.25/214.64	c (189,0) c Propagations_2 : 288614916
1435.25/214.64	c (189,0) c Propagations_3 : 290545533
1435.25/214.64	c (189,0) c Propagations_4 : 291605447
1435.25/214.64	c (189,0) c Propagations_5 : 290852489
1435.25/214.64	c (189,0) c Propagations_6 : 283960048
1435.25/214.64	c (189,0) c Propagations_7 : 292717755
1435.25/214.64	c (189,0) c Propagations_total : 2326783903
1435.25/214.64	c (189,0) c Propagations_winner : 292717755
1435.25/214.64	c (189,0) c ReduceDBs_0 : 3
1435.25/214.64	c (189,0) c ReduceDBs_1 : 3
1435.25/214.64	c (189,0) c ReduceDBs_2 : 3
1435.25/214.64	c (189,0) c ReduceDBs_3 : 3
1435.25/214.64	c (189,0) c ReduceDBs_4 : 3
1435.25/214.64	c (189,0) c ReduceDBs_5 : 3
1435.25/214.64	c (189,0) c ReduceDBs_6 : 3
1435.25/214.64	c (189,0) c ReduceDBs_7 : 3
1435.25/214.64	c (189,0) c ReduceDBs_total : 24
1435.25/214.64	c (189,0) c ReduceDBs_winner : 3
1435.25/214.64	c (189,0) c SimpDBs_0 : 19
1435.25/214.64	c (189,0) c SimpDBs_1 : 20
1435.25/214.64	c (189,0) c SimpDBs_2 : 22
1435.25/214.64	c (189,0) c SimpDBs_3 : 22
1435.25/214.64	c (189,0) c SimpDBs_4 : 21
1435.25/214.64	c (189,0) c SimpDBs_5 : 21
1435.25/214.64	c (189,0) c SimpDBs_6 : 18
1435.25/214.64	c (189,0) c SimpDBs_7 : 24
1435.25/214.64	c (189,0) c SimpDBs_total : 167
1435.25/214.64	c (189,0) c SimpDBs_winner : 24
1435.25/214.64	c (189,0) c Restarts_0 : 28
1435.25/214.64	c (189,0) c Restarts_1 : 47
1435.25/214.64	c (189,0) c Restarts_2 : 55
1435.25/214.64	c (189,0) c Restarts_3 : 52
1435.25/214.64	c (189,0) c Restarts_4 : 49
1435.25/214.64	c (189,0) c Restarts_5 : 45
1435.25/214.64	c (189,0) c Restarts_6 : 34
1435.25/214.64	c (189,0) c Restarts_7 : 55
1435.25/214.64	c (189,0) c Restarts_total : 365
1435.25/214.64	c (189,0) c Restarts_winner : 55
1435.25/214.64	c (189,0) c ForcedImports_0 : 0
1435.25/214.64	c (189,0) c ForcedImports_1 : 0
1435.25/214.64	c (189,0) c ForcedImports_2 : 0
1435.25/214.64	c (189,0) c ForcedImports_3 : 0
1435.25/214.64	c (189,0) c ForcedImports_4 : 0
1435.25/214.64	c (189,0) c ForcedImports_5 : 0
1435.25/214.64	c (189,0) c ForcedImports_6 : 0
1435.25/214.64	c (189,0) c ForcedImports_7 : 0
1435.25/214.64	c (189,0) c ForcedImports_total : 0
1435.25/214.64	c (189,0) c ForcedImports_winner : 0
1435.25/214.64	c (189,0) c PropsBinClauses_0 : 957287156
1435.25/214.64	c (189,0) c PropsBinClauses_1 : 977171905
1435.25/214.64	c (189,0) c PropsBinClauses_2 : 965272130
1435.25/214.64	c (189,0) c PropsBinClauses_3 : 964336729
1435.25/214.64	c (189,0) c PropsBinClauses_4 : 975561480
1435.25/214.64	c (189,0) c PropsBinClauses_5 : 971789828
1435.25/214.64	c (189,0) c PropsBinClauses_6 : 952150183
1435.25/214.64	c (189,0) c PropsBinClauses_7 : 978451861
1435.25/214.64	c (189,0) c PropsBinClauses_total : 7742021272
1435.25/214.64	c (189,0) c PropsBinClauses_winner : 978451861
1435.25/214.64	c (189,0) c PropsPreBlocker_0 : 3461505279
1435.25/214.64	c (189,0) c PropsPreBlocker_1 : 3425063168
1435.25/214.64	c (189,0) c PropsPreBlocker_2 : 3413026893
1435.25/214.64	c (189,0) c PropsPreBlocker_3 : 3422429087
1435.25/214.64	c (189,0) c PropsPreBlocker_4 : 3408699578
1435.25/214.64	c (189,0) c PropsPreBlocker_5 : 3422346108
1435.25/214.64	c (189,0) c PropsPreBlocker_6 : 3480007320
1435.25/214.64	c (189,0) c PropsPreBlocker_7 : 3377453114
1435.25/214.64	c (189,0) c PropsPreBlocker_total : 27410530547
1435.25/214.64	c (189,0) c PropsPreBlocker_winner : 3377453114
1435.25/214.64	c (189,0) c PropsNotBlocker_0 : 624872967
1435.25/214.64	c (189,0) c PropsNotBlocker_1 : 633188321
1435.25/214.64	c (189,0) c PropsNotBlocker_2 : 646691744
1435.25/214.64	c (189,0) c PropsNotBlocker_3 : 636509692
1435.25/214.64	c (189,0) c PropsNotBlocker_4 : 648196458
1435.25/214.64	c (189,0) c PropsNotBlocker_5 : 638740119
1435.25/214.64	c (189,0) c PropsNotBlocker_6 : 625691987
1435.25/214.64	c (189,0) c PropsNotBlocker_7 : 645277981
1435.25/214.64	c (189,0) c PropsNotBlocker_total : 5099169269
1435.25/214.64	c (189,0) c PropsNotBlocker_winner : 645277981
1435.25/214.64	c (189,0) c PropsLitFullScans_0 : 5351077132
1435.25/214.64	c (189,0) c PropsLitFullScans_1 : 5350919491
1435.25/214.64	c (189,0) c PropsLitFullScans_2 : 5357024178
1435.25/214.64	c (189,0) c PropsLitFullScans_3 : 5357371409
1435.25/214.64	c (189,0) c PropsLitFullScans_4 : 5357069471
1435.25/214.64	c (189,0) c PropsLitFullScans_5 : 5359880888
1435.25/214.64	c (189,0) c PropsLitFullScans_6 : 5358540703
1435.25/214.64	c (189,0) c PropsLitFullScans_7 : 5355609114
1435.25/214.64	c (189,0) c PropsLitFullScans_total : 42847492386
1435.25/214.64	c (189,0) c PropsLitFullScans_winner : 5355609114
1435.25/214.64	c (189,0) c LitScanFractions_0 : 681017
1435.25/214.64	c (189,0) c LitScanFractions_1 : 614886
1435.25/214.64	c (189,0) c LitScanFractions_2 : 662891
1435.25/214.64	c (189,0) c LitScanFractions_3 : 727370
1435.25/214.64	c (189,0) c LitScanFractions_4 : 700900
1435.25/214.64	c (189,0) c LitScanFractions_5 : 739018
1435.25/214.64	c (189,0) c LitScanFractions_6 : 565535
1435.25/214.64	c (189,0) c LitScanFractions_7 : 898282
1435.25/214.64	c (189,0) c LitScanFractions_total : 5589899
1435.25/214.64	c (189,0) c LitScanFractions_winner : 898282
1435.25/214.64	c (189,0) c DecisionLevel0_0 : 59
1435.25/214.64	c (189,0) c DecisionLevel0_1 : 78
1435.25/214.64	c (189,0) c DecisionLevel0_2 : 81
1435.25/214.64	c (189,0) c DecisionLevel0_3 : 73
1435.25/214.64	c (189,0) c DecisionLevel0_4 : 92
1435.25/214.64	c (189,0) c DecisionLevel0_5 : 67
1435.25/214.64	c (189,0) c DecisionLevel0_6 : 66
1435.25/214.64	c (189,0) c DecisionLevel0_7 : 78
1435.25/214.64	c (189,0) c DecisionLevel0_total : 594
1435.25/214.64	c (189,0) c DecisionLevel0_winner : 78
1435.25/214.64	c (189,0) c Periods_0 : 891
1435.25/214.64	c (189,0) c Periods_1 : 891
1435.25/214.64	c (189,0) c Periods_2 : 892
1435.25/214.64	c (189,0) c Periods_3 : 892
1435.25/214.64	c (189,0) c Periods_4 : 892
1435.25/214.64	c (189,0) c Periods_5 : 892
1435.25/214.64	c (189,0) c Periods_6 : 892
1435.25/214.64	c (189,0) c Periods_7 : 891
1435.25/214.64	c (189,0) c Periods_total : 7133
1435.25/214.64	c (189,0) c Periods_winner : 891
1435.25/214.64	c (189,0) c Margin_0 : 20
1435.25/214.64	c (189,0) c Margin_1 : 20
1435.25/214.64	c (189,0) c Margin_2 : 20
1435.25/214.64	c (189,0) c Margin_3 : 20
1435.25/214.64	c (189,0) c Margin_4 : 20
1435.25/214.64	c (189,0) c Margin_5 : 20
1435.25/214.64	c (189,0) c Margin_6 : 20
1435.25/214.64	c (189,0) c Margin_7 : 20
1435.25/214.64	c (189,0) c Margin_total : 160
1435.25/214.64	c (189,0) c Margin_winner : 20
1435.25/214.64	c (189,0) c Exported_0 : 3753
1435.25/214.64	c (189,0) c Exported_1 : 3939
1435.25/214.64	c (189,0) c Exported_2 : 3398
1435.25/214.64	c (189,0) c Exported_3 : 3464
1435.25/214.64	c (189,0) c Exported_4 : 3497
1435.25/214.64	c (189,0) c Exported_5 : 3683
1435.25/214.64	c (189,0) c Exported_6 : 3491
1435.25/214.64	c (189,0) c Exported_7 : 3650
1435.25/214.64	c (189,0) c Exported_total : 28875
1435.25/214.64	c (189,0) c Exported_winner : 3650
1435.25/214.64	c (189,0) c Imported_0 : 23105
1435.25/214.64	c (189,0) c Imported_1 : 23995
1435.25/214.64	c (189,0) c Imported_2 : 24436
1435.25/214.64	c (189,0) c Imported_3 : 24013
1435.25/214.64	c (189,0) c Imported_4 : 23224
1435.25/214.64	c (189,0) c Imported_5 : 24191
1435.25/214.64	c (189,0) c Imported_6 : 24349
1435.25/214.64	c (189,0) c Imported_7 : 24313
1435.25/214.64	c (189,0) c Imported_total : 191626
1435.25/214.64	c (189,0) c Imported_winner : 24313
1435.25/214.64	c (189,0) c Good_0 : 296
1435.25/214.64	c (189,0) c Good_1 : 282
1435.25/214.64	c (189,0) c Good_2 : 315
1435.25/214.64	c (189,0) c Good_3 : 304
1435.25/214.64	c (189,0) c Good_4 : 272
1435.25/214.64	c (189,0) c Good_5 : 301
1435.25/214.64	c (189,0) c Good_6 : 308
1435.25/214.64	c (189,0) c Good_7 : 298
1435.25/214.64	c (189,0) c Good_total : 2376
1435.25/214.64	c (189,0) c Good_winner : 298
1435.25/214.64	c (189,0) c Purge_0 : 22809
1435.25/214.64	c (189,0) c Purge_1 : 23713
1435.25/214.64	c (189,0) c Purge_2 : 24121
1435.25/214.64	c (189,0) c Purge_3 : 23709
1435.25/214.64	c (189,0) c Purge_4 : 22952
1435.25/214.64	c (189,0) c Purge_5 : 23890
1435.25/214.64	c (189,0) c Purge_6 : 24041
1435.25/214.64	c (189,0) c Purge_7 : 24015
1435.25/214.64	c (189,0) c Purge_total : 189250
1435.25/214.64	c (189,0) c Purge_winner : 24015
1435.25/214.64	c (189,0) c Promoted_0 : 2203
1435.25/214.64	c (189,0) c Promoted_1 : 2204
1435.25/214.64	c (189,0) c Promoted_2 : 2289
1435.25/214.64	c (189,0) c Promoted_3 : 2209
1435.25/214.64	c (189,0) c Promoted_4 : 2359
1435.25/214.64	c (189,0) c Promoted_5 : 2098
1435.25/214.64	c (189,0) c Promoted_6 : 2035
1435.25/214.64	c (189,0) c Promoted_7 : 2220
1435.25/214.64	c (189,0) c Promoted_total : 17617
1435.25/214.64	c (189,0) c Promoted_winner : 2220
1435.25/214.64	c (189,0) c Remove_Imp_0 : 3619
1435.25/214.64	c (189,0) c Remove_Imp_1 : 2494
1435.25/214.64	c (189,0) c Remove_Imp_2 : 5546
1435.25/214.64	c (189,0) c Remove_Imp_3 : 4416
1435.25/214.64	c (189,0) c Remove_Imp_4 : 6591
1435.25/214.64	c (189,0) c Remove_Imp_5 : 2993
1435.25/214.64	c (189,0) c Remove_Imp_6 : 5953
1435.25/214.64	c (189,0) c Remove_Imp_7 : 3818
1435.25/214.64	c (189,0) c Remove_Imp_total : 35430
1435.25/214.64	c (189,0) c Remove_Imp_winner : 3818
1435.25/214.64	c (189,0) c Blocked_Reuse_0 : 0
1435.25/214.64	c (189,0) c Blocked_Reuse_1 : 0
1435.25/214.64	c (189,0) c Blocked_Reuse_2 : 0
1435.25/214.64	c (189,0) c Blocked_Reuse_3 : 0
1435.25/214.64	c (189,0) c Blocked_Reuse_4 : 0
1435.25/214.65	c (189,0) c Blocked_Reuse_5 : 0
1435.25/214.65	c (189,0) c Blocked_Reuse_6 : 0
1435.25/214.65	c (189,0) c Blocked_Reuse_7 : 0
1435.25/214.65	c (189,0) c Blocked_Reuse_total : 0
1435.25/214.65	c (189,0) c Blocked_Reuse_winner : 0
1435.25/214.65	c (189,0) c Unaries_0 : 31
1435.25/214.65	c (189,0) c Unaries_1 : 31
1435.25/214.65	c (189,0) c Unaries_2 : 26
1435.25/214.65	c (189,0) c Unaries_3 : 21
1435.25/214.65	c (189,0) c Unaries_4 : 43
1435.25/214.65	c (189,0) c Unaries_5 : 22
1435.25/214.65	c (189,0) c Unaries_6 : 32
1435.25/214.65	c (189,0) c Unaries_7 : 23
1435.25/214.65	c (189,0) c Unaries_total : 229
1435.25/214.65	c (189,0) c Unaries_winner : 23
1435.25/214.65	c (189,0) c Binaries_0 : 40
1435.25/214.65	c (189,0) c Binaries_1 : 79
1435.25/214.65	c (189,0) c Binaries_2 : 37
1435.25/214.65	c (189,0) c Binaries_3 : 36
1435.25/214.65	c (189,0) c Binaries_4 : 59
1435.25/214.65	c (189,0) c Binaries_5 : 51
1435.25/214.65	c (189,0) c Binaries_6 : 36
1435.25/214.65	c (189,0) c Binaries_7 : 59
1435.25/214.65	c (189,0) c Binaries_total : 397
1435.25/214.65	c (189,0) c Binaries_winner : 59
1435.25/214.65	c (189,0) c Glues_0 : 632
1435.25/214.65	c (189,0) c Glues_1 : 752
1435.25/214.65	c (189,0) c Glues_2 : 619
1435.25/214.65	c (189,0) c Glues_3 : 590
1435.25/214.65	c (189,0) c Glues_4 : 628
1435.25/214.65	c (189,0) c Glues_5 : 629
1435.25/214.65	c (189,0) c Glues_6 : 522
1435.25/214.65	c (189,0) c Glues_7 : 621
1435.25/214.65	c (189,0) c Glues_total : 4993
1435.25/214.65	c (189,0) c Glues_winner : 621
1435.25/214.65	c (189,0) c RunningTime_0 : 181.888131
1435.25/214.65	c (189,0) c RunningTime_1 : 184.595890
1435.25/214.65	c (189,0) c RunningTime_2 : 174.559063
1435.25/214.65	c (189,0) c RunningTime_3 : 172.703264
1435.25/214.65	c (189,0) c RunningTime_4 : 173.116028
1435.25/214.65	c (189,0) c RunningTime_5 : 171.036226
1435.25/214.65	c (189,0) c RunningTime_6 : 168.701230
1435.25/214.65	c (189,0) c RunningTime_7 : 173.737400
1435.25/214.65	c (189,0) c RunningTime_total : 1400.337231
1435.25/214.65	c (189,0) c RunningTime_winner : 173.737400
1435.25/214.65	c (189,0) c WaitingTime_0 : 0.001491
1435.25/214.65	c (189,0) c WaitingTime_1 : 0.001139
1435.25/214.65	c (189,0) c WaitingTime_2 : 6.783663
1435.25/214.65	c (189,0) c WaitingTime_3 : 8.724651
1435.25/214.65	c (189,0) c WaitingTime_4 : 8.229745
1435.25/214.65	c (189,0) c WaitingTime_5 : 10.349517
1435.25/214.65	c (189,0) c WaitingTime_6 : 12.674046
1435.25/214.65	c (189,0) c WaitingTime_7 : 7.522586
1435.25/214.65	c (189,0) c WaitingTime_total : 54.286840
1435.25/214.65	c (189,0) c WaitingTime_winner : 7.522586
1435.25/214.65	c (189,0) c ExchangingTime_0 : 0.023497
1435.25/214.65	c (189,0) c ExchangingTime_1 : 0.023187
1435.25/214.65	c (189,0) c ExchangingTime_2 : 0.025841
1435.25/214.65	c (189,0) c ExchangingTime_3 : 0.025029
1435.25/214.65	c (189,0) c ExchangingTime_4 : 0.024770
1435.25/214.65	c (189,0) c ExchangingTime_5 : 0.023049
1435.25/214.65	c (189,0) c ExchangingTime_6 : 0.022051
1435.25/214.65	c (189,0) c ExchangingTime_7 : 0.022907
1435.25/214.65	c (189,0) c ExchangingTime_total : 0.190332
1435.25/214.65	c (189,0) c ExchangingTime_winner : 0.022907
1435.25/214.65	c (189,0) c PeriodProcTime_0 : 0.009014
1435.25/214.65	c (189,0) c PeriodProcTime_1 : 0.014269
1435.25/214.65	c (189,0) c PeriodProcTime_2 : 0.009984
1435.25/214.65	c (189,0) c PeriodProcTime_3 : 0.009861
1435.25/214.65	c (189,0) c PeriodProcTime_4 : 0.009556
1435.25/214.65	c (189,0) c PeriodProcTime_5 : 0.009230
1435.25/214.65	c (189,0) c PeriodProcTime_6 : 0.009786
1435.25/214.65	c (189,0) c PeriodProcTime_7 : 0.009063
1435.25/214.65	c (189,0) c PeriodProcTime_total : 0.080763
1435.25/214.65	c (189,0) c PeriodProcTime_winner : 0.009063
1435.25/214.65	c (189,0) c SolvingTime_0 : 181.922133
1435.25/214.65	c (189,0) c SolvingTime_1 : 184.634486
1435.25/214.65	c (189,0) c SolvingTime_2 : 181.378551
1435.25/214.65	c (189,0) c SolvingTime_3 : 181.462806
1435.25/214.65	c (189,0) c SolvingTime_4 : 181.380100
1435.25/214.65	c (189,0) c SolvingTime_5 : 181.418022
1435.25/214.65	c (189,0) c SolvingTime_6 : 181.407113
1435.25/214.65	c (189,0) c SolvingTime_7 : 181.291956
1435.25/214.65	c (189,0) c SolvingTime_total : 1454.895167
1435.25/214.65	c (189,0) c SolvingTime_winner : 181.291956
1435.25/214.65	c (189,0) c PropagationTime_0 : 173.233130
1435.25/214.65	c (189,0) c PropagationTime_1 : 175.436199
1435.25/214.65	c (189,0) c PropagationTime_2 : 170.517043
1435.25/214.65	c (189,0) c PropagationTime_3 : 169.906733
1435.25/214.65	c (189,0) c PropagationTime_4 : 170.708771
1435.25/214.65	c (189,0) c PropagationTime_5 : 170.036450
1435.25/214.65	c (189,0) c PropagationTime_6 : 170.734494
1435.25/214.65	c (189,0) c PropagationTime_7 : 170.534348
1435.25/214.65	c (189,0) c PropagationTime_total : 1371.107169
1435.25/214.65	c (189,0) c PropagationTime_winner : 170.534348
1435.25/214.65	c (189,0) c AnalysisTime_0 : 2.859847
1435.25/214.65	c (189,0) c AnalysisTime_1 : 2.976426
1435.25/214.65	c (189,0) c AnalysisTime_2 : 2.904355
1435.25/214.65	c (189,0) c AnalysisTime_3 : 3.016446
1435.25/214.65	c (189,0) c AnalysisTime_4 : 2.914311
1435.25/214.65	c (189,0) c AnalysisTime_5 : 3.018231
1435.25/214.65	c (189,0) c AnalysisTime_6 : 3.120119
1435.25/214.65	c (189,0) c AnalysisTime_7 : 2.882862
1435.25/214.65	c (189,0) c AnalysisTime_total : 23.692597
1435.25/214.65	c (189,0) c AnalysisTime_winner : 2.882862
1435.25/214.65	c (189,0) c ReductionTime_0 : 0.007058
1435.25/214.65	c (189,0) c ReductionTime_1 : 0.006432
1435.25/214.65	c (189,0) c ReductionTime_2 : 0.007170
1435.25/214.65	c (189,0) c ReductionTime_3 : 0.006966
1435.25/214.65	c (189,0) c ReductionTime_4 : 0.006842
1435.25/214.65	c (189,0) c ReductionTime_5 : 0.008326
1435.25/214.65	c (189,0) c ReductionTime_6 : 0.007413
1435.25/214.65	c (189,0) c ReductionTime_7 : 0.007708
1435.25/214.65	c (189,0) c ReductionTime_total : 0.057914
1435.25/214.65	c (189,0) c ReductionTime_winner : 0.007708
1435.25/214.65	c (189,0) c SimplifyTime_0 : 2.103781
1435.25/214.65	c (189,0) c SimplifyTime_1 : 2.357803
1435.25/214.65	c (189,0) c SimplifyTime_2 : 4.141390
1435.25/214.65	c (189,0) c SimplifyTime_3 : 4.753681
1435.25/214.65	c (189,0) c SimplifyTime_4 : 3.945566
1435.25/214.65	c (189,0) c SimplifyTime_5 : 4.587471
1435.25/214.65	c (189,0) c SimplifyTime_6 : 3.826241
1435.25/214.65	c (189,0) c SimplifyTime_7 : 4.095461
1435.25/214.65	c (189,0) c SimplifyTime_total : 29.811394
1435.25/214.65	c (189,0) c SimplifyTime_winner : 4.095461
1435.25/214.65	c (189,0) c UsedRateTime_0 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_1 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_2 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_3 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_4 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_5 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_6 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_7 : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_total : 0.000000
1435.25/214.65	c (189,0) c UsedRateTime_winner : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_0 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_1 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_2 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_3 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_4 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_5 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_6 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_7 : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_total : 0.000000
1435.25/214.65	c (189,0) c OverlapRateTime_winner : 0.000000
1435.25/214.65	c (189,0) c
1435.25/214.65	c (189,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1435.25/214.65	c (189,0) c
1435.25/214.65	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.65	c (189,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1435.25/214.65	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.65	c (189,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1435.25/214.65	c (189,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1435.25/214.65	c (189,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1435.25/214.65	c (189,0) c | Initial random_seed   |  679722083 |  980670247 | 1431137226 |  283383587 | 1403871875 | 1706825524 |  673814171 |  865970203 |
1435.25/214.65	c (189,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1435.25/214.65	c (189,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1435.25/214.65	c (189,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1435.25/214.65	c (189,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1435.25/214.65	c (189,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1435.25/214.65	c (189,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1435.25/214.65	c (189,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1435.25/214.65	c (189,0) c | var_decay             |     0.8400 |     0.8400 |     0.8300 |     0.8400 |     0.8300 |     0.8400 |     0.8300 |     0.8400 |
1435.25/214.65	c (189,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1435.25/214.65	c (189,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1435.25/214.65	c (189,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1435.25/214.65	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1435.25/214.65	c (189,0) 
1435.25/214.65	c (189,0) s UNSATISFIABLE
36.34/214.82	c (189,0) SatSolver.solve End
36.34/214.82	c (189,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
36.34/214.83	c (189,0) Show results Begin
36.34/214.83	s UNSATISFIABLE
36.34/214.83	c (189,0) Show results End
36.34/214.83	c (189,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
36.34/214.83	c (189,0) 189,189,STOP-AFTER(ALL)
36.34/214.83	c END-Prog: Sat Sep 14 08:25:57 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 (15116 MiB free)
  memory of node 1: 16384 MiB (15675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392486-1568442179/watcher-4392486-1568442179 -o /tmp/evaluation-result-4392486-1568442179/solver-4392486-1568442179 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392486-1568442179.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
Current StackSize limit: 8192 KiB

solver pid=17240, runsolver pid=17237

[startup+0.100132 s]*
/proc/loadavg: 8.50 8.33 8.25 3/211 17262
/proc/meminfo: memFree=31435648/32770624 swapFree=67004232/67108860
[pid=17240] ppid=17237 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17240/stat : 17240 (scop.sh) S 17237 17240 17196 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420379493 115843072 348 33554432000 4194304 5098028 140737026665824 140737026663080 140712981185148 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40681472 140737026667301 140737026667628 140737026667628 140737026670541 0
/proc/17240/statm: 28282 348 296 221 0 87 0
[pid=17243] ppid=17240 vsize=27314120 memory=106584 CPUtime=0.1 cores=0-7
/proc/17243/stat : 17243 (java) S 17240 17240 17196 0 -1 1077944320 6733 0 0 0 8 2 0 0 20 0 20 0 420379493 27969658880 26646 33554432000 4194304 4196468 140727209586912 140727209569456 140509797302007 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
/proc/17243/statm: 6828530 26646 2797 1 0 6790935 0
[pid=17243/tid=17244] ppid=17240 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/17243/task/17244/stat : 17244 (java) R 17240 17240 17196 0 -1 4202560 4824 0 0 0 7 2 0 0 20 0 20 0 420379493 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509769137136 140509781382494 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17245] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17245/stat : 17245 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509801544464 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17246] ppid=17240 vsize=27314120 memory=140450013426583 CPUtime=0 cores=0-7
/proc/17243/task/17246/stat : 17246 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509615700880 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17247] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17247/stat : 17247 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509614648336 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17248] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17248/stat : 17248 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509613595792 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17249] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17249/stat : 17249 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509612542224 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17250] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17250/stat : 17250 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509611489680 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17251] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17251/stat : 17251 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509610437136 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17252] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17252/stat : 17252 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 26646 33554432000 4194304 4196468 140727209586912 140509609384592 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17253] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17253/stat : 17253 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379497 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507916077552 140509797313154 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17254] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17254/stat : 17254 (java) S 17240 17240 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420379498 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507707598240 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17255] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17255/stat : 17255 (java) S 17240 17240 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420379498 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507573376496 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17256] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17256/stat : 17256 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507198872272 140509797320603 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17257] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17257/stat : 17257 (java) S 17240 17240 17196 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507915024368 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17258] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17258/stat : 17258 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507913971824 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17259] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17259/stat : 17259 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507912919280 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17260] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17260/stat : 17260 (java) S 17240 17240 17196 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507911866736 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17261] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17261/stat : 17261 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140506700966624 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17262] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17262/stat : 17262 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 26646 33554432000 4194304 4196468 140727209586912 140507910814640 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107976 KiB

[startup+0.210114 s]*
/proc/loadavg: 8.50 8.33 8.25 3/211 17262
/proc/meminfo: memFree=31413928/32770624 swapFree=67004232/67108860
[pid=17240] ppid=17237 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17240/stat : 17240 (scop.sh) S 17237 17240 17196 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420379493 115843072 348 33554432000 4194304 5098028 140737026665824 140737026663080 140712981185148 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40681472 140737026667301 140737026667628 140737026667628 140737026670541 0
/proc/17240/statm: 28282 348 296 221 0 87 0
[pid=17243] ppid=17240 vsize=27314120 memory=125904 CPUtime=0.24 cores=0-7
/proc/17243/stat : 17243 (java) S 17240 17240 17196 0 -1 1077944320 12346 0 0 0 20 4 0 0 20 0 20 0 420379493 27969658880 31476 33554432000 4194304 4196468 140727209586912 140727209569456 140509797302007 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
/proc/17243/statm: 6828530 31476 2970 1 0 6790935 0
[pid=17243/tid=17244] ppid=17240 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/17243/task/17244/stat : 17244 (java) R 17240 17240 17196 0 -1 4202560 10042 0 0 0 16 3 0 0 20 0 20 0 420379493 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509769122912 140509777577224 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17245] ppid=17240 vsize=27314120 memory=14965 CPUtime=0 cores=0-7
/proc/17243/task/17245/stat : 17245 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509801544464 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17246] ppid=17240 vsize=27314120 memory=3834455483381282464 CPUtime=0 cores=0-7
/proc/17243/task/17246/stat : 17246 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509615700880 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17247] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17247/stat : 17247 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509614648336 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17248] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17248/stat : 17248 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509613595792 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17249] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17249/stat : 17249 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509612542224 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17250] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17250/stat : 17250 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509611489680 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17251] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17251/stat : 17251 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509610437136 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17252] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17252/stat : 17252 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 31476 33554432000 4194304 4196468 140727209586912 140509609384592 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17253] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17253/stat : 17253 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379497 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507916077552 140509797313154 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17254] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17254/stat : 17254 (java) S 17240 17240 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420379498 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507707598240 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17255] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17255/stat : 17255 (java) S 17240 17240 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420379498 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507573376496 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17256] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17256/stat : 17256 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507198872272 140509797320603 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17257] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17257/stat : 17257 (java) S 17240 17240 17196 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507915024368 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17258] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17258/stat : 17258 (java) S 17240 17240 17196 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507913971824 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17259] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17259/stat : 17259 (java) S 17240 17240 17196 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507912919280 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17260] ppid=17240 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/17243/task/17260/stat : 17260 (java) S 17240 17240 17196 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507911866736 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17261] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17261/stat : 17261 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140506700966624 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17262] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17262/stat : 17262 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 31476 33554432000 4194304 4196468 140727209586912 140507910814640 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127296 KiB

[startup+0.309456 s]*
/proc/loadavg: 8.50 8.33 8.25 3/211 17262
/proc/meminfo: memFree=31410764/32770624 swapFree=67004232/67108860
[pid=17240] ppid=17237 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17240/stat : 17240 (scop.sh) S 17237 17240 17196 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420379493 115843072 348 33554432000 4194304 5098028 140737026665824 140737026663080 140712981185148 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40681472 140737026667301 140737026667628 140737026667628 140737026670541 0
/proc/17240/statm: 28282 348 296 221 0 87 0
[pid=17243] ppid=17240 vsize=27314120 memory=129488 CPUtime=0.42 cores=0-7
/proc/17243/stat : 17243 (java) S 17240 17240 17196 0 -1 1077944320 13264 0 0 0 36 6 0 0 20 0 20 0 420379493 27969658880 32372 33554432000 4194304 4196468 140727209586912 140727209569456 140509797302007 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
/proc/17243/statm: 6828530 32372 3024 1 0 6790935 0
[pid=17243/tid=17244] ppid=17240 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/17243/task/17244/stat : 17244 (java) R 17240 17240 17196 0 -1 4202560 10777 0 0 0 25 4 0 0 20 0 20 0 420379493 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509769085024 140509777577159 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17245] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17245/stat : 17245 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509801544464 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17246] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17246/stat : 17246 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509615700880 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17247] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17247/stat : 17247 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509614648336 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17248] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17248/stat : 17248 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509613595792 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17249] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17249/stat : 17249 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509612542224 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17250] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17250/stat : 17250 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509611489680 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17251] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17251/stat : 17251 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509610437136 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17252] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17252/stat : 17252 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379496 27969658880 32372 33554432000 4194304 4196468 140727209586912 140509609384592 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17253] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17253/stat : 17253 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379497 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507916077552 140509797313154 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17254] ppid=17240 vsize=27314120 memory=280899719732608 CPUtime=0 cores=0-7
/proc/17243/task/17254/stat : 17254 (java) S 17240 17240 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420379498 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507707598240 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17255] ppid=17240 vsize=27314120 memory=280899719737216 CPUtime=0 cores=0-7
/proc/17243/task/17255/stat : 17255 (java) S 17240 17240 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420379498 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507573376496 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17256] ppid=17240 vsize=27314120 memory=280899719741824 CPUtime=0 cores=0-7
/proc/17243/task/17256/stat : 17256 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507198872272 140509797320603 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17257] ppid=17240 vsize=27314120 memory=280899719746432 CPUtime=0 cores=0-7
/proc/17243/task/17257/stat : 17257 (java) S 17240 17240 17196 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507915024368 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17258] ppid=17240 vsize=27314120 memory=280899719751040 CPUtime=0 cores=0-7
/proc/17243/task/17258/stat : 17258 (java) S 17240 17240 17196 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507913971824 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17259] ppid=17240 vsize=27314120 memory=280899719755648 CPUtime=0.01 cores=0-7
/proc/17243/task/17259/stat : 17259 (java) S 17240 17240 17196 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507912919280 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17260] ppid=17240 vsize=27314120 memory=280899719760256 CPUtime=0.07 cores=0-7
/proc/17243/task/17260/stat : 17260 (java) S 17240 17240 17196 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507911866736 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17261] ppid=17240 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17261/stat : 17261 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140506700966624 140509797312213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17262] ppid=17240 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17243/task/17262/stat : 17262 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379501 27969658880 32372 33554432000 4194304 4196468 140727209586912 140507910814640 140509797313154 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130880 KiB

[startup+0.700875 s]
/proc/loadavg: 8.50 8.33 8.25 2/211 17262
/proc/meminfo: memFree=31389400/32770624 swapFree=67004232/67108860
[pid=17240] ppid=17237 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17240/stat : 17240 (scop.sh) S 17237 17240 17196 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420379493 115843072 348 33554432000 4194304 5098028 140737026665824 140737026663080 140712981185148 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40681472 140737026667301 140737026667628 140737026667628 140737026670541 0
/proc/17240/statm: 28282 348 296 221 0 87 0
[pid=17243] ppid=17240 vsize=27320392 memory=164968 CPUtime=0.99 cores=0-7
/proc/17243/stat : 17243 (java) S 17240 17240 17196 0 -1 1077944320 20351 0 0 0 91 8 0 0 20 0 20 0 420379493 27976081408 41242 33554432000 4194304 4196468 140727209586912 140727209569456 140509797302007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
/proc/17243/statm: 6830098 41242 3178 1 0 6791447 0
[pid=17243/tid=17244] ppid=17240 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/17243/task/17244/stat : 17244 (java) R 17240 17240 17196 0 -1 4202560 17352 0 0 0 61 6 0 0 20 0 20 0 420379493 27976081408 41242 33554432000 4194304 4196468 140727209586912 140509769139536 140509797313942 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17245] ppid=17240 vsize=27320392 memory=140449860068224 CPUtime=0 cores=0-7
/proc/17243/task/17245/stat : 17245 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420379496 27976081408 41242 33554432000 4194304 4196468 140727209586912 140509801544464 140509797312213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17246] ppid=17240 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17243/task/17246/stat : 17246 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27976081408 41242 33554432000 4194304 4196468 140727209586912 140509615700880 140509797312213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0
[pid=17243/tid=17247] ppid=17240 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/17243/task/17247/stat : 17247 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420379496 27976081408 41242 33554432000 4194304 4196468 140727209586912 140509614648336 140509797312213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24551424 140727209595627 140727209596054 140727209596054 140727209598927 0

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

[pid=17263/tid=17268] ppid=17240 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/17263/task/17268/stat : 17268 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123639167632 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17269] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17269/stat : 17269 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123638115088 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17270] ppid=17240 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/17263/task/17270/stat : 17270 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123637062544 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17271] ppid=17240 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/17263/task/17271/stat : 17271 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123636010000 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17272] ppid=17240 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/17263/task/17272/stat : 17272 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123634957456 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17273] ppid=17240 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/17263/task/17273/stat : 17273 (java) S 17240 17240 17196 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420381983 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123451009008 140124156201602 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17274] ppid=17240 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/17263/task/17274/stat : 17274 (java) S 17240 17240 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420381984 8616062976 30953 33554432000 4194304 4196468 140724990725008 140122771153824 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17275] ppid=17240 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/17263/task/17275/stat : 17275 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381984 8616062976 30953 33554432000 4194304 4196468 140724990725008 140122502718448 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17276] ppid=17240 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/17263/task/17276/stat : 17276 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140122128210128 140124156209051 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17277] ppid=17240 vsize=8414124 memory=3816 CPUtime=0.04 cores=0-7
/proc/17263/task/17277/stat : 17277 (java) S 17240 17240 17196 0 -1 1077944384 433 0 0 0 4 0 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123449956848 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17278] ppid=17240 vsize=8414124 memory=1472 CPUtime=0.11 cores=0-7
/proc/17263/task/17278/stat : 17278 (java) S 17240 17240 17196 0 -1 1077944384 522 0 0 0 11 0 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123448904304 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17279] ppid=17240 vsize=8414124 memory=123812 CPUtime=0.09 cores=0-7
/proc/17263/task/17279/stat : 17279 (java) S 17240 17240 17196 0 -1 1077944384 441 0 0 0 9 0 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123447851760 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17280] ppid=17240 vsize=8414124 memory=2711204 CPUtime=0.23 cores=0-7
/proc/17263/task/17280/stat : 17280 (java) S 17240 17240 17196 0 -1 1077944384 782 0 0 0 23 0 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123446799216 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17281] ppid=17240 vsize=8414124 memory=1756 CPUtime=0 cores=0-7
/proc/17263/task/17281/stat : 17281 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140121630304480 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17282] ppid=17240 vsize=8414124 memory=123812 CPUtime=0.12 cores=0-7
/proc/17263/task/17282/stat : 17282 (java) S 17240 17240 17196 0 -1 1077944384 15 0 0 0 5 7 0 0 20 0 24 0 420381987 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123445746096 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17284] ppid=17240 vsize=8414124 memory=2713716 CPUtime=0 cores=0-7
/proc/17263/task/17284/stat : 17284 (java) S 17240 17240 17196 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420382056 8616062976 30953 33554432000 4194304 4196468 140724990725008 140123444135104 140124156215065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17286] ppid=17240 vsize=8414124 memory=2713576 CPUtime=0.01 cores=0-7
/proc/17263/task/17286/stat : 17286 (java) S 17240 17240 17196 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 420382056 8616062976 30953 33554432000 4194304 4196468 140724990725008 140120959205168 140124156212381 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17287] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17287/stat : 17287 (java) S 17240 17240 17196 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420382056 8616062976 30953 33554432000 4194304 4196468 140724990725008 140121227640752 140124156212381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17288] ppid=17240 vsize=8414124 memory=123812 CPUtime=0 cores=0-7
/proc/17263/task/17288/stat : 17288 (java) S 17240 17240 17196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420382058 8616062976 30953 33554432000 4194304 4196468 140724990725008 140120690777776 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
Current children cumulated CPU time: 1435.15 s
Current children cumulated vsize: 12059468 KiB
Current children cumulated memory: 2839436 KiB

[startup+214.701 s]
/proc/loadavg: 7.25 7.55 7.92 2/218 17309
/proc/meminfo: memFree=28561904/32770624 swapFree=67004232/67108860
[pid=17240] ppid=17237 vsize=113128 memory=1472 CPUtime=34.86 cores=0-7
/proc/17240/stat : 17240 (scop.sh) S 17237 17240 17196 0 -1 4202496 582 35533 0 0 0 0 3330 156 20 0 1 0 420379493 115843072 368 33554432000 4194304 5098028 140737026665824 140737026662568 140712981185148 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40681472 140737026667301 140737026667628 140737026667628 140737026670541 0
/proc/17240/statm: 28282 368 311 221 0 87 0
[pid=17263] ppid=17240 vsize=8414124 memory=123952 CPUtime=1.48 cores=0-7
/proc/17263/stat : 17263 (java) S 17240 17240 17196 0 -1 1077944320 20925 0 0 0 139 9 0 0 20 0 24 0 420381980 8616062976 30988 33554432000 4194304 4196468 140724990725008 140724990707552 140124156190455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
/proc/17263/statm: 2103531 30988 3212 1 0 2064875 0
[pid=17263/tid=17264] ppid=17240 vsize=8414124 memory=14068 CPUtime=0.78 cores=0-7
/proc/17263/task/17264/stat : 17264 (java) S 17240 17240 17196 0 -1 1077944384 17238 0 0 0 72 6 0 0 20 0 24 0 420381981 8616062976 30988 33554432000 4194304 4196468 140724990725008 140124128030624 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17265] ppid=17240 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/17263/task/17265/stat : 17265 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140124160432400 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17266] ppid=17240 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/17263/task/17266/stat : 17266 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123980728720 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17267] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17267/stat : 17267 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123640220176 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17268] ppid=17240 vsize=8414124 memory=123812 CPUtime=0 cores=0-7
/proc/17263/task/17268/stat : 17268 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123639167632 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17269] ppid=17240 vsize=8414124 memory=2713556 CPUtime=0 cores=0-7
/proc/17263/task/17269/stat : 17269 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123638115088 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17270] ppid=17240 vsize=8414124 memory=1756 CPUtime=0 cores=0-7
/proc/17263/task/17270/stat : 17270 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123637062544 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17271] ppid=17240 vsize=8414124 memory=214494961764043 CPUtime=0 cores=0-7
/proc/17263/task/17271/stat : 17271 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123636010000 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17272] ppid=17240 vsize=8414124 memory=214494961764044 CPUtime=0 cores=0-7
/proc/17263/task/17272/stat : 17272 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123634957456 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17273] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17273/stat : 17273 (java) S 17240 17240 17196 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420381983 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123451009008 140124156201602 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17274] ppid=17240 vsize=8414124 memory=123812 CPUtime=0 cores=0-7
/proc/17263/task/17274/stat : 17274 (java) S 17240 17240 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420381984 8616062976 30988 33554432000 4194304 4196468 140724990725008 140122771153824 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17275] ppid=17240 vsize=8414124 memory=2714152 CPUtime=0 cores=0-7
/proc/17263/task/17275/stat : 17275 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381984 8616062976 30988 33554432000 4194304 4196468 140724990725008 140122502718448 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17276] ppid=17240 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/17263/task/17276/stat : 17276 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140122128210128 140124156209051 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17277] ppid=17240 vsize=8414124 memory=7548 CPUtime=0.05 cores=0-7
/proc/17263/task/17277/stat : 17277 (java) S 17240 17240 17196 0 -1 1077944384 469 0 0 0 5 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123449956848 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17278] ppid=17240 vsize=8414124 memory=4004 CPUtime=0.11 cores=0-7
/proc/17263/task/17278/stat : 17278 (java) S 17240 17240 17196 0 -1 1077944384 528 0 0 0 11 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123448904304 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17279] ppid=17240 vsize=8414124 memory=123812 CPUtime=0.1 cores=0-7
/proc/17263/task/17279/stat : 17279 (java) S 17240 17240 17196 0 -1 1077944384 445 0 0 0 10 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123447851760 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17280] ppid=17240 vsize=8414124 memory=2832 CPUtime=0.24 cores=0-7
/proc/17263/task/17280/stat : 17280 (java) S 17240 17240 17196 0 -1 1077944384 805 0 0 0 24 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123446799216 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17281] ppid=17240 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/17263/task/17281/stat : 17281 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140121630304480 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17282] ppid=17240 vsize=8414124 memory=1160 CPUtime=0.12 cores=0-7
/proc/17263/task/17282/stat : 17282 (java) S 17240 17240 17196 0 -1 1077944384 15 0 0 0 5 7 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123445746096 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17284] ppid=17240 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/17263/task/17284/stat : 17284 (java) S 17240 17240 17196 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420382056 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123444135104 140124156215065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17286] ppid=17240 vsize=8414124 memory=1096 CPUtime=0.02 cores=0-7
/proc/17263/task/17286/stat : 17286 (java) S 17240 17240 17196 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 24 0 420382056 8616062976 30988 33554432000 4194304 4196468 140724990725008 140120959205200 140124156212381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17287] ppid=17240 vsize=8414124 memory=5964 CPUtime=0 cores=0-7
/proc/17263/task/17287/stat : 17287 (java) S 17240 17240 17196 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420382056 8616062976 30988 33554432000 4194304 4196468 140724990725008 140121227640752 140124156212381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17288] ppid=17240 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/17263/task/17288/stat : 17288 (java) S 17240 17240 17196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420382058 8616062976 30988 33554432000 4194304 4196468 140724990725008 140120690777776 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
Current children cumulated CPU time: 36.34 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125424 KiB

[startup+214.801 s]
/proc/loadavg: 7.25 7.55 7.92 2/218 17309
/proc/meminfo: memFree=28561904/32770624 swapFree=67004232/67108860
[pid=17240] ppid=17237 vsize=113128 memory=1472 CPUtime=34.86 cores=0-7
/proc/17240/stat : 17240 (scop.sh) S 17237 17240 17196 0 -1 4202496 582 35533 0 0 0 0 3330 156 20 0 1 0 420379493 115843072 368 33554432000 4194304 5098028 140737026665824 140737026662568 140712981185148 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40681472 140737026667301 140737026667628 140737026667628 140737026670541 0
/proc/17240/statm: 28282 368 311 221 0 87 0
[pid=17263] ppid=17240 vsize=8414124 memory=123952 CPUtime=1.48 cores=0-7
/proc/17263/stat : 17263 (java) S 17240 17240 17196 0 -1 1077944320 20925 0 0 0 139 9 0 0 20 0 24 0 420381980 8616062976 30988 33554432000 4194304 4196468 140724990725008 140724990707552 140124156190455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
/proc/17263/statm: 2103531 30988 3212 1 0 2064875 0
[pid=17263/tid=17264] ppid=17240 vsize=8414124 memory=2713576 CPUtime=0.78 cores=0-7
/proc/17263/task/17264/stat : 17264 (java) S 17240 17240 17196 0 -1 1077944384 17238 0 0 0 72 6 0 0 20 0 24 0 420381981 8616062976 30988 33554432000 4194304 4196468 140724990725008 140124128030624 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17265] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17265/stat : 17265 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140124160432400 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17266] ppid=17240 vsize=8414124 memory=123812 CPUtime=0 cores=0-7
/proc/17263/task/17266/stat : 17266 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123980728720 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17267] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17267/stat : 17267 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123640220176 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17268] ppid=17240 vsize=8414124 memory=2696736 CPUtime=0 cores=0-7
/proc/17263/task/17268/stat : 17268 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123639167632 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17269] ppid=17240 vsize=8414124 memory=6944656592455350634 CPUtime=0 cores=0-7
/proc/17263/task/17269/stat : 17269 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123638115088 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17270] ppid=17240 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/17263/task/17270/stat : 17270 (java) S 17240 17240 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123637062544 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17271] ppid=17240 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/17263/task/17271/stat : 17271 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123636010000 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17272] ppid=17240 vsize=8414124 memory=280899720253992 CPUtime=0 cores=0-7
/proc/17263/task/17272/stat : 17272 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381982 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123634957456 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17273] ppid=17240 vsize=8414124 memory=76317408102890 CPUtime=0 cores=0-7
/proc/17263/task/17273/stat : 17273 (java) S 17240 17240 17196 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420381983 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123451009008 140124156201602 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17274] ppid=17240 vsize=8414124 memory=-8959744768515273106 CPUtime=0 cores=0-7
/proc/17263/task/17274/stat : 17274 (java) S 17240 17240 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420381984 8616062976 30988 33554432000 4194304 4196468 140724990725008 140122771153824 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17275] ppid=17240 vsize=8414124 memory=123812 CPUtime=0 cores=0-7
/proc/17263/task/17275/stat : 17275 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381984 8616062976 30988 33554432000 4194304 4196468 140724990725008 140122502718448 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17276] ppid=17240 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17263/task/17276/stat : 17276 (java) S 17240 17240 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140122128210128 140124156209051 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17277] ppid=17240 vsize=8414124 memory=3588 CPUtime=0.05 cores=0-7
/proc/17263/task/17277/stat : 17277 (java) S 17240 17240 17196 0 -1 1077944384 469 0 0 0 5 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123449956848 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17278] ppid=17240 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/17263/task/17278/stat : 17278 (java) S 17240 17240 17196 0 -1 1077944384 528 0 0 0 11 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123448904304 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17279] ppid=17240 vsize=8414124 memory=6935650410838380624 CPUtime=0.1 cores=0-7
/proc/17263/task/17279/stat : 17279 (java) S 17240 17240 17196 0 -1 1077944384 445 0 0 0 10 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123447851760 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17280] ppid=17240 vsize=8414124 memory=3184097920075980225 CPUtime=0.24 cores=0-7
/proc/17263/task/17280/stat : 17280 (java) S 17240 17240 17196 0 -1 1077944384 805 0 0 0 24 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123446799216 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17281] ppid=17240 vsize=8414124 memory=3472328296227689761 CPUtime=0 cores=0-7
/proc/17263/task/17281/stat : 17281 (java) S 17240 17240 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140121630304480 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17282] ppid=17240 vsize=8414124 memory=1052 CPUtime=0.12 cores=0-7
/proc/17263/task/17282/stat : 17282 (java) S 17240 17240 17196 0 -1 1077944384 15 0 0 0 5 7 0 0 20 0 24 0 420381987 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123445746096 140124156201602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17284] ppid=17240 vsize=8414124 memory=2713996 CPUtime=0 cores=0-7
/proc/17263/task/17284/stat : 17284 (java) S 17240 17240 17196 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420382056 8616062976 30988 33554432000 4194304 4196468 140724990725008 140123444135104 140124156215065 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17286] ppid=17240 vsize=8414124 memory=2696636 CPUtime=0.02 cores=0-7
/proc/17263/task/17286/stat : 17286 (java) S 17240 17240 17196 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 24 0 420382056 8616062976 30988 33554432000 4194304 4196468 140724990725008 140120959205200 140124156212381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17287] ppid=17240 vsize=8414124 memory=2696620 CPUtime=0 cores=0-7
/proc/17263/task/17287/stat : 17287 (java) S 17240 17240 17196 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420382056 8616062976 30988 33554432000 4194304 4196468 140724990725008 140121227640752 140124156212381 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
[pid=17263/tid=17288] ppid=17240 vsize=8414124 memory=2713716 CPUtime=0 cores=0-7
/proc/17263/task/17288/stat : 17288 (java) S 17240 17240 17196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420382058 8616062976 30988 33554432000 4194304 4196468 140724990725008 140120690777776 140124156200661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140724990731255 140724990731414 140724990731414 140724990734287 0
Current children cumulated CPU time: 36.34 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125424 KiB

Child status: 0
Real time (s): 214.861
CPU time (s): 1435.6
CPU user time (s): 1423.92
CPU system time (s): 11.6871
CPU usage (%): 668.154
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6052344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.92
system time used= 11.6871
maximum resident set size= 6051248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7876218
page faults= 0
swaps= 0
block input operations= 8
block output operations= 275488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58075
involuntary context switches= 13658


# summary of solver processes directly reported to runsolver:
#   pid: 17240
#   total CPU time (s): 1435.6
#   total CPU user time (s): 1423.92
#   total CPU system time (s): 11.6871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88264 second user time and 3.03016 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 08:22:22
IDJOB=4392486
IDBENCH=138488
IDSOLVER=2838
FILE ID=node148/4392486-1568442179
RUNJOBID= node148-1568442142-17223
PBS_JOBID= 21702344
Free space on /tmp= 61308 MiB

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

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

MD5SUM BENCH= f8945e9ee38ae25fe131ea9d51f4675a
RANDOM SEED=420286682

node148.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.13
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.13
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.13
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.13
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:        31531416 kB
MemAvailable:   31909612 kB
Buffers:           99972 kB
Cached:           574420 kB
SwapCached:         3812 kB
Active:           409824 kB
Inactive:         270364 kB
Active(anon):       3432 kB
Inactive(anon):    43744 kB
Active(file):     406392 kB
Inactive(file):   226620 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             20588 kB
Writeback:             0 kB
AnonPages:        111880 kB
Mapped:            43916 kB
Shmem:             32352 kB
Slab:             150216 kB
SReclaimable:     122036 kB
SUnreclaim:        28180 kB
KernelStack:        3408 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61288 MiB
End job on node148 at 2019-09-14 08:25:57