Trace number 4405577

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 1226.29 163.272

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-152.xml
MD5SUM95353c685d9c4a971cd57b59ef19ccd8
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 benchmark69.0695
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size513
Maximum domain size513
Distribution of domain sizes[{"size":513,"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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-876-serial-file.bin HOME/instance-4405577-1569338215.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:16:18 CEST 2019
0.66/0.56	c PID: 879
0.66/0.56	c IP: 172.20.3.126
0.66/0.56	c HOST: node126.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.38/0.91	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 513
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.92	c (0,0) Ctr:HOME/instance-4405577-1569338215.xml,Le:NoOverlap:Num:Var
1.38/0.92	c (0,0) Constraint Name Generate End
1.38/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.92	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 6 (10%) constraints
1.38/1.00	c (0,0) translated 11 (20%) constraints
1.38/1.00	c (0,0) translated 16 (30%) constraints
1.53/1.01	c (0,0) translated 22 (40%) constraints
1.53/1.01	c (0,0) translated 27 (50%) constraints
1.53/1.01	c (0,0) translated 32 (60%) constraints
1.53/1.02	c (0,0) translated 38 (70%) constraints
1.53/1.02	c (0,0) translated 43 (80%) constraints
1.53/1.02	c (0,0) translated 48 (90%) constraints
2.13/1.28	c (0,0) translated 53 (100%) constraints
2.13/1.28	c (0,0) ===========================================
2.44/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.44/1.30	c (0,0) Hybrid
2.44/1.30	c (0,0) ===========================================
2.44/1.30	c (0,0) translated 36 (10%) constraints
2.44/1.31	c (0,0) translated 71 (20%) constraints
2.44/1.32	c (0,0) translated 106 (30%) constraints
2.44/1.33	c (0,0) translated 141 (40%) constraints
2.44/1.33	c (0,0) translated 176 (50%) constraints
2.44/1.34	c (0,0) translated 212 (60%) constraints
2.44/1.34	c (0,0) translated 247 (70%) constraints
2.44/1.34	c (0,0) translated 282 (80%) constraints
2.44/1.35	c (0,0) translated 317 (90%) constraints
2.44/1.35	c (0,0) translated 352 (100%) constraints
2.44/1.36	c (0,0) CSP to CSPinCNF End
2.44/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 508
2.44/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.44/1.36	c (0,0) CSPinCNF Propagation Begin
2.44/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.44/1.38	c (0,0) CSPinCNF Propagation End
2.44/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 508
2.44/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.44/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.44/1.39	c (0,0) Simplify CSPinCNF Begin
2.82/1.49	c (0,0) Simplify CSPinCNF End
2.82/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508
2.82/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.49	c (0,0) Calculate Precise Domain Begin
2.82/1.49	c (0,0) 0 values are removed by re-calculation
2.82/1.49	c (0,0) Calculate Precise Domain End
2.82/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508
2.82/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.63/1.99	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72337 SAT clauses)
5.00/2.20	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 121712 SAT clauses)
5.22/2.38	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 167458 SAT clauses)
5.44/2.57	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214878 SAT clauses)
5.65/2.74	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 258354 SAT clauses)
5.88/2.91	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 301074 SAT clauses)
5.99/3.06	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339878 SAT clauses)
6.19/3.20	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376717 SAT clauses)
6.30/3.32	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407421 SAT clauses)
6.40/3.41	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 429532 SAT clauses)
6.40/3.41	c (2,2) CSPinCNF to SatSolver End
6.40/3.41	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.40/3.41	c (2,2) 22394 bool, 429688 clause
6.40/3.41	c (2,2) Export Begin
6.40/3.49	c (2,2) Export to HOME/scop-876-serial-file.bin
6.40/3.49	c (2,2) Export End
6.40/3.49	c (2,2) Export File Size: 0.01 MB
6.40/3.49	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.40/3.49	c END-Prog: Tue Sep 24 17:16:21 CEST 2019
6.59/3.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-876-serial-file.bin
6.60/3.98	c (0,0) Read Serial File Begin
6.60/3.98	c (0,0) HOME/scop-876-serial-file.bin
7.37/4.17	c (0,0) Read Serial File End
7.37/4.19	
7.37/4.19	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.37/4.19	(Solving Process)
7.37/4.19	
7.52/4.21	c BEGIN-Prog: Tue Sep 24 17:16:22 CEST 2019
7.52/4.21	c PID: 904
7.52/4.21	c IP: 172.20.3.126
7.52/4.21	c HOST: node126.alineos.net
7.52/4.21	c (0,0) SatSolver.solve Begin
7.52/4.21	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405577-1569338215.xml-scop-879.cnf
7.52/4.24	c (0,0) c
7.52/4.24	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.52/4.24	c (0,0) c
7.52/4.24	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.52/4.24	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.52/4.24	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.52/4.24	c (0,0) c |                                                                                                       |
7.72/4.39	c (0,0) c |  Number of variables:         22394                                                                   |
7.72/4.39	c (0,0) c |  Number of clauses:          429688                                                                   |
7.72/4.39	c (0,0) c |  Parse time:                   0.14 s                                                                 |
7.72/4.39	c (0,0) c |                                                                                                       |
7.72/4.99	c (1,0) c |  Simplification time:          0.59 s                                                                 |
7.72/4.99	c (1,0) c |                                                                                                       |
7.72/4.99	c (1,0) c |  Generating clones                                                                                    |
8.58/5.11	c (1,0) c |  all clones generated. Memory =   303.90Mb.                                                           |
8.58/5.11	c (1,0) c ========================================================================================================|
8.58/5.11	c (1,0) c
8.58/5.11	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.58/5.11	c (1,0) c
8.58/5.11	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.58/5.11	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.58/5.11	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.58/5.11	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.58/5.11	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.58/5.11	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.58/5.11	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.58/5.11	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.58/5.11	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.58/5.11	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.58/5.11	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.58/5.11	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.58/5.11	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.58/5.11	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.58/5.11	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.58/5.11	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.58/5.11	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.58/5.11	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.58/5.11	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.76/34.20	c (30,0) c
239.76/34.20	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.76/34.20	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
239.76/34.20	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.76/34.20	c (30,0) c |  0 |    171 |     105554 |      56333 |    35490 |    17788 |     9839 |    59065 |     7025 |      183 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  1 |    200 |     110139 |      57570 |    35093 |    19036 |     9782 |    59989 |     7137 |      186 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  2 |    178 |     106679 |      57478 |    38011 |    18936 |     9460 |    61087 |     7468 |      189 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  3 |    210 |     111236 |      59417 |    35908 |    20872 |     9485 |    62738 |     7546 |      196 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  4 |    233 |     113011 |      60529 |    36768 |    21985 |     9270 |    62398 |     7720 |      199 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  5 |    211 |     111412 |      59960 |    38416 |    21418 |     9574 |    62252 |     7625 |      198 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  6 |    226 |     109839 |      58566 |    36683 |    20025 |     9396 |    62203 |     7435 |      194 |  20 |  0.147 |
239.76/34.20	c (30,0) c |  7 |    230 |     115196 |      59246 |    38079 |    20705 |     9254 |    62505 |     7668 |      196 |  20 |  0.147 |
239.76/34.20	c (30,0) c 
239.76/34.20	c (30,0) c synthesis      469099 conflicts   370174568 propagations     2022 conflicts/sec  1595513 propagations/sec
239.76/34.20	c (30,0) c real: 29.9626 s, cpu: 232.01 s, memory: 877.84 Mb
471.93/64.20	c (60,0) c
471.93/64.20	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
471.93/64.20	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
471.93/64.20	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
471.93/64.20	c (60,0) c |  0 |    335 |     169649 |      97150 |    42219 |    25971 |    15061 |    94391 |    12570 |      366 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  1 |    430 |     175666 |      97198 |    42372 |    26018 |    14049 |    95247 |    12942 |      367 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  2 |    334 |     163210 |      93053 |    44972 |    21876 |    13903 |    91895 |    12395 |      348 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  3 |    366 |     171088 |      96634 |    44115 |    25456 |    14125 |    95046 |    12632 |      364 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  4 |    354 |     172595 |      97743 |    44361 |    26572 |    13692 |    95509 |    12715 |      367 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  5 |    333 |     169941 |      97377 |    44006 |    26195 |    13822 |    95904 |    12759 |      368 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  6 |    339 |     165332 |      94766 |    43713 |    23590 |    14441 |    94036 |    12310 |      363 |  20 |  0.147 |
471.93/64.20	c (60,0) c |  7 |    388 |     173045 |      95237 |    44847 |    24061 |    13327 |    95330 |    12590 |      362 |  20 |  0.147 |
471.93/64.20	c (60,0) c 
471.93/64.20	c (60,0) c synthesis      769158 conflicts   635238688 propagations     1659 conflicts/sec  1369802 propagations/sec
471.93/64.20	c (60,0) c real: 59.9621 s, cpu: 463.745 s, memory: 1325.84 Mb
710.62/94.20	c (90,0) c
710.62/94.20	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
710.62/94.20	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
710.62/94.20	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
710.62/94.20	c (90,0) c |  0 |    487 |     220347 |     130329 |    46485 |    38945 |    19245 |   122294 |    16829 |      539 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  1 |    612 |     232178 |     131889 |    52577 |    40507 |    17908 |   124420 |    17237 |      547 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  2 |    450 |     218312 |     129848 |    49489 |    38467 |    18418 |   122092 |    17094 |      532 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  3 |    526 |     227080 |     132367 |    50518 |    40980 |    18339 |   124210 |    17218 |      547 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  4 |    497 |     226288 |     133073 |    48669 |    41690 |    17757 |   121323 |    17056 |      548 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  5 |    433 |     218572 |     130086 |    47717 |    38702 |    17714 |   121560 |    16515 |      529 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  6 |    428 |     213214 |     127097 |    47798 |    35716 |    18175 |   121101 |    16194 |      528 |  20 |  0.147 |
710.62/94.20	c (90,0) c |  7 |    500 |     222826 |     128354 |    48516 |    36968 |    17160 |   121559 |    16770 |      529 |  20 |  0.147 |
710.62/94.20	c (90,0) c 
710.62/94.20	c (90,0) c synthesis     1043043 conflicts   881896685 propagations     1485 conflicts/sec  1255968 propagations/sec
710.62/94.20	c (90,0) c real: 89.9621 s, cpu: 702.165 s, memory: 1325.84 Mb
930.55/123.20	c (119,0) c
930.55/123.20	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
930.55/123.20	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
930.55/123.20	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
930.55/123.20	c (119,0) c |  0 |    558 |     262314 |     159468 |    49575 |    44274 |    22782 |   145125 |    20119 |      697 |  20 |  0.264 |
930.55/123.20	c (119,0) c |  1 |    713 |     269793 |     157306 |    55132 |    43119 |    20408 |   143720 |    20135 |      689 |  20 |  0.147 |
930.55/123.20	c (119,0) c |  2 |    542 |     261783 |     159601 |    52588 |    45412 |    21920 |   145525 |    20313 |      695 |  20 |  0.147 |
930.55/123.20	c (119,0) c |  3 |    597 |     266711 |     160178 |    53022 |    45990 |    21342 |   145774 |    20123 |      699 |  20 |  0.147 |
930.55/123.20	c (119,0) c |  4 |    591 |     267698 |     160527 |    52727 |    46340 |    21100 |   146208 |    20193 |      696 |  20 |  0.147 |
930.55/123.20	c (119,0) c |  5 |    532 |     259523 |     157699 |    50535 |    43509 |    20752 |   144145 |    19832 |      680 |  20 |  0.147 |
930.55/123.20	c (119,0) c |  6 |    518 |     256034 |     156045 |    51422 |    41857 |    21411 |   144447 |    19747 |      687 |  20 |  0.147 |
930.55/123.20	c (119,0) c |  7 |    602 |     266474 |     158553 |    51159 |    44362 |    20111 |   148025 |    20258 |      699 |  20 |  0.147 |
930.55/123.20	c (119,0) c 
930.55/123.20	c (119,0) c synthesis     1269378 conflicts  1088274834 propagations     1377 conflicts/sec  1180544 propagations/sec
930.55/123.20	c (119,0) c real: 118.962 s, cpu: 921.842 s, memory: 1389.84 Mb
1155.47/153.20	c (149,0) c
1155.47/153.20	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1155.47/153.20	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1155.47/153.20	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1155.47/153.20	c (149,0) c |  0 |    646 |     298538 |     184700 |    51341 |    44610 |    25063 |   162899 |    22897 |      844 |  20 |  0.264 |
1155.47/153.20	c (149,0) c |  1 |    753 |     304753 |     180579 |    57940 |    40884 |    22556 |   161281 |    22462 |      824 |  20 |  0.263 |
1155.47/153.20	c (149,0) c |  2 |    620 |     301172 |     185495 |    54807 |    45743 |    24568 |   164193 |    23056 |      844 |  20 |  0.263 |
1155.47/153.20	c (149,0) c |  3 |    626 |     304009 |     185612 |    55827 |    45927 |    24202 |   165049 |    22556 |      844 |  20 |  0.263 |
1155.47/153.20	c (149,0) c |  4 |    696 |     304812 |     186062 |    54524 |    46356 |    24229 |   162955 |    23043 |      841 |  20 |  0.264 |
1155.47/153.20	c (149,0) c |  5 |    639 |     303700 |     186230 |    54127 |    46585 |    23847 |   161851 |    22873 |      844 |  20 |  0.263 |
1155.47/153.20	c (149,0) c |  6 |    593 |     293717 |     182437 |    54015 |    42587 |    24434 |   163144 |    22570 |      836 |  20 |  0.263 |
1155.47/153.20	c (149,0) c |  7 |    705 |     304558 |     183864 |    53267 |    44047 |    22281 |   166772 |    23050 |      844 |  20 |  0.264 |
1155.47/153.20	c (149,0) c 
1155.47/153.20	c (149,0) c synthesis     1474979 conflicts  1275493981 propagations     1287 conflicts/sec  1112749 propagations/sec
1155.47/153.20	c (149,0) c real: 148.962 s, cpu: 1146.26 s, memory: 1389.84 Mb
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c real time : 158.834 s
1225.55/163.07	c (159,0) c cpu time  : 1215.75 s
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c | Conflicts     |         1533339 |     191917 |     188201 |     192557 |     192675 |     193396 |     193604 |     190022 |     190967 |
1225.55/163.07	c (159,0) c | Decisions     |         2501205 |     310554 |     316728 |     311067 |     313980 |     314988 |     313781 |     304210 |     315897 |
1225.55/163.07	c (159,0) c | Propagations  |      1329514341 |  165813488 |  162874376 |  168452806 |  166339043 |  166254960 |  167433883 |  165219273 |  167126512 |
1225.55/163.07	c (159,0) c | ReduceDBs     |              88 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
1225.55/163.07	c (159,0) c | SimpDBs       |              25 |          3 |          3 |          3 |          3 |          4 |          3 |          3 |          3 |
1225.55/163.07	c (159,0) c | Restarts      |            5434 |        663 |        762 |        634 |        655 |        722 |        652 |        622 |        724 |
1225.55/163.07	c (159,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1225.55/163.07	c (159,0) c | PropBinClauses|      1919681357 |  238635699 |  234297318 |  242693610 |  243559725 |  238421103 |  241154246 |  240563776 |  240355880 |
1225.55/163.07	c (159,0) c | PropPreBlocker|     21112750270 | 2649136590 | 2577084601 | 2650728777 | 2645980801 | 2646273015 | 2661816006 | 2635767477 | 2645963003 |
1225.55/163.07	c (159,0) c | PropNotBlocker|      8380351749 | 1051913949 | 1036804865 | 1048925445 | 1052998211 | 1047129415 | 1043734294 | 1043612973 | 1055232597 |
1225.55/163.07	c (159,0) c | LitFullScans  |     42577263064 | 5340431472 | 5222504412 | 5334349241 | 5342209011 | 5340547631 | 5346435010 | 5304374800 | 5346411487 |
1225.55/163.07	c (159,0) c | LitScanFracts |         3427275 |     400218 |     405653 |     337542 |     569097 |     543088 |     410293 |     361745 |     399639 |
1225.55/163.07	c (159,0) c | DecisionLevel0|            5444 |        665 |        763 |        635 |        656 |        724 |        653 |        623 |        725 |
1225.55/163.07	c (159,0) c | Periods       |            7095 |        890 |        870 |        889 |        890 |        890 |        891 |        884 |        891 |
1225.55/163.07	c (159,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1225.55/163.07	c (159,0) c | Avg_Trail     |                 |       6168 |       6181 |       6149 |       6117 |       6195 |       6195 |       6157 |       6175 |
1225.55/163.07	c (159,0) c | Avg_DL        |                 |         21 |         22 |         22 |         22 |         21 |         21 |         22 |         22 |
1225.55/163.07	c (159,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1225.55/163.07	c (159,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c | Exported      |          197029 |      25712 |      23260 |      25300 |      24922 |      25135 |      24737 |      25168 |      22795 |
1225.55/163.07	c (159,0) c | Imported      |         1356546 |     169210 |     167446 |     168839 |     170104 |     169790 |     170366 |     168879 |     171912 |
1225.55/163.07	c (159,0) c | Good          |             322 |         37 |         45 |         39 |         42 |         36 |         43 |         42 |         38 |
1225.55/163.07	c (159,0) c | Purge         |         1356224 |     169173 |     167401 |     168800 |     170062 |     169754 |     170323 |     168837 |     171874 |
1225.55/163.07	c (159,0) c | Promoted      |          189191 |      23779 |      23196 |      23975 |      23351 |      23873 |      23672 |      23422 |      23923 |
1225.55/163.07	c (159,0) c | Remove_Imp    |          794112 |      98297 |     100855 |      98450 |      98645 |      98613 |      98499 |      99919 |     100834 |
1225.55/163.07	c (159,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c | Unaries       |                 |          2 |          1 |          1 |          1 |          2 |          1 |          1 |          1 |
1225.55/163.07	c (159,0) c | Binaries      |                 |          9 |          1 |          7 |          4 |         15 |          3 |          4 |          8 |
1225.55/163.07	c (159,0) c | Glues         |                 |        130 |        142 |        145 |        142 |        169 |        150 |        131 |        152 |
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c | Orig_Seen     |            12 % |      53139 |      60637 |      55227 |      56283 |      54989 |      54560 |      54481 |      54034 |
1225.55/163.07	c (159,0) c | Diff Orig seen|                 | -     7498 |      X     | -     5410 | -     4354 | -     5648 | -     6077 | -     6156 | -     6603 |
1225.55/163.07	c (159,0) c | Hamming       |            28 % |       6871 |      X     |       6758 |       7271 |       7184 |       7407 |       5090 |       4788 |
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c | RunningTime   |                 |  152.9  97%|  155.8  99%|  156.8  99%|  146.8  93%|  153.2  97%|  152.4  96%|  155.3  98%|  148.2  94%|
1225.55/163.07	c (159,0) c | WaitingTime   |                 |    4.8   3%|    1.9   1%|    0.9   1%|   10.9   7%|    4.5   3%|    5.4   3%|    2.5   2%|    9.6   6%|
1225.55/163.07	c (159,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%|
1225.55/163.07	c (159,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%|
1225.55/163.07	c (159,0) c | SolvingTime   |                 |  157.8     |  157.8     |  157.9     |  157.8     |  157.8     |  157.9     |  157.9     |  157.9     |
1225.55/163.07	c (159,0) c | PropagationTim|                 |  137.9  87%|  136.9  87%|  136.8  87%|  137.0  87%|  136.4  86%|  135.6  86%|  136.3  86%|  137.6  87%|
1225.55/163.07	c (159,0) c | AnalysisTime  |                 |   17.1  11%|   17.9  11%|   18.0  11%|   17.9  11%|   18.4  12%|   19.3  12%|   18.4  12%|   17.5  11%|
1225.55/163.07	c (159,0) c | ReductionTime |                 |    0.4   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.4   0%|    0.5   0%|    0.4   0%|
1225.55/163.07	c (159,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1225.55/163.07	c (159,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%|
1225.55/163.07	c (159,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%|
1225.55/163.07	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c
1225.55/163.07	c (159,0) c Threads : 8
1225.55/163.07	c (159,0) c Winner : 1
1225.55/163.07	c (159,0) c Conflicts_0 : 191917
1225.55/163.07	c (159,0) c Conflicts_1 : 188201
1225.55/163.07	c (159,0) c Conflicts_2 : 192557
1225.55/163.07	c (159,0) c Conflicts_3 : 192675
1225.55/163.07	c (159,0) c Conflicts_4 : 193396
1225.55/163.07	c (159,0) c Conflicts_5 : 193604
1225.55/163.07	c (159,0) c Conflicts_6 : 190022
1225.55/163.07	c (159,0) c Conflicts_7 : 190967
1225.55/163.07	c (159,0) c Conflicts_total : 1533339
1225.55/163.07	c (159,0) c Conflicts_winner : 188201
1225.55/163.07	c (159,0) c Decisions_0 : 310554
1225.55/163.07	c (159,0) c Decisions_1 : 316728
1225.55/163.07	c (159,0) c Decisions_2 : 311067
1225.55/163.07	c (159,0) c Decisions_3 : 313980
1225.55/163.07	c (159,0) c Decisions_4 : 314988
1225.55/163.07	c (159,0) c Decisions_5 : 313781
1225.55/163.07	c (159,0) c Decisions_6 : 304210
1225.55/163.07	c (159,0) c Decisions_7 : 315897
1225.55/163.07	c (159,0) c Decisions_total : 2501205
1225.55/163.07	c (159,0) c Decisions_winner : 316728
1225.55/163.07	c (159,0) c Propagations_0 : 165813488
1225.55/163.07	c (159,0) c Propagations_1 : 162874376
1225.55/163.07	c (159,0) c Propagations_2 : 168452806
1225.55/163.07	c (159,0) c Propagations_3 : 166339043
1225.55/163.07	c (159,0) c Propagations_4 : 166254960
1225.55/163.07	c (159,0) c Propagations_5 : 167433883
1225.55/163.07	c (159,0) c Propagations_6 : 165219273
1225.55/163.07	c (159,0) c Propagations_7 : 167126512
1225.55/163.07	c (159,0) c Propagations_total : 1329514341
1225.55/163.07	c (159,0) c Propagations_winner : 162874376
1225.55/163.07	c (159,0) c ReduceDBs_0 : 11
1225.55/163.07	c (159,0) c ReduceDBs_1 : 11
1225.55/163.07	c (159,0) c ReduceDBs_2 : 11
1225.55/163.07	c (159,0) c ReduceDBs_3 : 11
1225.55/163.07	c (159,0) c ReduceDBs_4 : 11
1225.55/163.07	c (159,0) c ReduceDBs_5 : 11
1225.55/163.07	c (159,0) c ReduceDBs_6 : 11
1225.55/163.07	c (159,0) c ReduceDBs_7 : 11
1225.55/163.07	c (159,0) c ReduceDBs_total : 88
1225.55/163.07	c (159,0) c ReduceDBs_winner : 11
1225.55/163.07	c (159,0) c SimpDBs_0 : 3
1225.55/163.07	c (159,0) c SimpDBs_1 : 3
1225.55/163.07	c (159,0) c SimpDBs_2 : 3
1225.55/163.07	c (159,0) c SimpDBs_3 : 3
1225.55/163.07	c (159,0) c SimpDBs_4 : 4
1225.55/163.07	c (159,0) c SimpDBs_5 : 3
1225.55/163.07	c (159,0) c SimpDBs_6 : 3
1225.55/163.07	c (159,0) c SimpDBs_7 : 3
1225.55/163.07	c (159,0) c SimpDBs_total : 25
1225.55/163.07	c (159,0) c SimpDBs_winner : 3
1225.55/163.07	c (159,0) c Restarts_0 : 663
1225.55/163.07	c (159,0) c Restarts_1 : 762
1225.55/163.07	c (159,0) c Restarts_2 : 634
1225.55/163.07	c (159,0) c Restarts_3 : 655
1225.55/163.07	c (159,0) c Restarts_4 : 722
1225.55/163.07	c (159,0) c Restarts_5 : 652
1225.55/163.07	c (159,0) c Restarts_6 : 622
1225.55/163.07	c (159,0) c Restarts_7 : 724
1225.55/163.07	c (159,0) c Restarts_total : 5434
1225.55/163.07	c (159,0) c Restarts_winner : 762
1225.55/163.07	c (159,0) c ForcedImports_0 : 0
1225.55/163.07	c (159,0) c ForcedImports_1 : 0
1225.55/163.07	c (159,0) c ForcedImports_2 : 0
1225.55/163.07	c (159,0) c ForcedImports_3 : 0
1225.55/163.07	c (159,0) c ForcedImports_4 : 0
1225.55/163.07	c (159,0) c ForcedImports_5 : 0
1225.55/163.07	c (159,0) c ForcedImports_6 : 0
1225.55/163.07	c (159,0) c ForcedImports_7 : 0
1225.55/163.07	c (159,0) c ForcedImports_total : 0
1225.55/163.07	c (159,0) c ForcedImports_winner : 0
1225.55/163.07	c (159,0) c PropsBinClauses_0 : 238635699
1225.55/163.07	c (159,0) c PropsBinClauses_1 : 234297318
1225.55/163.07	c (159,0) c PropsBinClauses_2 : 242693610
1225.55/163.07	c (159,0) c PropsBinClauses_3 : 243559725
1225.55/163.07	c (159,0) c PropsBinClauses_4 : 238421103
1225.55/163.07	c (159,0) c PropsBinClauses_5 : 241154246
1225.55/163.07	c (159,0) c PropsBinClauses_6 : 240563776
1225.55/163.07	c (159,0) c PropsBinClauses_7 : 240355880
1225.55/163.07	c (159,0) c PropsBinClauses_total : 1919681357
1225.55/163.07	c (159,0) c PropsBinClauses_winner : 234297318
1225.55/163.07	c (159,0) c PropsPreBlocker_0 : 2649136590
1225.55/163.07	c (159,0) c PropsPreBlocker_1 : 2577084601
1225.55/163.07	c (159,0) c PropsPreBlocker_2 : 2650728777
1225.55/163.07	c (159,0) c PropsPreBlocker_3 : 2645980801
1225.55/163.07	c (159,0) c PropsPreBlocker_4 : 2646273015
1225.55/163.07	c (159,0) c PropsPreBlocker_5 : 2661816006
1225.55/163.07	c (159,0) c PropsPreBlocker_6 : 2635767477
1225.55/163.07	c (159,0) c PropsPreBlocker_7 : 2645963003
1225.55/163.07	c (159,0) c PropsPreBlocker_total : 21112750270
1225.55/163.07	c (159,0) c PropsPreBlocker_winner : 2577084601
1225.55/163.07	c (159,0) c PropsNotBlocker_0 : 1051913949
1225.55/163.07	c (159,0) c PropsNotBlocker_1 : 1036804865
1225.55/163.07	c (159,0) c PropsNotBlocker_2 : 1048925445
1225.55/163.07	c (159,0) c PropsNotBlocker_3 : 1052998211
1225.55/163.07	c (159,0) c PropsNotBlocker_4 : 1047129415
1225.55/163.07	c (159,0) c PropsNotBlocker_5 : 1043734294
1225.55/163.07	c (159,0) c PropsNotBlocker_6 : 1043612973
1225.55/163.07	c (159,0) c PropsNotBlocker_7 : 1055232597
1225.55/163.07	c (159,0) c PropsNotBlocker_total : 8380351749
1225.55/163.07	c (159,0) c PropsNotBlocker_winner : 1036804865
1225.55/163.07	c (159,0) c PropsLitFullScans_0 : 5340431472
1225.55/163.07	c (159,0) c PropsLitFullScans_1 : 5222504412
1225.55/163.07	c (159,0) c PropsLitFullScans_2 : 5334349241
1225.55/163.07	c (159,0) c PropsLitFullScans_3 : 5342209011
1225.55/163.07	c (159,0) c PropsLitFullScans_4 : 5340547631
1225.55/163.07	c (159,0) c PropsLitFullScans_5 : 5346435010
1225.55/163.07	c (159,0) c PropsLitFullScans_6 : 5304374800
1225.55/163.07	c (159,0) c PropsLitFullScans_7 : 5346411487
1225.55/163.07	c (159,0) c PropsLitFullScans_total : 42577263064
1225.55/163.07	c (159,0) c PropsLitFullScans_winner : 5222504412
1225.55/163.07	c (159,0) c LitScanFractions_0 : 400218
1225.55/163.07	c (159,0) c LitScanFractions_1 : 405653
1225.55/163.07	c (159,0) c LitScanFractions_2 : 337542
1225.55/163.07	c (159,0) c LitScanFractions_3 : 569097
1225.55/163.07	c (159,0) c LitScanFractions_4 : 543088
1225.55/163.07	c (159,0) c LitScanFractions_5 : 410293
1225.55/163.07	c (159,0) c LitScanFractions_6 : 361745
1225.55/163.07	c (159,0) c LitScanFractions_7 : 399639
1225.55/163.07	c (159,0) c LitScanFractions_total : 3427275
1225.55/163.07	c (159,0) c LitScanFractions_winner : 405653
1225.55/163.07	c (159,0) c DecisionLevel0_0 : 665
1225.55/163.07	c (159,0) c DecisionLevel0_1 : 763
1225.55/163.07	c (159,0) c DecisionLevel0_2 : 635
1225.55/163.07	c (159,0) c DecisionLevel0_3 : 656
1225.55/163.07	c (159,0) c DecisionLevel0_4 : 724
1225.55/163.07	c (159,0) c DecisionLevel0_5 : 653
1225.55/163.07	c (159,0) c DecisionLevel0_6 : 623
1225.55/163.07	c (159,0) c DecisionLevel0_7 : 725
1225.55/163.07	c (159,0) c DecisionLevel0_total : 5444
1225.55/163.07	c (159,0) c DecisionLevel0_winner : 763
1225.55/163.07	c (159,0) c Periods_0 : 890
1225.55/163.07	c (159,0) c Periods_1 : 870
1225.55/163.07	c (159,0) c Periods_2 : 889
1225.55/163.07	c (159,0) c Periods_3 : 890
1225.55/163.07	c (159,0) c Periods_4 : 890
1225.55/163.07	c (159,0) c Periods_5 : 891
1225.55/163.08	c (159,0) c Periods_6 : 884
1225.55/163.08	c (159,0) c Periods_7 : 891
1225.55/163.08	c (159,0) c Periods_total : 7095
1225.55/163.08	c (159,0) c Periods_winner : 870
1225.55/163.08	c (159,0) c Margin_0 : 20
1225.55/163.08	c (159,0) c Margin_1 : 20
1225.55/163.08	c (159,0) c Margin_2 : 20
1225.55/163.08	c (159,0) c Margin_3 : 20
1225.55/163.08	c (159,0) c Margin_4 : 20
1225.55/163.08	c (159,0) c Margin_5 : 20
1225.55/163.08	c (159,0) c Margin_6 : 20
1225.55/163.08	c (159,0) c Margin_7 : 20
1225.55/163.08	c (159,0) c Margin_total : 160
1225.55/163.08	c (159,0) c Margin_winner : 20
1225.55/163.08	c (159,0) c Exported_0 : 25712
1225.55/163.08	c (159,0) c Exported_1 : 23260
1225.55/163.08	c (159,0) c Exported_2 : 25300
1225.55/163.08	c (159,0) c Exported_3 : 24922
1225.55/163.08	c (159,0) c Exported_4 : 25135
1225.55/163.08	c (159,0) c Exported_5 : 24737
1225.55/163.08	c (159,0) c Exported_6 : 25168
1225.55/163.08	c (159,0) c Exported_7 : 22795
1225.55/163.08	c (159,0) c Exported_total : 197029
1225.55/163.08	c (159,0) c Exported_winner : 23260
1225.55/163.08	c (159,0) c Imported_0 : 169210
1225.55/163.08	c (159,0) c Imported_1 : 167446
1225.55/163.08	c (159,0) c Imported_2 : 168839
1225.55/163.08	c (159,0) c Imported_3 : 170104
1225.55/163.08	c (159,0) c Imported_4 : 169790
1225.55/163.08	c (159,0) c Imported_5 : 170366
1225.55/163.08	c (159,0) c Imported_6 : 168879
1225.55/163.08	c (159,0) c Imported_7 : 171912
1225.55/163.08	c (159,0) c Imported_total : 1356546
1225.55/163.08	c (159,0) c Imported_winner : 167446
1225.55/163.08	c (159,0) c Good_0 : 37
1225.55/163.08	c (159,0) c Good_1 : 45
1225.55/163.08	c (159,0) c Good_2 : 39
1225.55/163.08	c (159,0) c Good_3 : 42
1225.55/163.08	c (159,0) c Good_4 : 36
1225.55/163.08	c (159,0) c Good_5 : 43
1225.55/163.08	c (159,0) c Good_6 : 42
1225.55/163.08	c (159,0) c Good_7 : 38
1225.55/163.08	c (159,0) c Good_total : 322
1225.55/163.08	c (159,0) c Good_winner : 45
1225.55/163.08	c (159,0) c Purge_0 : 169173
1225.55/163.08	c (159,0) c Purge_1 : 167401
1225.55/163.08	c (159,0) c Purge_2 : 168800
1225.55/163.08	c (159,0) c Purge_3 : 170062
1225.55/163.08	c (159,0) c Purge_4 : 169754
1225.55/163.08	c (159,0) c Purge_5 : 170323
1225.55/163.08	c (159,0) c Purge_6 : 168837
1225.55/163.08	c (159,0) c Purge_7 : 171874
1225.55/163.08	c (159,0) c Purge_total : 1356224
1225.55/163.08	c (159,0) c Purge_winner : 167401
1225.55/163.08	c (159,0) c Promoted_0 : 23779
1225.55/163.08	c (159,0) c Promoted_1 : 23196
1225.55/163.08	c (159,0) c Promoted_2 : 23975
1225.55/163.08	c (159,0) c Promoted_3 : 23351
1225.55/163.08	c (159,0) c Promoted_4 : 23873
1225.55/163.08	c (159,0) c Promoted_5 : 23672
1225.55/163.08	c (159,0) c Promoted_6 : 23422
1225.55/163.08	c (159,0) c Promoted_7 : 23923
1225.55/163.08	c (159,0) c Promoted_total : 189191
1225.55/163.08	c (159,0) c Promoted_winner : 23196
1225.55/163.08	c (159,0) c Remove_Imp_0 : 98297
1225.55/163.08	c (159,0) c Remove_Imp_1 : 100855
1225.55/163.08	c (159,0) c Remove_Imp_2 : 98450
1225.55/163.08	c (159,0) c Remove_Imp_3 : 98645
1225.55/163.08	c (159,0) c Remove_Imp_4 : 98613
1225.55/163.08	c (159,0) c Remove_Imp_5 : 98499
1225.55/163.08	c (159,0) c Remove_Imp_6 : 99919
1225.55/163.08	c (159,0) c Remove_Imp_7 : 100834
1225.55/163.08	c (159,0) c Remove_Imp_total : 794112
1225.55/163.08	c (159,0) c Remove_Imp_winner : 100855
1225.55/163.08	c (159,0) c Blocked_Reuse_0 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_1 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_2 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_3 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_4 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_5 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_6 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_7 : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_total : 0
1225.55/163.08	c (159,0) c Blocked_Reuse_winner : 0
1225.55/163.08	c (159,0) c Unaries_0 : 2
1225.55/163.08	c (159,0) c Unaries_1 : 1
1225.55/163.08	c (159,0) c Unaries_2 : 1
1225.55/163.08	c (159,0) c Unaries_3 : 1
1225.55/163.08	c (159,0) c Unaries_4 : 2
1225.55/163.08	c (159,0) c Unaries_5 : 1
1225.55/163.08	c (159,0) c Unaries_6 : 1
1225.55/163.08	c (159,0) c Unaries_7 : 1
1225.55/163.08	c (159,0) c Unaries_total : 10
1225.55/163.08	c (159,0) c Unaries_winner : 1
1225.55/163.08	c (159,0) c Binaries_0 : 9
1225.55/163.08	c (159,0) c Binaries_1 : 1
1225.55/163.08	c (159,0) c Binaries_2 : 7
1225.55/163.08	c (159,0) c Binaries_3 : 4
1225.55/163.08	c (159,0) c Binaries_4 : 15
1225.55/163.08	c (159,0) c Binaries_5 : 3
1225.55/163.08	c (159,0) c Binaries_6 : 4
1225.55/163.08	c (159,0) c Binaries_7 : 8
1225.55/163.08	c (159,0) c Binaries_total : 51
1225.55/163.08	c (159,0) c Binaries_winner : 1
1225.55/163.08	c (159,0) c Glues_0 : 130
1225.55/163.08	c (159,0) c Glues_1 : 142
1225.55/163.08	c (159,0) c Glues_2 : 145
1225.55/163.08	c (159,0) c Glues_3 : 142
1225.55/163.08	c (159,0) c Glues_4 : 169
1225.55/163.08	c (159,0) c Glues_5 : 150
1225.55/163.08	c (159,0) c Glues_6 : 131
1225.55/163.08	c (159,0) c Glues_7 : 152
1225.55/163.08	c (159,0) c Glues_total : 1161
1225.55/163.08	c (159,0) c Glues_winner : 142
1225.55/163.08	c (159,0) c RunningTime_0 : 152.941508
1225.55/163.08	c (159,0) c RunningTime_1 : 155.798793
1225.55/163.08	c (159,0) c RunningTime_2 : 156.812567
1225.55/163.08	c (159,0) c RunningTime_3 : 146.802038
1225.55/163.08	c (159,0) c RunningTime_4 : 153.231047
1225.55/163.08	c (159,0) c RunningTime_5 : 152.371624
1225.55/163.08	c (159,0) c RunningTime_6 : 155.291282
1225.55/163.08	c (159,0) c RunningTime_7 : 148.191548
1225.55/163.08	c (159,0) c RunningTime_total : 1221.440407
1225.55/163.08	c (159,0) c RunningTime_winner : 155.798793
1225.55/163.08	c (159,0) c WaitingTime_0 : 4.773129
1225.55/163.08	c (159,0) c WaitingTime_1 : 1.904377
1225.55/163.08	c (159,0) c WaitingTime_2 : 0.930140
1225.55/163.08	c (159,0) c WaitingTime_3 : 10.932272
1225.55/163.08	c (159,0) c WaitingTime_4 : 4.495291
1225.55/163.08	c (159,0) c WaitingTime_5 : 5.448597
1225.55/163.08	c (159,0) c WaitingTime_6 : 2.486722
1225.55/163.08	c (159,0) c WaitingTime_7 : 9.622248
1225.55/163.08	c (159,0) c WaitingTime_total : 40.592776
1225.55/163.08	c (159,0) c WaitingTime_winner : 1.904377
1225.55/163.08	c (159,0) c ExchangingTime_0 : 0.116601
1225.55/163.08	c (159,0) c ExchangingTime_1 : 0.112331
1225.55/163.08	c (159,0) c ExchangingTime_2 : 0.105104
1225.55/163.08	c (159,0) c ExchangingTime_3 : 0.101595
1225.55/163.08	c (159,0) c ExchangingTime_4 : 0.113105
1225.55/163.08	c (159,0) c ExchangingTime_5 : 0.095721
1225.55/163.08	c (159,0) c ExchangingTime_6 : 0.111908
1225.55/163.08	c (159,0) c ExchangingTime_7 : 0.098741
1225.55/163.08	c (159,0) c ExchangingTime_total : 0.855106
1225.55/163.08	c (159,0) c ExchangingTime_winner : 0.112331
1225.55/163.08	c (159,0) c PeriodProcTime_0 : 0.009799
1225.55/163.08	c (159,0) c PeriodProcTime_1 : 0.009210
1225.55/163.08	c (159,0) c PeriodProcTime_2 : 0.009149
1225.55/163.08	c (159,0) c PeriodProcTime_3 : 0.009681
1225.55/163.08	c (159,0) c PeriodProcTime_4 : 0.008181
1225.55/163.08	c (159,0) c PeriodProcTime_5 : 0.010986
1225.55/163.08	c (159,0) c PeriodProcTime_6 : 0.010117
1225.55/163.08	c (159,0) c PeriodProcTime_7 : 0.009210
1225.55/163.08	c (159,0) c PeriodProcTime_total : 0.076334
1225.55/163.08	c (159,0) c PeriodProcTime_winner : 0.009210
1225.55/163.08	c (159,0) c SolvingTime_0 : 157.841037
1225.55/163.08	c (159,0) c SolvingTime_1 : 157.824711
1225.55/163.08	c (159,0) c SolvingTime_2 : 157.856960
1225.55/163.08	c (159,0) c SolvingTime_3 : 157.845586
1225.55/163.08	c (159,0) c SolvingTime_4 : 157.847624
1225.55/163.08	c (159,0) c SolvingTime_5 : 157.926929
1225.55/163.08	c (159,0) c SolvingTime_6 : 157.900029
1225.55/163.08	c (159,0) c SolvingTime_7 : 157.921748
1225.55/163.08	c (159,0) c SolvingTime_total : 1262.964622
1225.55/163.08	c (159,0) c SolvingTime_winner : 157.824711
1225.55/163.08	c (159,0) c PropagationTime_0 : 137.855373
1225.55/163.08	c (159,0) c PropagationTime_1 : 136.855817
1225.55/163.08	c (159,0) c PropagationTime_2 : 136.791911
1225.55/163.08	c (159,0) c PropagationTime_3 : 137.007650
1225.55/163.08	c (159,0) c PropagationTime_4 : 136.380726
1225.55/163.08	c (159,0) c PropagationTime_5 : 135.647734
1225.55/163.08	c (159,0) c PropagationTime_6 : 136.346740
1225.55/163.08	c (159,0) c PropagationTime_7 : 137.596262
1225.55/163.08	c (159,0) c PropagationTime_total : 1094.482213
1225.55/163.08	c (159,0) c PropagationTime_winner : 136.855817
1225.55/163.08	c (159,0) c AnalysisTime_0 : 17.117341
1225.55/163.08	c (159,0) c AnalysisTime_1 : 17.904280
1225.55/163.08	c (159,0) c AnalysisTime_2 : 17.952125
1225.55/163.08	c (159,0) c AnalysisTime_3 : 17.874063
1225.55/163.08	c (159,0) c AnalysisTime_4 : 18.404824
1225.55/163.08	c (159,0) c AnalysisTime_5 : 19.345892
1225.55/163.08	c (159,0) c AnalysisTime_6 : 18.435645
1225.55/163.08	c (159,0) c AnalysisTime_7 : 17.455182
1225.55/163.08	c (159,0) c AnalysisTime_total : 144.489353
1225.55/163.08	c (159,0) c AnalysisTime_winner : 17.904280
1225.55/163.08	c (159,0) c ReductionTime_0 : 0.439713
1225.55/163.08	c (159,0) c ReductionTime_1 : 0.506511
1225.55/163.08	c (159,0) c ReductionTime_2 : 0.500731
1225.55/163.08	c (159,0) c ReductionTime_3 : 0.462386
1225.55/163.08	c (159,0) c ReductionTime_4 : 0.487098
1225.55/163.08	c (159,0) c ReductionTime_5 : 0.410719
1225.55/163.08	c (159,0) c ReductionTime_6 : 0.506195
1225.55/163.08	c (159,0) c ReductionTime_7 : 0.419800
1225.55/163.08	c (159,0) c ReductionTime_total : 3.733154
1225.55/163.08	c (159,0) c ReductionTime_winner : 0.506511
1225.55/163.08	c (159,0) c SimplifyTime_0 : 0.033138
1225.55/163.08	c (159,0) c SimplifyTime_1 : 0.043446
1225.55/163.08	c (159,0) c SimplifyTime_2 : 0.045911
1225.55/163.08	c (159,0) c SimplifyTime_3 : 0.039235
1225.55/163.08	c (159,0) c SimplifyTime_4 : 0.075993
1225.55/163.08	c (159,0) c SimplifyTime_5 : 0.034723
1225.55/163.08	c (159,0) c SimplifyTime_6 : 0.043648
1225.55/163.08	c (159,0) c SimplifyTime_7 : 0.043096
1225.55/163.08	c (159,0) c SimplifyTime_total : 0.359191
1225.55/163.08	c (159,0) c SimplifyTime_winner : 0.043446
1225.55/163.08	c (159,0) c UsedRateTime_0 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_1 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_2 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_3 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_4 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_5 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_6 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_7 : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_total : 0.000000
1225.55/163.08	c (159,0) c UsedRateTime_winner : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_0 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_1 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_2 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_3 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_4 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_5 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_6 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_7 : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_total : 0.000000
1225.55/163.08	c (159,0) c OverlapRateTime_winner : 0.000000
1225.55/163.08	c (159,0) c
1225.55/163.08	c (159,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1225.55/163.08	c (159,0) c
1225.55/163.08	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.08	c (159,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1225.55/163.08	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.08	c (159,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1225.55/163.08	c (159,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1225.55/163.08	c (159,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1225.55/163.08	c (159,0) c | Initial random_seed   | 1864222024 | 2032600084 | 1364969830 |  873430450 |  313049960 | 1167512645 |  319996122 |  288904559 |
1225.55/163.08	c (159,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1225.55/163.08	c (159,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1225.55/163.08	c (159,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1225.55/163.08	c (159,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1225.55/163.08	c (159,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1225.55/163.08	c (159,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1225.55/163.08	c (159,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1225.55/163.08	c (159,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1225.55/163.08	c (159,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1225.55/163.08	c (159,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1225.55/163.08	c (159,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1225.55/163.08	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1225.55/163.08	c (159,0) 
1225.55/163.08	c (159,0) s SATISFIABLE
7.98/163.13	c (159,0) SatSolver.solve End
7.98/163.13	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.98/163.13	c (159,0) Show results Begin
1226.11/163.23	c (159,0) x[0] = 348
1226.11/163.23	c (159,0) x[1] = 93
1226.11/163.23	c (159,0) x[2] = 102
1226.11/163.23	c (159,0) x[3] = 209
1226.11/163.23	c (159,0) x[4] = 93
1226.11/163.23	c (159,0) x[5] = 324
1226.11/163.23	c (159,0) x[6] = 65
1226.11/163.23	c (159,0) x[7] = 112
1226.11/163.23	c (159,0) x[8] = 65
1226.11/163.23	c (159,0) x[9] = 102
1226.11/163.23	c (159,0) x[10] = 145
1226.11/163.24	c (159,0) x[11] = 0
1226.11/163.24	c (159,0) x[12] = 141
1226.11/163.24	c (159,0) x[13] = 145
1226.11/163.24	c (159,0) x[14] = 226
1226.11/163.24	c (159,0) x[15] = 102
1226.11/163.24	c (159,0) x[16] = 0
1226.11/163.24	c (159,0) x[17] = 209
1226.11/163.24	c (159,0) x[18] = 0
1226.11/163.24	c (159,0) x[19] = 201
1226.11/163.24	c (159,0) x[20] = 201
1226.11/163.24	c (159,0) x[21] = 354
1226.11/163.24	c (159,0) x[22] = 348
1226.11/163.24	c (159,0) x[23] = 324
1226.11/163.24	c (159,0) x[24] = 0
1226.11/163.24	c (159,0) y[0] = 153
1226.11/163.24	c (159,0) y[1] = 340
1226.11/163.24	c (159,0) y[2] = 339
1226.11/163.24	c (159,0) y[3] = 415
1226.11/163.24	c (159,0) y[4] = 349
1226.11/163.24	c (159,0) y[5] = 300
1226.11/163.24	c (159,0) y[6] = 340
1226.11/163.24	c (159,0) y[7] = 339
1226.11/163.24	c (159,0) y[8] = 303
1226.11/163.24	c (159,0) y[9] = 300
1226.11/163.24	c (159,0) y[10] = 368
1226.11/163.24	c (159,0) y[11] = 303
1226.11/163.24	c (159,0) y[12] = 300
1226.11/163.24	c (159,0) y[13] = 432
1226.11/163.24	c (159,0) y[14] = 415
1226.11/163.24	c (159,0) y[15] = 201
1226.11/163.24	c (159,0) y[16] = 201
1226.11/163.24	c (159,0) y[17] = 300
1226.11/163.24	c (159,0) y[18] = 368
1226.11/163.24	c (159,0) y[19] = 153
1226.11/163.24	c (159,0) y[20] = 0
1226.11/163.24	c (159,0) y[21] = 0
1226.11/163.24	c (159,0) y[22] = 159
1226.11/163.24	c (159,0) y[23] = 324
1226.11/163.24	c (159,0) y[24] = 0
1226.11/163.24	s SATISFIABLE
1226.11/163.25	v <instantiation>
1226.11/163.25	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>
1226.11/163.25	v     <values>348 93 102 209 93 324 65 112 65 102 145 0 141 145 226 102 0 209 0 201 201 354 348 324 0 153 340 339 415 349 300 340 339 303 300 368 303 300 432 415 201 201 300 368 153 0 0 159 324 0</values>
1226.11/163.25	v </instantiation>
1226.11/163.25	c (159,0) Show results End
1226.11/163.25	c (159,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1226.11/163.25	c (159,0) 159,159,STOP-AFTER(ALL)
1226.11/163.25	c END-Prog: Tue Sep 24 17:19:01 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 (12405 MiB free)
  memory of node 1: 16384 MiB (11518 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405577-1569338215/watcher-4405577-1569338215 -o /var/tmp/evaluation-result-4405577-1569338215/solver-4405577-1569338215 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405577-1569338215.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=876, runsolver pid=873
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 7.71 7.61 5.57 2/212 903
/proc/meminfo: memFree=24402120/32770624 swapFree=66996984/67108860
[pid=876] ppid=873 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/876/stat : 876 (scop.sh) S 873 876 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510089294 115843072 350 33554432000 4194304 5098028 140724691072000 140724691069256 140662508384892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9453568 140724691079932 140724691080280 140724691080280 140724691083209 0
/proc/876/statm: 28282 350 297 221 0 87 0
[pid=879] ppid=876 vsize=27314120 memory=107084 CPUtime=0.1 cores=0-7
/proc/879/stat : 879 (java) S 876 876 395 0 -1 1077944320 6873 0 0 0 8 2 0 0 20 0 20 0 510089295 27969658880 26771 33554432000 4194304 4196468 140735367194144 140735367176688 139650845015799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
/proc/879/statm: 6828530 26771 2777 1 0 6790935 0
[pid=879/tid=880] ppid=876 vsize=27314120 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/879/task/880/stat : 880 (java) R 876 876 395 0 -1 4202560 5009 0 0 0 7 2 0 0 20 0 20 0 510089295 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650816842128 139650845027734 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=881] ppid=876 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/879/task/881/stat : 881 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650849257744 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=882] ppid=876 vsize=27314120 memory=140472289285448 CPUtime=0 cores=0-7
/proc/879/task/882/stat : 882 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650663414160 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=883] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/883/stat : 883 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650662361616 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=884] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/884/stat : 884 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650264627856 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=885] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/885/stat : 885 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650263575312 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=886] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/886/stat : 886 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650262522768 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=887] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/887/stat : 887 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650261470224 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=890] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/890/stat : 890 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 26836 33554432000 4194304 4196468 140735367194144 139650260417680 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=891] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/891/stat : 891 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089299 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648896669680 139650845026946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=893] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/893/stat : 893 (java) S 876 876 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089300 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648781247392 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=894] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/894/stat : 894 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089300 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648512812016 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=896] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/896/stat : 896 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648138303696 139650845034395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=898] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/898/stat : 898 (java) S 876 876 395 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648895617520 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=899] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/899/stat : 899 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648894564976 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=900] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/900/stat : 900 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648893512432 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=901] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/901/stat : 901 (java) S 876 876 395 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648892459888 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=902] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/902/stat : 902 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089303 27969658880 26836 33554432000 4194304 4196468 140735367194144 139647640398048 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=903] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/903/stat : 903 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089303 27969658880 26836 33554432000 4194304 4196468 140735367194144 139648891406768 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108484 KiB

[startup+0.218957 s]*
/proc/loadavg: 7.71 7.61 5.57 2/212 903
/proc/meminfo: memFree=24380064/32770624 swapFree=66996984/67108860
[pid=876] ppid=873 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/876/stat : 876 (scop.sh) S 873 876 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510089294 115843072 350 33554432000 4194304 5098028 140724691072000 140724691069256 140662508384892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9453568 140724691079932 140724691080280 140724691080280 140724691083209 0
/proc/876/statm: 28282 350 297 221 0 87 0
[pid=879] ppid=876 vsize=27314120 memory=126788 CPUtime=0.25 cores=0-7
/proc/879/stat : 879 (java) S 876 876 395 0 -1 1077944320 12518 0 0 0 21 4 0 0 20 0 20 0 510089295 27969658880 31697 33554432000 4194304 4196468 140735367194144 140735367176688 139650845015799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
/proc/879/statm: 6828530 31697 2973 1 0 6790935 0
[pid=879/tid=880] ppid=876 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/879/task/880/stat : 880 (java) R 876 876 395 0 -1 4202560 10270 0 0 0 17 3 0 0 20 0 20 0 510089295 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650816799360 139650845037725 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=881] ppid=876 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/879/task/881/stat : 881 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650849257744 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=882] ppid=876 vsize=27314120 memory=140472289285448 CPUtime=0 cores=0-7
/proc/879/task/882/stat : 882 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650663414160 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=883] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/883/stat : 883 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650662361616 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=884] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/884/stat : 884 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650264627856 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=885] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/885/stat : 885 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650263575312 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=886] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/886/stat : 886 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650262522768 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=887] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/887/stat : 887 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650261470224 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=890] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/890/stat : 890 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 31697 33554432000 4194304 4196468 140735367194144 139650260417680 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=891] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/891/stat : 891 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089299 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648896669680 139650845026946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=893] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/893/stat : 893 (java) S 876 876 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089300 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648781247392 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=894] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/894/stat : 894 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089300 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648512812016 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=896] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/896/stat : 896 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648138303696 139650845034395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=898] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/898/stat : 898 (java) R 876 876 395 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648895617520 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=899] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/899/stat : 899 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648894564976 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=900] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/900/stat : 900 (java) R 876 876 395 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648893512432 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=901] ppid=876 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/879/task/901/stat : 901 (java) S 876 876 395 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 510089302 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648892459888 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=902] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/902/stat : 902 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089303 27969658880 31697 33554432000 4194304 4196468 140735367194144 139647640398048 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=903] ppid=876 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/879/task/903/stat : 903 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089303 27969658880 31697 33554432000 4194304 4196468 140735367194144 139648891406768 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128188 KiB

[startup+0.310386 s]*
/proc/loadavg: 7.71 7.61 5.57 2/212 903
/proc/meminfo: memFree=24377880/32770624 swapFree=66996984/67108860
[pid=876] ppid=873 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/876/stat : 876 (scop.sh) S 873 876 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510089294 115843072 350 33554432000 4194304 5098028 140724691072000 140724691069256 140662508384892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9453568 140724691079932 140724691080280 140724691080280 140724691083209 0
/proc/876/statm: 28282 350 297 221 0 87 0
[pid=879] ppid=876 vsize=27314120 memory=129868 CPUtime=0.42 cores=0-7
/proc/879/stat : 879 (java) S 876 876 395 0 -1 1077944320 12880 0 0 0 37 5 0 0 20 0 20 0 510089295 27969658880 32467 33554432000 4194304 4196468 140735367194144 140735367176688 139650845015799 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
/proc/879/statm: 6828530 32467 3019 1 0 6790935 0
[pid=879/tid=880] ppid=876 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/879/task/880/stat : 880 (java) R 876 876 395 0 -1 4202560 10447 0 0 0 26 3 0 0 20 0 20 0 510089295 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650816828144 139650845037146 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=881] ppid=876 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/879/task/881/stat : 881 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650849257744 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=882] ppid=876 vsize=27314120 memory=1428 CPUtime=0 cores=0-7
/proc/879/task/882/stat : 882 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650663414160 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=883] ppid=876 vsize=27314120 memory=1060 CPUtime=0 cores=0-7
/proc/879/task/883/stat : 883 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650662361616 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=884] ppid=876 vsize=27314120 memory=740 CPUtime=0 cores=0-7
/proc/879/task/884/stat : 884 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650264627856 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=885] ppid=876 vsize=27314120 memory=1228 CPUtime=0 cores=0-7
/proc/879/task/885/stat : 885 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650263575312 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=886] ppid=876 vsize=27314120 memory=9520 CPUtime=0 cores=0-7
/proc/879/task/886/stat : 886 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650262522768 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=887] ppid=876 vsize=27314120 memory=4076 CPUtime=0 cores=0-7
/proc/879/task/887/stat : 887 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650261470224 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=890] ppid=876 vsize=27314120 memory=2836 CPUtime=0 cores=0-7
/proc/879/task/890/stat : 890 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27969658880 32467 33554432000 4194304 4196468 140735367194144 139650260417680 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=891] ppid=876 vsize=27314120 memory=1540 CPUtime=0 cores=0-7
/proc/879/task/891/stat : 891 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089299 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648896669680 139650845026946 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=893] ppid=876 vsize=27314120 memory=1732 CPUtime=0 cores=0-7
/proc/879/task/893/stat : 893 (java) S 876 876 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089300 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648781247392 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=894] ppid=876 vsize=27314120 memory=6128 CPUtime=0 cores=0-7
/proc/879/task/894/stat : 894 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089300 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648512812016 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=896] ppid=876 vsize=27314120 memory=772 CPUtime=0 cores=0-7
/proc/879/task/896/stat : 896 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089302 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648138303696 139650845034395 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=898] ppid=876 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/879/task/898/stat : 898 (java) S 876 876 395 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 510089302 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648895617520 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=899] ppid=876 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/879/task/899/stat : 899 (java) R 876 876 395 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 20 0 510089302 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648894564976 139650828478160 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=900] ppid=876 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/879/task/900/stat : 900 (java) S 876 876 395 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 510089302 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648893512432 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=901] ppid=876 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/879/task/901/stat : 901 (java) S 876 876 395 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 20 0 510089302 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648892459888 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=902] ppid=876 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/879/task/902/stat : 902 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089303 27969658880 32467 33554432000 4194304 4196468 140735367194144 139647640398048 139650845026005 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=903] ppid=876 vsize=27314120 memory=27969658879 CPUtime=0 cores=0-7
/proc/879/task/903/stat : 903 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089303 27969658880 32467 33554432000 4194304 4196468 140735367194144 139648891406768 139650845026946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131268 KiB

[startup+0.700949 s]
/proc/loadavg: 7.71 7.61 5.57 2/212 903
/proc/meminfo: memFree=24356176/32770624 swapFree=66996984/67108860
[pid=876] ppid=873 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/876/stat : 876 (scop.sh) S 873 876 395 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510089294 115843072 350 33554432000 4194304 5098028 140724691072000 140724691069256 140662508384892 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9453568 140724691079932 140724691080280 140724691080280 140724691083209 0
/proc/876/statm: 28282 350 297 221 0 87 0
[pid=879] ppid=876 vsize=27322516 memory=167408 CPUtime=0.98 cores=0-7
/proc/879/stat : 879 (java) S 876 876 395 0 -1 1077944320 20444 0 0 0 91 7 0 0 20 0 20 0 510089295 27978256384 41852 33554432000 4194304 4196468 140735367194144 140735367176688 139650845015799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
/proc/879/statm: 6830629 41852 3199 1 0 6791959 0
[pid=879/tid=880] ppid=876 vsize=27322516 memory=7668902728551326552 CPUtime=0.67 cores=0-7
/proc/879/task/880/stat : 880 (java) R 876 876 395 0 -1 4202560 17527 0 0 0 61 6 0 0 20 0 20 0 510089295 27978256384 41852 33554432000 4194304 4196468 140735367194144 139650816847568 139650829096286 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=881] ppid=876 vsize=27322516 memory=140472289265280 CPUtime=0 cores=0-7
/proc/879/task/881/stat : 881 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27978256384 41852 33554432000 4194304 4196468 140735367194144 139650849257744 139650845026005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=882] ppid=876 vsize=27322516 memory=280944280231392 CPUtime=0 cores=0-7
/proc/879/task/882/stat : 882 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089298 27978256384 41852 33554432000 4194304 4196468 140735367194144 139650663414160 139650845026005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0
[pid=879/tid=883] ppid=876 vsize=27322516 memory=2004 CPUtime=0 cores=0-7
/proc/879/task/883/stat : 883 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089298 27978256384 41852 33554432000 4194304 4196468 140735367194144 139650662361616 139650845026005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140735367197384 140735367197830 140735367197830 140735367200719 0

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

/proc/904/task/916/stat : 916 (java) S 876 876 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510089650 8616062976 29583 33554432000 4194304 4196468 140727376394976 139672873325936 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=917] ppid=876 vsize=8414124 memory=13852966864029301 CPUtime=0 cores=0-7
/proc/904/task/917/stat : 917 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139672498821456 139674737407899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=918] ppid=876 vsize=8414124 memory=118332 CPUtime=0.07 cores=0-7
/proc/904/task/918/stat : 918 (java) S 876 876 395 0 -1 1077944384 540 0 0 0 7 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674165410160 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=919] ppid=876 vsize=8414124 memory=902744 CPUtime=0.04 cores=0-7
/proc/904/task/919/stat : 919 (java) S 876 876 395 0 -1 1077944384 248 0 0 0 4 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674164357360 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=921] ppid=876 vsize=8414124 memory=3560 CPUtime=0.05 cores=0-7
/proc/904/task/921/stat : 921 (java) S 876 876 395 0 -1 1077944384 328 0 0 0 5 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674163304560 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=922] ppid=876 vsize=8414124 memory=6128 CPUtime=0.19 cores=0-7
/proc/904/task/922/stat : 922 (java) S 876 876 395 0 -1 1077944384 769 0 0 0 19 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674162251760 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=923] ppid=876 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/904/task/923/stat : 923 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139672000916576 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=924] ppid=876 vsize=8414124 memory=952 CPUtime=0.1 cores=0-7
/proc/904/task/924/stat : 924 (java) S 876 876 395 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674161200176 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=926] ppid=876 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/904/task/926/stat : 926 (java) S 876 876 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510089718 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674153166400 139674737413913 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=928] ppid=876 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/904/task/928/stat : 928 (java) S 876 876 395 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510089719 8616062976 29583 33554432000 4194304 4196468 140727376394976 139671329816208 139674737411229 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=929] ppid=876 vsize=8414124 memory=3652 CPUtime=0 cores=0-7
/proc/904/task/929/stat : 929 (java) S 876 876 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510089719 8616062976 29583 33554432000 4194304 4196468 140727376394976 139671598251536 139674737411229 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=930] ppid=876 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/904/task/930/stat : 930 (java) S 876 876 395 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510089721 8616062976 29583 33554432000 4194304 4196468 140727376394976 139671061388336 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
Current children cumulated CPU time: 1221.04 s
Current children cumulated vsize: 9950440 KiB
Current children cumulated memory: 1026648 KiB

[startup+162.802 s]
/proc/loadavg: 7.48 7.65 5.91 9/224 947
/proc/meminfo: memFree=23476932/32770624 swapFree=66996984/67108860
[pid=876] ppid=873 vsize=113128 memory=1476 CPUtime=6.6 cores=0-7
/proc/876/stat : 876 (scop.sh) S 873 876 395 0 -1 4202496 584 27855 0 0 0 0 622 38 20 0 1 0 510089294 115843072 369 33554432000 4194304 5098028 140724691072000 140724691068744 140662508384892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9453568 140724691079932 140724691080280 140724691080280 140724691083209 0
/proc/876/statm: 28282 369 311 221 0 87 0
[pid=904] ppid=876 vsize=8414124 memory=118332 CPUtime=1.25 cores=0-7
/proc/904/stat : 904 (java) S 876 876 395 0 -1 1077944320 20795 0 0 0 116 9 0 0 20 0 24 0 510089647 8616062976 29583 33554432000 4194304 4196468 140727376394976 140727376377520 139674737389303 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
/proc/904/statm: 2103531 29583 3183 1 0 2064875 0
[pid=925] ppid=904 vsize=1423188 memory=906840 CPUtime=1216.18 cores=0-7
/proc/925/stat : 925 (manyglucose-4.1) S 904 876 395 0 -1 1077944320 966086 0 0 0 121408 210 0 0 20 0 9 0 510089718 1457344512 226710 33554432000 4194304 4454172 140735904059968 140735904058368 140675916802690 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
/proc/925/statm: 355797 226710 410 64 0 351465 0
[pid=925/tid=932] ppid=904 vsize=1423188 memory=1984 CPUtime=152.33 cores=0-7
/proc/925/task/932/stat : 932 (manyglucose-4.1) R 904 876 395 0 -1 4202560 134443 0 0 0 15204 29 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675890027552 4351502 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=933] ppid=904 vsize=1423188 memory=288230574492221466 CPUtime=155.19 cores=0-7
/proc/925/task/933/stat : 933 (manyglucose-4.1) R 904 876 395 0 -1 4202560 129117 0 0 0 15495 24 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675881634952 4350891 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=934] ppid=904 vsize=1423188 memory=288230596050944315 CPUtime=155.61 cores=0-7
/proc/925/task/934/stat : 934 (manyglucose-4.1) R 904 876 395 0 -1 4202560 113327 0 0 0 15541 20 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675873242144 4355558 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=935] ppid=904 vsize=1423188 memory=13852966864029301 CPUtime=146.23 cores=0-7
/proc/925/task/935/stat : 935 (manyglucose-4.1) R 904 876 395 0 -1 4202560 107559 0 0 0 14598 25 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675864849392 4351769 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=936] ppid=904 vsize=1423188 memory=6128 CPUtime=152.38 cores=0-7
/proc/925/task/936/stat : 936 (manyglucose-4.1) R 904 876 395 0 -1 4202560 105160 0 0 0 15220 18 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675834420376 4350933 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=937] ppid=904 vsize=1423188 memory=772 CPUtime=151.49 cores=0-7
/proc/925/task/937/stat : 937 (manyglucose-4.1) R 904 876 395 0 -1 4202560 114760 0 0 0 15125 24 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675826027552 4351535 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=938] ppid=904 vsize=1423188 memory=952 CPUtime=154.57 cores=0-7
/proc/925/task/938/stat : 938 (manyglucose-4.1) R 904 876 395 0 -1 4202560 113259 0 0 0 15426 31 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675817634712 4351286 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=925/tid=939] ppid=904 vsize=1423188 memory=14008 CPUtime=147.43 cores=0-7
/proc/925/task/939/stat : 939 (manyglucose-4.1) R 904 876 395 0 -1 4202560 109585 0 0 0 14715 28 0 0 20 0 9 0 510089806 1457344512 226710 33554432000 4194304 4454172 140735904059968 140675681086576 4351782 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 26968064 140735904064335 140735904064540 140735904064540 140735904067510 0
[pid=904/tid=905] ppid=876 vsize=8414124 memory=1412 CPUtime=0.74 cores=0-7
/proc/904/task/905/stat : 905 (java) S 876 876 395 0 -1 1077944384 17477 0 0 0 68 6 0 0 20 0 24 0 510089647 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674709229472 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=906] ppid=876 vsize=8414124 memory=3572 CPUtime=0 cores=0-7
/proc/904/task/906/stat : 906 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674741632144 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=907] ppid=876 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/904/task/907/stat : 907 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674555788304 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=908] ppid=876 vsize=8414124 memory=29236 CPUtime=0 cores=0-7
/proc/904/task/908/stat : 908 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674554735504 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=909] ppid=876 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/904/task/909/stat : 909 (java) S 876 876 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674553682704 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=910] ppid=876 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/904/task/910/stat : 910 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674552629904 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=911] ppid=876 vsize=8414124 memory=118332 CPUtime=0 cores=0-7
/proc/904/task/911/stat : 911 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674218297872 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=912] ppid=876 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/904/task/912/stat : 912 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674217245072 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=913] ppid=876 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/904/task/913/stat : 913 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089648 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674216192272 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=914] ppid=876 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/904/task/914/stat : 914 (java) S 876 876 395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510089650 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674166463344 139674737400450 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=915] ppid=876 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/904/task/915/stat : 915 (java) S 876 876 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510089650 8616062976 29583 33554432000 4194304 4196468 140727376394976 139673007547936 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=916] ppid=876 vsize=8414124 memory=9520 CPUtime=0 cores=0-7
/proc/904/task/916/stat : 916 (java) S 876 876 395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510089650 8616062976 29583 33554432000 4194304 4196468 140727376394976 139672873325936 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=917] ppid=876 vsize=8414124 memory=4076 CPUtime=0 cores=0-7
/proc/904/task/917/stat : 917 (java) S 876 876 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139672498821456 139674737407899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=918] ppid=876 vsize=8414124 memory=2836 CPUtime=0.07 cores=0-7
/proc/904/task/918/stat : 918 (java) S 876 876 395 0 -1 1077944384 540 0 0 0 7 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674165410160 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=919] ppid=876 vsize=8414124 memory=1540 CPUtime=0.04 cores=0-7
/proc/904/task/919/stat : 919 (java) S 876 876 395 0 -1 1077944384 248 0 0 0 4 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674164357360 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=921] ppid=876 vsize=8414124 memory=1732 CPUtime=0.05 cores=0-7
/proc/904/task/921/stat : 921 (java) S 876 876 395 0 -1 1077944384 328 0 0 0 5 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674163304560 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=922] ppid=876 vsize=8414124 memory=6128 CPUtime=0.19 cores=0-7
/proc/904/task/922/stat : 922 (java) S 876 876 395 0 -1 1077944384 769 0 0 0 19 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674162251760 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=923] ppid=876 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/904/task/923/stat : 923 (java) S 876 876 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139672000916576 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=924] ppid=876 vsize=8414124 memory=1476 CPUtime=0.1 cores=0-7
/proc/904/task/924/stat : 924 (java) S 876 876 395 0 -1 1077944384 13 0 0 0 0 10 0 0 20 0 24 0 510089653 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674161200176 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=926] ppid=876 vsize=8414124 memory=118332 CPUtime=0 cores=0-7
/proc/904/task/926/stat : 926 (java) S 876 876 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510089718 8616062976 29583 33554432000 4194304 4196468 140727376394976 139674153166400 139674737413913 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=928] ppid=876 vsize=8414124 memory=902744 CPUtime=0 cores=0-7
/proc/904/task/928/stat : 928 (java) S 876 876 395 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510089719 8616062976 29583 33554432000 4194304 4196468 140727376394976 139671329816208 139674737411229 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=929] ppid=876 vsize=8414124 memory=1688 CPUtime=0 cores=0-7
/proc/904/task/929/stat : 929 (java) S 876 876 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510089719 8616062976 29583 33554432000 4194304 4196468 140727376394976 139671598251536 139674737411229 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=930] ppid=876 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/904/task/930/stat : 930 (java) S 876 876 395 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510089721 8616062976 29583 33554432000 4194304 4196468 140727376394976 139671061388336 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
Current children cumulated CPU time: 1224.03 s
Current children cumulated vsize: 9950440 KiB
Current children cumulated memory: 1026648 KiB

[startup+163.201 s]
/proc/loadavg: 7.52 7.65 5.92 4/219 947
/proc/meminfo: memFree=23476808/32770624 swapFree=66996984/67108860
[pid=876] ppid=873 vsize=113128 memory=1476 CPUtime=6.6 cores=0-7
/proc/876/stat : 876 (scop.sh) S 873 876 395 0 -1 4202496 584 27855 0 0 0 0 622 38 20 0 1 0 510089294 115843072 369 33554432000 4194304 5098028 140724691072000 140724691068744 140662508384892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9453568 140724691079932 140724691080280 140724691080280 140724691083209 0
/proc/876/statm: 28282 369 311 221 0 87 0
[pid=904] ppid=876 vsize=8283048 memory=131760 CPUtime=1219.51 cores=0-7
/proc/904/stat : 904 (java) S 876 876 395 0 -1 1077944320 22416 966558 0 0 153 10 121575 213 20 0 22 0 510089647 8481841152 32940 33554432000 4194304 4196468 140727376394976 140727376377520 139674737389303 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
/proc/904/statm: 2070762 32940 3225 1 0 2032106 0
[pid=904/tid=905] ppid=876 vsize=8283048 memory=1476 CPUtime=1218.69 cores=0-7
/proc/904/task/905/stat : 905 (java) R 876 876 395 0 -1 4202560 17699 966558 0 0 75 6 121575 213 20 0 22 0 510089647 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674709219536 139674737411229 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=906] ppid=876 vsize=8283048 memory=-3622645143214314312 CPUtime=1217.88 cores=0-7
/proc/904/task/906/stat : 906 (java) S 876 876 395 0 -1 1077944384 2 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674741632144 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=907] ppid=876 vsize=8283048 memory=3620 CPUtime=1217.88 cores=0-7
/proc/904/task/907/stat : 907 (java) S 876 876 395 0 -1 1077944384 1 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674555788304 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=908] ppid=876 vsize=8283048 memory=4100 CPUtime=1217.88 cores=0-7
/proc/904/task/908/stat : 908 (java) S 876 876 395 0 -1 1077944384 2 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674554735504 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=909] ppid=876 vsize=8283048 memory=1804 CPUtime=1217.88 cores=0-7
/proc/904/task/909/stat : 909 (java) S 876 876 395 0 -1 1077944384 2 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674553682704 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=910] ppid=876 vsize=8283048 memory=56136 CPUtime=1217.88 cores=0-7
/proc/904/task/910/stat : 910 (java) S 876 876 395 0 -1 1077944384 1 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674552629904 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=911] ppid=876 vsize=8283048 memory=1476 CPUtime=1217.88 cores=0-7
/proc/904/task/911/stat : 911 (java) S 876 876 395 0 -1 1077944384 3 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674218297872 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=912] ppid=876 vsize=8283048 memory=118332 CPUtime=1217.88 cores=0-7
/proc/904/task/912/stat : 912 (java) S 876 876 395 0 -1 1077944384 1 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674217245072 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=913] ppid=876 vsize=8283048 memory=1476 CPUtime=1217.88 cores=0-7
/proc/904/task/913/stat : 913 (java) S 876 876 395 0 -1 1077944384 1 966558 0 0 0 0 121575 213 20 0 22 0 510089648 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674216192272 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=914] ppid=876 vsize=8283048 memory=118332 CPUtime=1217.88 cores=0-7
/proc/904/task/914/stat : 914 (java) S 876 876 395 0 -1 1077944384 9 966558 0 0 0 0 121575 213 20 0 22 0 510089650 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674166463344 139674737400450 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=915] ppid=876 vsize=8283048 memory=906840 CPUtime=1217.88 cores=0-7
/proc/904/task/915/stat : 915 (java) S 876 876 395 0 -1 1077944384 13 966558 0 0 0 0 121575 213 20 0 22 0 510089650 8481841152 32940 33554432000 4194304 4196468 140727376394976 139673007547936 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=916] ppid=876 vsize=8283048 memory=920 CPUtime=1217.88 cores=0-7
/proc/904/task/916/stat : 916 (java) S 876 876 395 0 -1 1077944384 21 966558 0 0 0 0 121575 213 20 0 22 0 510089650 8481841152 32940 33554432000 4194304 4196468 140727376394976 139672873325936 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=917] ppid=876 vsize=8283048 memory=4376 CPUtime=1217.88 cores=0-7
/proc/904/task/917/stat : 917 (java) S 876 876 395 0 -1 1077944384 1 966558 0 0 0 0 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139672498821456 139674737407899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=918] ppid=876 vsize=8283048 memory=984 CPUtime=1218.01 cores=0-7
/proc/904/task/918/stat : 918 (java) R 876 876 395 0 -1 4202560 674 966558 0 0 13 0 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674165392672 139674722311285 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=919] ppid=876 vsize=8283048 memory=2004 CPUtime=1217.97 cores=0-7
/proc/904/task/919/stat : 919 (java) R 876 876 395 0 -1 4202560 344 966558 0 0 9 0 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674164357488 139674718910499 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=921] ppid=876 vsize=8283048 memory=1428 CPUtime=1217.99 cores=0-7
/proc/904/task/921/stat : 921 (java) R 876 876 395 0 -1 4202560 741 966558 0 0 11 0 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674163304560 139674730486139 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=922] ppid=876 vsize=8283048 memory=-5059952977386882957 CPUtime=1218.14 cores=0-7
/proc/904/task/922/stat : 922 (java) S 876 876 395 0 -1 1077944384 1090 966558 0 0 26 0 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674162251760 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=923] ppid=876 vsize=8283048 memory=111628 CPUtime=1217.88 cores=0-7
/proc/904/task/923/stat : 923 (java) S 876 876 395 0 -1 1077944384 3 966558 0 0 0 0 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139672000916576 139674737399509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=924] ppid=876 vsize=8283048 memory=2836 CPUtime=1217.98 cores=0-7
/proc/904/task/924/stat : 924 (java) S 876 876 395 0 -1 1077944384 13 966558 0 0 0 10 121575 213 20 0 22 0 510089653 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674161200176 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=926] ppid=876 vsize=8283048 memory=1540 CPUtime=1217.88 cores=0-7
/proc/904/task/926/stat : 926 (java) S 876 876 395 0 -1 1077944384 25 966558 0 0 0 0 121575 213 20 0 22 0 510089718 8481841152 32940 33554432000 4194304 4196468 140727376394976 139674153165584 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
[pid=904/tid=930] ppid=876 vsize=8283048 memory=-5059952977386882957 CPUtime=1217.88 cores=0-7
/proc/904/task/930/stat : 930 (java) S 876 876 395 0 -1 1077944384 14 966558 0 0 0 0 121575 213 20 0 22 0 510089721 8481841152 32940 33554432000 4194304 4196468 140727376394976 139671061390128 139674737400450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35848192 140727376397281 140727376397446 140727376397446 140727376400335 0
Current children cumulated CPU time: 1226.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 133236 KiB

Child status: 0
Real time (s): 163.272
CPU time (s): 1226.29
CPU user time (s): 1223.64
CPU system time (s): 2.64814
CPU usage (%): 751.075
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1735932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1223.64
system time used= 2.64814
maximum resident set size= 1734876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1018596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21901
involuntary context switches= 12592


# summary of solver processes directly reported to runsolver:
#   pid: 876
#   total CPU time (s): 1226.29
#   total CPU user time (s): 1223.64
#   total CPU system time (s): 2.64814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50985 second user time and 2.41979 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-24 17:16:17
IDJOB=4405577
IDBENCH=127942
IDSOLVER=2868
FILE ID=node126/4405577-1569338215
RUNJOBID= node126-1569335941-423
PBS_JOBID= 21705059
Free space on /var/tmp= 13508 MiB

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

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

MD5SUM BENCH= 95353c685d9c4a971cd57b59ef19ccd8
RANDOM SEED=1849938884

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24497500 kB
MemAvailable:   31843148 kB
Buffers:           86220 kB
Cached:          7489924 kB
SwapCached:         7636 kB
Active:          3764364 kB
Inactive:        3821912 kB
Active(anon):       3152 kB
Inactive(anon):    57708 kB
Active(file):    3761212 kB
Inactive(file):  3764204 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66996984 kB
Dirty:             20792 kB
Writeback:             8 kB
AnonPages:        109564 kB
Mapped:            54080 kB
Shmem:             41564 kB
Slab:             277276 kB
SReclaimable:     248692 kB
SUnreclaim:        28584 kB
KernelStack:        3712 kB
PageTables:         5492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node126 at 2019-09-24 17:19:01