Trace number 4405279

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 1523.67 199.865

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-25031-serial-file.bin HOME/instance-4405279-1569338223.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Tue Sep 24 17:16:20 CEST 2019
0.65/0.58	c PID: 25034
0.65/0.58	c IP: 172.20.3.125
0.65/0.58	c HOST: node125.alineos.net
0.65/0.59	c (0,0) Parsing Begin
1.37/0.92	c (0,0) Parsing End
1.37/0.92	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 534
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) Constraint Name Generate Begin
1.37/0.93	c (0,0) Ctr:HOME/instance-4405279-1569338223.xml,Le:NoOverlap:Num:Var
1.37/0.93	c (0,0) Constraint Name Generate End
1.37/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.93	c (0,0) CSP to CSPinCNF Begin
1.54/1.01	c (0,0) translated 6 (10%) constraints
1.54/1.01	c (0,0) translated 11 (20%) constraints
1.54/1.02	c (0,0) translated 16 (30%) constraints
1.54/1.02	c (0,0) translated 22 (40%) constraints
1.54/1.02	c (0,0) translated 27 (50%) constraints
1.54/1.03	c (0,0) translated 32 (60%) constraints
1.54/1.03	c (0,0) translated 38 (70%) constraints
1.54/1.03	c (0,0) translated 43 (80%) constraints
1.54/1.03	c (0,0) translated 48 (90%) constraints
2.11/1.29	c (0,0) translated 53 (100%) constraints
2.11/1.29	c (0,0) ===========================================
2.11/1.29	c (0,0) Order
2.11/1.29	c (0,0) ===========================================
2.11/1.30	c (0,0) translated 36 (10%) constraints
2.46/1.30	c (0,0) translated 71 (20%) constraints
2.46/1.31	c (0,0) translated 106 (30%) constraints
2.46/1.31	c (0,0) translated 141 (40%) constraints
2.46/1.32	c (0,0) translated 176 (50%) constraints
2.46/1.32	c (0,0) translated 212 (60%) constraints
2.46/1.33	c (0,0) translated 247 (70%) constraints
2.46/1.33	c (0,0) translated 282 (80%) constraints
2.46/1.34	c (0,0) translated 317 (90%) constraints
2.46/1.34	c (0,0) translated 352 (100%) constraints
2.46/1.34	c (0,0) CSP to CSPinCNF End
2.46/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 524
2.46/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.35	c (0,0) CSPinCNF Propagation Begin
2.46/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.46/1.38	c (0,0) CSPinCNF Propagation End
2.46/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 524
2.46/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.38	c (0,0) Simplify CSPinCNF Begin
2.84/1.47	c (0,0) Simplify CSPinCNF End
2.84/1.47	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.84/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.47	c (0,0) Calculate Precise Domain Begin
2.84/1.48	c (0,0) 0 values are removed by re-calculation
2.84/1.48	c (0,0) Calculate Precise Domain End
2.84/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.84/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.66/2.00	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 74517 SAT clauses)
5.22/2.20	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 125424 SAT clauses)
5.32/2.38	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 172822 SAT clauses)
5.55/2.57	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 222135 SAT clauses)
5.76/2.74	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 266424 SAT clauses)
5.97/2.90	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 309648 SAT clauses)
6.09/3.06	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 349910 SAT clauses)
6.28/3.20	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 388929 SAT clauses)
6.38/3.33	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 421661 SAT clauses)
6.49/3.42	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 444328 SAT clauses)
6.49/3.42	c (2,2) CSPinCNF to SatSolver End
6.49/3.42	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.49/3.42	c (2,2) 23206 bool, 444490 clause
6.49/3.42	c (2,2) Export Begin
6.67/3.50	c (2,2) Export to HOME/scop-25031-serial-file.bin
6.67/3.50	c (2,2) Export End
6.68/3.90	c (2,2) Export File Size: 0.01 MB
6.68/3.90	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.68/3.90	c END-Prog: Tue Sep 24 17:16:23 CEST 2019
0.00/4.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25031-serial-file.bin
6.70/4.48	c (0,0) Read Serial File Begin
6.70/4.48	c (0,0) HOME/scop-25031-serial-file.bin
6.70/4.67	c (0,0) Read Serial File End
6.70/4.68	
6.70/4.68	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.70/4.68	(Solving Process)
6.70/4.68	
6.70/4.71	c BEGIN-Prog: Tue Sep 24 17:16:24 CEST 2019
6.70/4.71	c PID: 25054
6.70/4.71	c IP: 172.20.3.125
6.70/4.71	c HOST: node125.alineos.net
6.70/4.71	c (0,0) SatSolver.solve Begin
6.70/4.71	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405279-1569338223.xml-scop-25034.cnf
6.70/4.74	c (0,0) c
6.70/4.74	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)
6.70/4.74	c (0,0) c
6.70/4.74	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.70/4.74	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.70/4.74	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.70/4.74	c (0,0) c |                                                                                                       |
6.70/4.89	c (0,0) c |  Number of variables:         23206                                                                   |
6.70/4.89	c (0,0) c |  Number of clauses:          444490                                                                   |
6.70/4.89	c (0,0) c |  Parse time:                   0.14 s                                                                 |
6.70/4.89	c (0,0) c |                                                                                                       |
8.58/5.55	c (1,0) c |  Simplification time:          0.66 s                                                                 |
8.58/5.55	c (1,0) c |                                                                                                       |
8.58/5.56	c (1,0) c |  Generating clones                                                                                    |
8.68/5.69	c (1,0) c |  all clones generated. Memory =   311.25Mb.                                                           |
8.68/5.69	c (1,0) c ========================================================================================================|
8.68/5.69	c (1,0) c
8.68/5.69	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.68/5.69	c (1,0) c
8.68/5.69	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.68/5.69	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.68/5.69	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.68/5.69	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.68/5.69	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.68/5.69	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.68/5.69	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.68/5.69	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.68/5.69	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.68/5.69	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.68/5.69	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.68/5.69	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.68/5.69	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.68/5.69	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.68/5.69	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.68/5.69	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.68/5.69	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.68/5.69	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.68/5.69	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
239.91/34.70	c (30,0) c
239.91/34.70	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.91/34.70	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
239.91/34.70	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
239.91/34.70	c (30,0) c |  0 |    188 |     110168 |      52897 |    47699 |    14355 |     9086 |    56790 |     6585 |      177 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  1 |    210 |     118841 |      55908 |    53426 |    17372 |     9324 |    57645 |     6830 |      185 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  2 |    233 |     114471 |      52699 |    51545 |    14160 |     8813 |    56766 |     6599 |      174 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  3 |    212 |     115702 |      55375 |    50323 |    16842 |     8964 |    59384 |     6806 |      186 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  4 |    225 |     121152 |      57337 |    51107 |    18795 |     9568 |    60847 |     7039 |      192 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  5 |    246 |     120312 |      57875 |    47708 |    19332 |     9635 |    61316 |     7148 |      194 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  6 |    191 |     116501 |      56605 |    49241 |    18061 |     9545 |    56381 |     6679 |      191 |  20 |  0.116 |
239.91/34.70	c (30,0) c |  7 |    251 |     122220 |      56865 |    52966 |    18322 |     9079 |    59697 |     7097 |      189 |  20 |  0.116 |
239.91/34.70	c (30,0) c 
239.91/34.70	c (30,0) c synthesis      445561 conflicts   354719270 propagations     1925 conflicts/sec  1532893 propagations/sec
239.91/34.70	c (30,0) c real: 29.9708 s, cpu: 231.405 s, memory: 945.50 Mb
467.28/63.70	c (59,0) c
467.28/63.70	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
467.28/63.70	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
467.28/63.70	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
467.28/63.70	c (59,0) c |  0 |    340 |     174750 |      90324 |    56992 |    19143 |    13812 |    90852 |    11594 |      343 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  1 |    400 |     182405 |      91732 |    62269 |    20552 |    13658 |    92273 |    11907 |      350 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  2 |    394 |     177803 |      87767 |    61070 |    34197 |    13040 |    89447 |    11514 |      332 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  3 |    332 |     180279 |      92194 |    61496 |    21019 |    13375 |    92711 |    11761 |      352 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  4 |    348 |     181410 |      92532 |    60770 |    21357 |    14018 |    92083 |    11897 |      352 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  5 |    440 |     181852 |      92398 |    56237 |    21219 |    13704 |    92044 |    12024 |      352 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  6 |    324 |     177738 |      91075 |    59510 |    19899 |    13647 |    92326 |    11499 |      350 |  20 |  0.116 |
467.28/63.70	c (59,0) c |  7 |    403 |     186373 |      92877 |    63790 |    21701 |    13613 |    92722 |    12071 |      352 |  20 |  0.116 |
467.28/63.70	c (59,0) c 
467.28/63.70	c (59,0) c synthesis      730899 conflicts   612486648 propagations     1595 conflicts/sec  1336779 propagations/sec
467.28/63.70	c (59,0) c real: 58.9708 s, cpu: 458.181 s, memory: 1334.22 Mb
695.06/92.70	c (88,0) c
695.06/92.70	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
695.06/92.70	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
695.06/92.70	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
695.06/92.70	c (88,0) c |  0 |    450 |     232029 |     124783 |    65241 |    33395 |    17436 |   116095 |    15379 |      512 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  1 |    534 |     237425 |     124022 |    68424 |    32639 |    17063 |   116523 |    15861 |      515 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  2 |    562 |     232560 |     119634 |    67027 |    28245 |    16455 |   112948 |    15595 |      495 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  3 |    480 |     233963 |     123340 |    68177 |    31958 |    16579 |   116406 |    15700 |      509 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  4 |    464 |     237191 |     124713 |    67838 |    33328 |    17639 |   113690 |    15819 |      513 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  5 |    556 |     235159 |     123384 |    64167 |    31997 |    17313 |   115351 |    15484 |      508 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  6 |    433 |     230937 |     121260 |    68863 |    29874 |    16593 |   115007 |    15043 |      501 |  20 |  0.116 |
695.06/92.70	c (88,0) c |  7 |    534 |     237559 |     123717 |    69088 |    32336 |    16756 |   115975 |    15869 |      510 |  20 |  0.116 |
695.06/92.70	c (88,0) c 
695.06/92.70	c (88,0) c synthesis      984853 conflicts   849448537 propagations     1434 conflicts/sec  1237216 propagations/sec
695.06/92.70	c (88,0) c real: 87.9708 s, cpu: 686.581 s, memory: 1206.22 Mb
926.19/121.70	c (117,0) c
926.19/121.70	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
926.19/121.70	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
926.19/121.70	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
926.19/121.70	c (117,0) c |  0 |    573 |     280026 |     154293 |    70475 |    40107 |    20319 |   138465 |    18765 |      674 |  20 |  0.116 |
926.19/121.70	c (117,0) c |  1 |    629 |     278647 |     149504 |    71842 |    35317 |    19967 |   135616 |    18733 |      654 |  20 |  0.116 |
926.19/121.70	c (117,0) c |  2 |    705 |     283404 |     149174 |    72528 |    34983 |    19864 |   136120 |    18993 |      655 |  20 |  0.116 |
926.19/121.70	c (117,0) c |  3 |    586 |     280628 |     151493 |    72959 |    37302 |    19572 |   137170 |    18975 |      665 |  20 |  0.116 |
926.19/121.70	c (117,0) c |  4 |    556 |     281447 |     152231 |    72118 |    38045 |    20286 |   136621 |    19053 |      661 |  20 |  0.116 |
926.19/121.70	c (117,0) c |  5 |    643 |     286098 |     153991 |    69993 |    38092 |    20857 |   136807 |    18953 |      674 |  20 |  0.297 |
926.19/121.70	c (117,0) c |  6 |    582 |     285562 |     152934 |    74857 |    38744 |    19967 |   139004 |    18848 |      674 |  20 |  0.116 |
926.19/121.70	c (117,0) c |  7 |    655 |     287981 |     153352 |    74019 |    39162 |    19808 |   138922 |    19232 |      674 |  20 |  0.116 |
926.19/121.70	c (117,0) c 
926.19/121.70	c (117,0) c synthesis     1216972 conflicts  1069436630 propagations     1328 conflicts/sec  1167185 propagations/sec
926.19/121.70	c (117,0) c real: 116.971 s, cpu: 916.253 s, memory: 1334.22 Mb
1147.79/150.71	c (146,0) c
1147.79/150.71	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1147.79/150.71	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1147.79/150.71	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1147.79/150.71	c (146,0) c |  0 |    671 |     320077 |     178202 |    74513 |    38331 |    22771 |   154383 |    21471 |      813 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  1 |    743 |     325899 |     178878 |    76326 |    39029 |    23141 |   156828 |    21807 |      828 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  2 |    848 |     328043 |     175388 |    76370 |    35595 |    22260 |   155433 |    21922 |      810 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  3 |    636 |     320061 |     176348 |    77310 |    36487 |    21835 |   155151 |    21441 |      808 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  4 |    686 |     329408 |     181156 |    75857 |    40861 |    23331 |   156274 |    22224 |      828 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  5 |    745 |     331933 |     181442 |    75051 |    40714 |    23454 |   156106 |    21846 |      828 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  6 |    714 |     328270 |     179157 |    77677 |    39353 |    22386 |   157589 |    21769 |      828 |  20 |  0.358 |
1147.79/150.71	c (146,0) c |  7 |    754 |     331485 |     179883 |    78618 |    39746 |    22429 |   157236 |    21906 |      828 |  20 |  0.358 |
1147.79/150.71	c (146,0) c 
1147.79/150.71	c (146,0) c synthesis     1430454 conflicts  1273147717 propagations     1258 conflicts/sec  1119391 propagations/sec
1147.79/150.71	c (146,0) c real: 145.971 s, cpu: 1137.36 s, memory: 1334.22 Mb
1370.66/179.70	c (175,0) c
1370.66/179.70	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1370.66/179.70	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1370.66/179.70	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1370.66/179.70	c (175,0) c |  0 |    738 |     360675 |     204153 |    77727 |    36429 |    25334 |   169520 |    23995 |      965 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  1 |    857 |     367658 |     204303 |    79169 |    36586 |    25270 |   174722 |    24458 |      985 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  2 |    916 |     370589 |     202198 |    79612 |    34504 |    24721 |   173560 |    24635 |      971 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  3 |    713 |     363052 |     204176 |    80639 |    36453 |    24423 |   173174 |    24043 |      970 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  4 |    776 |     370663 |     207334 |    78682 |    39406 |    26150 |   173799 |    24953 |      985 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  5 |    822 |     374174 |     208398 |    78370 |    40242 |    25925 |   173131 |    24610 |      985 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  6 |    810 |     369925 |     204902 |    80994 |    37206 |    24850 |   174882 |    24481 |      983 |  20 |  0.358 |
1370.66/179.70	c (175,0) c |  7 |    852 |     374939 |     206567 |    81809 |    38705 |    24744 |   174542 |    24694 |      985 |  20 |  0.358 |
1370.66/179.70	c (175,0) c 
1370.66/179.70	c (175,0) c synthesis     1642031 conflicts  1475705121 propagations     1208 conflicts/sec  1085266 propagations/sec
1370.66/179.70	c (175,0) c real: 174.971 s, cpu: 1359.76 s, memory: 1334.22 Mb
1523.04/199.66	c (195,0) c
1523.04/199.66	c (195,0) c real time : 194.933 s
1523.04/199.66	c (195,0) c cpu time  : 1512.09 s
1523.04/199.66	c (195,0) c
1523.04/199.66	c (195,0) c
1523.04/199.66	c (195,0) c
1523.04/199.66	c (195,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1523.04/199.66	c (195,0) c
1523.04/199.66	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.66	c (195,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1523.04/199.66	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.66	c (195,0) c | Conflicts     |         1781753 |     222707 |     221504 |     219304 |     222843 |     224887 |     224768 |     222464 |     223276 |
1523.04/199.66	c (195,0) c | Decisions     |         3175266 |     391018 |     395600 |     396958 |     394393 |     397463 |     399707 |     398117 |     402010 |
1523.04/199.66	c (195,0) c | Propagations  |      1611107252 |  199157089 |  201386208 |  199783937 |  202403108 |  201980949 |  203042101 |  201867749 |  201486111 |
1523.04/199.66	c (195,0) c | ReduceDBs     |              96 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
1523.04/199.66	c (195,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
1523.04/199.66	c (195,0) c | Restarts      |            6947 |        815 |        919 |        957 |        760 |        829 |        877 |        861 |        929 |
1523.04/199.67	c (195,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1523.04/199.67	c (195,0) c | PropBinClauses|      2269000082 |  281042233 |  281984434 |  282172405 |  284843938 |  284816789 |  284507635 |  285344158 |  284288490 |
1523.04/199.67	c (195,0) c | PropPreBlocker|     26278194851 | 3259688499 | 3291075539 | 3253605136 | 3270173443 | 3302657335 | 3298296421 | 3301703939 | 3300994539 |
1523.04/199.67	c (195,0) c | PropNotBlocker|     10352515235 | 1279383547 | 1301971708 | 1295658334 | 1278345025 | 1291215597 | 1301705742 | 1299849098 | 1304386184 |
1523.04/199.67	c (195,0) c | LitFullScans  |     52283610506 | 6486599982 | 6564775399 | 6486705965 | 6490844322 | 6561214663 | 6564510589 | 6564468930 | 6564490656 |
1523.04/199.67	c (195,0) c | LitScanFracts |         4449073 |     559952 |     738871 |     703632 |     476907 |     526101 |     508805 |     456971 |     477834 |
1523.04/199.67	c (195,0) c | DecisionLevel0|            6956 |        816 |        920 |        958 |        761 |        831 |        879 |        861 |        930 |
1523.04/199.67	c (195,0) c | Periods       |            8712 |       1081 |       1094 |       1081 |       1081 |       1093 |       1094 |       1094 |       1094 |
1523.04/199.67	c (195,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1523.04/199.67	c (195,0) c | Avg_Trail     |                 |       6691 |       6698 |       6681 |       6770 |       6695 |       6731 |       6759 |       6705 |
1523.04/199.67	c (195,0) c | Avg_DL        |                 |         22 |         22 |         23 |         23 |         22 |         21 |         23 |         23 |
1523.04/199.67	c (195,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1523.04/199.67	c (195,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1523.04/199.67	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.67	c (195,0) c | Exported      |          213829 |      26926 |      26794 |      26136 |      26181 |      27728 |      27401 |      26766 |      25897 |
1523.04/199.67	c (195,0) c | Imported      |         1477070 |     183800 |     185056 |     183375 |     184406 |     184369 |     184508 |     185505 |     186051 |
1523.04/199.67	c (195,0) c | Good          |             343 |         40 |         45 |         40 |         47 |         46 |         37 |         42 |         46 |
1523.04/199.67	c (195,0) c | Purge         |         1476727 |     183760 |     185011 |     183335 |     184359 |     184323 |     184471 |     185463 |     186005 |
1523.04/199.67	c (195,0) c | Promoted      |          210156 |      25964 |      26243 |      26233 |      25908 |      26624 |      26285 |      26189 |      26710 |
1523.04/199.67	c (195,0) c | Remove_Imp    |          884720 |     109650 |     111159 |     112325 |     111023 |     109059 |     109331 |     111895 |     110278 |
1523.04/199.67	c (195,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1523.04/199.67	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.67	c (195,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          2 |          2 |          0 |          1 |
1523.04/199.67	c (195,0) c | Binaries      |                 |          9 |          4 |          9 |          2 |          3 |         12 |          7 |          3 |
1523.04/199.67	c (195,0) c | Glues         |                 |        217 |        219 |        224 |        197 |        196 |        235 |        188 |        216 |
1523.04/199.67	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.67	c (195,0) c | Orig_Seen     |            18 % |      79700 |      81362 |      82321 |      85055 |      80468 |      81196 |      83800 |      83346 |
1523.04/199.67	c (195,0) c | Diff Orig seen|                 | -     5355 | -     3693 | -     2734 |      X     | -     4587 | -     3859 | -     1255 | -     1709 |
1523.04/199.67	c (195,0) c | Hamming       |            26 % |       5865 |       6781 |       3768 |      X     |       6108 |       8405 |       5956 |       6839 |
1523.04/199.67	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.67	c (195,0) c | RunningTime   |                 |  192.6  99%|  190.5  99%|  193.6 100%|  192.2  99%|  189.3  98%|  187.0  97%|  185.9  96%|  187.9  97%|
1523.04/199.67	c (195,0) c | WaitingTime   |                 |    1.3   1%|    2.6   1%|    0.0   0%|    0.8   0%|    3.8   2%|    6.1   3%|    7.2   4%|    5.3   3%|
1523.04/199.67	c (195,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%|
1523.04/199.67	c (195,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%|
1523.04/199.67	c (195,0) c | SolvingTime   |                 |  194.0     |  193.3     |  193.7     |  193.1     |  193.2     |  193.3     |  193.3     |  193.3     |
1523.04/199.67	c (195,0) c | PropagationTim|                 |  167.6  86%|  164.7  85%|  166.2  86%|  164.7  85%|  166.1  86%|  166.5  86%|  166.3  86%|  166.6  86%|
1523.04/199.67	c (195,0) c | AnalysisTime  |                 |   22.3  11%|   24.5  13%|   23.5  12%|   24.3  13%|   23.0  12%|   22.8  12%|   22.8  12%|   22.5  12%|
1523.04/199.67	c (195,0) c | ReductionTime |                 |    0.6   0%|    0.6   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.6   0%|    0.6   0%|
1523.04/199.67	c (195,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1523.04/199.67	c (195,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%|
1523.04/199.67	c (195,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%|
1523.04/199.67	c (195,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.67	c (195,0) c
1523.04/199.67	c (195,0) c
1523.04/199.67	c (195,0) c Threads : 8
1523.04/199.67	c (195,0) c Winner : 3
1523.04/199.67	c (195,0) c Conflicts_0 : 222707
1523.04/199.67	c (195,0) c Conflicts_1 : 221504
1523.04/199.67	c (195,0) c Conflicts_2 : 219304
1523.04/199.67	c (195,0) c Conflicts_3 : 222843
1523.04/199.67	c (195,0) c Conflicts_4 : 224887
1523.04/199.67	c (195,0) c Conflicts_5 : 224768
1523.04/199.67	c (195,0) c Conflicts_6 : 222464
1523.04/199.67	c (195,0) c Conflicts_7 : 223276
1523.04/199.67	c (195,0) c Conflicts_total : 1781753
1523.04/199.67	c (195,0) c Conflicts_winner : 222843
1523.04/199.67	c (195,0) c Decisions_0 : 391018
1523.04/199.67	c (195,0) c Decisions_1 : 395600
1523.04/199.67	c (195,0) c Decisions_2 : 396958
1523.04/199.67	c (195,0) c Decisions_3 : 394393
1523.04/199.67	c (195,0) c Decisions_4 : 397463
1523.04/199.67	c (195,0) c Decisions_5 : 399707
1523.04/199.67	c (195,0) c Decisions_6 : 398117
1523.04/199.67	c (195,0) c Decisions_7 : 402010
1523.04/199.67	c (195,0) c Decisions_total : 3175266
1523.04/199.67	c (195,0) c Decisions_winner : 394393
1523.04/199.67	c (195,0) c Propagations_0 : 199157089
1523.04/199.67	c (195,0) c Propagations_1 : 201386208
1523.04/199.67	c (195,0) c Propagations_2 : 199783937
1523.04/199.67	c (195,0) c Propagations_3 : 202403108
1523.04/199.67	c (195,0) c Propagations_4 : 201980949
1523.04/199.67	c (195,0) c Propagations_5 : 203042101
1523.04/199.67	c (195,0) c Propagations_6 : 201867749
1523.04/199.67	c (195,0) c Propagations_7 : 201486111
1523.04/199.67	c (195,0) c Propagations_total : 1611107252
1523.04/199.67	c (195,0) c Propagations_winner : 202403108
1523.04/199.67	c (195,0) c ReduceDBs_0 : 12
1523.04/199.67	c (195,0) c ReduceDBs_1 : 12
1523.04/199.67	c (195,0) c ReduceDBs_2 : 12
1523.04/199.67	c (195,0) c ReduceDBs_3 : 12
1523.04/199.67	c (195,0) c ReduceDBs_4 : 12
1523.04/199.67	c (195,0) c ReduceDBs_5 : 12
1523.04/199.67	c (195,0) c ReduceDBs_6 : 12
1523.04/199.67	c (195,0) c ReduceDBs_7 : 12
1523.04/199.67	c (195,0) c ReduceDBs_total : 96
1523.04/199.67	c (195,0) c ReduceDBs_winner : 12
1523.04/199.67	c (195,0) c SimpDBs_0 : 4
1523.04/199.67	c (195,0) c SimpDBs_1 : 4
1523.04/199.67	c (195,0) c SimpDBs_2 : 4
1523.04/199.67	c (195,0) c SimpDBs_3 : 4
1523.04/199.67	c (195,0) c SimpDBs_4 : 4
1523.04/199.67	c (195,0) c SimpDBs_5 : 4
1523.04/199.67	c (195,0) c SimpDBs_6 : 4
1523.04/199.67	c (195,0) c SimpDBs_7 : 4
1523.04/199.67	c (195,0) c SimpDBs_total : 32
1523.04/199.67	c (195,0) c SimpDBs_winner : 4
1523.04/199.67	c (195,0) c Restarts_0 : 815
1523.04/199.67	c (195,0) c Restarts_1 : 919
1523.04/199.67	c (195,0) c Restarts_2 : 957
1523.04/199.67	c (195,0) c Restarts_3 : 760
1523.04/199.67	c (195,0) c Restarts_4 : 829
1523.04/199.67	c (195,0) c Restarts_5 : 877
1523.04/199.67	c (195,0) c Restarts_6 : 861
1523.04/199.67	c (195,0) c Restarts_7 : 929
1523.04/199.67	c (195,0) c Restarts_total : 6947
1523.04/199.67	c (195,0) c Restarts_winner : 760
1523.04/199.67	c (195,0) c ForcedImports_0 : 0
1523.04/199.67	c (195,0) c ForcedImports_1 : 0
1523.04/199.67	c (195,0) c ForcedImports_2 : 0
1523.04/199.67	c (195,0) c ForcedImports_3 : 0
1523.04/199.67	c (195,0) c ForcedImports_4 : 0
1523.04/199.67	c (195,0) c ForcedImports_5 : 0
1523.04/199.67	c (195,0) c ForcedImports_6 : 0
1523.04/199.67	c (195,0) c ForcedImports_7 : 0
1523.04/199.67	c (195,0) c ForcedImports_total : 0
1523.04/199.67	c (195,0) c ForcedImports_winner : 0
1523.04/199.67	c (195,0) c PropsBinClauses_0 : 281042233
1523.04/199.67	c (195,0) c PropsBinClauses_1 : 281984434
1523.04/199.67	c (195,0) c PropsBinClauses_2 : 282172405
1523.04/199.67	c (195,0) c PropsBinClauses_3 : 284843938
1523.04/199.67	c (195,0) c PropsBinClauses_4 : 284816789
1523.04/199.67	c (195,0) c PropsBinClauses_5 : 284507635
1523.04/199.67	c (195,0) c PropsBinClauses_6 : 285344158
1523.04/199.67	c (195,0) c PropsBinClauses_7 : 284288490
1523.04/199.67	c (195,0) c PropsBinClauses_total : 2269000082
1523.04/199.67	c (195,0) c PropsBinClauses_winner : 284843938
1523.04/199.67	c (195,0) c PropsPreBlocker_0 : 3259688499
1523.04/199.67	c (195,0) c PropsPreBlocker_1 : 3291075539
1523.04/199.67	c (195,0) c PropsPreBlocker_2 : 3253605136
1523.04/199.67	c (195,0) c PropsPreBlocker_3 : 3270173443
1523.04/199.67	c (195,0) c PropsPreBlocker_4 : 3302657335
1523.04/199.67	c (195,0) c PropsPreBlocker_5 : 3298296421
1523.04/199.67	c (195,0) c PropsPreBlocker_6 : 3301703939
1523.04/199.67	c (195,0) c PropsPreBlocker_7 : 3300994539
1523.04/199.67	c (195,0) c PropsPreBlocker_total : 26278194851
1523.04/199.67	c (195,0) c PropsPreBlocker_winner : 3270173443
1523.04/199.67	c (195,0) c PropsNotBlocker_0 : 1279383547
1523.04/199.67	c (195,0) c PropsNotBlocker_1 : 1301971708
1523.04/199.67	c (195,0) c PropsNotBlocker_2 : 1295658334
1523.04/199.67	c (195,0) c PropsNotBlocker_3 : 1278345025
1523.04/199.67	c (195,0) c PropsNotBlocker_4 : 1291215597
1523.04/199.67	c (195,0) c PropsNotBlocker_5 : 1301705742
1523.04/199.67	c (195,0) c PropsNotBlocker_6 : 1299849098
1523.04/199.67	c (195,0) c PropsNotBlocker_7 : 1304386184
1523.04/199.67	c (195,0) c PropsNotBlocker_total : 10352515235
1523.04/199.67	c (195,0) c PropsNotBlocker_winner : 1278345025
1523.04/199.67	c (195,0) c PropsLitFullScans_0 : 6486599982
1523.04/199.67	c (195,0) c PropsLitFullScans_1 : 6564775399
1523.04/199.67	c (195,0) c PropsLitFullScans_2 : 6486705965
1523.04/199.67	c (195,0) c PropsLitFullScans_3 : 6490844322
1523.04/199.67	c (195,0) c PropsLitFullScans_4 : 6561214663
1523.04/199.67	c (195,0) c PropsLitFullScans_5 : 6564510589
1523.04/199.67	c (195,0) c PropsLitFullScans_6 : 6564468930
1523.04/199.67	c (195,0) c PropsLitFullScans_7 : 6564490656
1523.04/199.67	c (195,0) c PropsLitFullScans_total : 52283610506
1523.04/199.67	c (195,0) c PropsLitFullScans_winner : 6490844322
1523.04/199.67	c (195,0) c LitScanFractions_0 : 559952
1523.04/199.67	c (195,0) c LitScanFractions_1 : 738871
1523.04/199.67	c (195,0) c LitScanFractions_2 : 703632
1523.04/199.67	c (195,0) c LitScanFractions_3 : 476907
1523.04/199.67	c (195,0) c LitScanFractions_4 : 526101
1523.04/199.67	c (195,0) c LitScanFractions_5 : 508805
1523.04/199.67	c (195,0) c LitScanFractions_6 : 456971
1523.04/199.67	c (195,0) c LitScanFractions_7 : 477834
1523.04/199.67	c (195,0) c LitScanFractions_total : 4449073
1523.04/199.67	c (195,0) c LitScanFractions_winner : 476907
1523.04/199.67	c (195,0) c DecisionLevel0_0 : 816
1523.04/199.67	c (195,0) c DecisionLevel0_1 : 920
1523.04/199.67	c (195,0) c DecisionLevel0_2 : 958
1523.04/199.67	c (195,0) c DecisionLevel0_3 : 761
1523.04/199.67	c (195,0) c DecisionLevel0_4 : 831
1523.04/199.67	c (195,0) c DecisionLevel0_5 : 879
1523.04/199.67	c (195,0) c DecisionLevel0_6 : 861
1523.04/199.67	c (195,0) c DecisionLevel0_7 : 930
1523.04/199.67	c (195,0) c DecisionLevel0_total : 6956
1523.04/199.67	c (195,0) c DecisionLevel0_winner : 761
1523.04/199.67	c (195,0) c Periods_0 : 1081
1523.04/199.67	c (195,0) c Periods_1 : 1094
1523.04/199.67	c (195,0) c Periods_2 : 1081
1523.04/199.67	c (195,0) c Periods_3 : 1081
1523.04/199.67	c (195,0) c Periods_4 : 1093
1523.04/199.67	c (195,0) c Periods_5 : 1094
1523.04/199.67	c (195,0) c Periods_6 : 1094
1523.04/199.67	c (195,0) c Periods_7 : 1094
1523.04/199.67	c (195,0) c Periods_total : 8712
1523.04/199.67	c (195,0) c Periods_winner : 1081
1523.04/199.67	c (195,0) c Margin_0 : 20
1523.04/199.67	c (195,0) c Margin_1 : 20
1523.04/199.67	c (195,0) c Margin_2 : 20
1523.04/199.67	c (195,0) c Margin_3 : 20
1523.04/199.67	c (195,0) c Margin_4 : 20
1523.04/199.67	c (195,0) c Margin_5 : 20
1523.04/199.67	c (195,0) c Margin_6 : 20
1523.04/199.67	c (195,0) c Margin_7 : 20
1523.04/199.67	c (195,0) c Margin_total : 160
1523.04/199.67	c (195,0) c Margin_winner : 20
1523.04/199.67	c (195,0) c Exported_0 : 26926
1523.04/199.67	c (195,0) c Exported_1 : 26794
1523.04/199.67	c (195,0) c Exported_2 : 26136
1523.04/199.67	c (195,0) c Exported_3 : 26181
1523.04/199.67	c (195,0) c Exported_4 : 27728
1523.04/199.67	c (195,0) c Exported_5 : 27401
1523.04/199.67	c (195,0) c Exported_6 : 26766
1523.04/199.67	c (195,0) c Exported_7 : 25897
1523.04/199.67	c (195,0) c Exported_total : 213829
1523.04/199.67	c (195,0) c Exported_winner : 26181
1523.04/199.67	c (195,0) c Imported_0 : 183800
1523.04/199.67	c (195,0) c Imported_1 : 185056
1523.04/199.67	c (195,0) c Imported_2 : 183375
1523.04/199.67	c (195,0) c Imported_3 : 184406
1523.04/199.67	c (195,0) c Imported_4 : 184369
1523.04/199.67	c (195,0) c Imported_5 : 184508
1523.04/199.67	c (195,0) c Imported_6 : 185505
1523.04/199.67	c (195,0) c Imported_7 : 186051
1523.04/199.67	c (195,0) c Imported_total : 1477070
1523.04/199.67	c (195,0) c Imported_winner : 184406
1523.04/199.67	c (195,0) c Good_0 : 40
1523.04/199.67	c (195,0) c Good_1 : 45
1523.04/199.67	c (195,0) c Good_2 : 40
1523.04/199.67	c (195,0) c Good_3 : 47
1523.04/199.67	c (195,0) c Good_4 : 46
1523.04/199.67	c (195,0) c Good_5 : 37
1523.04/199.67	c (195,0) c Good_6 : 42
1523.04/199.67	c (195,0) c Good_7 : 46
1523.04/199.67	c (195,0) c Good_total : 343
1523.04/199.67	c (195,0) c Good_winner : 47
1523.04/199.67	c (195,0) c Purge_0 : 183760
1523.04/199.67	c (195,0) c Purge_1 : 185011
1523.04/199.67	c (195,0) c Purge_2 : 183335
1523.04/199.67	c (195,0) c Purge_3 : 184359
1523.04/199.67	c (195,0) c Purge_4 : 184323
1523.04/199.67	c (195,0) c Purge_5 : 184471
1523.04/199.67	c (195,0) c Purge_6 : 185463
1523.04/199.67	c (195,0) c Purge_7 : 186005
1523.04/199.67	c (195,0) c Purge_total : 1476727
1523.04/199.67	c (195,0) c Purge_winner : 184359
1523.04/199.67	c (195,0) c Promoted_0 : 25964
1523.04/199.67	c (195,0) c Promoted_1 : 26243
1523.04/199.67	c (195,0) c Promoted_2 : 26233
1523.04/199.67	c (195,0) c Promoted_3 : 25908
1523.04/199.67	c (195,0) c Promoted_4 : 26624
1523.04/199.67	c (195,0) c Promoted_5 : 26285
1523.04/199.67	c (195,0) c Promoted_6 : 26189
1523.04/199.67	c (195,0) c Promoted_7 : 26710
1523.04/199.67	c (195,0) c Promoted_total : 210156
1523.04/199.67	c (195,0) c Promoted_winner : 25908
1523.04/199.67	c (195,0) c Remove_Imp_0 : 109650
1523.04/199.67	c (195,0) c Remove_Imp_1 : 111159
1523.04/199.67	c (195,0) c Remove_Imp_2 : 112325
1523.04/199.67	c (195,0) c Remove_Imp_3 : 111023
1523.04/199.67	c (195,0) c Remove_Imp_4 : 109059
1523.04/199.67	c (195,0) c Remove_Imp_5 : 109331
1523.04/199.67	c (195,0) c Remove_Imp_6 : 111895
1523.04/199.67	c (195,0) c Remove_Imp_7 : 110278
1523.04/199.67	c (195,0) c Remove_Imp_total : 884720
1523.04/199.67	c (195,0) c Remove_Imp_winner : 111023
1523.04/199.67	c (195,0) c Blocked_Reuse_0 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_1 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_2 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_3 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_4 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_5 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_6 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_7 : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_total : 0
1523.04/199.67	c (195,0) c Blocked_Reuse_winner : 0
1523.04/199.67	c (195,0) c Unaries_0 : 1
1523.04/199.67	c (195,0) c Unaries_1 : 1
1523.04/199.67	c (195,0) c Unaries_2 : 1
1523.04/199.67	c (195,0) c Unaries_3 : 1
1523.04/199.67	c (195,0) c Unaries_4 : 2
1523.04/199.67	c (195,0) c Unaries_5 : 2
1523.04/199.67	c (195,0) c Unaries_6 : 0
1523.04/199.67	c (195,0) c Unaries_7 : 1
1523.04/199.67	c (195,0) c Unaries_total : 9
1523.04/199.67	c (195,0) c Unaries_winner : 1
1523.04/199.67	c (195,0) c Binaries_0 : 9
1523.04/199.67	c (195,0) c Binaries_1 : 4
1523.04/199.67	c (195,0) c Binaries_2 : 9
1523.04/199.67	c (195,0) c Binaries_3 : 2
1523.04/199.67	c (195,0) c Binaries_4 : 3
1523.04/199.67	c (195,0) c Binaries_5 : 12
1523.04/199.67	c (195,0) c Binaries_6 : 7
1523.04/199.67	c (195,0) c Binaries_7 : 3
1523.04/199.67	c (195,0) c Binaries_total : 49
1523.04/199.67	c (195,0) c Binaries_winner : 2
1523.04/199.67	c (195,0) c Glues_0 : 217
1523.04/199.67	c (195,0) c Glues_1 : 219
1523.04/199.67	c (195,0) c Glues_2 : 224
1523.04/199.67	c (195,0) c Glues_3 : 197
1523.04/199.67	c (195,0) c Glues_4 : 196
1523.04/199.67	c (195,0) c Glues_5 : 235
1523.04/199.67	c (195,0) c Glues_6 : 188
1523.04/199.67	c (195,0) c Glues_7 : 216
1523.04/199.67	c (195,0) c Glues_total : 1692
1523.04/199.67	c (195,0) c Glues_winner : 197
1523.04/199.67	c (195,0) c RunningTime_0 : 192.556827
1523.04/199.67	c (195,0) c RunningTime_1 : 190.508591
1523.04/199.67	c (195,0) c RunningTime_2 : 193.570606
1523.04/199.67	c (195,0) c RunningTime_3 : 192.153412
1523.04/199.67	c (195,0) c RunningTime_4 : 189.255589
1523.04/199.67	c (195,0) c RunningTime_5 : 187.021370
1523.04/199.67	c (195,0) c RunningTime_6 : 185.949809
1523.04/199.67	c (195,0) c RunningTime_7 : 187.861573
1523.04/199.67	c (195,0) c RunningTime_total : 1518.877777
1523.04/199.67	c (195,0) c RunningTime_winner : 192.153412
1523.04/199.67	c (195,0) c WaitingTime_0 : 1.258475
1523.04/199.68	c (195,0) c WaitingTime_1 : 2.619308
1523.04/199.68	c (195,0) c WaitingTime_2 : 0.001481
1523.04/199.68	c (195,0) c WaitingTime_3 : 0.843079
1523.04/199.68	c (195,0) c WaitingTime_4 : 3.768376
1523.04/199.68	c (195,0) c WaitingTime_5 : 6.115420
1523.04/199.68	c (195,0) c WaitingTime_6 : 7.157654
1523.04/199.68	c (195,0) c WaitingTime_7 : 5.277570
1523.04/199.68	c (195,0) c WaitingTime_total : 27.041364
1523.04/199.68	c (195,0) c WaitingTime_winner : 0.843079
1523.04/199.68	c (195,0) c ExchangingTime_0 : 0.122215
1523.04/199.68	c (195,0) c ExchangingTime_1 : 0.126287
1523.04/199.68	c (195,0) c ExchangingTime_2 : 0.128654
1523.04/199.68	c (195,0) c ExchangingTime_3 : 0.126325
1523.04/199.68	c (195,0) c ExchangingTime_4 : 0.118689
1523.04/199.68	c (195,0) c ExchangingTime_5 : 0.117477
1523.04/199.68	c (195,0) c ExchangingTime_6 : 0.133011
1523.04/199.68	c (195,0) c ExchangingTime_7 : 0.119895
1523.04/199.68	c (195,0) c ExchangingTime_total : 0.992553
1523.04/199.68	c (195,0) c ExchangingTime_winner : 0.126325
1523.04/199.68	c (195,0) c PeriodProcTime_0 : 0.012849
1523.04/199.68	c (195,0) c PeriodProcTime_1 : 0.011211
1523.04/199.68	c (195,0) c PeriodProcTime_2 : 0.013371
1523.04/199.68	c (195,0) c PeriodProcTime_3 : 0.011892
1523.04/199.68	c (195,0) c PeriodProcTime_4 : 0.011419
1523.04/199.68	c (195,0) c PeriodProcTime_5 : 0.011188
1523.04/199.68	c (195,0) c PeriodProcTime_6 : 0.011378
1523.04/199.68	c (195,0) c PeriodProcTime_7 : 0.011141
1523.04/199.68	c (195,0) c PeriodProcTime_total : 0.094449
1523.04/199.68	c (195,0) c PeriodProcTime_winner : 0.011892
1523.04/199.68	c (195,0) c SolvingTime_0 : 193.950365
1523.04/199.68	c (195,0) c SolvingTime_1 : 193.265398
1523.04/199.68	c (195,0) c SolvingTime_2 : 193.714112
1523.04/199.68	c (195,0) c SolvingTime_3 : 193.134708
1523.04/199.68	c (195,0) c SolvingTime_4 : 193.154073
1523.04/199.68	c (195,0) c SolvingTime_5 : 193.265455
1523.04/199.68	c (195,0) c SolvingTime_6 : 193.251851
1523.04/199.68	c (195,0) c SolvingTime_7 : 193.270180
1523.04/199.68	c (195,0) c SolvingTime_total : 1547.006143
1523.04/199.68	c (195,0) c SolvingTime_winner : 193.134708
1523.04/199.68	c (195,0) c PropagationTime_0 : 167.623060
1523.04/199.68	c (195,0) c PropagationTime_1 : 164.660771
1523.04/199.68	c (195,0) c PropagationTime_2 : 166.208849
1523.04/199.68	c (195,0) c PropagationTime_3 : 164.718995
1523.04/199.68	c (195,0) c PropagationTime_4 : 166.094249
1523.04/199.68	c (195,0) c PropagationTime_5 : 166.474475
1523.04/199.68	c (195,0) c PropagationTime_6 : 166.263526
1523.04/199.68	c (195,0) c PropagationTime_7 : 166.588726
1523.04/199.68	c (195,0) c PropagationTime_total : 1328.632650
1523.04/199.68	c (195,0) c PropagationTime_winner : 164.718995
1523.04/199.68	c (195,0) c AnalysisTime_0 : 22.271152
1523.04/199.68	c (195,0) c AnalysisTime_1 : 24.478212
1523.04/199.68	c (195,0) c AnalysisTime_2 : 23.494173
1523.04/199.68	c (195,0) c AnalysisTime_3 : 24.320742
1523.04/199.68	c (195,0) c AnalysisTime_4 : 22.998277
1523.04/199.68	c (195,0) c AnalysisTime_5 : 22.773935
1523.04/199.68	c (195,0) c AnalysisTime_6 : 22.805870
1523.04/199.68	c (195,0) c AnalysisTime_7 : 22.502253
1523.04/199.68	c (195,0) c AnalysisTime_total : 185.644614
1523.04/199.68	c (195,0) c AnalysisTime_winner : 24.320742
1523.04/199.68	c (195,0) c ReductionTime_0 : 0.600040
1523.04/199.68	c (195,0) c ReductionTime_1 : 0.627571
1523.04/199.68	c (195,0) c ReductionTime_2 : 0.504069
1523.04/199.68	c (195,0) c ReductionTime_3 : 0.538148
1523.04/199.68	c (195,0) c ReductionTime_4 : 0.541281
1523.04/199.68	c (195,0) c ReductionTime_5 : 0.505368
1523.04/199.68	c (195,0) c ReductionTime_6 : 0.602007
1523.04/199.68	c (195,0) c ReductionTime_7 : 0.572536
1523.04/199.68	c (195,0) c ReductionTime_total : 4.491021
1523.04/199.68	c (195,0) c ReductionTime_winner : 0.538148
1523.04/199.68	c (195,0) c SimplifyTime_0 : 0.067988
1523.04/199.68	c (195,0) c SimplifyTime_1 : 0.060569
1523.04/199.68	c (195,0) c SimplifyTime_2 : 0.061018
1523.04/199.68	c (195,0) c SimplifyTime_3 : 0.074893
1523.04/199.68	c (195,0) c SimplifyTime_4 : 0.066051
1523.04/199.68	c (195,0) c SimplifyTime_5 : 0.064372
1523.04/199.68	c (195,0) c SimplifyTime_6 : 0.099997
1523.04/199.68	c (195,0) c SimplifyTime_7 : 0.066195
1523.04/199.68	c (195,0) c SimplifyTime_total : 0.561082
1523.04/199.68	c (195,0) c SimplifyTime_winner : 0.074893
1523.04/199.68	c (195,0) c UsedRateTime_0 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_1 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_2 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_3 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_4 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_5 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_6 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_7 : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_total : 0.000000
1523.04/199.68	c (195,0) c UsedRateTime_winner : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_0 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_1 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_2 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_3 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_4 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_5 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_6 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_7 : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_total : 0.000000
1523.04/199.68	c (195,0) c OverlapRateTime_winner : 0.000000
1523.04/199.68	c (195,0) c
1523.04/199.68	c (195,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1523.04/199.68	c (195,0) c
1523.04/199.68	c (195,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.68	c (195,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1523.04/199.68	c (195,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.68	c (195,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1523.04/199.68	c (195,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1523.04/199.68	c (195,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1523.04/199.68	c (195,0) c | Initial random_seed   | 1878299709 |  323798710 |  274136171 | 1631451274 |  520541067 | 1112476441 | 1865856634 | 1640537324 |
1523.04/199.68	c (195,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1523.04/199.68	c (195,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1523.04/199.68	c (195,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1523.04/199.68	c (195,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1523.04/199.68	c (195,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1523.04/199.68	c (195,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1523.04/199.68	c (195,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1523.04/199.68	c (195,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1523.04/199.68	c (195,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1523.04/199.68	c (195,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1523.04/199.68	c (195,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1523.04/199.68	c (195,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1523.04/199.68	c (195,0) 
1523.04/199.68	c (195,0) s SATISFIABLE
8.08/199.74	c (195,0) SatSolver.solve End
8.08/199.74	c (195,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.08/199.74	c (195,0) Show results Begin
1523.50/199.84	c (195,0) x[0] = 315
1523.50/199.84	c (195,0) x[1] = 427
1523.50/199.84	c (195,0) x[2] = 360
1523.50/199.84	c (195,0) x[3] = 271
1523.50/199.84	c (195,0) x[4] = 153
1523.50/199.84	c (195,0) x[5] = 288
1523.50/199.84	c (195,0) x[6] = 288
1523.50/199.84	c (195,0) x[7] = 271
1523.50/199.84	c (195,0) x[8] = 326
1523.50/199.84	c (195,0) x[9] = 375
1523.50/199.84	c (195,0) x[10] = 315
1523.50/199.84	c (195,0) x[11] = 210
1523.50/199.84	c (195,0) x[12] = 359
1523.50/199.84	c (195,0) x[13] = 359
1523.50/199.84	c (195,0) x[14] = 288
1523.50/199.84	c (195,0) x[15] = 440
1523.50/199.84	c (195,0) x[16] = 427
1523.50/199.84	c (195,0) x[17] = 153
1523.50/199.84	c (195,0) x[18] = 210
1523.50/199.84	c (195,0) x[19] = 0
1523.50/199.84	c (195,0) x[20] = 375
1523.50/199.84	c (195,0) x[21] = 0
1523.50/199.84	c (195,0) x[22] = 360
1523.50/199.84	c (195,0) x[23] = 171
1523.50/199.84	c (195,0) x[24] = 0
1523.50/199.84	c (195,0) y[0] = 209
1523.50/199.84	c (195,0) y[1] = 81
1523.50/199.84	c (195,0) y[2] = 345
1523.50/199.84	c (195,0) y[3] = 193
1523.50/199.84	c (195,0) y[4] = 345
1523.50/199.84	c (195,0) y[5] = 193
1523.50/199.84	c (195,0) y[6] = 220
1523.50/199.84	c (195,0) y[7] = 149
1523.50/199.84	c (195,0) y[8] = 209
1523.50/199.84	c (195,0) y[9] = 149
1523.50/199.84	c (195,0) y[10] = 149
1523.50/199.84	c (195,0) y[11] = 149
1523.50/199.84	c (195,0) y[12] = 81
1523.50/199.84	c (195,0) y[13] = 0
1523.50/199.84	c (195,0) y[14] = 258
1523.50/199.84	c (195,0) y[15] = 0
1523.50/199.84	c (195,0) y[16] = 94
1523.50/199.84	c (195,0) y[17] = 210
1523.50/199.84	c (195,0) y[18] = 0
1523.50/199.84	c (195,0) y[19] = 210
1523.50/199.84	c (195,0) y[20] = 201
1523.50/199.84	c (195,0) y[21] = 363
1523.50/199.84	c (195,0) y[22] = 360
1523.50/199.84	c (195,0) y[23] = 345
1523.50/199.84	c (195,0) y[24] = 0
1523.50/199.84	s SATISFIABLE
1523.50/199.84	v <instantiation>
1523.50/199.84	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>
1523.50/199.84	v     <values>315 427 360 271 153 288 288 271 326 375 315 210 359 359 288 440 427 153 210 0 375 0 360 171 0 209 81 345 193 345 193 220 149 209 149 149 149 81 0 258 0 94 210 0 210 201 363 360 345 0</values>
1523.50/199.84	v </instantiation>
1523.50/199.84	c (195,0) Show results End
1523.50/199.84	c (195,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1523.50/199.84	c (195,0) 195,195,STOP-AFTER(ALL)
1523.50/199.84	c END-Prog: Tue Sep 24 17:19:40 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 (12289 MiB free)
  memory of node 1: 16384 MiB (12596 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100059 s]*
/proc/loadavg: 6.87 7.33 5.42 2/211 25053
/proc/meminfo: memFree=25386272/32770624 swapFree=66975632/67108860
[pid=25031] ppid=25028 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25031/stat : 25031 (scop.sh) S 25028 25031 24466 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510089044 115843072 348 33554432000 4194304 5098028 140722754424560 140722754421816 140605475332732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11714560 140722754425637 140722754425964 140722754425964 140722754428877 0
/proc/25031/statm: 28282 348 296 221 0 87 0
[pid=25034] ppid=25031 vsize=27314120 memory=106360 CPUtime=0.1 cores=0-7
/proc/25034/stat : 25034 (java) S 25031 25031 24466 0 -1 1077944320 6161 0 0 0 8 2 0 0 20 0 20 0 510089044 27969658880 26590 33554432000 4194304 4196468 140724423854128 140724423836672 139913336266487 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
/proc/25034/statm: 6828530 26590 2798 1 0 6790935 0
[pid=25034/tid=25035] ppid=25031 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/25034/task/25035/stat : 25035 (java) R 25031 25031 24466 0 -1 4202560 4265 0 0 0 7 2 0 0 20 0 20 0 510089044 27969658880 26590 33554432000 4194304 4196468 140724423854128 139913308101616 139913322334606 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25036] ppid=25031 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25034/task/25036/stat : 25036 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139913340509072 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25037] ppid=25031 vsize=27314120 memory=139972552066688 CPUtime=0 cores=0-7
/proc/25034/task/25037/stat : 25037 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139912758156048 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25038] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25038/stat : 25038 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139912757103760 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25039] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25039/stat : 25039 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139912756050960 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25040] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25040/stat : 25040 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139912754997648 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25041] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25041/stat : 25041 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139912753944848 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25042] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25042/stat : 25042 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 26590 33554432000 4194304 4196468 140724423854128 139912752892560 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25043] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25043/stat : 25043 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912751839760 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25044] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25044/stat : 25044 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089048 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912327150192 139913336277634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25045] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25045/stat : 25045 (java) S 25031 25031 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089049 27969658880 27102 33554432000 4194304 4196468 140724423854128 139911311123744 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25046] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25046/stat : 25046 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089049 27969658880 27102 33554432000 4194304 4196468 140724423854128 139911042688624 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25047] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25047/stat : 25047 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 27102 33554432000 4194304 4196468 140724423854128 139910668180048 139913336285083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25048] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25048/stat : 25048 (java) S 25031 25031 24466 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912326097008 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25049] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25049/stat : 25049 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912325044208 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25050] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25050/stat : 25050 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912323991920 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25051] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25051/stat : 25051 (java) S 25031 25031 24466 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912322939120 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25052] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25052/stat : 25052 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 27102 33554432000 4194304 4196468 140724423854128 139910170274656 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25053] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25053/stat : 25053 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 27102 33554432000 4194304 4196468 140724423854128 139912321887024 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107752 KiB

[startup+0.216796 s]*
/proc/loadavg: 6.87 7.33 5.42 2/211 25053
/proc/meminfo: memFree=25364960/32770624 swapFree=66975632/67108860
[pid=25031] ppid=25028 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25031/stat : 25031 (scop.sh) S 25028 25031 24466 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510089044 115843072 348 33554432000 4194304 5098028 140722754424560 140722754421816 140605475332732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11714560 140722754425637 140722754425964 140722754425964 140722754428877 0
/proc/25031/statm: 28282 348 296 221 0 87 0
[pid=25034] ppid=25031 vsize=27314120 memory=125676 CPUtime=0.26 cores=0-7
/proc/25034/stat : 25034 (java) S 25031 25031 24466 0 -1 1077944320 11643 0 0 0 21 5 0 0 20 0 20 0 510089044 27969658880 31419 33554432000 4194304 4196468 140724423854128 140724423836672 139913336266487 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
/proc/25034/statm: 6828530 31419 2958 1 0 6790935 0
[pid=25034/tid=25035] ppid=25031 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25034/task/25035/stat : 25035 (java) R 25031 25031 24466 0 -1 4202560 9374 0 0 0 16 4 0 0 20 0 20 0 510089044 27969658880 31419 33554432000 4194304 4196468 140724423854128 139913308050048 139913336288413 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25036] ppid=25031 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/25034/task/25036/stat : 25036 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139913340509072 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25037] ppid=25031 vsize=27314120 memory=288370348703778432 CPUtime=0 cores=0-7
/proc/25034/task/25037/stat : 25037 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912758156048 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25038] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25038/stat : 25038 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912757103760 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25039] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25039/stat : 25039 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912756050960 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25040] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25040/stat : 25040 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912754997648 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25041] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25041/stat : 25041 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912753944848 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25042] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25042/stat : 25042 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912752892560 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25043] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25043/stat : 25043 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912751839760 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25044] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25044/stat : 25044 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089048 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912327150192 139913336277634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25045] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25045/stat : 25045 (java) S 25031 25031 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089049 27969658880 31419 33554432000 4194304 4196468 140724423854128 139911311123744 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25046] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25046/stat : 25046 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089049 27969658880 31419 33554432000 4194304 4196468 140724423854128 139911042688624 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25047] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25047/stat : 25047 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 31419 33554432000 4194304 4196468 140724423854128 139910668180048 139913336285083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25048] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25048/stat : 25048 (java) S 25031 25031 24466 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912326097008 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25049] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25049/stat : 25049 (java) R 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912325044208 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25050] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25050/stat : 25050 (java) S 25031 25031 24466 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912323991920 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25051] ppid=25031 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25034/task/25051/stat : 25051 (java) R 25031 25031 24466 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 20 0 510089052 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912322939120 139913336277634 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25052] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25052/stat : 25052 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 31419 33554432000 4194304 4196468 140724423854128 139910170274656 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25053] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25053/stat : 25053 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 31419 33554432000 4194304 4196468 140724423854128 139912321887024 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127068 KiB

[startup+0.310107 s]*
/proc/loadavg: 6.87 7.33 5.42 2/211 25053
/proc/meminfo: memFree=25362400/32770624 swapFree=66975632/67108860
[pid=25031] ppid=25028 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25031/stat : 25031 (scop.sh) S 25028 25031 24466 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510089044 115843072 348 33554432000 4194304 5098028 140722754424560 140722754421816 140605475332732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11714560 140722754425637 140722754425964 140722754425964 140722754428877 0
/proc/25031/statm: 28282 348 296 221 0 87 0
[pid=25034] ppid=25031 vsize=27314120 memory=129628 CPUtime=0.42 cores=0-7
/proc/25034/stat : 25034 (java) S 25031 25031 24466 0 -1 1077944320 12767 0 0 0 37 5 0 0 20 0 20 0 510089044 27969658880 32407 33554432000 4194304 4196468 140724423854128 140724423836672 139913336266487 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
/proc/25034/statm: 6828530 32407 3011 1 0 6790935 0
[pid=25034/tid=25035] ppid=25031 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/25034/task/25035/stat : 25035 (java) R 25031 25031 24466 0 -1 4202560 10302 0 0 0 25 4 0 0 20 0 20 0 510089044 27969658880 32407 33554432000 4194304 4196468 140724423854128 139913308080352 139913317830086 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25036] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25036/stat : 25036 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139913340509072 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25037] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25037/stat : 25037 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912758156048 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25038] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25038/stat : 25038 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912757103760 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25039] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25039/stat : 25039 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912756050960 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25040] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25040/stat : 25040 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912754997648 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25041] ppid=25031 vsize=27314120 memory=139972447398575 CPUtime=0 cores=0-7
/proc/25034/task/25041/stat : 25041 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912753944848 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25042] ppid=25031 vsize=27314120 memory=139972447400880 CPUtime=0 cores=0-7
/proc/25034/task/25042/stat : 25042 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912752892560 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25043] ppid=25031 vsize=27314120 memory=139972447403184 CPUtime=0 cores=0-7
/proc/25034/task/25043/stat : 25043 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912751839760 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25044] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25044/stat : 25044 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089048 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912327150192 139913336277634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25045] ppid=25031 vsize=27314120 memory=279944894820240 CPUtime=0 cores=0-7
/proc/25034/task/25045/stat : 25045 (java) S 25031 25031 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089049 27969658880 32407 33554432000 4194304 4196468 140724423854128 139911311123744 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25046] ppid=25031 vsize=27314120 memory=279944894817936 CPUtime=0 cores=0-7
/proc/25034/task/25046/stat : 25046 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089049 27969658880 32407 33554432000 4194304 4196468 140724423854128 139911042688624 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25047] ppid=25031 vsize=27314120 memory=279944894824848 CPUtime=0 cores=0-7
/proc/25034/task/25047/stat : 25047 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 32407 33554432000 4194304 4196468 140724423854128 139910668180048 139913336285083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25048] ppid=25031 vsize=27314120 memory=279944894766128 CPUtime=0.01 cores=0-7
/proc/25034/task/25048/stat : 25048 (java) S 25031 25031 24466 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 20 0 510089051 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912326097008 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25049] ppid=25031 vsize=27314120 memory=279944894838672 CPUtime=0 cores=0-7
/proc/25034/task/25049/stat : 25049 (java) S 25031 25031 24466 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 510089051 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912325044208 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25050] ppid=25031 vsize=27314120 memory=279944894845584 CPUtime=0.01 cores=0-7
/proc/25034/task/25050/stat : 25050 (java) S 25031 25031 24466 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 510089052 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912323991920 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25051] ppid=25031 vsize=27314120 memory=279944894843280 CPUtime=0.07 cores=0-7
/proc/25034/task/25051/stat : 25051 (java) S 25031 25031 24466 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 20 0 510089052 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912322939120 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25052] ppid=25031 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25052/stat : 25052 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 32407 33554432000 4194304 4196468 140724423854128 139910170274656 139913336276693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25053] ppid=25031 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25034/task/25053/stat : 25053 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089052 27969658880 32407 33554432000 4194304 4196468 140724423854128 139912321887024 139913336277634 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131020 KiB

[startup+0.700881 s]
/proc/loadavg: 6.87 7.33 5.42 3/211 25053
/proc/meminfo: memFree=25340820/32770624 swapFree=66975632/67108860
[pid=25031] ppid=25028 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/25031/stat : 25031 (scop.sh) S 25028 25031 24466 0 -1 4202496 555 318 0 0 0 0 0 0 20 0 1 0 510089044 115843072 348 33554432000 4194304 5098028 140722754424560 140722754421816 140605475332732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11714560 140722754425637 140722754425964 140722754425964 140722754428877 0
/proc/25031/statm: 28282 348 296 221 0 87 0
[pid=25034] ppid=25031 vsize=27320392 memory=165368 CPUtime=0.98 cores=0-7
/proc/25034/stat : 25034 (java) S 25031 25031 24466 0 -1 1077944320 19974 0 0 0 91 7 0 0 20 0 20 0 510089044 27976081408 41342 33554432000 4194304 4196468 140724423854128 140724423836672 139913336266487 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
/proc/25034/statm: 6830098 41342 3182 1 0 6791447 0
[pid=25034/tid=25035] ppid=25031 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/25034/task/25035/stat : 25035 (java) R 25031 25031 24466 0 -1 4202560 16899 0 0 0 61 6 0 0 20 0 20 0 510089044 27976081408 41342 33554432000 4194304 4196468 140724423854128 139913308102528 139913336288413 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25036] ppid=25031 vsize=27320392 memory=139972447609712 CPUtime=0 cores=0-7
/proc/25034/task/25036/stat : 25036 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089047 27976081408 41342 33554432000 4194304 4196468 140724423854128 139913340509072 139913336276693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25037] ppid=25031 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/25034/task/25037/stat : 25037 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27976081408 41342 33554432000 4194304 4196468 140724423854128 139912758156048 139913336276693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0
[pid=25034/tid=25038] ppid=25031 vsize=27320392 memory=1192 CPUtime=0 cores=0-7
/proc/25034/task/25038/stat : 25038 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089047 27976081408 41342 33554432000 4194304 4196468 140724423854128 139912757103760 139913336276693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140724423856875 140724423857302 140724423857302 140724423860175 0

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

/proc/25054/task/25059/stat : 25059 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286720576016 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25060] ppid=25031 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/25054/task/25060/stat : 25060 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286719523728 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25061] ppid=25031 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/25054/task/25061/stat : 25061 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286385355536 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25062] ppid=25031 vsize=8414124 memory=1376 CPUtime=0 cores=0-7
/proc/25054/task/25062/stat : 25062 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286384303248 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25063] ppid=25031 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/25054/task/25063/stat : 25063 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286383250448 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25064] ppid=25031 vsize=8414124 memory=996272 CPUtime=0 cores=0-7
/proc/25054/task/25064/stat : 25064 (java) S 25031 25031 24466 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510089449 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286333360240 140286904294018 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25065] ppid=25031 vsize=8414124 memory=118280 CPUtime=0 cores=0-7
/proc/25054/task/25065/stat : 25065 (java) S 25031 25031 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510089450 8616062976 29570 33554432000 4194304 4196468 140724376257632 140285308822304 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25066] ppid=25031 vsize=8414124 memory=996272 CPUtime=0 cores=0-7
/proc/25054/task/25066/stat : 25066 (java) S 25031 25031 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510089450 8616062976 29570 33554432000 4194304 4196468 140724376257632 140285174600816 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25067] ppid=25031 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/25054/task/25067/stat : 25067 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140284800096336 140286904301467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25068] ppid=25031 vsize=8414124 memory=804 CPUtime=0.09 cores=0-7
/proc/25054/task/25068/stat : 25068 (java) S 25031 25031 24466 0 -1 1077944384 592 0 0 0 9 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286332308080 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25069] ppid=25031 vsize=8414124 memory=4100 CPUtime=0.05 cores=0-7
/proc/25054/task/25069/stat : 25069 (java) S 25031 25031 24466 0 -1 1077944384 389 0 0 0 5 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286331255280 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25070] ppid=25031 vsize=8414124 memory=1804 CPUtime=0.03 cores=0-7
/proc/25054/task/25070/stat : 25070 (java) S 25031 25031 24466 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286330202992 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25071] ppid=25031 vsize=8414124 memory=920 CPUtime=0.19 cores=0-7
/proc/25054/task/25071/stat : 25071 (java) S 25031 25031 24466 0 -1 1077944384 773 0 0 0 19 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286329150192 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25072] ppid=25031 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/25054/task/25072/stat : 25072 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089453 8616062976 29570 33554432000 4194304 4196468 140724376257632 140284302190944 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25073] ppid=25031 vsize=8414124 memory=804 CPUtime=0.12 cores=0-7
/proc/25054/task/25073/stat : 25073 (java) S 25031 25031 24466 0 -1 1077944384 15 0 0 0 10 2 0 0 20 0 24 0 510089453 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286328097072 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25075] ppid=25031 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/25054/task/25075/stat : 25075 (java) S 25031 25031 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510089517 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286320063808 140286904307481 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25077] ppid=25031 vsize=8414124 memory=1804 CPUtime=0.01 cores=0-7
/proc/25054/task/25077/stat : 25077 (java) S 25031 25031 24466 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 510089518 8616062976 29570 33554432000 4194304 4196468 140724376257632 140283631091600 140286904304797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25078] ppid=25031 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/25054/task/25078/stat : 25078 (java) S 25031 25031 24466 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510089518 8616062976 29570 33554432000 4194304 4196468 140724376257632 140283899526928 140286904304797 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25079] ppid=25031 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/25054/task/25079/stat : 25079 (java) S 25031 25031 24466 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510089520 8616062976 29570 33554432000 4194304 4196468 140724376257632 140283362664240 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
Current children cumulated CPU time: 1522.4 s
Current children cumulated vsize: 9959024 KiB
Current children cumulated memory: 1116100 KiB

[startup+199.601 s]
/proc/loadavg: 7.83 7.57 5.88 3/219 25103
/proc/meminfo: memFree=24367836/32770624 swapFree=66975632/67108860
[pid=25031] ppid=25028 vsize=113128 memory=1472 CPUtime=6.7 cores=0-7
/proc/25031/stat : 25031 (scop.sh) S 25028 25031 24466 0 -1 4202496 581 27295 0 0 0 0 632 38 20 0 1 0 510089044 115843072 368 33554432000 4194304 5098028 140722754424560 140722754421304 140605475332732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11714560 140722754425637 140722754425964 140722754425964 140722754428877 0
/proc/25031/statm: 28282 368 311 221 0 87 0
[pid=25054] ppid=25031 vsize=8414124 memory=118280 CPUtime=1.27 cores=0-7
/proc/25054/stat : 25054 (java) S 25031 25031 24466 0 -1 1077944320 20629 0 0 0 119 8 0 0 20 0 24 0 510089446 8616062976 29570 33554432000 4194304 4196468 140724376257632 140724376240176 140286904282871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
/proc/25054/statm: 2103531 29570 3196 1 0 2064875 0
[pid=25074] ppid=25054 vsize=1431772 memory=996348 CPUtime=1515.07 cores=0-7
/proc/25074/stat : 25074 (manyglucose-4.1) S 25054 25031 24466 0 -1 1077944320 1355084 0 0 0 151201 306 0 0 20 0 2 0 510089517 1466134528 249087 33554432000 4194304 4454172 140728421795600 140728421793984 140497541385975 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 24625152 140728421798761 140728421798960 140728421798960 140728421801914 0
/proc/25074/statm: 357943 249087 421 64 0 353611 0
[pid=25074/tid=25080] ppid=25054 vsize=1431772 memory=4420 CPUtime=192.42 cores=0-7
/proc/25074/task/25080/stat : 25080 (manyglucose-4.1) R 25054 25031 24466 0 -1 4202560 186832 0 0 0 19205 37 0 0 20 0 2 0 510089613 1466134528 249087 33554432000 4194304 4454172 140728421795600 140497514622088 4351099 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 24625152 140728421798761 140728421798960 140728421798960 140728421801914 0
[pid=25054/tid=25055] ppid=25031 vsize=8414124 memory=2004 CPUtime=0.73 cores=0-7
/proc/25054/task/25055/stat : 25055 (java) S 25031 25031 24466 0 -1 1077944384 17360 0 0 0 68 5 0 0 20 0 24 0 510089447 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286876123040 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25056] ppid=25031 vsize=8414124 memory=1376 CPUtime=0 cores=0-7
/proc/25054/task/25056/stat : 25056 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286908524944 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25057] ppid=25031 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/25054/task/25057/stat : 25057 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286722681104 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25058] ppid=25031 vsize=8414124 memory=3636 CPUtime=0 cores=0-7
/proc/25054/task/25058/stat : 25058 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286721628816 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25059] ppid=25031 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/25054/task/25059/stat : 25059 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286720576016 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25060] ppid=25031 vsize=8414124 memory=6140 CPUtime=0 cores=0-7
/proc/25054/task/25060/stat : 25060 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286719523728 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25061] ppid=25031 vsize=8414124 memory=10604 CPUtime=0 cores=0-7
/proc/25054/task/25061/stat : 25061 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286385355536 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25062] ppid=25031 vsize=8414124 memory=716 CPUtime=0 cores=0-7
/proc/25054/task/25062/stat : 25062 (java) S 25031 25031 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286384303248 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25063] ppid=25031 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/25054/task/25063/stat : 25063 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089448 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286383250448 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25064] ppid=25031 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/25054/task/25064/stat : 25064 (java) S 25031 25031 24466 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510089449 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286333360240 140286904294018 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25065] ppid=25031 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/25054/task/25065/stat : 25065 (java) S 25031 25031 24466 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510089450 8616062976 29570 33554432000 4194304 4196468 140724376257632 140285308822304 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25066] ppid=25031 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/25054/task/25066/stat : 25066 (java) S 25031 25031 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510089450 8616062976 29570 33554432000 4194304 4196468 140724376257632 140285174600816 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25067] ppid=25031 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/25054/task/25067/stat : 25067 (java) S 25031 25031 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140284800096336 140286904301467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25068] ppid=25031 vsize=8414124 memory=1804 CPUtime=0.09 cores=0-7
/proc/25054/task/25068/stat : 25068 (java) S 25031 25031 24466 0 -1 1077944384 592 0 0 0 9 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286332308080 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25069] ppid=25031 vsize=8414124 memory=920 CPUtime=0.05 cores=0-7
/proc/25054/task/25069/stat : 25069 (java) S 25031 25031 24466 0 -1 1077944384 389 0 0 0 5 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286331255280 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25070] ppid=25031 vsize=8414124 memory=4420 CPUtime=0.03 cores=0-7
/proc/25054/task/25070/stat : 25070 (java) S 25031 25031 24466 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286330202992 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25071] ppid=25031 vsize=8414124 memory=1412 CPUtime=0.19 cores=0-7
/proc/25054/task/25071/stat : 25071 (java) S 25031 25031 24466 0 -1 1077944384 773 0 0 0 19 0 0 0 20 0 24 0 510089452 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286329150192 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25072] ppid=25031 vsize=8414124 memory=3800 CPUtime=0 cores=0-7
/proc/25054/task/25072/stat : 25072 (java) S 25031 25031 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510089453 8616062976 29570 33554432000 4194304 4196468 140724376257632 140284302190944 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25073] ppid=25031 vsize=8414124 memory=1472 CPUtime=0.12 cores=0-7
/proc/25054/task/25073/stat : 25073 (java) S 25031 25031 24466 0 -1 1077944384 15 0 0 0 10 2 0 0 20 0 24 0 510089453 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286328097072 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25075] ppid=25031 vsize=8414124 memory=118280 CPUtime=0 cores=0-7
/proc/25054/task/25075/stat : 25075 (java) S 25031 25031 24466 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510089517 8616062976 29570 33554432000 4194304 4196468 140724376257632 140286320063808 140286904307481 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25077] ppid=25031 vsize=8414124 memory=996348 CPUtime=0.01 cores=0-7
/proc/25054/task/25077/stat : 25077 (java) S 25031 25031 24466 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 510089518 8616062976 29570 33554432000 4194304 4196468 140724376257632 140283631091600 140286904304797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25078] ppid=25031 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/25054/task/25078/stat : 25078 (java) S 25031 25031 24466 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510089518 8616062976 29570 33554432000 4194304 4196468 140724376257632 140283899526928 140286904304797 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25079] ppid=25031 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/25054/task/25079/stat : 25079 (java) S 25031 25031 24466 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510089520 8616062976 29570 33554432000 4194304 4196468 140724376257632 140283362664240 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
Current children cumulated CPU time: 1523.04 s
Current children cumulated vsize: 9959024 KiB
Current children cumulated memory: 1116100 KiB

[startup+199.802 s]
/proc/loadavg: 7.83 7.57 5.88 3/219 25103
/proc/meminfo: memFree=24367836/32770624 swapFree=66975632/67108860
[pid=25031] ppid=25028 vsize=113128 memory=1472 CPUtime=6.7 cores=0-7
/proc/25031/stat : 25031 (scop.sh) S 25028 25031 24466 0 -1 4202496 581 27295 0 0 0 0 632 38 20 0 1 0 510089044 115843072 368 33554432000 4194304 5098028 140722754424560 140722754421304 140605475332732 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11714560 140722754425637 140722754425964 140722754425964 140722754428877 0
/proc/25031/statm: 28282 368 311 221 0 87 0
[pid=25054] ppid=25031 vsize=8283048 memory=131524 CPUtime=1516.8 cores=0-7
/proc/25054/stat : 25054 (java) S 25031 25031 24466 0 -1 1077944320 23384 1355125 0 0 151 10 151209 310 20 0 22 0 510089446 8481841152 32881 33554432000 4194304 4196468 140724376257632 140724376240176 140286904282871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
/proc/25054/statm: 2070762 32881 3225 1 0 2032106 0
[pid=25054/tid=25055] ppid=25031 vsize=8283048 memory=5787477641288517003 CPUtime=1515.99 cores=0-7
/proc/25054/task/25055/stat : 25055 (java) R 25031 25031 24466 0 -1 4202560 18582 1355125 0 0 74 6 151209 310 20 0 22 0 510089447 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286876105744 140286884555952 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25056] ppid=25031 vsize=8283048 memory=1724 CPUtime=1515.19 cores=0-7
/proc/25054/task/25056/stat : 25056 (java) S 25031 25031 24466 0 -1 1077944384 1 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286908524944 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25057] ppid=25031 vsize=8283048 memory=6140 CPUtime=1515.19 cores=0-7
/proc/25054/task/25057/stat : 25057 (java) S 25031 25031 24466 0 -1 1077944384 2 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286722681104 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25058] ppid=25031 vsize=8283048 memory=1472 CPUtime=1515.19 cores=0-7
/proc/25054/task/25058/stat : 25058 (java) S 25031 25031 24466 0 -1 1077944384 3 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286721628816 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25059] ppid=25031 vsize=8283048 memory=118280 CPUtime=1515.19 cores=0-7
/proc/25054/task/25059/stat : 25059 (java) S 25031 25031 24466 0 -1 1077944384 1 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286720576016 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25060] ppid=25031 vsize=8283048 memory=998320 CPUtime=1515.19 cores=0-7
/proc/25054/task/25060/stat : 25060 (java) S 25031 25031 24466 0 -1 1077944384 2 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286719523728 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25061] ppid=25031 vsize=8283048 memory=1376 CPUtime=1515.19 cores=0-7
/proc/25054/task/25061/stat : 25061 (java) S 25031 25031 24466 0 -1 1077944384 1 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286385355536 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25062] ppid=25031 vsize=8283048 memory=1060 CPUtime=1515.19 cores=0-7
/proc/25054/task/25062/stat : 25062 (java) S 25031 25031 24466 0 -1 1077944384 2 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286384303248 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25063] ppid=25031 vsize=8283048 memory=3636 CPUtime=1515.19 cores=0-7
/proc/25054/task/25063/stat : 25063 (java) S 25031 25031 24466 0 -1 1077944384 3 1355125 0 0 0 0 151209 310 20 0 22 0 510089448 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286383250448 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25064] ppid=25031 vsize=8283048 memory=1724 CPUtime=1515.19 cores=0-7
/proc/25054/task/25064/stat : 25064 (java) S 25031 25031 24466 0 -1 1077944384 8 1355125 0 0 0 0 151209 310 20 0 22 0 510089449 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286333360240 140286904294018 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25065] ppid=25031 vsize=8283048 memory=6140 CPUtime=1515.19 cores=0-7
/proc/25054/task/25065/stat : 25065 (java) S 25031 25031 24466 0 -1 1077944384 13 1355125 0 0 0 0 151209 310 20 0 22 0 510089450 8481841152 32881 33554432000 4194304 4196468 140724376257632 140285308822304 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25066] ppid=25031 vsize=8283048 memory=10604 CPUtime=1515.19 cores=0-7
/proc/25054/task/25066/stat : 25066 (java) S 25031 25031 24466 0 -1 1077944384 21 1355125 0 0 0 0 151209 310 20 0 22 0 510089450 8481841152 32881 33554432000 4194304 4196468 140724376257632 140285174600816 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25067] ppid=25031 vsize=8283048 memory=716 CPUtime=1515.19 cores=0-7
/proc/25054/task/25067/stat : 25067 (java) S 25031 25031 24466 0 -1 1077944384 1 1355125 0 0 0 0 151209 310 20 0 22 0 510089452 8481841152 32881 33554432000 4194304 4196468 140724376257632 140284800096336 140286904301467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25068] ppid=25031 vsize=8283048 memory=780 CPUtime=1515.33 cores=0-7
/proc/25054/task/25068/stat : 25068 (java) R 25031 25031 24466 0 -1 4202560 670 1355125 0 0 14 0 151209 310 20 0 22 0 510089452 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286332294160 140286887839510 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25069] ppid=25031 vsize=8283048 memory=1552 CPUtime=1515.3 cores=0-7
/proc/25054/task/25069/stat : 25069 (java) R 25031 25031 24466 0 -1 4202560 670 1355125 0 0 11 0 151209 310 20 0 22 0 510089452 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286331255280 140286888186156 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25070] ppid=25031 vsize=8283048 memory=2832 CPUtime=1515.26 cores=0-7
/proc/25054/task/25070/stat : 25070 (java) R 25031 25031 24466 0 -1 4202560 407 1355125 0 0 7 0 151209 310 20 0 22 0 510089452 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286330192784 140286888679957 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25071] ppid=25031 vsize=8283048 memory=1192 CPUtime=1515.44 cores=0-7
/proc/25054/task/25071/stat : 25071 (java) S 25031 25031 24466 0 -1 1077944384 1054 1355125 0 0 25 0 151209 310 20 0 22 0 510089452 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286329150192 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25072] ppid=25031 vsize=8283048 memory=940 CPUtime=1515.19 cores=0-7
/proc/25054/task/25072/stat : 25072 (java) S 25031 25031 24466 0 -1 1077944384 3 1355125 0 0 0 0 151209 310 20 0 22 0 510089453 8481841152 32881 33554432000 4194304 4196468 140724376257632 140284302190944 140286904293077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25073] ppid=25031 vsize=8283048 memory=14008 CPUtime=1515.31 cores=0-7
/proc/25054/task/25073/stat : 25073 (java) S 25031 25031 24466 0 -1 1077944384 15 1355125 0 0 10 2 151209 310 20 0 22 0 510089453 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286328097072 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25075] ppid=25031 vsize=8283048 memory=12040 CPUtime=1515.19 cores=0-7
/proc/25054/task/25075/stat : 25075 (java) S 25031 25031 24466 0 -1 1077944384 24 1355125 0 0 0 0 151209 310 20 0 22 0 510089517 8481841152 32881 33554432000 4194304 4196468 140724376257632 140286320062992 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
[pid=25054/tid=25079] ppid=25031 vsize=8283048 memory=1192 CPUtime=1515.19 cores=0-7
/proc/25054/task/25079/stat : 25079 (java) S 25031 25031 24466 0 -1 1077944384 14 1355125 0 0 0 0 151209 310 20 0 22 0 510089520 8481841152 32881 33554432000 4194304 4196468 140724376257632 140283362666032 140286904294018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140724376265719 140724376265878 140724376265878 140724376268751 0
Current children cumulated CPU time: 1523.5 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132996 KiB

Child status: 0
Real time (s): 199.865
CPU time (s): 1523.67
CPU user time (s): 1520.07
CPU system time (s): 3.60367
CPU usage (%): 762.352
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1784876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1520.07
system time used= 3.60367
maximum resident set size= 1783716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1406604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21978
involuntary context switches= 15476


# summary of solver processes directly reported to runsolver:
#   pid: 25031
#   total CPU time (s): 1523.67
#   total CPU user time (s): 1520.07
#   total CPU system time (s): 3.60367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91541 second user time and 2.78372 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-24 17:16:20
IDJOB=4405279
IDBENCH=127955
IDSOLVER=2867
FILE ID=node125/4405279-1569338223
RUNJOBID= node125-1569335936-24493
PBS_JOBID= 21705060
Free space on /tmp= 4228 MiB

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

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=693132921

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25483008 kB
MemAvailable:   31817292 kB
Buffers:          114156 kB
Cached:          6282200 kB
SwapCached:        29860 kB
Active:          3171364 kB
Inactive:        3257628 kB
Active(anon):       4368 kB
Inactive(anon):    84328 kB
Active(file):    3166996 kB
Inactive(file):  3173300 kB
Unevictable:      109444 kB
Mlocked:          109444 kB
SwapTotal:      67108860 kB
SwapFree:       66975632 kB
Dirty:             20360 kB
Writeback:             0 kB
AnonPages:        113608 kB
Mapped:            55852 kB
Shmem:             47468 kB
Slab:             451320 kB
SReclaimable:     422448 kB
SUnreclaim:        28872 kB
KernelStack:        3760 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4232 MiB
End job on node125 at 2019-09-24 17:19:40