Trace number 4392419

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 1459.92 193.816

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-160.xml
MD5SUM3ff67dee7a06e1e6311de3a7585abde9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark146.729
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size534
Maximum domain size534
Distribution of domain sizes[{"size":534,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12193-serial-file.bin HOME/instance-4392419-1568430543.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:08:19 CEST 2019
0.66/0.57	c PID: 12196
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 534
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4392419-1568430543.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.00	c (0,0) translated 22 (40%) constraints
1.39/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.01	c (0,0) translated 43 (80%) constraints
1.56/1.02	c (0,0) translated 48 (90%) constraints
2.16/1.27	c (0,0) translated 53 (100%) constraints
2.16/1.27	c (0,0) ===========================================
2.16/1.27	c (0,0) Order
2.16/1.27	c (0,0) ===========================================
2.16/1.28	c (0,0) translated 36 (10%) constraints
2.16/1.28	c (0,0) translated 71 (20%) constraints
2.16/1.29	c (0,0) translated 106 (30%) constraints
2.16/1.29	c (0,0) translated 141 (40%) constraints
2.51/1.30	c (0,0) translated 176 (50%) constraints
2.51/1.30	c (0,0) translated 212 (60%) constraints
2.51/1.31	c (0,0) translated 247 (70%) constraints
2.51/1.31	c (0,0) translated 282 (80%) constraints
2.51/1.31	c (0,0) translated 317 (90%) constraints
2.51/1.32	c (0,0) translated 352 (100%) constraints
2.51/1.32	c (0,0) CSP to CSPinCNF End
2.51/1.32	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 524
2.51/1.32	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.32	c (0,0) CSPinCNF Propagation Begin
2.51/1.35	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.51/1.35	c (0,0) CSPinCNF Propagation End
2.51/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 524
2.51/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.35	c (0,0) Simplify CSPinCNF Begin
2.86/1.44	c (0,0) Simplify CSPinCNF End
2.86/1.45	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.86/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.45	c (0,0) Calculate Precise Domain Begin
2.86/1.45	c (0,0) 0 values are removed by re-calculation
2.86/1.45	c (0,0) Calculate Precise Domain End
2.86/1.45	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.86/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.45	c (0,0) CSPinCNF to SatSolver Begin
4.75/1.99	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 74517 SAT clauses)
5.31/2.20	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 125424 SAT clauses)
5.51/2.40	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 172822 SAT clauses)
5.73/2.60	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 222135 SAT clauses)
5.83/2.78	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 266424 SAT clauses)
6.06/2.96	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 309648 SAT clauses)
6.28/3.12	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 349910 SAT clauses)
6.38/3.28	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 388929 SAT clauses)
6.64/3.41	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 421661 SAT clauses)
6.75/3.50	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 444328 SAT clauses)
6.75/3.50	c (2,2) CSPinCNF to SatSolver End
6.75/3.50	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.75/3.50	c (2,2) 23206 bool, 444490 clause
6.75/3.50	c (2,2) Export Begin
6.75/3.58	c (3,3) Export to HOME/scop-12193-serial-file.bin
6.75/3.58	c (3,3) Export End
6.75/3.58	c (3,3) Export File Size: 0.01 MB
6.75/3.58	c (3,3) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.75/3.58	c END-Prog: Sat Sep 14 05:08:22 CEST 2019
0.00/3.60	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12193-serial-file.bin
7.43/4.07	c (0,0) Read Serial File Begin
7.43/4.07	c (0,0) HOME/scop-12193-serial-file.bin
7.69/4.27	c (0,0) Read Serial File End
7.85/4.35	
7.85/4.35	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.85/4.35	(Solving Process)
7.85/4.35	
7.85/4.35	c BEGIN-Prog: Sat Sep 14 05:08:23 CEST 2019
7.85/4.35	c PID: 12216
7.85/4.35	c IP: 172.20.3.136
7.85/4.35	c HOST: node136.alineos.net
7.85/4.35	c (0,0) SatSolver.solve Begin
7.85/4.35	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392419-1568430543.xml-scop-12196.cnf
7.85/4.35	c (0,0) c
7.85/4.35	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)
7.85/4.35	c (0,0) c
7.85/4.35	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.85/4.35	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.85/4.35	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.85/4.35	c (0,0) c |                                                                                                       |
8.04/4.49	c (0,0) c |  Number of variables:         23206                                                                   |
8.04/4.49	c (0,0) c |  Number of clauses:          444490                                                                   |
8.04/4.49	c (0,0) c |  Parse time:                   0.15 s                                                                 |
8.04/4.49	c (0,0) c |                                                                                                       |
8.81/5.15	c (1,0) c |  Simplification time:          0.66 s                                                                 |
8.81/5.15	c (1,0) c |                                                                                                       |
8.81/5.15	c (1,0) c |  Generating clones                                                                                    |
8.90/5.28	c (1,0) c |  all clones generated. Memory =   311.25Mb.                                                           |
8.90/5.28	c (1,0) c ========================================================================================================|
8.90/5.28	c (1,0) c
8.90/5.28	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.90/5.28	c (1,0) c
8.90/5.28	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.90/5.28	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.90/5.28	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.90/5.28	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.90/5.28	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.90/5.28	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.90/5.28	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.90/5.28	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.90/5.28	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.90/5.28	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.90/5.28	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.90/5.28	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.90/5.28	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.90/5.28	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.90/5.28	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.90/5.28	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.90/5.28	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.90/5.28	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.90/5.28	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.06/34.96	c (30,0) c
245.06/34.96	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.06/34.96	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.06/34.96	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
245.06/34.96	c (30,0) c |  0 |    195 |     118236 |      57363 |    49142 |    18821 |     9714 |    61074 |     7142 |      193 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  1 |    210 |     121565 |      57804 |    53864 |    19268 |     9631 |    57645 |     6945 |      193 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  2 |    242 |     119181 |      55563 |    52135 |    17024 |     9125 |    59407 |     7048 |      186 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  3 |    216 |     117939 |      56794 |    50605 |    18261 |     9156 |    61497 |     7004 |      193 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  4 |    236 |     125200 |      59460 |    52094 |    20918 |     9812 |    62782 |     7385 |      201 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  5 |    252 |     122139 |      58862 |    47967 |    20318 |     9751 |    62469 |     7322 |      198 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  6 |    199 |     119330 |      58293 |    49609 |    19749 |     9756 |    62279 |     6919 |      198 |  20 |  0.116 |
245.06/34.96	c (30,0) c |  7 |    267 |     125310 |      58552 |    53365 |    20009 |     9254 |    62376 |     7368 |      197 |  20 |  0.116 |
245.06/34.96	c (30,0) c 
245.06/34.96	c (30,0) c synthesis      462691 conflicts   369649027 propagations     1955 conflicts/sec  1561817 propagations/sec
245.06/34.96	c (30,0) c real: 30.6183 s, cpu: 236.679 s, memory: 1034.55 Mb
481.65/64.96	c (60,0) c
481.65/64.96	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.65/64.96	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
481.65/64.96	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.65/64.96	c (60,0) c |  0 |    368 |     184015 |      95988 |    57894 |    24808 |    14376 |    95124 |    12252 |      370 |  20 |  0.116 |
481.65/64.96	c (60,0) c |  1 |    411 |     190249 |      96373 |    63123 |    25193 |    14146 |    95261 |    12477 |      371 |  20 |  0.116 |
481.65/64.96	c (60,0) c |  2 |    418 |     186491 |      92651 |    62340 |    21467 |    13528 |    93148 |    12084 |      354 |  20 |  0.116 |
481.65/64.96	c (60,0) c |  3 |    348 |     186111 |      95743 |    62315 |    24568 |    13734 |    95266 |    12244 |      369 |  20 |  0.117 |
481.65/64.96	c (60,0) c |  4 |    368 |     189443 |      97096 |    61850 |    25921 |    14550 |    95609 |    12482 |      373 |  20 |  0.116 |
481.65/64.96	c (60,0) c |  5 |    453 |     190185 |      97190 |    57544 |    26011 |    14300 |    94634 |    12494 |      374 |  20 |  0.116 |
481.65/64.96	c (60,0) c |  6 |    341 |     186887 |      96435 |    60543 |    25259 |    14138 |    95585 |    12090 |      374 |  20 |  0.116 |
481.65/64.96	c (60,0) c |  7 |    414 |     193036 |      96935 |    64407 |    25758 |    14029 |    95002 |    12578 |      372 |  20 |  0.116 |
481.65/64.96	c (60,0) c 
481.65/64.96	c (60,0) c synthesis      768411 conflicts   646885195 propagations     1624 conflicts/sec  1367527 propagations/sec
481.65/64.96	c (60,0) c real: 60.6183 s, cpu: 473.033 s, memory: 1398.34 Mb
703.95/93.96	c (89,0) c
703.95/93.96	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
703.95/93.96	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
703.95/93.96	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
703.95/93.96	c (89,0) c |  0 |    469 |     239079 |     128952 |    65934 |    37564 |    17793 |   119744 |    15969 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  1 |    544 |     243348 |     127852 |    68844 |    36469 |    17421 |   119710 |    16341 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  2 |    572 |     239704 |     123565 |    68143 |    32176 |    17060 |   116723 |    16006 |      516 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  3 |    499 |     243310 |     128697 |    69529 |    37314 |    17251 |   120311 |    16277 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  4 |    478 |     243176 |     128685 |    68462 |    37300 |    18056 |   119260 |    16344 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  5 |    585 |     243618 |     128317 |    64929 |    36930 |    17806 |   119315 |    16162 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  6 |    471 |     241706 |     127693 |    69738 |    36308 |    17193 |   119651 |    15867 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c |  7 |    565 |     245796 |     128364 |    69840 |    36983 |    17193 |   119921 |    16432 |      536 |  20 |  0.116 |
703.95/93.96	c (89,0) c 
703.95/93.96	c (89,0) c synthesis     1022125 conflicts   884742020 propagations     1470 conflicts/sec  1272838 propagations/sec
703.95/93.96	c (89,0) c real: 89.6183 s, cpu: 695.094 s, memory: 1334.34 Mb
933.47/123.95	c (119,0) c
933.47/123.95	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
933.47/123.95	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
933.47/123.95	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
933.47/123.95	c (119,0) c |  0 |    589 |     287277 |     158361 |    71550 |    44058 |    20743 |   141219 |    19306 |      700 |  20 |  0.297 |
933.47/123.95	c (119,0) c |  1 |    665 |     291121 |     157315 |    72596 |    42844 |    20968 |   142119 |    19670 |      702 |  20 |  0.297 |
933.47/123.95	c (119,0) c |  2 |    728 |     292444 |     153981 |    73767 |    39790 |    20399 |   139770 |    19560 |      682 |  20 |  0.116 |
933.47/123.95	c (119,0) c |  3 |    597 |     289779 |     157614 |    73627 |    43096 |    20093 |   141061 |    19643 |      702 |  20 |  0.297 |
933.47/123.95	c (119,0) c |  4 |    594 |     291779 |     158453 |    72901 |    43513 |    20835 |   141763 |    19858 |      699 |  20 |  0.297 |
933.47/123.95	c (119,0) c |  5 |    668 |     293643 |     158642 |    70562 |    42743 |    21251 |   141637 |    19531 |      702 |  20 |  0.297 |
933.47/123.95	c (119,0) c |  6 |    608 |     292850 |     157553 |    75241 |    43174 |    20487 |   142517 |    19439 |      702 |  20 |  0.297 |
933.47/123.95	c (119,0) c |  7 |    679 |     294875 |     157497 |    74471 |    42774 |    20201 |   142331 |    19672 |      698 |  20 |  0.297 |
933.47/123.95	c (119,0) c 
933.47/123.95	c (119,0) c synthesis     1259418 conflicts  1110507443 propagations     1362 conflicts/sec  1201172 propagations/sec
933.47/123.95	c (119,0) c real: 119.618 s, cpu: 924.52 s, memory: 1398.34 Mb
1155.45/152.95	c (148,0) c
1155.45/152.95	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1155.45/152.95	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1155.45/152.95	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1155.45/152.95	c (148,0) c |  0 |    709 |     333314 |     186405 |    75656 |    46535 |    23539 |   161198 |    22407 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  1 |    772 |     335718 |     184765 |    77140 |    44916 |    23665 |   161058 |    22488 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  2 |    859 |     338112 |     181061 |    77732 |    41268 |    22879 |   159131 |    22542 |      843 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  3 |    688 |     336276 |     185880 |    78987 |    46019 |    22604 |   160607 |    22434 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  4 |    706 |     339182 |     186845 |    76828 |    46550 |    24028 |   160691 |    22851 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  5 |    760 |     341403 |     187514 |    75902 |    46787 |    24030 |   160587 |    22489 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  6 |    747 |     337697 |     184936 |    78346 |    45133 |    22840 |   161268 |    22424 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c |  7 |    786 |     341529 |     185997 |    79167 |    45860 |    22905 |   161682 |    22609 |      863 |  20 |  0.358 |
1155.45/152.95	c (148,0) c 
1155.45/152.95	c (148,0) c synthesis     1483403 conflicts  1323632252 propagations     1294 conflicts/sec  1154904 propagations/sec
1155.45/152.95	c (148,0) c real: 148.618 s, cpu: 1146.1 s, memory: 1398.34 Mb
1381.64/181.95	c (177,0) c
1381.64/181.95	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1381.64/181.95	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1381.64/181.95	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1381.64/181.95	c (177,0) c |  0 |    768 |     376365 |     214248 |    78555 |    46523 |    26229 |   177814 |    24976 |     1027 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  1 |    878 |     378026 |     210665 |    80053 |    42948 |    25798 |   178750 |    25106 |     1025 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  2 |    926 |     379029 |     208023 |    80046 |    40329 |    25199 |   177316 |    25157 |     1007 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  3 |    743 |     378756 |     213939 |    81813 |    46216 |    25335 |   178877 |    25047 |     1027 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  4 |    795 |     382149 |     214560 |    79743 |    46632 |    26818 |   177296 |    25636 |     1027 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  5 |    845 |     384291 |     215195 |    78897 |    47039 |    26545 |   178234 |    25283 |     1027 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  6 |    827 |     381010 |     212160 |    81612 |    44464 |    25627 |   178805 |    25126 |     1027 |  20 |  0.358 |
1381.64/181.95	c (177,0) c |  7 |    888 |     385634 |     213160 |    82542 |    45299 |    25159 |   179537 |    25463 |     1027 |  20 |  0.358 |
1381.64/181.95	c (177,0) c 
1381.64/181.95	c (177,0) c synthesis     1701950 conflicts  1533132101 propagations     1240 conflicts/sec  1117288 propagations/sec
1381.64/181.95	c (177,0) c real: 177.618 s, cpu: 1372.19 s, memory: 1398.34 Mb
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c real time : 189.295 s
1459.36/193.63	c (189,0) c cpu time  : 1449.41 s
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c | Conflicts     |         1772565 |     222815 |     219456 |     219304 |     222843 |     223051 |     223123 |     220446 |     221527 |
1459.36/193.63	c (189,0) c | Decisions     |         3159521 |     391154 |     391882 |     396958 |     394393 |     394623 |     397210 |     394185 |     399116 |
1459.36/193.63	c (189,0) c | Propagations  |      1602092647 |  199284059 |  199363118 |  199783937 |  202403108 |  200215840 |  201375352 |  199946920 |  199720313 |
1459.36/193.63	c (189,0) c | ReduceDBs     |              96 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
1459.36/193.63	c (189,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
1459.36/193.63	c (189,0) c | Restarts      |            6905 |        815 |        906 |        957 |        760 |        824 |        875 |        847 |        921 |
1459.36/193.63	c (189,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1459.36/193.63	c (189,0) c | PropBinClauses|      2256478890 |  281218630 |  279261992 |  282172405 |  284843938 |  282406098 |  282031824 |  282740998 |  281803005 |
1459.36/193.63	c (189,0) c | PropPreBlocker|     26095180771 | 3262581210 | 3251555937 | 3253605136 | 3270173443 | 3266779619 | 3262548350 | 3263491136 | 3264445940 |
1459.36/193.63	c (189,0) c | PropNotBlocker|     10282560805 | 1280671254 | 1287025486 | 1295658334 | 1278345025 | 1278475650 | 1286956073 | 1285716170 | 1289712813 |
1459.36/193.63	c (189,0) c | LitFullScans  |     51923110493 | 6492593032 | 6486765132 | 6486705965 | 6490844322 | 6492060763 | 6492512865 | 6490569600 | 6491058814 |
1459.36/193.63	c (189,0) c | LitScanFracts |         4417169 |     560285 |     735951 |     703632 |     476907 |     517258 |     503902 |     448355 |     470879 |
1459.36/193.63	c (189,0) c | DecisionLevel0|            6914 |        816 |        907 |        958 |        761 |        826 |        877 |        847 |        922 |
1459.36/193.63	c (189,0) c | Periods       |            8650 |       1082 |       1081 |       1081 |       1081 |       1081 |       1082 |       1081 |       1081 |
1459.36/193.63	c (189,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1459.36/193.63	c (189,0) c | Avg_Trail     |                 |       6691 |       6696 |       6681 |       6770 |       6696 |       6732 |       6750 |       6706 |
1459.36/193.63	c (189,0) c | Avg_DL        |                 |         22 |         22 |         23 |         23 |         22 |         21 |         23 |         23 |
1459.36/193.63	c (189,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1459.36/193.63	c (189,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c | Exported      |          212996 |      26932 |      26628 |      26136 |      26181 |      27583 |      27271 |      26512 |      25753 |
1459.36/193.63	c (189,0) c | Imported      |         1470376 |     183800 |     184111 |     183375 |     184406 |     182995 |     183248 |     183432 |     185009 |
1459.36/193.63	c (189,0) c | Good          |             343 |         40 |         45 |         40 |         47 |         46 |         37 |         42 |         46 |
1459.36/193.63	c (189,0) c | Purge         |         1470033 |     183760 |     184066 |     183335 |     184359 |     182949 |     183211 |     183390 |     184963 |
1459.36/193.63	c (189,0) c | Promoted      |          209108 |      25979 |      25981 |      26233 |      25908 |      26446 |      26110 |      25986 |      26465 |
1459.36/193.63	c (189,0) c | Remove_Imp    |          884720 |     109650 |     111159 |     112325 |     111023 |     109059 |     109331 |     111895 |     110278 |
1459.36/193.63	c (189,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          2 |          2 |          0 |          1 |
1459.36/193.63	c (189,0) c | Binaries      |                 |          9 |          4 |          9 |          2 |          3 |         12 |          7 |          3 |
1459.36/193.63	c (189,0) c | Glues         |                 |        217 |        219 |        224 |        197 |        196 |        234 |        188 |        216 |
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c | Orig_Seen     |            18 % |      79708 |      81075 |      82321 |      85055 |      80297 |      80948 |      82945 |      83185 |
1459.36/193.63	c (189,0) c | Diff Orig seen|                 | -     5347 | -     3980 | -     2734 |      X     | -     4758 | -     4107 | -     2110 | -     1870 |
1459.36/193.63	c (189,0) c | Hamming       |            26 % |       5850 |       6645 |       3768 |      X     |       6067 |       7670 |       5301 |       7127 |
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c | RunningTime   |                 |  183.2  98%|  183.5  98%|  188.2 100%|  183.2  98%|  179.3  96%|  177.5  95%|  179.3  96%|  180.9  97%|
1459.36/193.63	c (189,0) c | WaitingTime   |                 |    3.1   2%|    2.8   1%|    0.0   0%|    2.9   2%|    6.9   4%|    8.8   5%|    6.8   4%|    5.3   3%|
1459.36/193.63	c (189,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1459.36/193.63	c (189,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1459.36/193.63	c (189,0) c | SolvingTime   |                 |  186.4     |  186.4     |  188.3     |  186.3     |  186.4     |  186.4     |  186.3     |  186.3     |
1459.36/193.63	c (189,0) c | PropagationTim|                 |  160.8  86%|  158.8  85%|  161.2  86%|  158.8  85%|  160.6  86%|  160.3  86%|  160.2  86%|  160.5  86%|
1459.36/193.63	c (189,0) c | AnalysisTime  |                 |   21.6  12%|   23.5  13%|   23.2  12%|   23.5  13%|   21.8  12%|   22.1  12%|   21.9  12%|   21.7  12%|
1459.36/193.63	c (189,0) c | ReductionTime |                 |    0.6   0%|    0.6   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.6   0%|    0.5   0%|
1459.36/193.63	c (189,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|
1459.36/193.63	c (189,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1459.36/193.63	c (189,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1459.36/193.63	c (189,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c
1459.36/193.63	c (189,0) c Threads : 8
1459.36/193.63	c (189,0) c Winner : 3
1459.36/193.63	c (189,0) c Conflicts_0 : 222815
1459.36/193.63	c (189,0) c Conflicts_1 : 219456
1459.36/193.63	c (189,0) c Conflicts_2 : 219304
1459.36/193.63	c (189,0) c Conflicts_3 : 222843
1459.36/193.63	c (189,0) c Conflicts_4 : 223051
1459.36/193.63	c (189,0) c Conflicts_5 : 223123
1459.36/193.63	c (189,0) c Conflicts_6 : 220446
1459.36/193.63	c (189,0) c Conflicts_7 : 221527
1459.36/193.63	c (189,0) c Conflicts_total : 1772565
1459.36/193.63	c (189,0) c Conflicts_winner : 222843
1459.36/193.63	c (189,0) c Decisions_0 : 391154
1459.36/193.63	c (189,0) c Decisions_1 : 391882
1459.36/193.63	c (189,0) c Decisions_2 : 396958
1459.36/193.63	c (189,0) c Decisions_3 : 394393
1459.36/193.63	c (189,0) c Decisions_4 : 394623
1459.36/193.63	c (189,0) c Decisions_5 : 397210
1459.36/193.63	c (189,0) c Decisions_6 : 394185
1459.36/193.63	c (189,0) c Decisions_7 : 399116
1459.36/193.63	c (189,0) c Decisions_total : 3159521
1459.36/193.63	c (189,0) c Decisions_winner : 394393
1459.36/193.63	c (189,0) c Propagations_0 : 199284059
1459.36/193.63	c (189,0) c Propagations_1 : 199363118
1459.36/193.63	c (189,0) c Propagations_2 : 199783937
1459.36/193.63	c (189,0) c Propagations_3 : 202403108
1459.36/193.63	c (189,0) c Propagations_4 : 200215840
1459.36/193.63	c (189,0) c Propagations_5 : 201375352
1459.36/193.63	c (189,0) c Propagations_6 : 199946920
1459.36/193.63	c (189,0) c Propagations_7 : 199720313
1459.36/193.63	c (189,0) c Propagations_total : 1602092647
1459.36/193.63	c (189,0) c Propagations_winner : 202403108
1459.36/193.63	c (189,0) c ReduceDBs_0 : 12
1459.36/193.63	c (189,0) c ReduceDBs_1 : 12
1459.36/193.63	c (189,0) c ReduceDBs_2 : 12
1459.36/193.63	c (189,0) c ReduceDBs_3 : 12
1459.36/193.63	c (189,0) c ReduceDBs_4 : 12
1459.36/193.63	c (189,0) c ReduceDBs_5 : 12
1459.36/193.63	c (189,0) c ReduceDBs_6 : 12
1459.36/193.63	c (189,0) c ReduceDBs_7 : 12
1459.36/193.63	c (189,0) c ReduceDBs_total : 96
1459.36/193.63	c (189,0) c ReduceDBs_winner : 12
1459.36/193.63	c (189,0) c SimpDBs_0 : 4
1459.36/193.63	c (189,0) c SimpDBs_1 : 4
1459.36/193.63	c (189,0) c SimpDBs_2 : 4
1459.36/193.63	c (189,0) c SimpDBs_3 : 4
1459.36/193.63	c (189,0) c SimpDBs_4 : 4
1459.36/193.63	c (189,0) c SimpDBs_5 : 4
1459.36/193.63	c (189,0) c SimpDBs_6 : 4
1459.36/193.63	c (189,0) c SimpDBs_7 : 4
1459.36/193.63	c (189,0) c SimpDBs_total : 32
1459.36/193.63	c (189,0) c SimpDBs_winner : 4
1459.36/193.63	c (189,0) c Restarts_0 : 815
1459.36/193.63	c (189,0) c Restarts_1 : 906
1459.36/193.63	c (189,0) c Restarts_2 : 957
1459.36/193.63	c (189,0) c Restarts_3 : 760
1459.36/193.63	c (189,0) c Restarts_4 : 824
1459.36/193.63	c (189,0) c Restarts_5 : 875
1459.36/193.63	c (189,0) c Restarts_6 : 847
1459.36/193.63	c (189,0) c Restarts_7 : 921
1459.36/193.63	c (189,0) c Restarts_total : 6905
1459.36/193.63	c (189,0) c Restarts_winner : 760
1459.36/193.63	c (189,0) c ForcedImports_0 : 0
1459.36/193.63	c (189,0) c ForcedImports_1 : 0
1459.36/193.63	c (189,0) c ForcedImports_2 : 0
1459.36/193.63	c (189,0) c ForcedImports_3 : 0
1459.36/193.63	c (189,0) c ForcedImports_4 : 0
1459.36/193.63	c (189,0) c ForcedImports_5 : 0
1459.36/193.63	c (189,0) c ForcedImports_6 : 0
1459.36/193.63	c (189,0) c ForcedImports_7 : 0
1459.36/193.63	c (189,0) c ForcedImports_total : 0
1459.36/193.63	c (189,0) c ForcedImports_winner : 0
1459.36/193.63	c (189,0) c PropsBinClauses_0 : 281218630
1459.36/193.63	c (189,0) c PropsBinClauses_1 : 279261992
1459.36/193.63	c (189,0) c PropsBinClauses_2 : 282172405
1459.36/193.63	c (189,0) c PropsBinClauses_3 : 284843938
1459.36/193.63	c (189,0) c PropsBinClauses_4 : 282406098
1459.36/193.63	c (189,0) c PropsBinClauses_5 : 282031824
1459.36/193.63	c (189,0) c PropsBinClauses_6 : 282740998
1459.36/193.63	c (189,0) c PropsBinClauses_7 : 281803005
1459.36/193.63	c (189,0) c PropsBinClauses_total : 2256478890
1459.36/193.63	c (189,0) c PropsBinClauses_winner : 284843938
1459.36/193.63	c (189,0) c PropsPreBlocker_0 : 3262581210
1459.36/193.63	c (189,0) c PropsPreBlocker_1 : 3251555937
1459.36/193.63	c (189,0) c PropsPreBlocker_2 : 3253605136
1459.36/193.63	c (189,0) c PropsPreBlocker_3 : 3270173443
1459.36/193.63	c (189,0) c PropsPreBlocker_4 : 3266779619
1459.36/193.63	c (189,0) c PropsPreBlocker_5 : 3262548350
1459.36/193.63	c (189,0) c PropsPreBlocker_6 : 3263491136
1459.36/193.63	c (189,0) c PropsPreBlocker_7 : 3264445940
1459.36/193.63	c (189,0) c PropsPreBlocker_total : 26095180771
1459.36/193.63	c (189,0) c PropsPreBlocker_winner : 3270173443
1459.36/193.63	c (189,0) c PropsNotBlocker_0 : 1280671254
1459.36/193.63	c (189,0) c PropsNotBlocker_1 : 1287025486
1459.36/193.63	c (189,0) c PropsNotBlocker_2 : 1295658334
1459.36/193.63	c (189,0) c PropsNotBlocker_3 : 1278345025
1459.36/193.63	c (189,0) c PropsNotBlocker_4 : 1278475650
1459.36/193.63	c (189,0) c PropsNotBlocker_5 : 1286956073
1459.36/193.63	c (189,0) c PropsNotBlocker_6 : 1285716170
1459.36/193.63	c (189,0) c PropsNotBlocker_7 : 1289712813
1459.36/193.63	c (189,0) c PropsNotBlocker_total : 10282560805
1459.36/193.63	c (189,0) c PropsNotBlocker_winner : 1278345025
1459.36/193.63	c (189,0) c PropsLitFullScans_0 : 6492593032
1459.36/193.63	c (189,0) c PropsLitFullScans_1 : 6486765132
1459.36/193.63	c (189,0) c PropsLitFullScans_2 : 6486705965
1459.36/193.63	c (189,0) c PropsLitFullScans_3 : 6490844322
1459.36/193.63	c (189,0) c PropsLitFullScans_4 : 6492060763
1459.36/193.63	c (189,0) c PropsLitFullScans_5 : 6492512865
1459.36/193.63	c (189,0) c PropsLitFullScans_6 : 6490569600
1459.36/193.63	c (189,0) c PropsLitFullScans_7 : 6491058814
1459.36/193.63	c (189,0) c PropsLitFullScans_total : 51923110493
1459.36/193.63	c (189,0) c PropsLitFullScans_winner : 6490844322
1459.36/193.63	c (189,0) c LitScanFractions_0 : 560285
1459.36/193.63	c (189,0) c LitScanFractions_1 : 735951
1459.36/193.63	c (189,0) c LitScanFractions_2 : 703632
1459.36/193.63	c (189,0) c LitScanFractions_3 : 476907
1459.36/193.63	c (189,0) c LitScanFractions_4 : 517258
1459.36/193.63	c (189,0) c LitScanFractions_5 : 503902
1459.36/193.63	c (189,0) c LitScanFractions_6 : 448355
1459.36/193.63	c (189,0) c LitScanFractions_7 : 470879
1459.36/193.63	c (189,0) c LitScanFractions_total : 4417169
1459.36/193.63	c (189,0) c LitScanFractions_winner : 476907
1459.36/193.63	c (189,0) c DecisionLevel0_0 : 816
1459.36/193.63	c (189,0) c DecisionLevel0_1 : 907
1459.36/193.63	c (189,0) c DecisionLevel0_2 : 958
1459.36/193.63	c (189,0) c DecisionLevel0_3 : 761
1459.36/193.63	c (189,0) c DecisionLevel0_4 : 826
1459.36/193.63	c (189,0) c DecisionLevel0_5 : 877
1459.36/193.63	c (189,0) c DecisionLevel0_6 : 847
1459.36/193.63	c (189,0) c DecisionLevel0_7 : 922
1459.36/193.63	c (189,0) c DecisionLevel0_total : 6914
1459.36/193.63	c (189,0) c DecisionLevel0_winner : 761
1459.36/193.63	c (189,0) c Periods_0 : 1082
1459.36/193.63	c (189,0) c Periods_1 : 1081
1459.36/193.63	c (189,0) c Periods_2 : 1081
1459.36/193.63	c (189,0) c Periods_3 : 1081
1459.36/193.63	c (189,0) c Periods_4 : 1081
1459.36/193.63	c (189,0) c Periods_5 : 1082
1459.36/193.63	c (189,0) c Periods_6 : 1081
1459.36/193.63	c (189,0) c Periods_7 : 1081
1459.36/193.63	c (189,0) c Periods_total : 8650
1459.36/193.63	c (189,0) c Periods_winner : 1081
1459.36/193.63	c (189,0) c Margin_0 : 20
1459.36/193.63	c (189,0) c Margin_1 : 20
1459.36/193.63	c (189,0) c Margin_2 : 20
1459.36/193.63	c (189,0) c Margin_3 : 20
1459.36/193.63	c (189,0) c Margin_4 : 20
1459.36/193.63	c (189,0) c Margin_5 : 20
1459.36/193.63	c (189,0) c Margin_6 : 20
1459.36/193.63	c (189,0) c Margin_7 : 20
1459.36/193.63	c (189,0) c Margin_total : 160
1459.36/193.63	c (189,0) c Margin_winner : 20
1459.36/193.63	c (189,0) c Exported_0 : 26932
1459.36/193.63	c (189,0) c Exported_1 : 26628
1459.36/193.63	c (189,0) c Exported_2 : 26136
1459.36/193.63	c (189,0) c Exported_3 : 26181
1459.36/193.63	c (189,0) c Exported_4 : 27583
1459.36/193.63	c (189,0) c Exported_5 : 27271
1459.36/193.63	c (189,0) c Exported_6 : 26512
1459.36/193.63	c (189,0) c Exported_7 : 25753
1459.36/193.63	c (189,0) c Exported_total : 212996
1459.36/193.63	c (189,0) c Exported_winner : 26181
1459.36/193.63	c (189,0) c Imported_0 : 183800
1459.36/193.63	c (189,0) c Imported_1 : 184111
1459.36/193.63	c (189,0) c Imported_2 : 183375
1459.36/193.63	c (189,0) c Imported_3 : 184406
1459.36/193.63	c (189,0) c Imported_4 : 182995
1459.36/193.63	c (189,0) c Imported_5 : 183248
1459.36/193.63	c (189,0) c Imported_6 : 183432
1459.36/193.63	c (189,0) c Imported_7 : 185009
1459.36/193.63	c (189,0) c Imported_total : 1470376
1459.36/193.63	c (189,0) c Imported_winner : 184406
1459.36/193.63	c (189,0) c Good_0 : 40
1459.36/193.63	c (189,0) c Good_1 : 45
1459.36/193.63	c (189,0) c Good_2 : 40
1459.36/193.63	c (189,0) c Good_3 : 47
1459.36/193.63	c (189,0) c Good_4 : 46
1459.36/193.63	c (189,0) c Good_5 : 37
1459.36/193.63	c (189,0) c Good_6 : 42
1459.36/193.63	c (189,0) c Good_7 : 46
1459.36/193.63	c (189,0) c Good_total : 343
1459.36/193.63	c (189,0) c Good_winner : 47
1459.36/193.63	c (189,0) c Purge_0 : 183760
1459.36/193.63	c (189,0) c Purge_1 : 184066
1459.36/193.63	c (189,0) c Purge_2 : 183335
1459.36/193.63	c (189,0) c Purge_3 : 184359
1459.36/193.63	c (189,0) c Purge_4 : 182949
1459.36/193.63	c (189,0) c Purge_5 : 183211
1459.36/193.63	c (189,0) c Purge_6 : 183390
1459.36/193.63	c (189,0) c Purge_7 : 184963
1459.36/193.63	c (189,0) c Purge_total : 1470033
1459.36/193.63	c (189,0) c Purge_winner : 184359
1459.36/193.63	c (189,0) c Promoted_0 : 25979
1459.36/193.63	c (189,0) c Promoted_1 : 25981
1459.36/193.63	c (189,0) c Promoted_2 : 26233
1459.36/193.63	c (189,0) c Promoted_3 : 25908
1459.36/193.63	c (189,0) c Promoted_4 : 26446
1459.36/193.63	c (189,0) c Promoted_5 : 26110
1459.36/193.63	c (189,0) c Promoted_6 : 25986
1459.36/193.63	c (189,0) c Promoted_7 : 26465
1459.36/193.63	c (189,0) c Promoted_total : 209108
1459.36/193.63	c (189,0) c Promoted_winner : 25908
1459.36/193.63	c (189,0) c Remove_Imp_0 : 109650
1459.36/193.63	c (189,0) c Remove_Imp_1 : 111159
1459.36/193.63	c (189,0) c Remove_Imp_2 : 112325
1459.36/193.63	c (189,0) c Remove_Imp_3 : 111023
1459.36/193.63	c (189,0) c Remove_Imp_4 : 109059
1459.36/193.63	c (189,0) c Remove_Imp_5 : 109331
1459.36/193.63	c (189,0) c Remove_Imp_6 : 111895
1459.36/193.63	c (189,0) c Remove_Imp_7 : 110278
1459.36/193.63	c (189,0) c Remove_Imp_total : 884720
1459.36/193.63	c (189,0) c Remove_Imp_winner : 111023
1459.36/193.63	c (189,0) c Blocked_Reuse_0 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_1 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_2 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_3 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_4 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_5 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_6 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_7 : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_total : 0
1459.36/193.63	c (189,0) c Blocked_Reuse_winner : 0
1459.36/193.63	c (189,0) c Unaries_0 : 1
1459.36/193.64	c (189,0) c Unaries_1 : 1
1459.36/193.64	c (189,0) c Unaries_2 : 1
1459.36/193.64	c (189,0) c Unaries_3 : 1
1459.36/193.64	c (189,0) c Unaries_4 : 2
1459.36/193.64	c (189,0) c Unaries_5 : 2
1459.36/193.64	c (189,0) c Unaries_6 : 0
1459.36/193.64	c (189,0) c Unaries_7 : 1
1459.36/193.64	c (189,0) c Unaries_total : 9
1459.36/193.64	c (189,0) c Unaries_winner : 1
1459.36/193.64	c (189,0) c Binaries_0 : 9
1459.36/193.64	c (189,0) c Binaries_1 : 4
1459.36/193.64	c (189,0) c Binaries_2 : 9
1459.36/193.64	c (189,0) c Binaries_3 : 2
1459.36/193.64	c (189,0) c Binaries_4 : 3
1459.36/193.64	c (189,0) c Binaries_5 : 12
1459.36/193.64	c (189,0) c Binaries_6 : 7
1459.36/193.64	c (189,0) c Binaries_7 : 3
1459.36/193.64	c (189,0) c Binaries_total : 49
1459.36/193.64	c (189,0) c Binaries_winner : 2
1459.36/193.64	c (189,0) c Glues_0 : 217
1459.36/193.64	c (189,0) c Glues_1 : 219
1459.36/193.64	c (189,0) c Glues_2 : 224
1459.36/193.64	c (189,0) c Glues_3 : 197
1459.36/193.64	c (189,0) c Glues_4 : 196
1459.36/193.64	c (189,0) c Glues_5 : 234
1459.36/193.64	c (189,0) c Glues_6 : 188
1459.36/193.64	c (189,0) c Glues_7 : 216
1459.36/193.64	c (189,0) c Glues_total : 1691
1459.36/193.64	c (189,0) c Glues_winner : 197
1459.36/193.64	c (189,0) c RunningTime_0 : 183.183548
1459.36/193.64	c (189,0) c RunningTime_1 : 183.459067
1459.36/193.64	c (189,0) c RunningTime_2 : 188.174386
1459.36/193.64	c (189,0) c RunningTime_3 : 183.231766
1459.36/193.64	c (189,0) c RunningTime_4 : 179.347047
1459.36/193.64	c (189,0) c RunningTime_5 : 177.497368
1459.36/193.64	c (189,0) c RunningTime_6 : 179.323127
1459.36/193.64	c (189,0) c RunningTime_7 : 180.913845
1459.36/193.64	c (189,0) c RunningTime_total : 1455.130154
1459.36/193.64	c (189,0) c RunningTime_winner : 183.231766
1459.36/193.64	c (189,0) c WaitingTime_0 : 3.060446
1459.36/193.64	c (189,0) c WaitingTime_1 : 2.781874
1459.36/193.64	c (189,0) c WaitingTime_2 : 0.001278
1459.36/193.64	c (189,0) c WaitingTime_3 : 2.896803
1459.36/193.64	c (189,0) c WaitingTime_4 : 6.892561
1459.36/193.64	c (189,0) c WaitingTime_5 : 8.753868
1459.36/193.64	c (189,0) c WaitingTime_6 : 6.848513
1459.36/193.64	c (189,0) c WaitingTime_7 : 5.280117
1459.36/193.64	c (189,0) c WaitingTime_total : 36.515461
1459.36/193.64	c (189,0) c WaitingTime_winner : 2.896803
1459.36/193.64	c (189,0) c ExchangingTime_0 : 0.118945
1459.36/193.64	c (189,0) c ExchangingTime_1 : 0.117281
1459.36/193.64	c (189,0) c ExchangingTime_2 : 0.120439
1459.36/193.64	c (189,0) c ExchangingTime_3 : 0.128495
1459.36/193.64	c (189,0) c ExchangingTime_4 : 0.108114
1459.36/193.64	c (189,0) c ExchangingTime_5 : 0.107506
1459.36/193.64	c (189,0) c ExchangingTime_6 : 0.125765
1459.36/193.64	c (189,0) c ExchangingTime_7 : 0.109720
1459.36/193.64	c (189,0) c ExchangingTime_total : 0.936266
1459.36/193.64	c (189,0) c ExchangingTime_winner : 0.128495
1459.36/193.64	c (189,0) c PeriodProcTime_0 : 0.010834
1459.36/193.64	c (189,0) c PeriodProcTime_1 : 0.011133
1459.36/193.64	c (189,0) c PeriodProcTime_2 : 0.017802
1459.36/193.64	c (189,0) c PeriodProcTime_3 : 0.010478
1459.36/193.64	c (189,0) c PeriodProcTime_4 : 0.010777
1459.36/193.64	c (189,0) c PeriodProcTime_5 : 0.009998
1459.36/193.64	c (189,0) c PeriodProcTime_6 : 0.010034
1459.36/193.64	c (189,0) c PeriodProcTime_7 : 0.009959
1459.36/193.64	c (189,0) c PeriodProcTime_total : 0.091015
1459.36/193.64	c (189,0) c PeriodProcTime_winner : 0.010478
1459.36/193.64	c (189,0) c SolvingTime_0 : 186.373773
1459.36/193.64	c (189,0) c SolvingTime_1 : 186.369355
1459.36/193.64	c (189,0) c SolvingTime_2 : 188.313905
1459.36/193.64	c (189,0) c SolvingTime_3 : 186.267543
1459.36/193.64	c (189,0) c SolvingTime_4 : 186.358499
1459.36/193.64	c (189,0) c SolvingTime_5 : 186.368740
1459.36/193.64	c (189,0) c SolvingTime_6 : 186.307439
1459.36/193.64	c (189,0) c SolvingTime_7 : 186.313641
1459.36/193.64	c (189,0) c SolvingTime_total : 1492.672895
1459.36/193.64	c (189,0) c SolvingTime_winner : 186.267543
1459.36/193.64	c (189,0) c PropagationTime_0 : 160.790353
1459.36/193.64	c (189,0) c PropagationTime_1 : 158.848312
1459.36/193.64	c (189,0) c PropagationTime_2 : 161.207044
1459.36/193.64	c (189,0) c PropagationTime_3 : 158.775421
1459.36/193.64	c (189,0) c PropagationTime_4 : 160.616243
1459.36/193.64	c (189,0) c PropagationTime_5 : 160.331058
1459.36/193.64	c (189,0) c PropagationTime_6 : 160.182540
1459.36/193.64	c (189,0) c PropagationTime_7 : 160.522492
1459.36/193.64	c (189,0) c PropagationTime_total : 1281.273463
1459.36/193.64	c (189,0) c PropagationTime_winner : 158.775421
1459.36/193.64	c (189,0) c AnalysisTime_0 : 21.574917
1459.36/193.64	c (189,0) c AnalysisTime_1 : 23.473368
1459.36/193.64	c (189,0) c AnalysisTime_2 : 23.162190
1459.36/193.64	c (189,0) c AnalysisTime_3 : 23.515232
1459.36/193.64	c (189,0) c AnalysisTime_4 : 21.790530
1459.36/193.64	c (189,0) c AnalysisTime_5 : 22.118441
1459.36/193.64	c (189,0) c AnalysisTime_6 : 21.941530
1459.36/193.64	c (189,0) c AnalysisTime_7 : 21.712867
1459.36/193.64	c (189,0) c AnalysisTime_total : 179.289076
1459.36/193.64	c (189,0) c AnalysisTime_winner : 23.515232
1459.36/193.64	c (189,0) c ReductionTime_0 : 0.561121
1459.36/193.64	c (189,0) c ReductionTime_1 : 0.575619
1459.36/193.64	c (189,0) c ReductionTime_2 : 0.508437
1459.36/193.64	c (189,0) c ReductionTime_3 : 0.511859
1459.36/193.64	c (189,0) c ReductionTime_4 : 0.509891
1459.36/193.64	c (189,0) c ReductionTime_5 : 0.507056
1459.36/193.64	c (189,0) c ReductionTime_6 : 0.577813
1459.36/193.64	c (189,0) c ReductionTime_7 : 0.521950
1459.36/193.64	c (189,0) c ReductionTime_total : 4.273745
1459.36/193.64	c (189,0) c ReductionTime_winner : 0.511859
1459.36/193.64	c (189,0) c SimplifyTime_0 : 0.070214
1459.36/193.64	c (189,0) c SimplifyTime_1 : 0.097715
1459.36/193.64	c (189,0) c SimplifyTime_2 : 0.059676
1459.36/193.64	c (189,0) c SimplifyTime_3 : 0.072598
1459.36/193.64	c (189,0) c SimplifyTime_4 : 0.091296
1459.36/193.64	c (189,0) c SimplifyTime_5 : 0.101035
1459.36/193.64	c (189,0) c SimplifyTime_6 : 0.175895
1459.36/193.64	c (189,0) c SimplifyTime_7 : 0.069645
1459.36/193.64	c (189,0) c SimplifyTime_total : 0.738075
1459.36/193.64	c (189,0) c SimplifyTime_winner : 0.072598
1459.36/193.64	c (189,0) c UsedRateTime_0 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_1 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_2 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_3 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_4 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_5 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_6 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_7 : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_total : 0.000000
1459.36/193.64	c (189,0) c UsedRateTime_winner : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_0 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_1 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_2 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_3 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_4 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_5 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_6 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_7 : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_total : 0.000000
1459.36/193.64	c (189,0) c OverlapRateTime_winner : 0.000000
1459.36/193.64	c (189,0) c
1459.36/193.64	c (189,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1459.36/193.64	c (189,0) c
1459.36/193.64	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.64	c (189,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1459.36/193.64	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.64	c (189,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1459.36/193.64	c (189,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1459.36/193.64	c (189,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1459.36/193.64	c (189,0) c | Initial random_seed   | 1804187993 | 1043939906 |  274136171 | 1631451274 | 1389050016 | 1073121243 | 1203601959 | 1004503170 |
1459.36/193.64	c (189,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1459.36/193.64	c (189,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1459.36/193.64	c (189,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1459.36/193.64	c (189,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1459.36/193.64	c (189,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1459.36/193.64	c (189,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1459.36/193.64	c (189,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1459.36/193.64	c (189,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1459.36/193.64	c (189,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1459.36/193.64	c (189,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1459.36/193.64	c (189,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1459.36/193.64	c (189,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1459.36/193.64	c (189,0) 
1459.36/193.64	c (189,0) s SATISFIABLE
1459.64/193.70	c (189,0) SatSolver.solve End
1459.64/193.70	c (189,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1459.64/193.70	c (189,0) Show results Begin
1459.87/193.80	c (189,0) x[0] = 315
1459.87/193.80	c (189,0) x[1] = 427
1459.87/193.80	c (189,0) x[2] = 360
1459.87/193.80	c (189,0) x[3] = 271
1459.87/193.80	c (189,0) x[4] = 153
1459.87/193.80	c (189,0) x[5] = 288
1459.87/193.80	c (189,0) x[6] = 288
1459.87/193.80	c (189,0) x[7] = 271
1459.87/193.80	c (189,0) x[8] = 326
1459.87/193.80	c (189,0) x[9] = 375
1459.87/193.80	c (189,0) x[10] = 315
1459.87/193.80	c (189,0) x[11] = 210
1459.87/193.80	c (189,0) x[12] = 359
1459.87/193.80	c (189,0) x[13] = 359
1459.87/193.80	c (189,0) x[14] = 288
1459.87/193.80	c (189,0) x[15] = 440
1459.87/193.80	c (189,0) x[16] = 427
1459.87/193.80	c (189,0) x[17] = 153
1459.87/193.80	c (189,0) x[18] = 210
1459.87/193.80	c (189,0) x[19] = 0
1459.87/193.80	c (189,0) x[20] = 375
1459.87/193.80	c (189,0) x[21] = 0
1459.87/193.80	c (189,0) x[22] = 360
1459.87/193.80	c (189,0) x[23] = 171
1459.87/193.80	c (189,0) x[24] = 0
1459.87/193.80	c (189,0) y[0] = 209
1459.87/193.80	c (189,0) y[1] = 81
1459.87/193.80	c (189,0) y[2] = 345
1459.87/193.80	c (189,0) y[3] = 193
1459.87/193.80	c (189,0) y[4] = 345
1459.87/193.80	c (189,0) y[5] = 193
1459.87/193.80	c (189,0) y[6] = 220
1459.87/193.80	c (189,0) y[7] = 149
1459.87/193.80	c (189,0) y[8] = 209
1459.87/193.80	c (189,0) y[9] = 149
1459.87/193.80	c (189,0) y[10] = 149
1459.87/193.80	c (189,0) y[11] = 149
1459.87/193.80	c (189,0) y[12] = 81
1459.87/193.80	c (189,0) y[13] = 0
1459.87/193.80	c (189,0) y[14] = 258
1459.87/193.80	c (189,0) y[15] = 0
1459.87/193.80	c (189,0) y[16] = 94
1459.87/193.80	c (189,0) y[17] = 210
1459.87/193.80	c (189,0) y[18] = 0
1459.87/193.80	c (189,0) y[19] = 210
1459.87/193.80	c (189,0) y[20] = 201
1459.87/193.80	c (189,0) y[21] = 363
1459.87/193.80	c (189,0) y[22] = 360
1459.87/193.80	c (189,0) y[23] = 345
1459.87/193.80	c (189,0) y[24] = 0
1459.87/193.80	s SATISFIABLE
1459.87/193.80	v <instantiation>
1459.87/193.80	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
1459.87/193.80	v     <values>315 427 360 271 153 288 288 271 326 375 315 210 359 359 288 440 427 153 210 0 375 0 360 171 0 209 81 345 193 345 193 220 149 209 149 149 149 81 0 258 0 94 210 0 210 201 363 360 345 0</values>
1459.87/193.80	v </instantiation>
1459.87/193.80	c (189,0) Show results End
1459.87/193.80	c (189,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1459.87/193.80	c (189,0) 189,189,STOP-AFTER(ALL)
1459.87/193.80	c END-Prog: Sat Sep 14 05:11:32 CEST 2019

Verifier Data 

OK

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 (9622 MiB free)
  memory of node 1: 16384 MiB (15621 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100132 s]*
/proc/loadavg: 7.12 7.83 7.53 2/211 12215
/proc/meminfo: memFree=25754692/32770624 swapFree=67002152/67108860
[pid=12193] ppid=12190 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12193/stat : 12193 (scop.sh) S 12190 12193 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302919 115843072 349 33554432000 4194304 5098028 140720752521104 140720752518360 140632423842428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31203328 140720752530213 140720752530540 140720752530540 140720752533453 0
/proc/12193/statm: 28282 349 296 221 0 87 0
[pid=12196] ppid=12193 vsize=27314120 memory=105952 CPUtime=0.1 cores=0-7
/proc/12196/stat : 12196 (java) S 12193 12193 11851 0 -1 1077944320 6031 0 0 0 8 2 0 0 20 0 20 0 419302920 27969658880 26488 33554432000 4194304 4196468 140723459964352 140723459946896 140015421828855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
/proc/12196/statm: 6828530 26488 2817 1 0 6790935 0
[pid=12196/tid=12197] ppid=12193 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12196/task/12197/stat : 12197 (java) R 12193 12193 11851 0 -1 4202560 4101 0 0 0 7 2 0 0 20 0 20 0 419302920 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015393655184 140015405909342 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12198] ppid=12193 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12196/task/12198/stat : 12198 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015426071184 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12199] ppid=12193 vsize=27314120 memory=139648418653824 CPUtime=0 cores=0-7
/proc/12196/task/12199/stat : 12199 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015209466384 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12200] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12200/stat : 12200 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015208413584 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12201] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12201/stat : 12201 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015207360784 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12202] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12202/stat : 12202 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015206309008 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12203] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12203/stat : 12203 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015205256208 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12204] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12204/stat : 12204 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015204203408 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12205] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12205/stat : 12205 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 27000 33554432000 4194304 4196468 140723459964352 140015203150608 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12206] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12206/stat : 12206 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 27000 33554432000 4194304 4196468 140723459964352 140014794815856 140015421840002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12207] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12207/stat : 12207 (java) S 12193 12193 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013316596768 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12208] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12208/stat : 12208 (java) S 12193 12193 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013182374768 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12209] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12209/stat : 12209 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140012807870288 140015421847451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12210] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12210/stat : 12210 (java) S 12193 12193 11851 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013538896752 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12211] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12211/stat : 12211 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013537843952 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12212] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12212/stat : 12212 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013536791152 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12213] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12213/stat : 12213 (java) S 12193 12193 11851 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013535738352 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12214] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12214/stat : 12214 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140012309965408 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12215] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12215/stat : 12215 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 27000 33554432000 4194304 4196468 140723459964352 140013534685744 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107348 KiB

[startup+0.210385 s]*
/proc/loadavg: 7.12 7.83 7.53 3/211 12215
/proc/meminfo: memFree=25733608/32770624 swapFree=67002152/67108860
[pid=12193] ppid=12190 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12193/stat : 12193 (scop.sh) S 12190 12193 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302919 115843072 349 33554432000 4194304 5098028 140720752521104 140720752518360 140632423842428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31203328 140720752530213 140720752530540 140720752530540 140720752533453 0
/proc/12193/statm: 28282 349 296 221 0 87 0
[pid=12196] ppid=12193 vsize=27314120 memory=124984 CPUtime=0.24 cores=0-7
/proc/12196/stat : 12196 (java) S 12193 12193 11851 0 -1 1077944320 11631 0 0 0 20 4 0 0 20 0 20 0 419302920 27969658880 31246 33554432000 4194304 4196468 140723459964352 140723459946896 140015421828855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
/proc/12196/statm: 6828530 31246 2926 1 0 6790935 0
[pid=12196/tid=12197] ppid=12193 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12196/task/12197/stat : 12197 (java) R 12193 12193 11851 0 -1 4202560 9299 0 0 0 16 3 0 0 20 0 20 0 419302920 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015393628240 140015403392411 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12198] ppid=12193 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/12196/task/12198/stat : 12198 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015426071184 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12199] ppid=12193 vsize=27314120 memory=288370024570365568 CPUtime=0 cores=0-7
/proc/12196/task/12199/stat : 12199 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015209466384 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12200] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12200/stat : 12200 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015208413584 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12201] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12201/stat : 12201 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015207360784 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12202] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12202/stat : 12202 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015206309008 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12203] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12203/stat : 12203 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015205256208 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12204] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12204/stat : 12204 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015204203408 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12205] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12205/stat : 12205 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 31246 33554432000 4194304 4196468 140723459964352 140015203150608 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12206] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12206/stat : 12206 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 31246 33554432000 4194304 4196468 140723459964352 140014794815856 140015421840002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12207] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12207/stat : 12207 (java) S 12193 12193 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013316596768 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12208] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12208/stat : 12208 (java) S 12193 12193 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013182374768 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12209] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12209/stat : 12209 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140012807870288 140015421847451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12210] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12210/stat : 12210 (java) S 12193 12193 11851 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013538896752 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12211] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12211/stat : 12211 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013537843952 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12212] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12212/stat : 12212 (java) S 12193 12193 11851 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013536791152 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12213] ppid=12193 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12196/task/12213/stat : 12213 (java) S 12193 12193 11851 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013535738352 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12214] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12214/stat : 12214 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140012309965408 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12215] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12215/stat : 12215 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 31246 33554432000 4194304 4196468 140723459964352 140013534685744 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126380 KiB

[startup+0.310193 s]*
/proc/loadavg: 7.12 7.83 7.53 2/211 12215
/proc/meminfo: memFree=25729948/32770624 swapFree=67002152/67108860
[pid=12193] ppid=12190 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12193/stat : 12193 (scop.sh) S 12190 12193 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302919 115843072 349 33554432000 4194304 5098028 140720752521104 140720752518360 140632423842428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31203328 140720752530213 140720752530540 140720752530540 140720752533453 0
/proc/12193/statm: 28282 349 296 221 0 87 0
[pid=12196] ppid=12193 vsize=27314120 memory=129280 CPUtime=0.42 cores=0-7
/proc/12196/stat : 12196 (java) S 12193 12193 11851 0 -1 1077944320 12196 0 0 0 38 4 0 0 20 0 20 0 419302920 27969658880 32320 33554432000 4194304 4196468 140723459964352 140723459946896 140015421828855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
/proc/12196/statm: 6828530 32320 3029 1 0 6790935 0
[pid=12196/tid=12197] ppid=12193 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12196/task/12197/stat : 12197 (java) R 12193 12193 11851 0 -1 4202560 9659 0 0 0 26 4 0 0 20 0 20 0 419302920 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015393655440 140015403392384 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12198] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12198/stat : 12198 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015426071184 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12199] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12199/stat : 12199 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015209466384 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12200] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12200/stat : 12200 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015208413584 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12201] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12201/stat : 12201 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015207360784 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12202] ppid=12193 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/12196/task/12202/stat : 12202 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015206309008 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12203] ppid=12193 vsize=27314120 memory=139648311587759 CPUtime=0 cores=0-7
/proc/12196/task/12203/stat : 12203 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015205256208 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12204] ppid=12193 vsize=27314120 memory=139648311590064 CPUtime=0 cores=0-7
/proc/12196/task/12204/stat : 12204 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015204203408 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12205] ppid=12193 vsize=27314120 memory=139648311592368 CPUtime=0 cores=0-7
/proc/12196/task/12205/stat : 12205 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27969658880 32320 33554432000 4194304 4196468 140723459964352 140015203150608 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12206] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12206/stat : 12206 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 32320 33554432000 4194304 4196468 140723459964352 140014794815856 140015421840002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12207] ppid=12193 vsize=27314120 memory=279296623191696 CPUtime=0 cores=0-7
/proc/12196/task/12207/stat : 12207 (java) S 12193 12193 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013316596768 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12208] ppid=12193 vsize=27314120 memory=279296623198608 CPUtime=0 cores=0-7
/proc/12196/task/12208/stat : 12208 (java) S 12193 12193 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419302924 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013182374768 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12209] ppid=12193 vsize=27314120 memory=279296623139888 CPUtime=0 cores=0-7
/proc/12196/task/12209/stat : 12209 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140012807870288 140015421847451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12210] ppid=12193 vsize=27314120 memory=279296623212432 CPUtime=0.02 cores=0-7
/proc/12196/task/12210/stat : 12210 (java) S 12193 12193 11851 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013538896752 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12211] ppid=12193 vsize=27314120 memory=279296623219344 CPUtime=0.01 cores=0-7
/proc/12196/task/12211/stat : 12211 (java) R 12193 12193 11851 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013537843952 140015414118304 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12212] ppid=12193 vsize=27314120 memory=279296623217040 CPUtime=0 cores=0-7
/proc/12196/task/12212/stat : 12212 (java) S 12193 12193 11851 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013536791152 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12213] ppid=12193 vsize=27314120 memory=279296623233200 CPUtime=0.07 cores=0-7
/proc/12196/task/12213/stat : 12213 (java) S 12193 12193 11851 0 -1 1077944384 538 0 0 0 7 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013535738352 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12214] ppid=12193 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12214/stat : 12214 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140012309965408 140015421839061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12215] ppid=12193 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12196/task/12215/stat : 12215 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302927 27969658880 32320 33554432000 4194304 4196468 140723459964352 140013534685744 140015421840002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130676 KiB

[startup+0.701126 s]
/proc/loadavg: 7.12 7.83 7.53 3/211 12215
/proc/meminfo: memFree=25709248/32770624 swapFree=67002152/67108860
[pid=12193] ppid=12190 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12193/stat : 12193 (scop.sh) S 12190 12193 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302919 115843072 349 33554432000 4194304 5098028 140720752521104 140720752518360 140632423842428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31203328 140720752530213 140720752530540 140720752530540 140720752533453 0
/proc/12193/statm: 28282 349 296 221 0 87 0
[pid=12196] ppid=12193 vsize=27322516 memory=165336 CPUtime=0.99 cores=0-7
/proc/12196/stat : 12196 (java) S 12193 12193 11851 0 -1 1077944320 19961 0 0 0 92 7 0 0 20 0 20 0 419302920 27978256384 41334 33554432000 4194304 4196468 140723459964352 140723459946896 140015421828855 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
/proc/12196/statm: 6830629 41334 3203 1 0 6791959 0
[pid=12196/tid=12197] ppid=12193 vsize=27322516 memory=279296623591088 CPUtime=0.67 cores=0-7
/proc/12196/task/12197/stat : 12197 (java) R 12193 12193 11851 0 -1 4202560 16873 0 0 0 61 6 0 0 20 0 20 0 419302920 27978256384 41334 33554432000 4194304 4196468 140723459964352 140015393660592 140015405909342 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12198] ppid=12193 vsize=27322516 memory=139648311796592 CPUtime=0 cores=0-7
/proc/12196/task/12198/stat : 12198 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27978256384 41334 33554432000 4194304 4196468 140723459964352 140015426071184 140015421839061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12199] ppid=12193 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12196/task/12199/stat : 12199 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302922 27978256384 41334 33554432000 4194304 4196468 140723459964352 140015209466384 140015421839061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0
[pid=12196/tid=12200] ppid=12193 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/12196/task/12200/stat : 12200 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302922 27978256384 41334 33554432000 4194304 4196468 140723459964352 140015208413584 140015421839061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28024832 140723459969771 140723459970198 140723459970198 140723459973071 0

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

/proc/12216/task/12221/stat : 12221 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811457030928 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12222] ppid=12193 vsize=8414124 memory=10592 CPUtime=0 cores=0-7
/proc/12216/task/12222/stat : 12222 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811455978128 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12223] ppid=12193 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/12216/task/12223/stat : 12223 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811454925328 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12224] ppid=12193 vsize=8414124 memory=5940 CPUtime=0 cores=0-7
/proc/12216/task/12224/stat : 12224 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811134368144 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12225] ppid=12193 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/12216/task/12225/stat : 12225 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811133315344 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12226] ppid=12193 vsize=8414124 memory=996376 CPUtime=0 cores=0-7
/proc/12216/task/12226/stat : 12226 (java) S 12193 12193 11851 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419303283 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810748124016 139811654736514 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12227] ppid=12193 vsize=8414124 memory=39584 CPUtime=0 cores=0-7
/proc/12216/task/12227/stat : 12227 (java) S 12193 12193 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419303283 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810312283680 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12228] ppid=12193 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12216/task/12228/stat : 12228 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303283 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810043848048 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12229] ppid=12193 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/12216/task/12229/stat : 12229 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303286 8616062976 30202 33554432000 4194304 4196468 140726370742832 139809669339472 139811654743963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12230] ppid=12193 vsize=8414124 memory=1428 CPUtime=0.06 cores=0-7
/proc/12216/task/12230/stat : 12230 (java) S 12193 12193 11851 0 -1 1077944384 662 0 0 0 6 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810747070832 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12231] ppid=12193 vsize=8414124 memory=776 CPUtime=0.05 cores=0-7
/proc/12216/task/12231/stat : 12231 (java) S 12193 12193 11851 0 -1 1077944384 262 0 0 0 5 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810746018032 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12232] ppid=12193 vsize=8414124 memory=1040 CPUtime=0.05 cores=0-7
/proc/12216/task/12232/stat : 12232 (java) S 12193 12193 11851 0 -1 1077944384 257 0 0 0 5 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810744965232 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12233] ppid=12193 vsize=8414124 memory=14004 CPUtime=0.19 cores=0-7
/proc/12216/task/12233/stat : 12233 (java) S 12193 12193 11851 0 -1 1077944384 705 0 0 0 19 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810743912432 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12234] ppid=12193 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/12216/task/12234/stat : 12234 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303288 8616062976 30202 33554432000 4194304 4196468 140726370742832 139809171434592 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12235] ppid=12193 vsize=8414124 memory=1568 CPUtime=0.15 cores=0-7
/proc/12216/task/12235/stat : 12235 (java) S 12193 12193 11851 0 -1 1077944384 11 0 0 0 5 10 0 0 20 0 24 0 419303288 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810742860848 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12237] ppid=12193 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/12216/task/12237/stat : 12237 (java) S 12193 12193 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419303353 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810734827072 139811654749977 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12239] ppid=12193 vsize=8414124 memory=14004 CPUtime=0.01 cores=0-7
/proc/12216/task/12239/stat : 12239 (java) S 12193 12193 11851 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 419303353 8616062976 30202 33554432000 4194304 4196468 140726370742832 139808500334224 139811654747293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12240] ppid=12193 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/12216/task/12240/stat : 12240 (java) S 12193 12193 11851 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419303353 8616062976 30202 33554432000 4194304 4196468 140726370742832 139808768769552 139811654747293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12241] ppid=12193 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/12216/task/12241/stat : 12241 (java) S 12193 12193 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419303355 8616062976 30202 33554432000 4194304 4196468 140726370742832 139808231906352 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
Current children cumulated CPU time: 1458.56 s
Current children cumulated vsize: 9959152 KiB
Current children cumulated memory: 1118660 KiB

[startup+193.601 s]
/proc/loadavg: 7.37 7.64 7.51 2/218 12268
/proc/meminfo: memFree=24732384/32770624 swapFree=67002152/67108860
[pid=12193] ppid=12190 vsize=113128 memory=1476 CPUtime=6.92 cores=0-7
/proc/12193/stat : 12193 (scop.sh) S 12190 12193 11851 0 -1 4202496 582 27338 0 0 0 0 653 39 20 0 1 0 419302919 115843072 369 33554432000 4194304 5098028 140720752521104 140720752517848 140632423842428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31203328 140720752530213 140720752530540 140720752530540 140720752533453 0
/proc/12193/statm: 28282 369 311 221 0 87 0
[pid=12216] ppid=12193 vsize=8414124 memory=120808 CPUtime=1.27 cores=0-7
/proc/12216/stat : 12216 (java) S 12193 12193 11851 0 -1 1077944320 19689 0 0 0 118 9 0 0 20 0 24 0 419303280 8616062976 30202 33554432000 4194304 4196468 140726370742832 140726370725376 139811654725367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
/proc/12216/statm: 2103531 30202 3209 1 0 2064875 0
[pid=12236] ppid=12216 vsize=1431900 memory=996376 CPUtime=1451.17 cores=0-7
/proc/12236/stat : 12236 (manyglucose-4.1) S 12216 12193 11851 0 -1 1077944320 1028358 0 0 0 144937 180 0 0 20 0 2 0 419303353 1466265600 249094 33554432000 4194304 4454172 140736787589712 140736787588096 140165775261431 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 14815232 140736787592041 140736787592240 140736787592240 140736787595194 0
/proc/12236/statm: 357975 249094 421 64 0 353643 0
[pid=12236/tid=12244] ppid=12216 vsize=1431900 memory=-8744979382759879058 CPUtime=188.19 cores=0-7
/proc/12236/task/12244/stat : 12244 (manyglucose-4.1) R 12216 12193 11851 0 -1 4202560 123299 0 0 0 18800 19 0 0 20 0 2 0 419303448 1466265600 249094 33554432000 4194304 4454172 140736787589712 140165731712136 4351286 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14815232 140736787592041 140736787592240 140736787592240 140736787595194 0
[pid=12216/tid=12217] ppid=12193 vsize=8414124 memory=120808 CPUtime=0.73 cores=0-7
/proc/12216/task/12217/stat : 12217 (java) S 12193 12193 11851 0 -1 1077944384 16391 0 0 0 68 5 0 0 20 0 24 0 419303280 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811626565536 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12218] ppid=12193 vsize=8414124 memory=996376 CPUtime=0 cores=0-7
/proc/12216/task/12218/stat : 12218 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811658968208 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12219] ppid=12193 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/12216/task/12219/stat : 12219 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811459136528 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12220] ppid=12193 vsize=8414124 memory=120808 CPUtime=0 cores=0-7
/proc/12216/task/12220/stat : 12220 (java) S 12193 12193 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811458083728 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12221] ppid=12193 vsize=8414124 memory=994276 CPUtime=0 cores=0-7
/proc/12216/task/12221/stat : 12221 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811457030928 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12222] ppid=12193 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/12216/task/12222/stat : 12222 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811455978128 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12223] ppid=12193 vsize=8414124 memory=39584 CPUtime=0 cores=0-7
/proc/12216/task/12223/stat : 12223 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811454925328 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12224] ppid=12193 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12216/task/12224/stat : 12224 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811134368144 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12225] ppid=12193 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/12216/task/12225/stat : 12225 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303281 8616062976 30202 33554432000 4194304 4196468 140726370742832 139811133315344 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12226] ppid=12193 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/12216/task/12226/stat : 12226 (java) S 12193 12193 11851 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419303283 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810748124016 139811654736514 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12227] ppid=12193 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/12216/task/12227/stat : 12227 (java) S 12193 12193 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419303283 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810312283680 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12228] ppid=12193 vsize=8414124 memory=996324 CPUtime=0 cores=0-7
/proc/12216/task/12228/stat : 12228 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303283 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810043848048 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12229] ppid=12193 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/12216/task/12229/stat : 12229 (java) S 12193 12193 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303286 8616062976 30202 33554432000 4194304 4196468 140726370742832 139809669339472 139811654743963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12230] ppid=12193 vsize=8414124 memory=1428 CPUtime=0.06 cores=0-7
/proc/12216/task/12230/stat : 12230 (java) S 12193 12193 11851 0 -1 1077944384 662 0 0 0 6 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810747070832 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12231] ppid=12193 vsize=8414124 memory=776 CPUtime=0.05 cores=0-7
/proc/12216/task/12231/stat : 12231 (java) S 12193 12193 11851 0 -1 1077944384 262 0 0 0 5 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810746018032 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12232] ppid=12193 vsize=8414124 memory=4008 CPUtime=0.05 cores=0-7
/proc/12216/task/12232/stat : 12232 (java) S 12193 12193 11851 0 -1 1077944384 257 0 0 0 5 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810744965232 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12233] ppid=12193 vsize=8414124 memory=1292 CPUtime=0.19 cores=0-7
/proc/12216/task/12233/stat : 12233 (java) S 12193 12193 11851 0 -1 1077944384 705 0 0 0 19 0 0 0 20 0 24 0 419303287 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810743912432 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12234] ppid=12193 vsize=8414124 memory=10592 CPUtime=0 cores=0-7
/proc/12216/task/12234/stat : 12234 (java) S 12193 12193 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303288 8616062976 30202 33554432000 4194304 4196468 140726370742832 139809171434592 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12235] ppid=12193 vsize=8414124 memory=4008 CPUtime=0.15 cores=0-7
/proc/12216/task/12235/stat : 12235 (java) S 12193 12193 11851 0 -1 1077944384 13 0 0 0 5 10 0 0 20 0 24 0 419303288 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810742860848 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12237] ppid=12193 vsize=8414124 memory=1292 CPUtime=0 cores=0-7
/proc/12216/task/12237/stat : 12237 (java) S 12193 12193 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419303353 8616062976 30202 33554432000 4194304 4196468 140726370742832 139810734827072 139811654749977 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12239] ppid=12193 vsize=8414124 memory=10592 CPUtime=0.01 cores=0-7
/proc/12216/task/12239/stat : 12239 (java) S 12193 12193 11851 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 419303353 8616062976 30202 33554432000 4194304 4196468 140726370742832 139808500334224 139811654747293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12240] ppid=12193 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/12216/task/12240/stat : 12240 (java) S 12193 12193 11851 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419303353 8616062976 30202 33554432000 4194304 4196468 140726370742832 139808768769552 139811654747293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12241] ppid=12193 vsize=8414124 memory=5940 CPUtime=0 cores=0-7
/proc/12216/task/12241/stat : 12241 (java) S 12193 12193 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419303355 8616062976 30202 33554432000 4194304 4196468 140726370742832 139808231906352 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
Current children cumulated CPU time: 1459.36 s
Current children cumulated vsize: 9959152 KiB
Current children cumulated memory: 1118660 KiB

[startup+193.801 s]
/proc/loadavg: 7.37 7.64 7.51 2/218 12268
/proc/meminfo: memFree=24732384/32770624 swapFree=67002152/67108860
[pid=12193] ppid=12190 vsize=113128 memory=1476 CPUtime=6.92 cores=0-7
/proc/12193/stat : 12193 (scop.sh) S 12190 12193 11851 0 -1 4202496 582 27338 0 0 0 0 653 39 20 0 1 0 419302919 115843072 369 33554432000 4194304 5098028 140720752521104 140720752517848 140632423842428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31203328 140720752530213 140720752530540 140720752530540 140720752533453 0
/proc/12193/statm: 28282 369 311 221 0 87 0
[pid=12216] ppid=12193 vsize=8283048 memory=134172 CPUtime=1452.95 cores=0-7
/proc/12216/stat : 12216 (java) S 12193 12193 11851 0 -1 1077944320 22470 1028415 0 0 161 10 144941 183 20 0 22 0 419303280 8481841152 33543 33554432000 4194304 4196468 140726370742832 140726370725376 139811654725367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
/proc/12216/statm: 2070762 33543 3228 1 0 2032106 0
[pid=12216/tid=12217] ppid=12193 vsize=8283048 memory=1056 CPUtime=1452.08 cores=0-7
/proc/12216/task/12217/stat : 12217 (java) R 12193 12193 11851 0 -1 4202560 17696 1028415 0 0 78 6 144941 183 20 0 22 0 419303280 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811626562848 139811637901950 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12218] ppid=12193 vsize=8283048 memory=1568 CPUtime=1451.24 cores=0-7
/proc/12216/task/12218/stat : 12218 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811658968208 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12219] ppid=12193 vsize=8283048 memory=1040 CPUtime=1451.24 cores=0-7
/proc/12216/task/12219/stat : 12219 (java) S 12193 12193 11851 0 -1 1077944384 2 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811459136528 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12220] ppid=12193 vsize=8283048 memory=-8744979382759879058 CPUtime=1451.24 cores=0-7
/proc/12216/task/12220/stat : 12220 (java) S 12193 12193 11851 0 -1 1077944384 2 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811458083728 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12221] ppid=12193 vsize=8283048 memory=1980 CPUtime=1451.24 cores=0-7
/proc/12216/task/12221/stat : 12221 (java) S 12193 12193 11851 0 -1 1077944384 3 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811457030928 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12222] ppid=12193 vsize=8283048 memory=2580 CPUtime=1451.24 cores=0-7
/proc/12216/task/12222/stat : 12222 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811455978128 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12223] ppid=12193 vsize=8283048 memory=1764 CPUtime=1451.24 cores=0-7
/proc/12216/task/12223/stat : 12223 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811454925328 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12224] ppid=12193 vsize=8283048 memory=111632 CPUtime=1451.24 cores=0-7
/proc/12216/task/12224/stat : 12224 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811134368144 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12225] ppid=12193 vsize=8283048 memory=796 CPUtime=1451.24 cores=0-7
/proc/12216/task/12225/stat : 12225 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303281 8481841152 33543 33554432000 4194304 4196468 140726370742832 139811133315344 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12226] ppid=12193 vsize=8283048 memory=1804 CPUtime=1451.24 cores=0-7
/proc/12216/task/12226/stat : 12226 (java) S 12193 12193 11851 0 -1 1077944384 8 1028415 0 0 0 0 144941 183 20 0 22 0 419303283 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810748124016 139811654736514 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12227] ppid=12193 vsize=8283048 memory=916 CPUtime=1451.24 cores=0-7
/proc/12216/task/12227/stat : 12227 (java) S 12193 12193 11851 0 -1 1077944384 13 1028415 0 0 0 0 144941 183 20 0 22 0 419303283 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810312283680 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12228] ppid=12193 vsize=8283048 memory=4140 CPUtime=1451.24 cores=0-7
/proc/12216/task/12228/stat : 12228 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303283 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810043848048 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12229] ppid=12193 vsize=8283048 memory=4104 CPUtime=1451.24 cores=0-7
/proc/12216/task/12229/stat : 12229 (java) S 12193 12193 11851 0 -1 1077944384 1 1028415 0 0 0 0 144941 183 20 0 22 0 419303286 8481841152 33543 33554432000 4194304 4196468 140726370742832 139809669339472 139811654743963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12230] ppid=12193 vsize=8283048 memory=1412 CPUtime=1451.37 cores=0-7
/proc/12216/task/12230/stat : 12230 (java) R 12193 12193 11851 0 -1 4202560 921 1028415 0 0 13 0 144941 183 20 0 22 0 419303287 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810747070832 139811638836369 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12231] ppid=12193 vsize=8283048 memory=1476 CPUtime=1451.35 cores=0-7
/proc/12216/task/12231/stat : 12231 (java) S 12193 12193 11851 0 -1 1077944384 325 1028415 0 0 11 0 144941 183 20 0 22 0 419303287 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810746018032 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12232] ppid=12193 vsize=8283048 memory=120808 CPUtime=1451.35 cores=0-7
/proc/12216/task/12232/stat : 12232 (java) S 12193 12193 11851 0 -1 1077944384 483 1028415 0 0 11 0 144941 183 20 0 22 0 419303287 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810744965232 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12233] ppid=12193 vsize=8283048 memory=996324 CPUtime=1451.52 cores=0-7
/proc/12216/task/12233/stat : 12233 (java) R 12193 12193 11851 0 -1 4202560 1070 1028415 0 0 27 1 144941 183 20 0 22 0 419303287 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810743912432 139811654746714 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12234] ppid=12193 vsize=8283048 memory=804 CPUtime=1451.24 cores=0-7
/proc/12216/task/12234/stat : 12234 (java) S 12193 12193 11851 0 -1 1077944384 3 1028415 0 0 0 0 144941 183 20 0 22 0 419303288 8481841152 33543 33554432000 4194304 4196468 140726370742832 139809171434592 139811654735573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12235] ppid=12193 vsize=8283048 memory=1448 CPUtime=1451.39 cores=0-7
/proc/12216/task/12235/stat : 12235 (java) S 12193 12193 11851 0 -1 1077944384 13 1028415 0 0 5 10 144941 183 20 0 22 0 419303288 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810742860848 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12237] ppid=12193 vsize=8283048 memory=1980 CPUtime=1451.24 cores=0-7
/proc/12216/task/12237/stat : 12237 (java) S 12193 12193 11851 0 -1 1077944384 25 1028415 0 0 0 0 144941 183 20 0 22 0 419303353 8481841152 33543 33554432000 4194304 4196468 140726370742832 139810734826256 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
[pid=12216/tid=12241] ppid=12193 vsize=8283048 memory=2580 CPUtime=1451.24 cores=0-7
/proc/12216/task/12241/stat : 12241 (java) S 12193 12193 11851 0 -1 1077944384 14 1028415 0 0 0 0 144941 183 20 0 22 0 419303355 8481841152 33543 33554432000 4194304 4196468 140726370742832 139808231908144 139811654736514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20238336 140726370751479 140726370751638 140726370751638 140726370754511 0
Current children cumulated CPU time: 1459.87 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135648 KiB

Child status: 0
Real time (s): 193.816
CPU time (s): 1459.92
CPU user time (s): 1457.58
CPU system time (s): 2.34614
CPU usage (%): 753.253
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1774520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1457.58
system time used= 2.34614
maximum resident set size= 1783908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078860
page faults= 0
swaps= 0
block input operations= 8
block output operations= 18336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22890
involuntary context switches= 15064


# summary of solver processes directly reported to runsolver:
#   pid: 12193
#   total CPU time (s): 1459.92
#   total CPU user time (s): 1457.58
#   total CPU system time (s): 2.34614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92303 second user time and 2.67959 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 05:08:18
IDJOB=4392419
IDBENCH=127955
IDSOLVER=2838
FILE ID=node136/4392419-1568430543
RUNJOBID= node136-1568427975-11878
PBS_JOBID= 21702302
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-160.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392419-1568430543/watcher-4392419-1568430543 -o /tmp/evaluation-result-4392419-1568430543/solver-4392419-1568430543 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392419-1568430543.xml

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=1541008611

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25848808 kB
MemAvailable:   31893128 kB
Buffers:           80940 kB
Cached:          6239852 kB
SwapCached:         3116 kB
Active:          2030908 kB
Inactive:        4296736 kB
Active(anon):       5268 kB
Inactive(anon):    42132 kB
Active(file):    2025640 kB
Inactive(file):  4254604 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002152 kB
Dirty:             20680 kB
Writeback:             0 kB
AnonPages:        121656 kB
Mapped:            43504 kB
Shmem:             31936 kB
Slab:             189244 kB
SReclaimable:     159824 kB
SUnreclaim:        29420 kB
KernelStack:        3712 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 05:11:32