Trace number 4392786

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 1443.79 213.38

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11983-serial-file.bin HOME/instance-4392786-1568442207.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 08:22:47 CEST 2019
0.65/0.57	c PID: 11986
0.65/0.57	c IP: 172.20.3.143
0.65/0.57	c HOST: node143.alineos.net
0.65/0.57	c (0,0) Parsing Begin
5.55/1.89	c (1,1) Parsing End
5.97/1.90	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1185
5.97/1.90	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.97/1.90	c (1,1) Constraint Name Generate Begin
5.97/1.95	c (1,1) Ctr:HOME/instance-4392786-1568442207.xml,Add:Le:Ne:Num:Or:Var
5.97/1.95	c (1,1) Constraint Name Generate End
5.97/1.95	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.97/1.95	c (1,1) CSP to CSPinCNF Begin
7.05/2.20	c (1,1) translated 558 (10%) constraints
7.05/2.27	c (1,1) translated 1116 (20%) constraints
7.47/2.31	c (1,1) translated 1674 (30%) constraints
7.47/2.36	c (1,1) translated 2232 (40%) constraints
8.89/2.71	c (1,1) translated 2790 (50%) constraints
8.89/2.71	c (1,1) translated 3348 (60%) constraints
8.89/2.71	c (1,1) translated 3906 (70%) constraints
8.89/2.71	c (1,1) translated 4464 (80%) constraints
8.89/2.71	c (1,1) translated 5022 (90%) constraints
8.89/2.71	c (2,1) translated 5580 (100%) constraints
8.89/2.71	c (2,1) ===========================================
8.89/2.71	c (2,2) Hybrid: #OE=450, #LE=0
8.89/2.71	c (2,2) Hybrid
8.89/2.71	c (2,2) ===========================================
8.89/2.71	c (2,2) translated 558 (10%) constraints
8.89/2.71	c (2,2) translated 1116 (20%) constraints
8.89/2.71	c (2,2) translated 1674 (30%) constraints
8.89/2.71	c (2,2) translated 2232 (40%) constraints
8.89/2.71	c (2,2) translated 2790 (50%) constraints
8.89/2.71	c (2,2) translated 3348 (60%) constraints
8.89/2.71	c (2,2) translated 3906 (70%) constraints
8.89/2.72	c (2,2) translated 4464 (80%) constraints
8.89/2.74	c (2,2) translated 5022 (90%) constraints
8.89/2.75	c (2,2) translated 5580 (100%) constraints
8.89/2.76	c (2,2) CSP to CSPinCNF End
8.89/2.76	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
8.89/2.76	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.89/2.76	c (2,2) CSPinCNF Propagation Begin
9.19/2.84	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.19/2.84	c (2,2) CSPinCNF Propagation End
9.19/2.84	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
9.19/2.84	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.19/2.86	c (2,2) Hybrid: #OE=450, #LE=0
9.19/2.86	c (2,2) Simplify CSPinCNF Begin
10.18/3.13	c (2,2) Simplify CSPinCNF End
10.18/3.14	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
10.18/3.14	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.18/3.14	c (2,2) Calculate Precise Domain Begin
10.18/3.14	c (2,2) 0 values are removed by re-calculation
10.18/3.14	c (2,2) Calculate Precise Domain End
10.18/3.14	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
10.18/3.14	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.18/3.14	c (2,2) CSPinCNF to SatSolver Begin
15.08/6.15	c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 874757 SAT clauses)
17.35/8.30	c (7,7) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1402946 SAT clauses)
19.80/10.40	c (9,9) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1951604 SAT clauses)
21.72/12.36	c (11,11) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2511717 SAT clauses)
23.77/14.73	c (14,13) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3069583 SAT clauses)
26.15/16.78	c (16,15) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3637919 SAT clauses)
27.76/18.39	c (17,17) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4089842 SAT clauses)
29.70/20.28	c (19,19) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4624275 SAT clauses)
31.94/22.30	c (21,21) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5190683 SAT clauses)
34.06/24.66	c (24,23) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6034380 SAT clauses)
34.06/24.66	c (24,23) CSPinCNF to SatSolver End
34.06/24.66	c (24,23) Heap : 4232 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.06/24.66	c (24,23) 321486 bool, 6034755 clause
34.06/24.66	c (24,23) Export Begin
34.17/24.77	c (24,23) Export to HOME/scop-11983-serial-file.bin
34.17/24.77	c (24,23) Export End
34.17/24.77	c (24,23) Export File Size: 0.07 MB
34.17/24.77	c (24,23) 1,1,2,2,2,2,24,STOP-AFTER(DIMACS)
34.17/24.77	c END-Prog: Sat Sep 14 08:23:11 CEST 2019
0.00/24.81	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11983-serial-file.bin
34.92/25.26	c (0,0) Read Serial File Begin
34.92/25.26	c (0,0) HOME/scop-11983-serial-file.bin
35.41/25.50	c (0,0) Read Serial File End
35.41/25.51	
35.41/25.51	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
35.41/25.51	(Solving Process)
35.41/25.51	
35.41/25.54	c BEGIN-Prog: Sat Sep 14 08:23:12 CEST 2019
35.41/25.54	c PID: 12006
35.41/25.54	c IP: 172.20.3.143
35.41/25.54	c HOST: node143.alineos.net
35.41/25.54	c (0,0) SatSolver.solve Begin
35.41/25.54	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392786-1568442207.xml-scop-11986.cnf
35.41/25.57	c (0,0) c
35.41/25.57	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.41/25.57	c (0,0) c
35.41/25.57	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.41/25.57	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.41/25.57	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.41/25.57	c (0,0) c |                                                                                                       |
38.00/27.94	c (2,0) c |  Number of variables:        321486                                                                   |
38.00/27.94	c (2,0) c |  Number of clauses:         5915349                                                                   |
38.21/28.14	c (2,0) c |  Parse time:                   2.15 s                                                                 |
38.21/28.14	c (2,0) c |                                                                                                       |
38.40/28.34	c (3,0) c | Too many clauses... No preprocessing                                                                  |
38.40/28.34	c (3,0) c |  Simplification time:          0.37 s                                                                 |
38.40/28.34	c (3,0) c |                                                                                                       |
38.40/28.34	c (3,0) c |  Generating clones                                                                                    |
40.00/29.97	c (4,0) c |  all clones generated. Memory =  3456.13Mb.                                                           |
40.00/29.97	c (4,0) c ========================================================================================================|
40.00/29.97	c (4,0) c
40.00/29.97	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
40.00/29.97	c (4,0) c
40.00/29.97	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.00/29.97	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
40.00/29.97	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.00/29.97	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
40.00/29.97	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
40.00/29.97	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
40.00/29.97	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
40.00/29.97	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
40.00/29.97	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
40.00/29.97	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
40.00/29.97	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
40.00/29.97	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
40.00/29.97	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
40.00/29.97	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
40.00/29.97	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
40.00/29.97	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
40.00/29.97	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
40.00/29.97	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
40.00/29.97	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
271.92/59.34	c (34,0) c
271.92/59.34	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
271.92/59.34	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
271.92/59.34	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
271.92/59.34	c (34,0) c |  0 |      2 |       5084 |       2984 |    67641 |     1984 |       99 |      648 |       24 |      155 |  20 | 37.953 |
271.92/59.34	c (34,0) c |  1 |      8 |       5107 |       2909 |    73772 |     1904 |      135 |      621 |       44 |      156 |  20 | 37.958 |
271.92/59.34	c (34,0) c |  2 |      9 |       5015 |       2992 |    76050 |     1989 |      127 |      676 |       37 |      169 |  20 | 37.955 |
271.92/59.34	c (34,0) c |  3 |      8 |       5388 |       3209 |    79652 |     2203 |      125 |      683 |       45 |      172 |  20 | 37.963 |
271.92/59.34	c (34,0) c |  4 |     11 |       4964 |       2982 |    78485 |     1971 |      126 |      674 |       39 |      168 |  20 | 37.962 |
271.92/59.34	c (34,0) c |  5 |     12 |       5610 |       3383 |    79669 |     2379 |      141 |      653 |       43 |      170 |  20 | 37.952 |
271.92/59.34	c (34,0) c |  6 |      7 |       5211 |       3034 |    74054 |     2032 |      126 |      778 |       36 |      175 |  20 | 37.978 |
271.92/59.34	c (34,0) c |  7 |      9 |       5161 |       3162 |    74155 |     2162 |      102 |      693 |       47 |      162 |  20 | 37.971 |
271.92/59.34	c (34,0) c 
271.92/59.34	c (34,0) c synthesis       24655 conflicts   331071329 propagations      107 conflicts/sec  1431748 propagations/sec
271.92/59.34	c (34,0) c real: 33.7798 s, cpu: 231.236 s, memory: 3448.43 Mb
500.79/89.34	c (64,0) c
500.79/89.34	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
500.79/89.34	c (64,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
500.79/89.34	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
500.79/89.34	c (64,0) c |  0 |      7 |      10891 |       6518 |   121261 |     5512 |      676 |     3061 |      151 |      304 |  20 | 38.091 |
500.79/89.34	c (64,0) c |  1 |     19 |      10712 |       6519 |   127766 |     5508 |      744 |     2571 |      104 |      298 |  20 | 38.082 |
500.79/89.34	c (64,0) c |  2 |     18 |      10584 |       6488 |   128656 |     5484 |      687 |     1985 |      163 |      317 |  20 | 38.074 |
500.79/89.34	c (64,0) c |  3 |     14 |      10760 |       6634 |   127873 |     2834 |      680 |     2593 |      146 |      317 |  20 | 38.088 |
500.79/89.34	c (64,0) c |  4 |     16 |       9912 |       6107 |   128511 |     5093 |      560 |     2065 |      150 |      318 |  20 | 38.074 |
500.79/89.34	c (64,0) c |  5 |     17 |      10972 |       6740 |   126798 |     2942 |      755 |     2364 |      161 |      318 |  20 | 38.088 |
500.79/89.34	c (64,0) c |  6 |     12 |       9933 |       6072 |   121581 |     5062 |      540 |     2515 |      168 |      317 |  20 | 38.074 |
500.79/89.34	c (64,0) c |  7 |     14 |      11075 |       6935 |   128188 |     3137 |      699 |     2435 |      154 |      315 |  20 | 38.087 |
500.79/89.34	c (64,0) c 
500.79/89.34	c (64,0) c synthesis       52013 conflicts   704052265 propagations      113 conflicts/sec  1533669 propagations/sec
500.79/89.34	c (64,0) c real: 63.7798 s, cpu: 459.064 s, memory: 3448.69 Mb
725.19/118.34	c (93,0) c
725.19/118.34	c (93,0) c |------------------------------------------------------------------------------------------------------------------------|
725.19/118.34	c (93,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
725.19/118.34	c (93,0) c |------------------------------------------------------------------------------------------------------------------------|
725.19/118.34	c (93,0) c |  0 |     11 |      16404 |       9992 |   161794 |     6187 |     1508 |     8207 |      448 |      443 |  20 | 38.162 |
725.19/118.34	c (93,0) c |  1 |     26 |      16573 |      10195 |   168982 |     6318 |     1662 |     8077 |      510 |      443 |  20 | 38.164 |
725.19/118.34	c (93,0) c |  2 |     27 |      15550 |       9665 |   169290 |     5859 |     1339 |     9284 |      601 |      463 |  20 | 38.490 |
725.19/118.34	c (93,0) c |  3 |     23 |      15637 |       9903 |   161250 |     6099 |     1413 |     8586 |      437 |      463 |  20 | 38.164 |
725.19/118.34	c (93,0) c |  4 |     24 |      15201 |       9481 |   167232 |     5677 |     1308 |     9176 |      620 |      461 |  20 | 38.164 |
725.19/118.34	c (93,0) c |  5 |     25 |      16420 |      10085 |   166522 |     6285 |     1497 |     9098 |      593 |      463 |  20 | 38.172 |
725.19/118.34	c (93,0) c |  6 |     14 |      14661 |       9139 |   156993 |     5333 |     1386 |     6557 |      494 |      456 |  20 | 38.133 |
725.19/118.34	c (93,0) c |  7 |     22 |      15761 |       9916 |   163048 |     6114 |     1340 |     8658 |      529 |      450 |  20 | 38.162 |
725.19/118.34	c (93,0) c 
725.19/118.34	c (93,0) c synthesis       78376 conflicts  1087191118 propagations      115 conflicts/sec  1593965 propagations/sec
725.19/118.34	c (93,0) c real: 92.7798 s, cpu: 682.067 s, memory: 3448.82 Mb
949.15/147.34	c (122,0) c
949.15/147.34	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
949.15/147.34	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
949.15/147.34	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
949.15/147.34	c (122,0) c |  0 |     15 |      21264 |      13295 |   186937 |     9126 |     2243 |    12638 |      895 |      582 |  20 | 38.516 |
949.15/147.34	c (122,0) c |  1 |     34 |      21122 |      13251 |   198275 |     9124 |     2293 |    12417 |      937 |      582 |  20 | 38.516 |
949.15/147.34	c (122,0) c |  2 |     33 |      20142 |      12626 |   195923 |     8519 |     2004 |    13910 |     1060 |      597 |  20 | 38.657 |
949.15/147.34	c (122,0) c |  3 |     28 |      21054 |      13244 |   197885 |     9405 |     2066 |    12711 |      975 |      594 |  20 | 38.516 |
949.15/147.34	c (122,0) c |  4 |     33 |      20270 |      12768 |   199775 |     8085 |     2025 |    14086 |     1191 |      602 |  20 | 38.658 |
949.15/147.34	c (122,0) c |  5 |     37 |      21732 |      13530 |   198033 |     9568 |     2194 |    13151 |     1146 |      602 |  20 | 38.518 |
949.15/147.34	c (122,0) c |  6 |     25 |      19982 |      12352 |   189651 |     8397 |     2089 |    14133 |      977 |      602 |  20 | 38.662 |
949.15/147.34	c (122,0) c |  7 |     33 |      21328 |      13499 |   192815 |     9599 |     2126 |    13238 |     1032 |      589 |  20 | 38.519 |
949.15/147.34	c (122,0) c 
949.15/147.34	c (122,0) c synthesis      104565 conflicts  1476603812 propagations      116 conflicts/sec  1632372 propagations/sec
949.15/147.34	c (122,0) c real: 121.78 s, cpu: 904.576 s, memory: 3449.08 Mb
1173.30/176.35	c (151,0) c
1173.30/176.35	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1173.30/176.35	c (151,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1173.30/176.35	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1173.30/176.35	c (151,0) c |  0 |     21 |      26271 |      16469 |   217127 |     7343 |     2884 |    16768 |     1390 |      716 |  20 | 38.679 |
1173.30/176.35	c (151,0) c |  1 |     39 |      25801 |      16372 |   219664 |     7044 |     2953 |    18150 |     1436 |      719 |  20 | 38.873 |
1173.30/176.35	c (151,0) c |  2 |     40 |      24958 |      15754 |   219524 |     6749 |     2635 |    18475 |     1555 |      734 |  20 | 38.873 |
1173.30/176.35	c (151,0) c |  3 |     40 |      26276 |      16514 |   220746 |     7644 |     2681 |    18682 |     1517 |      736 |  20 | 38.873 |
1173.30/176.35	c (151,0) c |  4 |     41 |      24848 |      15781 |   221763 |     6517 |     2641 |    18233 |     1633 |      736 |  20 | 38.873 |
1173.30/176.35	c (151,0) c |  5 |     43 |      26745 |      16913 |   220040 |     7944 |     2865 |    17313 |     1613 |      736 |  20 | 38.683 |
1173.30/176.35	c (151,0) c |  6 |     29 |      25196 |      15643 |   216701 |     6739 |     2771 |    18948 |     1483 |      736 |  20 | 38.879 |
1173.30/176.35	c (151,0) c |  7 |     45 |      26738 |      16931 |   218199 |     8036 |     2813 |    18927 |     1555 |      735 |  20 | 38.873 |
1173.30/176.35	c (151,0) c 
1173.30/176.35	c (151,0) c synthesis      130377 conflicts  1860610850 propagations      116 conflicts/sec  1650707 propagations/sec
1173.30/176.35	c (151,0) c real: 150.78 s, cpu: 1127.16 s, memory: 3449.21 Mb
1405.42/206.34	c (181,0) c
1405.42/206.34	c (181,0) c |------------------------------------------------------------------------------------------------------------------------|
1405.42/206.34	c (181,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1405.42/206.34	c (181,0) c |------------------------------------------------------------------------------------------------------------------------|
1405.42/206.34	c (181,0) c |  0 |     26 |      31535 |      19923 |   237132 |    10626 |     3515 |    22399 |     2035 |      858 |  20 | 38.908 |
1405.42/206.34	c (181,0) c |  1 |     47 |      31030 |      19864 |   238815 |    10415 |     3659 |    22548 |     2021 |      856 |  20 | 38.904 |
1405.42/206.34	c (181,0) c |  2 |     54 |      30533 |      19219 |   242958 |     9850 |     3301 |    23615 |     2190 |      874 |  20 | 38.913 |
1405.42/206.34	c (181,0) c |  3 |     51 |      31436 |      20009 |   240994 |    10820 |     3383 |    22777 |     2128 |      876 |  20 | 38.904 |
1405.42/206.34	c (181,0) c |  4 |     49 |      30085 |      19267 |   241628 |     9008 |     3377 |    23224 |     2273 |      873 |  20 | 38.968 |
1405.42/206.34	c (181,0) c |  5 |     45 |      31592 |      20375 |   237461 |    10759 |     3588 |    22612 |     2061 |      876 |  20 | 38.908 |
1405.42/206.34	c (181,0) c |  6 |     33 |      30458 |      19137 |   236534 |    10176 |     3442 |    22092 |     1971 |      876 |  20 | 38.891 |
1405.42/206.34	c (181,0) c |  7 |     55 |      31971 |      20408 |   236565 |    11179 |     3524 |    23115 |     2132 |      876 |  20 | 38.913 |
1405.42/206.34	c (181,0) c 
1405.42/206.34	c (181,0) c synthesis      158202 conflicts  2264752479 propagations      116 conflicts/sec  1667665 propagations/sec
1405.42/206.34	c (181,0) c real: 180.78 s, cpu: 1358.04 s, memory: 3449.34 Mb
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c real time : 187.583 s
1443.43/213.15	c (187,0) c cpu time  : 1395.54 s
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c | Conflicts     |          162513 |      20823 |      20775 |      19610 |      20471 |      19699 |      20791 |      19540 |      20804 |
1443.43/213.15	c (187,0) c | Decisions     |          254786 |      32848 |      32320 |      31056 |      32128 |      30692 |      32155 |      31060 |      32527 |
1443.43/213.15	c (187,0) c | Propagations  |      2329113345 |  293460052 |  295027663 |  288222841 |  291859347 |  291201604 |  292025686 |  284598397 |  292717755 |
1443.43/213.15	c (187,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
1443.43/213.15	c (187,0) c | SimpDBs       |             167 |         19 |         20 |         22 |         22 |         21 |         21 |         18 |         24 |
1443.43/213.15	c (187,0) c | Restarts      |             365 |         28 |         47 |         55 |         52 |         49 |         45 |         34 |         55 |
1443.43/213.15	c (187,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1443.43/213.15	c (187,0) c | PropBinClauses|      7748568777 |  957287156 |  977171905 |  964111602 |  968151169 |  974308676 |  974917603 |  954168805 |  978451861 |
1443.43/213.15	c (187,0) c | PropPreBlocker|     27430058083 | 3461505279 | 3425063168 | 3409433974 | 3433448817 | 3405008431 | 3431413917 | 3486731383 | 3377453114 |
1443.43/213.15	c (187,0) c | PropNotBlocker|      5103720740 |  624872967 |  633188321 |  645757339 |  638862323 |  647281788 |  641302933 |  627177088 |  645277981 |
1443.43/213.15	c (187,0) c | LitFullScans  |     42879040420 | 5351077132 | 5350919491 | 5351170657 | 5375096665 | 5351038215 | 5375077016 | 5369052130 | 5355609114 |
1443.43/213.15	c (187,0) c | LitScanFracts |         5591145 |     681017 |     614886 |     662809 |     728023 |     700886 |     739631 |     565611 |     898282 |
1443.43/213.15	c (187,0) c | DecisionLevel0|             594 |         59 |         78 |         81 |         73 |         92 |         67 |         66 |         78 |
1443.43/213.15	c (187,0) c | Periods       |            7139 |        891 |        891 |        891 |        895 |        891 |        895 |        894 |        891 |
1443.43/213.15	c (187,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1443.43/213.15	c (187,0) c | Avg_Trail     |                 |     211949 |     209814 |     211385 |     211739 |     211139 |     211742 |     213874 |     208935 |
1443.43/213.15	c (187,0) c | Avg_DL        |                 |         17 |         14 |         14 |         15 |         15 |         14 |         16 |         15 |
1443.43/213.15	c (187,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1443.43/213.15	c (187,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c | Exported      |           28903 |       3753 |       3939 |       3390 |       3484 |       3484 |       3706 |       3497 |       3650 |
1443.43/213.15	c (187,0) c | Imported      |          191626 |      23105 |      23995 |      24436 |      24013 |      23224 |      24191 |      24349 |      24313 |
1443.43/213.15	c (187,0) c | Good          |            2376 |        296 |        282 |        315 |        304 |        272 |        301 |        308 |        298 |
1443.43/213.15	c (187,0) c | Purge         |          189250 |      22809 |      23713 |      24121 |      23709 |      22952 |      23890 |      24041 |      24015 |
1443.43/213.15	c (187,0) c | Promoted      |           17658 |       2203 |       2204 |       2280 |       2228 |       2354 |       2122 |       2047 |       2220 |
1443.43/213.15	c (187,0) c | Remove_Imp    |           35430 |       3619 |       2494 |       5546 |       4416 |       6591 |       2993 |       5953 |       3818 |
1443.43/213.15	c (187,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c | Unaries       |                 |         31 |         31 |         26 |         21 |         43 |         22 |         32 |         23 |
1443.43/213.15	c (187,0) c | Binaries      |                 |         40 |         79 |         37 |         36 |         59 |         55 |         36 |         59 |
1443.43/213.15	c (187,0) c | Glues         |                 |        632 |        752 |        618 |        591 |        627 |        636 |        522 |        621 |
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c | Orig_Seen     |             7 % |     241010 |     242738 |     244788 |     242408 |     243723 |     238955 |     238619 |     237949 |
1443.43/213.15	c (187,0) c | Diff Orig seen|                 |       3061 |       4789 |       6839 |       4459 |       5774 |       1006 |        670 |      X     |
1443.43/213.15	c (187,0) c | Hamming       |             9 % |      30285 |      28588 |      31997 |      33634 |      25625 |      35751 |      38271 |      X     |
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c | RunningTime   |                 |  182.9 100%|  183.1 100%|  174.1  96%|  171.5  95%|  172.5  95%|  173.0  96%|  172.3  95%|  179.6 100%|
1443.43/213.15	c (187,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    6.6   4%|    9.0   5%|    8.8   5%|    7.4   4%|    8.2   5%|    0.7   0%|
1443.43/213.15	c (187,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%|
1443.43/213.15	c (187,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%|
1443.43/213.15	c (187,0) c | SolvingTime   |                 |  182.9     |  183.2     |  180.7     |  180.5     |  181.3     |  180.5     |  180.6     |  180.4     |
1443.43/213.15	c (187,0) c | PropagationTim|                 |  174.0  95%|  174.1  95%|  170.2  94%|  169.2  94%|  170.6  94%|  169.4  94%|  169.9  94%|  170.7  95%|
1443.43/213.15	c (187,0) c | AnalysisTime  |                 |    2.9   2%|    2.9   2%|    2.9   2%|    3.0   2%|    2.9   2%|    3.0   2%|    3.2   2%|    3.0   2%|
1443.43/213.15	c (187,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%|
1443.43/213.15	c (187,0) c | SimplifyTime  |                 |    2.2   1%|    2.4   1%|    3.9   2%|    4.5   2%|    4.0   2%|    4.3   2%|    3.6   2%|    2.8   2%|
1443.43/213.15	c (187,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%|
1443.43/213.15	c (187,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%|
1443.43/213.15	c (187,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c
1443.43/213.15	c (187,0) c Threads : 8
1443.43/213.15	c (187,0) c Winner : 7
1443.43/213.15	c (187,0) c Conflicts_0 : 20823
1443.43/213.15	c (187,0) c Conflicts_1 : 20775
1443.43/213.15	c (187,0) c Conflicts_2 : 19610
1443.43/213.15	c (187,0) c Conflicts_3 : 20471
1443.43/213.15	c (187,0) c Conflicts_4 : 19699
1443.43/213.15	c (187,0) c Conflicts_5 : 20791
1443.43/213.15	c (187,0) c Conflicts_6 : 19540
1443.43/213.15	c (187,0) c Conflicts_7 : 20804
1443.43/213.15	c (187,0) c Conflicts_total : 162513
1443.43/213.15	c (187,0) c Conflicts_winner : 20804
1443.43/213.15	c (187,0) c Decisions_0 : 32848
1443.43/213.15	c (187,0) c Decisions_1 : 32320
1443.43/213.15	c (187,0) c Decisions_2 : 31056
1443.43/213.15	c (187,0) c Decisions_3 : 32128
1443.43/213.15	c (187,0) c Decisions_4 : 30692
1443.43/213.15	c (187,0) c Decisions_5 : 32155
1443.43/213.15	c (187,0) c Decisions_6 : 31060
1443.43/213.15	c (187,0) c Decisions_7 : 32527
1443.43/213.15	c (187,0) c Decisions_total : 254786
1443.43/213.15	c (187,0) c Decisions_winner : 32527
1443.43/213.15	c (187,0) c Propagations_0 : 293460052
1443.43/213.15	c (187,0) c Propagations_1 : 295027663
1443.43/213.15	c (187,0) c Propagations_2 : 288222841
1443.43/213.15	c (187,0) c Propagations_3 : 291859347
1443.43/213.15	c (187,0) c Propagations_4 : 291201604
1443.43/213.15	c (187,0) c Propagations_5 : 292025686
1443.43/213.15	c (187,0) c Propagations_6 : 284598397
1443.43/213.15	c (187,0) c Propagations_7 : 292717755
1443.43/213.15	c (187,0) c Propagations_total : 2329113345
1443.43/213.15	c (187,0) c Propagations_winner : 292717755
1443.43/213.15	c (187,0) c ReduceDBs_0 : 3
1443.43/213.15	c (187,0) c ReduceDBs_1 : 3
1443.43/213.15	c (187,0) c ReduceDBs_2 : 3
1443.43/213.15	c (187,0) c ReduceDBs_3 : 3
1443.43/213.15	c (187,0) c ReduceDBs_4 : 3
1443.43/213.15	c (187,0) c ReduceDBs_5 : 3
1443.43/213.15	c (187,0) c ReduceDBs_6 : 3
1443.43/213.15	c (187,0) c ReduceDBs_7 : 3
1443.43/213.15	c (187,0) c ReduceDBs_total : 24
1443.43/213.15	c (187,0) c ReduceDBs_winner : 3
1443.43/213.15	c (187,0) c SimpDBs_0 : 19
1443.43/213.15	c (187,0) c SimpDBs_1 : 20
1443.43/213.15	c (187,0) c SimpDBs_2 : 22
1443.43/213.15	c (187,0) c SimpDBs_3 : 22
1443.43/213.15	c (187,0) c SimpDBs_4 : 21
1443.43/213.15	c (187,0) c SimpDBs_5 : 21
1443.43/213.15	c (187,0) c SimpDBs_6 : 18
1443.43/213.15	c (187,0) c SimpDBs_7 : 24
1443.43/213.15	c (187,0) c SimpDBs_total : 167
1443.43/213.15	c (187,0) c SimpDBs_winner : 24
1443.43/213.15	c (187,0) c Restarts_0 : 28
1443.43/213.15	c (187,0) c Restarts_1 : 47
1443.43/213.15	c (187,0) c Restarts_2 : 55
1443.43/213.15	c (187,0) c Restarts_3 : 52
1443.43/213.15	c (187,0) c Restarts_4 : 49
1443.43/213.15	c (187,0) c Restarts_5 : 45
1443.43/213.15	c (187,0) c Restarts_6 : 34
1443.43/213.15	c (187,0) c Restarts_7 : 55
1443.43/213.15	c (187,0) c Restarts_total : 365
1443.43/213.15	c (187,0) c Restarts_winner : 55
1443.43/213.15	c (187,0) c ForcedImports_0 : 0
1443.43/213.15	c (187,0) c ForcedImports_1 : 0
1443.43/213.15	c (187,0) c ForcedImports_2 : 0
1443.43/213.15	c (187,0) c ForcedImports_3 : 0
1443.43/213.15	c (187,0) c ForcedImports_4 : 0
1443.43/213.15	c (187,0) c ForcedImports_5 : 0
1443.43/213.15	c (187,0) c ForcedImports_6 : 0
1443.43/213.15	c (187,0) c ForcedImports_7 : 0
1443.43/213.15	c (187,0) c ForcedImports_total : 0
1443.43/213.15	c (187,0) c ForcedImports_winner : 0
1443.43/213.15	c (187,0) c PropsBinClauses_0 : 957287156
1443.43/213.15	c (187,0) c PropsBinClauses_1 : 977171905
1443.43/213.15	c (187,0) c PropsBinClauses_2 : 964111602
1443.43/213.15	c (187,0) c PropsBinClauses_3 : 968151169
1443.43/213.15	c (187,0) c PropsBinClauses_4 : 974308676
1443.43/213.15	c (187,0) c PropsBinClauses_5 : 974917603
1443.43/213.15	c (187,0) c PropsBinClauses_6 : 954168805
1443.43/213.15	c (187,0) c PropsBinClauses_7 : 978451861
1443.43/213.15	c (187,0) c PropsBinClauses_total : 7748568777
1443.43/213.15	c (187,0) c PropsBinClauses_winner : 978451861
1443.43/213.15	c (187,0) c PropsPreBlocker_0 : 3461505279
1443.43/213.15	c (187,0) c PropsPreBlocker_1 : 3425063168
1443.43/213.15	c (187,0) c PropsPreBlocker_2 : 3409433974
1443.43/213.15	c (187,0) c PropsPreBlocker_3 : 3433448817
1443.43/213.15	c (187,0) c PropsPreBlocker_4 : 3405008431
1443.43/213.15	c (187,0) c PropsPreBlocker_5 : 3431413917
1443.43/213.15	c (187,0) c PropsPreBlocker_6 : 3486731383
1443.43/213.15	c (187,0) c PropsPreBlocker_7 : 3377453114
1443.43/213.15	c (187,0) c PropsPreBlocker_total : 27430058083
1443.43/213.15	c (187,0) c PropsPreBlocker_winner : 3377453114
1443.43/213.15	c (187,0) c PropsNotBlocker_0 : 624872967
1443.43/213.15	c (187,0) c PropsNotBlocker_1 : 633188321
1443.43/213.15	c (187,0) c PropsNotBlocker_2 : 645757339
1443.43/213.15	c (187,0) c PropsNotBlocker_3 : 638862323
1443.43/213.15	c (187,0) c PropsNotBlocker_4 : 647281788
1443.43/213.15	c (187,0) c PropsNotBlocker_5 : 641302933
1443.43/213.15	c (187,0) c PropsNotBlocker_6 : 627177088
1443.43/213.15	c (187,0) c PropsNotBlocker_7 : 645277981
1443.43/213.15	c (187,0) c PropsNotBlocker_total : 5103720740
1443.43/213.15	c (187,0) c PropsNotBlocker_winner : 645277981
1443.43/213.15	c (187,0) c PropsLitFullScans_0 : 5351077132
1443.43/213.15	c (187,0) c PropsLitFullScans_1 : 5350919491
1443.43/213.15	c (187,0) c PropsLitFullScans_2 : 5351170657
1443.43/213.15	c (187,0) c PropsLitFullScans_3 : 5375096665
1443.43/213.15	c (187,0) c PropsLitFullScans_4 : 5351038215
1443.43/213.15	c (187,0) c PropsLitFullScans_5 : 5375077016
1443.43/213.15	c (187,0) c PropsLitFullScans_6 : 5369052130
1443.43/213.15	c (187,0) c PropsLitFullScans_7 : 5355609114
1443.43/213.15	c (187,0) c PropsLitFullScans_total : 42879040420
1443.43/213.15	c (187,0) c PropsLitFullScans_winner : 5355609114
1443.43/213.15	c (187,0) c LitScanFractions_0 : 681017
1443.43/213.15	c (187,0) c LitScanFractions_1 : 614886
1443.43/213.15	c (187,0) c LitScanFractions_2 : 662809
1443.43/213.15	c (187,0) c LitScanFractions_3 : 728023
1443.43/213.15	c (187,0) c LitScanFractions_4 : 700886
1443.43/213.15	c (187,0) c LitScanFractions_5 : 739631
1443.43/213.15	c (187,0) c LitScanFractions_6 : 565611
1443.43/213.15	c (187,0) c LitScanFractions_7 : 898282
1443.43/213.15	c (187,0) c LitScanFractions_total : 5591145
1443.43/213.15	c (187,0) c LitScanFractions_winner : 898282
1443.43/213.15	c (187,0) c DecisionLevel0_0 : 59
1443.43/213.15	c (187,0) c DecisionLevel0_1 : 78
1443.43/213.15	c (187,0) c DecisionLevel0_2 : 81
1443.43/213.15	c (187,0) c DecisionLevel0_3 : 73
1443.43/213.15	c (187,0) c DecisionLevel0_4 : 92
1443.43/213.15	c (187,0) c DecisionLevel0_5 : 67
1443.43/213.15	c (187,0) c DecisionLevel0_6 : 66
1443.43/213.15	c (187,0) c DecisionLevel0_7 : 78
1443.43/213.15	c (187,0) c DecisionLevel0_total : 594
1443.43/213.15	c (187,0) c DecisionLevel0_winner : 78
1443.43/213.15	c (187,0) c Periods_0 : 891
1443.43/213.15	c (187,0) c Periods_1 : 891
1443.43/213.15	c (187,0) c Periods_2 : 891
1443.43/213.15	c (187,0) c Periods_3 : 895
1443.43/213.15	c (187,0) c Periods_4 : 891
1443.43/213.15	c (187,0) c Periods_5 : 895
1443.43/213.15	c (187,0) c Periods_6 : 894
1443.43/213.15	c (187,0) c Periods_7 : 891
1443.43/213.15	c (187,0) c Periods_total : 7139
1443.43/213.15	c (187,0) c Periods_winner : 891
1443.43/213.15	c (187,0) c Margin_0 : 20
1443.43/213.15	c (187,0) c Margin_1 : 20
1443.43/213.15	c (187,0) c Margin_2 : 20
1443.43/213.15	c (187,0) c Margin_3 : 20
1443.43/213.15	c (187,0) c Margin_4 : 20
1443.43/213.15	c (187,0) c Margin_5 : 20
1443.43/213.15	c (187,0) c Margin_6 : 20
1443.43/213.15	c (187,0) c Margin_7 : 20
1443.43/213.15	c (187,0) c Margin_total : 160
1443.43/213.15	c (187,0) c Margin_winner : 20
1443.43/213.15	c (187,0) c Exported_0 : 3753
1443.43/213.15	c (187,0) c Exported_1 : 3939
1443.43/213.15	c (187,0) c Exported_2 : 3390
1443.43/213.15	c (187,0) c Exported_3 : 3484
1443.43/213.15	c (187,0) c Exported_4 : 3484
1443.43/213.15	c (187,0) c Exported_5 : 3706
1443.43/213.15	c (187,0) c Exported_6 : 3497
1443.43/213.15	c (187,0) c Exported_7 : 3650
1443.43/213.15	c (187,0) c Exported_total : 28903
1443.43/213.15	c (187,0) c Exported_winner : 3650
1443.43/213.15	c (187,0) c Imported_0 : 23105
1443.43/213.15	c (187,0) c Imported_1 : 23995
1443.43/213.15	c (187,0) c Imported_2 : 24436
1443.43/213.15	c (187,0) c Imported_3 : 24013
1443.43/213.15	c (187,0) c Imported_4 : 23224
1443.43/213.15	c (187,0) c Imported_5 : 24191
1443.43/213.15	c (187,0) c Imported_6 : 24349
1443.43/213.15	c (187,0) c Imported_7 : 24313
1443.43/213.15	c (187,0) c Imported_total : 191626
1443.43/213.15	c (187,0) c Imported_winner : 24313
1443.43/213.15	c (187,0) c Good_0 : 296
1443.43/213.15	c (187,0) c Good_1 : 282
1443.43/213.15	c (187,0) c Good_2 : 315
1443.43/213.15	c (187,0) c Good_3 : 304
1443.43/213.15	c (187,0) c Good_4 : 272
1443.43/213.15	c (187,0) c Good_5 : 301
1443.43/213.15	c (187,0) c Good_6 : 308
1443.43/213.15	c (187,0) c Good_7 : 298
1443.43/213.15	c (187,0) c Good_total : 2376
1443.43/213.15	c (187,0) c Good_winner : 298
1443.43/213.15	c (187,0) c Purge_0 : 22809
1443.43/213.15	c (187,0) c Purge_1 : 23713
1443.43/213.15	c (187,0) c Purge_2 : 24121
1443.43/213.15	c (187,0) c Purge_3 : 23709
1443.43/213.15	c (187,0) c Purge_4 : 22952
1443.43/213.15	c (187,0) c Purge_5 : 23890
1443.43/213.15	c (187,0) c Purge_6 : 24041
1443.43/213.15	c (187,0) c Purge_7 : 24015
1443.43/213.15	c (187,0) c Purge_total : 189250
1443.43/213.15	c (187,0) c Purge_winner : 24015
1443.43/213.15	c (187,0) c Promoted_0 : 2203
1443.43/213.15	c (187,0) c Promoted_1 : 2204
1443.43/213.15	c (187,0) c Promoted_2 : 2280
1443.43/213.15	c (187,0) c Promoted_3 : 2228
1443.43/213.15	c (187,0) c Promoted_4 : 2354
1443.43/213.15	c (187,0) c Promoted_5 : 2122
1443.43/213.15	c (187,0) c Promoted_6 : 2047
1443.43/213.15	c (187,0) c Promoted_7 : 2220
1443.43/213.15	c (187,0) c Promoted_total : 17658
1443.43/213.15	c (187,0) c Promoted_winner : 2220
1443.43/213.15	c (187,0) c Remove_Imp_0 : 3619
1443.43/213.15	c (187,0) c Remove_Imp_1 : 2494
1443.43/213.15	c (187,0) c Remove_Imp_2 : 5546
1443.43/213.15	c (187,0) c Remove_Imp_3 : 4416
1443.43/213.15	c (187,0) c Remove_Imp_4 : 6591
1443.43/213.15	c (187,0) c Remove_Imp_5 : 2993
1443.43/213.15	c (187,0) c Remove_Imp_6 : 5953
1443.43/213.15	c (187,0) c Remove_Imp_7 : 3818
1443.43/213.15	c (187,0) c Remove_Imp_total : 35430
1443.43/213.15	c (187,0) c Remove_Imp_winner : 3818
1443.43/213.15	c (187,0) c Blocked_Reuse_0 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_1 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_2 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_3 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_4 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_5 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_6 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_7 : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_total : 0
1443.43/213.15	c (187,0) c Blocked_Reuse_winner : 0
1443.43/213.15	c (187,0) c Unaries_0 : 31
1443.43/213.15	c (187,0) c Unaries_1 : 31
1443.43/213.15	c (187,0) c Unaries_2 : 26
1443.43/213.15	c (187,0) c Unaries_3 : 21
1443.43/213.15	c (187,0) c Unaries_4 : 43
1443.43/213.15	c (187,0) c Unaries_5 : 22
1443.43/213.15	c (187,0) c Unaries_6 : 32
1443.43/213.15	c (187,0) c Unaries_7 : 23
1443.43/213.16	c (187,0) c Unaries_total : 229
1443.43/213.16	c (187,0) c Unaries_winner : 23
1443.43/213.16	c (187,0) c Binaries_0 : 40
1443.43/213.16	c (187,0) c Binaries_1 : 79
1443.43/213.16	c (187,0) c Binaries_2 : 37
1443.43/213.16	c (187,0) c Binaries_3 : 36
1443.43/213.16	c (187,0) c Binaries_4 : 59
1443.43/213.16	c (187,0) c Binaries_5 : 55
1443.43/213.16	c (187,0) c Binaries_6 : 36
1443.43/213.16	c (187,0) c Binaries_7 : 59
1443.43/213.16	c (187,0) c Binaries_total : 401
1443.43/213.16	c (187,0) c Binaries_winner : 59
1443.43/213.16	c (187,0) c Glues_0 : 632
1443.43/213.16	c (187,0) c Glues_1 : 752
1443.43/213.16	c (187,0) c Glues_2 : 618
1443.43/213.16	c (187,0) c Glues_3 : 591
1443.43/213.16	c (187,0) c Glues_4 : 627
1443.43/213.16	c (187,0) c Glues_5 : 636
1443.43/213.16	c (187,0) c Glues_6 : 522
1443.43/213.16	c (187,0) c Glues_7 : 621
1443.43/213.16	c (187,0) c Glues_total : 4999
1443.43/213.16	c (187,0) c Glues_winner : 621
1443.43/213.16	c (187,0) c RunningTime_0 : 182.868868
1443.43/213.16	c (187,0) c RunningTime_1 : 183.129529
1443.43/213.16	c (187,0) c RunningTime_2 : 174.074415
1443.43/213.16	c (187,0) c RunningTime_3 : 171.464238
1443.43/213.16	c (187,0) c RunningTime_4 : 172.457488
1443.43/213.16	c (187,0) c RunningTime_5 : 173.000096
1443.43/213.16	c (187,0) c RunningTime_6 : 172.298341
1443.43/213.16	c (187,0) c RunningTime_7 : 179.648115
1443.43/213.16	c (187,0) c RunningTime_total : 1408.941089
1443.43/213.16	c (187,0) c RunningTime_winner : 179.648115
1443.43/213.16	c (187,0) c WaitingTime_0 : 0.001358
1443.43/213.16	c (187,0) c WaitingTime_1 : 0.001241
1443.43/213.16	c (187,0) c WaitingTime_2 : 6.612641
1443.43/213.16	c (187,0) c WaitingTime_3 : 8.964070
1443.43/213.16	c (187,0) c WaitingTime_4 : 8.775140
1443.43/213.16	c (187,0) c WaitingTime_5 : 7.431813
1443.43/213.16	c (187,0) c WaitingTime_6 : 8.223713
1443.43/213.16	c (187,0) c WaitingTime_7 : 0.726255
1443.43/213.16	c (187,0) c WaitingTime_total : 40.736232
1443.43/213.16	c (187,0) c WaitingTime_winner : 0.726255
1443.43/213.16	c (187,0) c ExchangingTime_0 : 0.024156
1443.43/213.16	c (187,0) c ExchangingTime_1 : 0.022422
1443.43/213.16	c (187,0) c ExchangingTime_2 : 0.024061
1443.43/213.16	c (187,0) c ExchangingTime_3 : 0.025032
1443.43/213.16	c (187,0) c ExchangingTime_4 : 0.025670
1443.43/213.16	c (187,0) c ExchangingTime_5 : 0.023032
1443.43/213.16	c (187,0) c ExchangingTime_6 : 0.024447
1443.43/213.16	c (187,0) c ExchangingTime_7 : 0.023586
1443.43/213.16	c (187,0) c ExchangingTime_total : 0.192406
1443.43/213.16	c (187,0) c ExchangingTime_winner : 0.023586
1443.43/213.16	c (187,0) c PeriodProcTime_0 : 0.013609
1443.43/213.16	c (187,0) c PeriodProcTime_1 : 0.012253
1443.43/213.16	c (187,0) c PeriodProcTime_2 : 0.008832
1443.43/213.16	c (187,0) c PeriodProcTime_3 : 0.011261
1443.43/213.16	c (187,0) c PeriodProcTime_4 : 0.011363
1443.43/213.16	c (187,0) c PeriodProcTime_5 : 0.008824
1443.43/213.16	c (187,0) c PeriodProcTime_6 : 0.011234
1443.43/213.16	c (187,0) c PeriodProcTime_7 : 0.008753
1443.43/213.16	c (187,0) c PeriodProcTime_total : 0.086128
1443.43/213.16	c (187,0) c PeriodProcTime_winner : 0.008753
1443.43/213.16	c (187,0) c SolvingTime_0 : 182.907991
1443.43/213.16	c (187,0) c SolvingTime_1 : 183.165445
1443.43/213.16	c (187,0) c SolvingTime_2 : 180.719949
1443.43/213.16	c (187,0) c SolvingTime_3 : 180.464601
1443.43/213.16	c (187,0) c SolvingTime_4 : 181.269661
1443.43/213.16	c (187,0) c SolvingTime_5 : 180.463766
1443.43/213.16	c (187,0) c SolvingTime_6 : 180.557734
1443.43/213.16	c (187,0) c SolvingTime_7 : 180.406709
1443.43/213.16	c (187,0) c SolvingTime_total : 1449.955855
1443.43/213.16	c (187,0) c SolvingTime_winner : 180.406709
1443.43/213.16	c (187,0) c PropagationTime_0 : 174.043239
1443.43/213.16	c (187,0) c PropagationTime_1 : 174.061783
1443.43/213.16	c (187,0) c PropagationTime_2 : 170.191985
1443.43/213.16	c (187,0) c PropagationTime_3 : 169.172637
1443.43/213.16	c (187,0) c PropagationTime_4 : 170.553401
1443.43/213.16	c (187,0) c PropagationTime_5 : 169.353665
1443.43/213.16	c (187,0) c PropagationTime_6 : 169.944921
1443.43/213.16	c (187,0) c PropagationTime_7 : 170.710289
1443.43/213.16	c (187,0) c PropagationTime_total : 1368.031919
1443.43/213.16	c (187,0) c PropagationTime_winner : 170.710289
1443.43/213.16	c (187,0) c AnalysisTime_0 : 2.913879
1443.43/213.16	c (187,0) c AnalysisTime_1 : 2.937044
1443.43/213.16	c (187,0) c AnalysisTime_2 : 2.866244
1443.43/213.16	c (187,0) c AnalysisTime_3 : 2.962906
1443.43/213.16	c (187,0) c AnalysisTime_4 : 2.868234
1443.43/213.16	c (187,0) c AnalysisTime_5 : 3.008359
1443.43/213.16	c (187,0) c AnalysisTime_6 : 3.187621
1443.43/213.16	c (187,0) c AnalysisTime_7 : 2.990448
1443.43/213.16	c (187,0) c AnalysisTime_total : 23.734735
1443.43/213.16	c (187,0) c AnalysisTime_winner : 2.990448
1443.43/213.16	c (187,0) c ReductionTime_0 : 0.007125
1443.43/213.16	c (187,0) c ReductionTime_1 : 0.006330
1443.43/213.16	c (187,0) c ReductionTime_2 : 0.007002
1443.43/213.16	c (187,0) c ReductionTime_3 : 0.008045
1443.43/213.16	c (187,0) c ReductionTime_4 : 0.007407
1443.43/213.16	c (187,0) c ReductionTime_5 : 0.007278
1443.43/213.16	c (187,0) c ReductionTime_6 : 0.007440
1443.43/213.16	c (187,0) c ReductionTime_7 : 0.006595
1443.43/213.16	c (187,0) c ReductionTime_total : 0.057222
1443.43/213.16	c (187,0) c ReductionTime_winner : 0.006595
1443.43/213.16	c (187,0) c SimplifyTime_0 : 2.160287
1443.43/213.16	c (187,0) c SimplifyTime_1 : 2.353342
1443.43/213.16	c (187,0) c SimplifyTime_2 : 3.892975
1443.43/213.16	c (187,0) c SimplifyTime_3 : 4.509897
1443.43/213.16	c (187,0) c SimplifyTime_4 : 4.010624
1443.43/213.16	c (187,0) c SimplifyTime_5 : 4.299482
1443.43/213.16	c (187,0) c SimplifyTime_6 : 3.603753
1443.43/213.16	c (187,0) c SimplifyTime_7 : 2.800416
1443.43/213.16	c (187,0) c SimplifyTime_total : 27.630776
1443.43/213.16	c (187,0) c SimplifyTime_winner : 2.800416
1443.43/213.16	c (187,0) c UsedRateTime_0 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_1 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_2 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_3 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_4 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_5 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_6 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_7 : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_total : 0.000000
1443.43/213.16	c (187,0) c UsedRateTime_winner : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_0 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_1 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_2 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_3 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_4 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_5 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_6 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_7 : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_total : 0.000000
1443.43/213.16	c (187,0) c OverlapRateTime_winner : 0.000000
1443.43/213.16	c (187,0) c
1443.43/213.16	c (187,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1443.43/213.16	c (187,0) c
1443.43/213.16	c (187,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.16	c (187,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1443.43/213.16	c (187,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.16	c (187,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1443.43/213.16	c (187,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1443.43/213.16	c (187,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1443.43/213.16	c (187,0) c | Initial random_seed   |  679722083 |  980670247 | 1173794572 | 1402032476 |  123457925 | 1950383075 | 1838359378 |  865970203 |
1443.43/213.16	c (187,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1443.43/213.16	c (187,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1443.43/213.16	c (187,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1443.43/213.16	c (187,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1443.43/213.16	c (187,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1443.43/213.16	c (187,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1443.43/213.16	c (187,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1443.43/213.16	c (187,0) c | var_decay             |     0.8400 |     0.8400 |     0.8300 |     0.8400 |     0.8300 |     0.8400 |     0.8300 |     0.8400 |
1443.43/213.16	c (187,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1443.43/213.16	c (187,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1443.43/213.16	c (187,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1443.43/213.16	c (187,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1443.43/213.16	c (187,0) 
1443.43/213.16	c (187,0) s UNSATISFIABLE
35.89/213.34	c (188,0) SatSolver.solve End
35.89/213.34	c (188,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
35.89/213.34	c (188,0) Show results Begin
35.89/213.34	s UNSATISFIABLE
35.89/213.34	c (188,0) Show results End
35.89/213.34	c (188,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
35.89/213.35	c (188,0) 188,188,STOP-AFTER(ALL)
35.89/213.35	c END-Prog: Sat Sep 14 08:26:20 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 (10800 MiB free)
  memory of node 1: 16384 MiB (13317 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100158 s]*
/proc/loadavg: 6.22 7.51 7.97 3/212 12005
/proc/meminfo: memFree=24599908/32770624 swapFree=67108848/67108860
[pid=11983] ppid=11980 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11983/stat : 11983 (scop.sh) S 11980 11983 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420158081 115843072 348 33554432000 4194304 5098028 140735526503472 140735526500728 139948554883708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23814144 140735526507300 140735526507628 140735526507628 140735526510541 0
/proc/11983/statm: 28282 348 296 221 0 87 0
[pid=11986] ppid=11983 vsize=27314120 memory=106988 CPUtime=0.1 cores=0-7
/proc/11986/stat : 11986 (java) S 11983 11983 10407 0 -1 1077944320 6771 0 0 0 8 2 0 0 20 0 20 0 420158081 27969658880 26747 33554432000 4194304 4196468 140721663886816 140721663869360 140050294419191 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
/proc/11986/statm: 6828530 26747 2814 1 0 6790935 0
[pid=11986/tid=11987] ppid=11983 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/11986/task/11987/stat : 11987 (java) R 11983 11983 10407 0 -1 4202560 4862 0 0 0 7 2 0 0 20 0 20 0 420158081 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050266245904 140050278499678 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11988] ppid=11983 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11986/task/11988/stat : 11988 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050298661776 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11989] ppid=11983 vsize=27314120 memory=140180326655616 CPUtime=0 cores=0-7
/proc/11986/task/11989/stat : 11989 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050112817936 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11990] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11990/stat : 11990 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050111765648 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11991] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11991/stat : 11991 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050110712848 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11992] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11992/stat : 11992 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050109659536 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11993] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/11993/stat : 11993 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050108606736 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11994] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11994/stat : 11994 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050107554448 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11995] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11995/stat : 11995 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 26747 33554432000 4194304 4196468 140721663886816 140050106501648 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11996] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11996/stat : 11996 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420158085 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048459401840 140050294430338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11997] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11997/stat : 11997 (java) S 11983 11983 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420158086 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048213206304 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11998] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11998/stat : 11998 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158086 27969658880 26747 33554432000 4194304 4196468 140721663886816 140047944771184 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11999] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11999/stat : 11999 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 26747 33554432000 4194304 4196468 140721663886816 140047570262608 140050294437787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12000] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12000/stat : 12000 (java) S 11983 11983 10407 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048458348656 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12001] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12001/stat : 12001 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048457295856 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12002] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12002/stat : 12002 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048456243568 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12003] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12003/stat : 12003 (java) S 11983 11983 10407 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048455190768 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12004] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12004/stat : 12004 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158089 27969658880 26747 33554432000 4194304 4196468 140721663886816 140047072357216 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12005] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/12005/stat : 12005 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158089 27969658880 26747 33554432000 4194304 4196468 140721663886816 140048454138672 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108380 KiB

[startup+0.210333 s]*
/proc/loadavg: 6.22 7.51 7.97 2/212 12005
/proc/meminfo: memFree=24579160/32770624 swapFree=67108848/67108860
[pid=11983] ppid=11980 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11983/stat : 11983 (scop.sh) S 11980 11983 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420158081 115843072 348 33554432000 4194304 5098028 140735526503472 140735526500728 139948554883708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23814144 140735526507300 140735526507628 140735526507628 140735526510541 0
/proc/11983/statm: 28282 348 296 221 0 87 0
[pid=11986] ppid=11983 vsize=27314120 memory=126020 CPUtime=0.24 cores=0-7
/proc/11986/stat : 11986 (java) S 11983 11983 10407 0 -1 1077944320 12376 0 0 0 20 4 0 0 20 0 20 0 420158081 27969658880 31505 33554432000 4194304 4196468 140721663886816 140721663869360 140050294419191 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
/proc/11986/statm: 6828530 31505 2920 1 0 6790935 0
[pid=11986/tid=11987] ppid=11983 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11986/task/11987/stat : 11987 (java) R 11983 11983 10407 0 -1 4202560 10070 0 0 0 16 4 0 0 20 0 20 0 420158081 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050266238432 140050275982720 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11988] ppid=11983 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/11986/task/11988/stat : 11988 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050298661776 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11989] ppid=11983 vsize=27314120 memory=140180326667488 CPUtime=0 cores=0-7
/proc/11986/task/11989/stat : 11989 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050112817936 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11990] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/11990/stat : 11990 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050111765648 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11991] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11991/stat : 11991 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050110712848 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11992] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11992/stat : 11992 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050109659536 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11993] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/11993/stat : 11993 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050108606736 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11994] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11994/stat : 11994 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050107554448 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11995] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11995/stat : 11995 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 31505 33554432000 4194304 4196468 140721663886816 140050106501648 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11996] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11996/stat : 11996 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420158085 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048459401840 140050294430338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11997] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11997/stat : 11997 (java) S 11983 11983 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420158086 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048213206304 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11998] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11998/stat : 11998 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158086 27969658880 31505 33554432000 4194304 4196468 140721663886816 140047944771184 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11999] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11999/stat : 11999 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 31505 33554432000 4194304 4196468 140721663886816 140047570262608 140050294437787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12000] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12000/stat : 12000 (java) S 11983 11983 10407 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048458348656 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12001] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12001/stat : 12001 (java) S 11983 11983 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048457295856 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12002] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/12002/stat : 12002 (java) S 11983 11983 10407 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048456243568 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12003] ppid=11983 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11986/task/12003/stat : 12003 (java) S 11983 11983 10407 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 420158088 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048455190768 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12004] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12004/stat : 12004 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158089 27969658880 31505 33554432000 4194304 4196468 140721663886816 140047072357216 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12005] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/12005/stat : 12005 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158089 27969658880 31505 33554432000 4194304 4196468 140721663886816 140048454138672 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127412 KiB

[startup+0.309793 s]*
/proc/loadavg: 6.22 7.51 7.97 2/212 12005
/proc/meminfo: memFree=24576492/32770624 swapFree=67108848/67108860
[pid=11983] ppid=11980 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11983/stat : 11983 (scop.sh) S 11980 11983 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420158081 115843072 348 33554432000 4194304 5098028 140735526503472 140735526500728 139948554883708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23814144 140735526507300 140735526507628 140735526507628 140735526510541 0
/proc/11983/statm: 28282 348 296 221 0 87 0
[pid=11986] ppid=11983 vsize=27314120 memory=129560 CPUtime=0.43 cores=0-7
/proc/11986/stat : 11986 (java) S 11983 11983 10407 0 -1 1077944320 12784 0 0 0 38 5 0 0 20 0 20 0 420158081 27969658880 32390 33554432000 4194304 4196468 140721663886816 140721663869360 140050294419191 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
/proc/11986/statm: 6828530 32390 3023 1 0 6790935 0
[pid=11986/tid=11987] ppid=11983 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/11986/task/11987/stat : 11987 (java) R 11983 11983 10407 0 -1 4202560 10307 0 0 0 26 4 0 0 20 0 20 0 420158081 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050266204176 140050274695075 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11988] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11988/stat : 11988 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050298661776 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11989] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11989/stat : 11989 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050112817936 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11990] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11990/stat : 11990 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050111765648 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11991] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11991/stat : 11991 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050110712848 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11992] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11992/stat : 11992 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050109659536 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11993] ppid=11983 vsize=27314120 memory=140180216441519 CPUtime=0 cores=0-7
/proc/11986/task/11993/stat : 11993 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050108606736 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11994] ppid=11983 vsize=27314120 memory=140180216443824 CPUtime=0 cores=0-7
/proc/11986/task/11994/stat : 11994 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050107554448 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11995] ppid=11983 vsize=27314120 memory=140180216446128 CPUtime=0 cores=0-7
/proc/11986/task/11995/stat : 11995 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27969658880 32390 33554432000 4194304 4196468 140721663886816 140050106501648 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11996] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11996/stat : 11996 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420158085 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048459401840 140050294430338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11997] ppid=11983 vsize=27314120 memory=280360432906128 CPUtime=0 cores=0-7
/proc/11986/task/11997/stat : 11997 (java) S 11983 11983 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420158086 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048213206304 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11998] ppid=11983 vsize=27314120 memory=280360432903824 CPUtime=0 cores=0-7
/proc/11986/task/11998/stat : 11998 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158086 27969658880 32390 33554432000 4194304 4196468 140721663886816 140047944771184 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11999] ppid=11983 vsize=27314120 memory=280360432910736 CPUtime=0 cores=0-7
/proc/11986/task/11999/stat : 11999 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 32390 33554432000 4194304 4196468 140721663886816 140047570262608 140050294437787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12000] ppid=11983 vsize=27314120 memory=280360432852016 CPUtime=0 cores=0-7
/proc/11986/task/12000/stat : 12000 (java) S 11983 11983 10407 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048458348656 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12001] ppid=11983 vsize=27314120 memory=280360432924560 CPUtime=0 cores=0-7
/proc/11986/task/12001/stat : 12001 (java) S 11983 11983 10407 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 420158088 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048457295856 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12002] ppid=11983 vsize=27314120 memory=280360432931472 CPUtime=0.02 cores=0-7
/proc/11986/task/12002/stat : 12002 (java) S 11983 11983 10407 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 420158088 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048456243568 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12003] ppid=11983 vsize=27314120 memory=280360432929168 CPUtime=0.07 cores=0-7
/proc/11986/task/12003/stat : 12003 (java) S 11983 11983 10407 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 20 0 420158088 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048455190768 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12004] ppid=11983 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/12004/stat : 12004 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420158089 27969658880 32390 33554432000 4194304 4196468 140721663886816 140047072357216 140050294429397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=12005] ppid=11983 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11986/task/12005/stat : 12005 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158089 27969658880 32390 33554432000 4194304 4196468 140721663886816 140048454138672 140050294430338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130952 KiB

[startup+0.700956 s]
/proc/loadavg: 6.22 7.51 7.97 2/212 12005
/proc/meminfo: memFree=24555524/32770624 swapFree=67108848/67108860
[pid=11983] ppid=11980 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11983/stat : 11983 (scop.sh) S 11980 11983 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420158081 115843072 348 33554432000 4194304 5098028 140735526503472 140735526500728 139948554883708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23814144 140735526507300 140735526507628 140735526507628 140735526510541 0
/proc/11983/statm: 28282 348 296 221 0 87 0
[pid=11986] ppid=11983 vsize=27320392 memory=165548 CPUtime=1.01 cores=0-7
/proc/11986/stat : 11986 (java) S 11983 11983 10407 0 -1 1077944320 20508 0 0 0 94 7 0 0 20 0 20 0 420158081 27976081408 41387 33554432000 4194304 4196468 140721663886816 140721663869360 140050294419191 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
/proc/11986/statm: 6830098 41387 3183 1 0 6791447 0
[pid=11986/tid=11987] ppid=11983 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/11986/task/11987/stat : 11987 (java) R 11983 11983 10407 0 -1 4202560 17367 0 0 0 62 5 0 0 20 0 20 0 420158081 27976081408 41387 33554432000 4194304 4196468 140721663886816 140050266254928 140049775833093 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11988] ppid=11983 vsize=27320392 memory=140180216652656 CPUtime=0 cores=0-7
/proc/11986/task/11988/stat : 11988 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27976081408 41387 33554432000 4194304 4196468 140721663886816 140050298661776 140050294429397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11989] ppid=11983 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11986/task/11989/stat : 11989 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27976081408 41387 33554432000 4194304 4196468 140721663886816 140050112817936 140050294429397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0
[pid=11986/tid=11990] ppid=11983 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/11986/task/11990/stat : 11990 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420158084 27976081408 41387 33554432000 4194304 4196468 140721663886816 140050111765648 140050294429397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140721663894250 140721663894678 140721663894678 140721663897551 0

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

/proc/12006/task/12013/stat : 12013 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601336511248 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12014] ppid=11983 vsize=8414124 memory=7305515213626233707 CPUtime=0 cores=0-7
/proc/12006/task/12014/stat : 12014 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601335458960 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12015] ppid=11983 vsize=8414124 memory=7451608440283485027 CPUtime=0 cores=0-7
/proc/12006/task/12015/stat : 12015 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601334406160 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12016] ppid=11983 vsize=8414124 memory=1100 CPUtime=0 cores=0-7
/proc/12006/task/12016/stat : 12016 (java) S 11983 11983 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420160565 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600629811312 140601536322178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12017] ppid=11983 vsize=8414124 memory=15208 CPUtime=0 cores=0-7
/proc/12006/task/12017/stat : 12017 (java) S 11983 11983 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420160565 8616062976 29919 33554432000 4194304 4196468 140724064503264 140599982285600 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12018] ppid=11983 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12006/task/12018/stat : 12018 (java) S 11983 11983 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420160566 8616062976 29919 33554432000 4194304 4196468 140724064503264 140599848064112 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12019] ppid=11983 vsize=8414124 memory=119676 CPUtime=0 cores=0-7
/proc/12006/task/12019/stat : 12019 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140599473559632 140601536329627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12020] ppid=11983 vsize=8414124 memory=2711520 CPUtime=0.05 cores=0-7
/proc/12006/task/12020/stat : 12020 (java) S 11983 11983 10407 0 -1 1077944384 613 0 0 0 5 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600628759152 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12021] ppid=11983 vsize=8414124 memory=752 CPUtime=0.07 cores=0-7
/proc/12006/task/12021/stat : 12021 (java) S 11983 11983 10407 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600627706352 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12022] ppid=11983 vsize=8414124 memory=1636 CPUtime=0.12 cores=0-7
/proc/12006/task/12022/stat : 12022 (java) S 11983 11983 10407 0 -1 1077944384 497 0 0 0 12 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600626654064 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12023] ppid=11983 vsize=8414124 memory=812 CPUtime=0.22 cores=0-7
/proc/12006/task/12023/stat : 12023 (java) S 11983 11983 10407 0 -1 1077944384 743 0 0 0 22 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600625601264 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12024] ppid=11983 vsize=8414124 memory=6225760709902356563 CPUtime=0 cores=0-7
/proc/12006/task/12024/stat : 12024 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598975654240 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12025] ppid=11983 vsize=8414124 memory=7378698733322660691 CPUtime=0.11 cores=0-7
/proc/12006/task/12025/stat : 12025 (java) S 11983 11983 10407 0 -1 1077944384 15 0 0 0 5 6 0 0 20 0 24 0 420160569 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600624548144 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12027] ppid=11983 vsize=8414124 memory=7594870415909474923 CPUtime=0 cores=0-7
/proc/12006/task/12027/stat : 12027 (java) S 11983 11983 10407 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420160637 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600616514880 140601536335641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12029] ppid=11983 vsize=8414124 memory=7378698733322660947 CPUtime=0 cores=0-7
/proc/12006/task/12029/stat : 12029 (java) S 11983 11983 10407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420160637 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598304554928 140601536332957 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12030] ppid=11983 vsize=8414124 memory=7451038811587634768 CPUtime=0 cores=0-7
/proc/12006/task/12030/stat : 12030 (java) S 11983 11983 10407 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420160638 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598572990256 140601536332957 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12031] ppid=11983 vsize=8414124 memory=-8745263056759845266 CPUtime=0 cores=0-7
/proc/12006/task/12031/stat : 12031 (java) S 11983 11983 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420160640 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598036127536 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
Current children cumulated CPU time: 1441.65 s
Current children cumulated vsize: 12059368 KiB
Current children cumulated memory: 2832880 KiB

[startup+212.901 s]
/proc/loadavg: 7.79 7.44 7.81 3/218 12052
/proc/meminfo: memFree=21732724/32770624 swapFree=67108848/67108860
[pid=11983] ppid=11980 vsize=113128 memory=1476 CPUtime=34.4 cores=0-7
/proc/11983/stat : 11983 (scop.sh) S 11980 11983 10407 0 -1 4202496 582 37793 0 0 0 0 3282 158 20 0 1 0 420158081 115843072 369 33554432000 4194304 5098028 140735526503472 140735526500216 139948554883708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23814144 140735526507300 140735526507628 140735526507628 140735526510541 0
/proc/11983/statm: 28282 369 311 221 0 87 0
[pid=12006] ppid=11983 vsize=8414124 memory=119676 CPUtime=1.43 cores=0-7
/proc/12006/stat : 12006 (java) S 11983 11983 10407 0 -1 1077944320 20380 0 0 0 132 11 0 0 20 0 24 0 420160562 8616062976 29919 33554432000 4194304 4196468 140724064503264 140724064485808 140601536311031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
/proc/12006/statm: 2103531 29919 3201 1 0 2064875 0
[pid=12026] ppid=12006 vsize=3532116 memory=2711728 CPUtime=1407.39 cores=0-7
/proc/12026/stat : 12026 (manyglucose-4.1) S 12006 11983 10407 0 -1 1077944320 9398167 0 0 0 139529 1210 0 0 20 0 2 0 420160637 3616886784 677932 33554432000 4194304 4454172 140722827572272 140722827570656 140203371237111 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 8544256 140722827576169 140722827576368 140722827576368 140722827579322 0
/proc/12026/statm: 883029 677932 419 64 0 878697 0
[pid=12026/tid=12033] ppid=12006 vsize=3532116 memory=1792 CPUtime=182.69 cores=0-7
/proc/12026/task/12033/stat : 12033 (manyglucose-4.1) R 12006 11983 10407 0 -1 4202560 1321722 0 0 0 18082 187 0 0 20 0 2 0 420161078 3616886784 677932 33554432000 4194304 4454172 140722827572272 140203280727176 4351099 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 8544256 140722827576169 140722827576368 140722827576368 140722827579322 0
[pid=12006/tid=12007] ppid=11983 vsize=8414124 memory=1476 CPUtime=0.78 cores=0-7
/proc/12006/task/12007/stat : 12007 (java) S 11983 11983 10407 0 -1 1077944384 16767 0 0 0 71 7 0 0 20 0 24 0 420160562 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601508151200 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12008] ppid=11983 vsize=8414124 memory=-8745263056759845266 CPUtime=0 cores=0-7
/proc/12006/task/12008/stat : 12008 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601540553104 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12009] ppid=11983 vsize=8414124 memory=2711728 CPUtime=0 cores=0-7
/proc/12006/task/12009/stat : 12009 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601340721424 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12010] ppid=11983 vsize=8414124 memory=1192 CPUtime=0 cores=0-7
/proc/12006/task/12010/stat : 12010 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601339669136 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12011] ppid=11983 vsize=8414124 memory=5536 CPUtime=0 cores=0-7
/proc/12006/task/12011/stat : 12011 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601338616336 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12012] ppid=11983 vsize=8414124 memory=-8745263056759845266 CPUtime=0 cores=0-7
/proc/12006/task/12012/stat : 12012 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601337564048 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12013] ppid=11983 vsize=8414124 memory=1536 CPUtime=0 cores=0-7
/proc/12006/task/12013/stat : 12013 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601336511248 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12014] ppid=11983 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/12006/task/12014/stat : 12014 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601335458960 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12015] ppid=11983 vsize=8414124 memory=2008 CPUtime=0 cores=0-7
/proc/12006/task/12015/stat : 12015 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 29919 33554432000 4194304 4196468 140724064503264 140601334406160 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12016] ppid=11983 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/12006/task/12016/stat : 12016 (java) S 11983 11983 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420160565 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600629811312 140601536322178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12017] ppid=11983 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/12006/task/12017/stat : 12017 (java) S 11983 11983 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420160565 8616062976 29919 33554432000 4194304 4196468 140724064503264 140599982285600 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12018] ppid=11983 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12006/task/12018/stat : 12018 (java) S 11983 11983 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420160566 8616062976 29919 33554432000 4194304 4196468 140724064503264 140599848064112 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12019] ppid=11983 vsize=8414124 memory=119676 CPUtime=0 cores=0-7
/proc/12006/task/12019/stat : 12019 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140599473559632 140601536329627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12020] ppid=11983 vsize=8414124 memory=2711292 CPUtime=0.05 cores=0-7
/proc/12006/task/12020/stat : 12020 (java) S 11983 11983 10407 0 -1 1077944384 613 0 0 0 5 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600628759152 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12021] ppid=11983 vsize=8414124 memory=119676 CPUtime=0.07 cores=0-7
/proc/12006/task/12021/stat : 12021 (java) S 11983 11983 10407 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600627706352 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12022] ppid=11983 vsize=8414124 memory=2710280 CPUtime=0.12 cores=0-7
/proc/12006/task/12022/stat : 12022 (java) S 11983 11983 10407 0 -1 1077944384 497 0 0 0 12 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600626654064 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12023] ppid=11983 vsize=8414124 memory=1792 CPUtime=0.22 cores=0-7
/proc/12006/task/12023/stat : 12023 (java) S 11983 11983 10407 0 -1 1077944384 743 0 0 0 22 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600625601264 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12024] ppid=11983 vsize=8414124 memory=8612 CPUtime=0 cores=0-7
/proc/12006/task/12024/stat : 12024 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420160568 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598975654240 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12025] ppid=11983 vsize=8414124 memory=4048 CPUtime=0.11 cores=0-7
/proc/12006/task/12025/stat : 12025 (java) S 11983 11983 10407 0 -1 1077944384 15 0 0 0 5 6 0 0 20 0 24 0 420160569 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600624548144 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12027] ppid=11983 vsize=8414124 memory=14288 CPUtime=0 cores=0-7
/proc/12006/task/12027/stat : 12027 (java) S 11983 11983 10407 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420160637 8616062976 29919 33554432000 4194304 4196468 140724064503264 140600616514880 140601536335641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12029] ppid=11983 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/12006/task/12029/stat : 12029 (java) S 11983 11983 10407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420160637 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598304554928 140601536332957 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12030] ppid=11983 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/12006/task/12030/stat : 12030 (java) S 11983 11983 10407 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420160638 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598572990256 140601536332957 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12031] ppid=11983 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/12006/task/12031/stat : 12031 (java) S 11983 11983 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420160640 8616062976 29919 33554432000 4194304 4196468 140724064503264 140598036127536 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
Current children cumulated CPU time: 1443.22 s
Current children cumulated vsize: 12059368 KiB
Current children cumulated memory: 2832880 KiB

[startup+213.301 s]
/proc/loadavg: 7.79 7.44 7.81 2/217 12052
/proc/meminfo: memFree=21732848/32770624 swapFree=67108848/67108860
[pid=11983] ppid=11980 vsize=113128 memory=1476 CPUtime=34.4 cores=0-7
/proc/11983/stat : 11983 (scop.sh) S 11980 11983 10407 0 -1 4202496 582 37793 0 0 0 0 3282 158 20 0 1 0 420158081 115843072 369 33554432000 4194304 5098028 140735526503472 140735526500216 139948554883708 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23814144 140735526507300 140735526507628 140735526507628 140735526510541 0
/proc/11983/statm: 28282 369 311 221 0 87 0
[pid=12006] ppid=11983 vsize=8414124 memory=120108 CPUtime=1.49 cores=0-7
/proc/12006/stat : 12006 (java) S 11983 11983 10407 0 -1 1077944320 20469 0 0 0 138 11 0 0 20 0 24 0 420160562 8616062976 30027 33554432000 4194304 4196468 140724064503264 140724064485808 140601536311031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
/proc/12006/statm: 2103531 30027 3207 1 0 2064875 0
[pid=12006/tid=12007] ppid=11983 vsize=8414124 memory=2711728 CPUtime=0.78 cores=0-7
/proc/12006/task/12007/stat : 12007 (java) S 11983 11983 10407 0 -1 1077944384 16767 0 0 0 71 7 0 0 20 0 24 0 420160562 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601508151200 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12008] ppid=11983 vsize=8414124 memory=15208 CPUtime=0 cores=0-7
/proc/12006/task/12008/stat : 12008 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601540553104 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12009] ppid=11983 vsize=8414124 memory=25060 CPUtime=0 cores=0-7
/proc/12006/task/12009/stat : 12009 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601340721424 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12010] ppid=11983 vsize=8414124 memory=4048 CPUtime=0 cores=0-7
/proc/12006/task/12010/stat : 12010 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601339669136 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12011] ppid=11983 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/12006/task/12011/stat : 12011 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601338616336 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12012] ppid=11983 vsize=8414124 memory=-3258418265892434876 CPUtime=0 cores=0-7
/proc/12006/task/12012/stat : 12012 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601337564048 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12013] ppid=11983 vsize=8414124 memory=11152 CPUtime=0 cores=0-7
/proc/12006/task/12013/stat : 12013 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601336511248 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12014] ppid=11983 vsize=8414124 memory=301794158559395867 CPUtime=0 cores=0-7
/proc/12006/task/12014/stat : 12014 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601335458960 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12015] ppid=11983 vsize=8414124 memory=6944652027076318631 CPUtime=0 cores=0-7
/proc/12006/task/12015/stat : 12015 (java) S 11983 11983 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420160563 8616062976 30027 33554432000 4194304 4196468 140724064503264 140601334406160 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12016] ppid=11983 vsize=8414124 memory=6944652027076318631 CPUtime=0 cores=0-7
/proc/12006/task/12016/stat : 12016 (java) S 11983 11983 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420160565 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600629811312 140601536322178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12017] ppid=11983 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/12006/task/12017/stat : 12017 (java) S 11983 11983 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420160565 8616062976 30027 33554432000 4194304 4196468 140724064503264 140599982285600 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12018] ppid=11983 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/12006/task/12018/stat : 12018 (java) S 11983 11983 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420160566 8616062976 30027 33554432000 4194304 4196468 140724064503264 140599848064112 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12019] ppid=11983 vsize=8414124 memory=15544015764327050 CPUtime=0 cores=0-7
/proc/12006/task/12019/stat : 12019 (java) S 11983 11983 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420160568 8616062976 30027 33554432000 4194304 4196468 140724064503264 140599473559632 140601536329627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12020] ppid=11983 vsize=8414124 memory=4048 CPUtime=0.07 cores=0-7
/proc/12006/task/12020/stat : 12020 (java) S 11983 11983 10407 0 -1 1077944384 653 0 0 0 7 0 0 0 20 0 24 0 420160568 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600628759152 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12021] ppid=11983 vsize=8414124 memory=1100 CPUtime=0.08 cores=0-7
/proc/12006/task/12021/stat : 12021 (java) S 11983 11983 10407 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 24 0 420160568 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600627706352 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12022] ppid=11983 vsize=8414124 memory=924 CPUtime=0.12 cores=0-7
/proc/12006/task/12022/stat : 12022 (java) S 11983 11983 10407 0 -1 1077944384 505 0 0 0 12 0 0 0 20 0 24 0 420160568 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600626654064 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12023] ppid=11983 vsize=8414124 memory=2376 CPUtime=0.24 cores=0-7
/proc/12006/task/12023/stat : 12023 (java) S 11983 11983 10407 0 -1 1077944384 766 0 0 0 24 0 0 0 20 0 24 0 420160568 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600625601264 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12024] ppid=11983 vsize=8414124 memory=2212 CPUtime=0 cores=0-7
/proc/12006/task/12024/stat : 12024 (java) S 11983 11983 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420160568 8616062976 30027 33554432000 4194304 4196468 140724064503264 140598975654240 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12025] ppid=11983 vsize=8414124 memory=30961 CPUtime=0.13 cores=0-7
/proc/12006/task/12025/stat : 12025 (java) S 11983 11983 10407 0 -1 1077944384 15 0 0 0 7 6 0 0 20 0 24 0 420160569 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600624548144 140601536322178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12027] ppid=11983 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/12006/task/12027/stat : 12027 (java) S 11983 11983 10407 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420160637 8616062976 30027 33554432000 4194304 4196468 140724064503264 140600616514880 140601536335641 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12029] ppid=11983 vsize=8414124 memory=6628 CPUtime=0.02 cores=0-7
/proc/12006/task/12029/stat : 12029 (java) S 11983 11983 10407 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 24 0 420160637 8616062976 30027 33554432000 4194304 4196468 140724064503264 140598304554960 140601536332957 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12030] ppid=11983 vsize=8414124 memory=8836 CPUtime=0 cores=0-7
/proc/12006/task/12030/stat : 12030 (java) S 11983 11983 10407 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420160638 8616062976 30027 33554432000 4194304 4196468 140724064503264 140598572990256 140601536332957 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
[pid=12006/tid=12031] ppid=11983 vsize=8414124 memory=11044 CPUtime=0 cores=0-7
/proc/12006/task/12031/stat : 12031 (java) S 11983 11983 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420160640 8616062976 30027 33554432000 4194304 4196468 140724064503264 140598036127536 140601536321237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140724064510967 140724064511126 140724064511126 140724064513999 0
Current children cumulated CPU time: 35.89 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121584 KiB

Child status: 0
Real time (s): 213.38
CPU time (s): 1443.79
CPU user time (s): 1429.76
CPU system time (s): 14.0263
CPU usage (%): 676.626
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6051076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1429.76
system time used= 14.0263
maximum resident set size= 6051384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9458786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 275488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54839
involuntary context switches= 13809


# summary of solver processes directly reported to runsolver:
#   pid: 11983
#   total CPU time (s): 1443.79
#   total CPU user time (s): 1429.76
#   total CPU system time (s): 14.0263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.96008 second user time and 2.95117 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 08:22:46
IDJOB=4392786
IDBENCH=138488
IDSOLVER=2839
FILE ID=node143/4392786-1568442207
RUNJOBID= node143-1568436511-10434
PBS_JOBID= 21702317
Free space on /tmp= 59272 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid 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-4392786-1568442207/watcher-4392786-1568442207 -o /tmp/evaluation-result-4392786-1568442207/solver-4392786-1568442207 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392786-1568442207.xml

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

MD5SUM BENCH= f8945e9ee38ae25fe131ea9d51f4675a
RANDOM SEED=581042699

node143.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.73
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.73
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.73
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.73
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:        24696568 kB
MemAvailable:   31755252 kB
Buffers:          202628 kB
Cached:          7146604 kB
SwapCached:            8 kB
Active:          2143444 kB
Inactive:        5256428 kB
Active(anon):       4052 kB
Inactive(anon):   146304 kB
Active(file):    2139392 kB
Inactive(file):  5110124 kB
Unevictable:      106472 kB
Mlocked:          106472 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             20004 kB
Writeback:             0 kB
AnonPages:        157280 kB
Mapped:            48944 kB
Shmem:             90756 kB
Slab:             266688 kB
SReclaimable:     237628 kB
SUnreclaim:        29060 kB
KernelStack:        3376 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59252 MiB
End job on node143 at 2019-09-14 08:26:20