Trace number 4405579

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12044-serial-file.bin HOME/instance-4405579-1569338236.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:16:38 CEST 2019
0.65/0.57	c PID: 12047
0.65/0.57	c IP: 172.20.3.149
0.65/0.57	c HOST: node149.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.38/0.91	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 534
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.92	c (0,0) Ctr:HOME/instance-4405579-1569338236.xml,Le:NoOverlap:Num:Var
1.38/0.92	c (0,0) Constraint Name Generate End
1.38/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.92	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 6 (10%) constraints
1.38/1.00	c (0,0) translated 11 (20%) constraints
1.38/1.00	c (0,0) translated 16 (30%) constraints
1.54/1.01	c (0,0) translated 22 (40%) constraints
1.54/1.01	c (0,0) translated 27 (50%) constraints
1.54/1.01	c (0,0) translated 32 (60%) constraints
1.54/1.01	c (0,0) translated 38 (70%) constraints
1.54/1.02	c (0,0) translated 43 (80%) constraints
1.54/1.02	c (0,0) translated 48 (90%) constraints
2.14/1.27	c (0,0) translated 53 (100%) constraints
2.14/1.27	c (0,0) ===========================================
2.14/1.29	c (0,0) Hybrid: #OE=50, #LE=0
2.14/1.29	c (0,0) Hybrid
2.14/1.29	c (0,0) ===========================================
2.46/1.30	c (0,0) translated 36 (10%) constraints
2.46/1.31	c (0,0) translated 71 (20%) constraints
2.46/1.31	c (0,0) translated 106 (30%) constraints
2.46/1.32	c (0,0) translated 141 (40%) constraints
2.46/1.32	c (0,0) translated 176 (50%) constraints
2.46/1.33	c (0,0) translated 212 (60%) constraints
2.46/1.33	c (0,0) translated 247 (70%) constraints
2.46/1.34	c (0,0) translated 282 (80%) constraints
2.46/1.34	c (0,0) translated 317 (90%) constraints
2.46/1.35	c (0,0) translated 352 (100%) constraints
2.46/1.35	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) Hybrid: #OE=50, #LE=0
2.46/1.38	c (0,0) Simplify CSPinCNF Begin
2.84/1.48	c (0,0) Simplify CSPinCNF 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) 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.64/1.97	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 74517 SAT clauses)
4.92/2.18	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 125424 SAT clauses)
5.14/2.36	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 172822 SAT clauses)
5.35/2.56	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 222135 SAT clauses)
5.56/2.73	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 266424 SAT clauses)
5.77/2.90	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 309648 SAT clauses)
5.89/3.06	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 349910 SAT clauses)
6.08/3.21	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 388929 SAT clauses)
6.19/3.34	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 421661 SAT clauses)
6.30/3.43	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 444328 SAT clauses)
6.30/3.43	c (2,2) CSPinCNF to SatSolver End
6.30/3.43	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.30/3.43	c (2,2) 23206 bool, 444490 clause
6.30/3.43	c (2,2) Export Begin
6.47/3.52	c (2,2) Export to HOME/scop-12044-serial-file.bin
6.47/3.52	c (2,2) Export End
6.47/3.52	c (2,2) Export File Size: 0.01 MB
6.47/3.52	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.47/3.52	c END-Prog: Tue Sep 24 17:16:41 CEST 2019
6.47/3.54	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12044-serial-file.bin
6.53/4.00	c (0,0) Read Serial File Begin
6.53/4.00	c (0,0) HOME/scop-12044-serial-file.bin
7.41/4.20	c (0,0) Read Serial File End
7.41/4.21	
7.41/4.21	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.41/4.21	(Solving Process)
7.41/4.21	
7.41/4.23	c BEGIN-Prog: Tue Sep 24 17:16:41 CEST 2019
7.41/4.23	c PID: 12067
7.41/4.23	c IP: 172.20.3.149
7.41/4.23	c HOST: node149.alineos.net
7.41/4.24	c (0,0) SatSolver.solve Begin
7.41/4.24	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405579-1569338236.xml-scop-12047.cnf
7.41/4.26	c (0,0) c
7.41/4.26	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
7.41/4.26	c (0,0) c
7.41/4.26	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.41/4.26	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.41/4.26	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.41/4.26	c (0,0) c |                                                                                                       |
7.65/4.42	c (0,0) c |  Number of variables:         23206                                                                   |
7.65/4.42	c (0,0) c |  Number of clauses:          444490                                                                   |
7.65/4.42	c (0,0) c |  Parse time:                   0.15 s                                                                 |
7.65/4.42	c (0,0) c |                                                                                                       |
8.39/5.09	c (1,0) c |  Simplification time:          0.66 s                                                                 |
8.39/5.09	c (1,0) c |                                                                                                       |
8.39/5.09	c (1,0) c |  Generating clones                                                                                    |
8.58/5.22	c (1,0) c |  all clones generated. Memory =   311.25Mb.                                                           |
8.58/5.22	c (1,0) c ========================================================================================================|
8.58/5.22	c (1,0) c
8.58/5.22	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.58/5.22	c (1,0) c
8.58/5.22	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.58/5.22	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.58/5.22	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.58/5.22	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.58/5.22	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.58/5.22	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.58/5.22	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.58/5.22	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.58/5.22	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.58/5.22	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.58/5.22	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.58/5.22	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.58/5.22	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.58/5.22	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.58/5.22	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.58/5.22	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.58/5.22	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.58/5.22	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.58/5.22	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.90/34.52	c (30,0) c
241.90/34.52	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
241.90/34.52	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
241.90/34.52	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
241.90/34.52	c (30,0) c |  0 |    190 |     112551 |      54087 |    48281 |    15544 |     9254 |    57976 |     6726 |      181 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  1 |    210 |     118300 |      55621 |    53315 |    17084 |     9282 |    57645 |     6800 |      184 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  2 |    239 |     117539 |      54605 |    51935 |    16066 |     9025 |    58688 |     6884 |      182 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  3 |    212 |     116661 |      55997 |    50458 |    17463 |     9060 |    59384 |     6891 |      189 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  4 |    234 |     123017 |      58222 |    51428 |    19679 |     9663 |    61791 |     7169 |      196 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  5 |    248 |     120852 |      58176 |    47775 |    19633 |     9662 |    61798 |     7212 |      195 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  6 |    198 |     118953 |      58052 |    49551 |    19508 |     9720 |    61857 |     6882 |      197 |  20 |  0.116 |
241.90/34.52	c (30,0) c |  7 |    263 |     124601 |      58219 |    53277 |    19676 |     9209 |    61934 |     7312 |      195 |  20 |  0.116 |
241.90/34.52	c (30,0) c 
241.90/34.52	c (30,0) c synthesis      452979 conflicts   361246930 propagations     1939 conflicts/sec  1546252 propagations/sec
241.90/34.52	c (30,0) c real: 30.256 s, cpu: 233.627 s, memory: 1004.93 Mb
470.38/63.52	c (59,0) c
470.38/63.52	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
470.38/63.52	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
470.38/63.52	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
470.38/63.52	c (59,0) c |  0 |    342 |     175717 |      90922 |    57076 |    19742 |    13867 |    91002 |    11660 |      346 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  1 |    402 |     183392 |      92257 |    62415 |    21077 |    13720 |    92586 |    11978 |      352 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  2 |    401 |     181570 |      90117 |    61467 |    18933 |    13273 |    90965 |    11814 |      343 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  3 |    335 |     182058 |      93406 |    61670 |    22231 |    13506 |    93749 |    11930 |      358 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  4 |    352 |     182432 |      93119 |    60874 |    21944 |    14098 |    92704 |    11979 |      354 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  5 |    447 |     186172 |      94833 |    57116 |    23654 |    14051 |    94310 |    12249 |      363 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  6 |    332 |     181974 |      93878 |    59847 |    22701 |    13895 |    93401 |    11804 |      363 |  20 |  0.116 |
470.38/63.52	c (59,0) c |  7 |    404 |     187324 |      93350 |    63903 |    22174 |    13671 |    92883 |    12138 |      354 |  20 |  0.116 |
470.38/63.52	c (59,0) c 
470.38/63.52	c (59,0) c synthesis      741882 conflicts   622659827 propagations     1606 conflicts/sec  1347932 propagations/sec
470.38/63.52	c (59,0) c real: 59.256 s, cpu: 461.937 s, memory: 1398.37 Mb
700.79/92.52	c (88,0) c
700.79/92.52	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
700.79/92.52	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
700.79/92.52	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
700.79/92.52	c (88,0) c |  0 |    459 |     235182 |     126562 |    65612 |    35173 |    17604 |   117282 |    15617 |      522 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  1 |    529 |     235344 |     122605 |    68195 |    31221 |    16927 |   114627 |    15741 |      508 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  2 |    569 |     237692 |     122301 |    67961 |    30912 |    16883 |   115966 |    15865 |      509 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  3 |    480 |     235915 |     124585 |    68495 |    33203 |    16778 |   116406 |    15819 |      515 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  4 |    464 |     237492 |     124944 |    67869 |    33559 |    17677 |   113690 |    15849 |      514 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  5 |    570 |     238081 |     125086 |    64369 |    33699 |    17478 |   116891 |    15745 |      517 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  6 |    451 |     234200 |     122997 |    69096 |    31611 |    16752 |   116480 |    15292 |      511 |  20 |  0.116 |
700.79/92.52	c (88,0) c |  7 |    540 |     239012 |     124521 |    69192 |    33140 |    16819 |   116951 |    15986 |      514 |  20 |  0.116 |
700.79/92.52	c (88,0) c 
700.79/92.52	c (88,0) c synthesis      993601 conflicts   857838564 propagations     1435 conflicts/sec  1239254 propagations/sec
700.79/92.52	c (88,0) c real: 88.256 s, cpu: 692.222 s, memory: 1398.37 Mb
930.55/122.52	c (118,0) c
930.55/122.52	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
930.55/122.52	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
930.55/122.52	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
930.55/122.52	c (118,0) c |  0 |    575 |     280176 |     154376 |    70481 |    40190 |    20321 |   138608 |    18777 |      675 |  20 |  0.116 |
930.55/122.52	c (118,0) c |  1 |    639 |     282155 |     151727 |    72020 |    37540 |    20238 |   137529 |    19001 |      666 |  20 |  0.116 |
930.55/122.52	c (118,0) c |  2 |    721 |     290264 |     152812 |    73582 |    38621 |    20285 |   138762 |    19408 |      675 |  20 |  0.116 |
930.55/122.52	c (118,0) c |  3 |    581 |     278206 |     149999 |    72676 |    35809 |    19431 |   136674 |    18789 |      655 |  20 |  0.116 |
930.55/122.52	c (118,0) c |  4 |    577 |     286108 |     154638 |    72511 |    40452 |    20504 |   137942 |    19371 |      675 |  20 |  0.116 |
930.55/122.52	c (118,0) c |  5 |    643 |     286221 |     154103 |    70002 |    38204 |    20865 |   136807 |    18962 |      675 |  20 |  0.297 |
930.55/122.52	c (118,0) c |  6 |    583 |     285687 |     153000 |    74858 |    38810 |    19975 |   139132 |    18859 |      675 |  20 |  0.116 |
930.55/122.52	c (118,0) c |  7 |    657 |     288635 |     153616 |    74051 |    39426 |    19840 |   139034 |    19266 |      675 |  20 |  0.116 |
930.55/122.52	c (118,0) c 
930.55/122.52	c (118,0) c synthesis     1224271 conflicts  1076197231 propagations     1329 conflicts/sec  1168265 propagations/sec
930.55/122.52	c (118,0) c real: 118.256 s, cpu: 921.192 s, memory: 1364.12 Mb
1155.82/152.52	c (148,0) c
1155.82/152.52	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1155.82/152.52	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1155.82/152.52	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1155.82/152.52	c (148,0) c |  0 |    678 |     325421 |     181821 |    74827 |    41951 |    23109 |   157791 |    21844 |      834 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  1 |    752 |     328349 |     180290 |    76447 |    40441 |    23254 |   157855 |    21976 |      836 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  2 |    857 |     334648 |     179255 |    77162 |    39462 |    22650 |   157739 |    22313 |      833 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  3 |    649 |     322775 |     177833 |    77484 |    37972 |    21957 |   156321 |    21607 |      816 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  4 |    686 |     331944 |     182624 |    76294 |    42329 |    23576 |   156274 |    22363 |      836 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  5 |    745 |     334897 |     183176 |    75443 |    42448 |    23672 |   156106 |    21998 |      836 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  6 |    729 |     330387 |     180396 |    77781 |    40593 |    22447 |   158567 |    21935 |      836 |  20 |  0.358 |
1155.82/152.52	c (148,0) c |  7 |    760 |     333736 |     181296 |    78766 |    41159 |    22551 |   158414 |    22057 |      836 |  20 |  0.358 |
1155.82/152.52	c (148,0) c 
1155.82/152.52	c (148,0) c synthesis     1446691 conflicts  1288762340 propagations     1262 conflicts/sec  1124463 propagations/sec
1155.82/152.52	c (148,0) c real: 148.256 s, cpu: 1146.11 s, memory: 1364.12 Mb
1385.38/181.52	c (177,0) c
1385.38/181.52	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1385.38/181.52	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1385.38/181.52	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1385.38/181.52	c (177,0) c |  0 |    757 |     370608 |     210394 |    78249 |    42670 |    25888 |   175395 |    24593 |     1002 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  1 |    860 |     368785 |     204799 |    79296 |    37082 |    25314 |   174951 |    24517 |      988 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  2 |    924 |     375693 |     205621 |    79905 |    37927 |    24998 |   175337 |    24959 |      991 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  3 |    722 |     368071 |     207482 |    81159 |    39759 |    24745 |   174620 |    24336 |      989 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  4 |    785 |     377467 |     211524 |    79459 |    43596 |    26543 |   175359 |    25313 |     1008 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  5 |    824 |     379368 |     212148 |    78593 |    43991 |    26288 |   174549 |    24933 |     1007 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  6 |    822 |     373019 |     207002 |    81143 |    39306 |    25035 |   176315 |    24670 |      996 |  20 |  0.358 |
1385.38/181.52	c (177,0) c |  7 |    871 |     380055 |     209787 |    81986 |    41926 |    24937 |   177296 |    25061 |     1005 |  20 |  0.358 |
1385.38/181.52	c (177,0) c 
1385.38/181.52	c (177,0) c synthesis     1668757 conflicts  1500901449 propagations     1214 conflicts/sec  1091614 propagations/sec
1385.38/181.52	c (177,0) c real: 177.256 s, cpu: 1374.94 s, memory: 1364.12 Mb
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c real time : 193.261 s
1508.46/197.52	c (193,0) c cpu time  : 1497.86 s
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c | Conflicts     |         1777720 |     224291 |     219456 |     219304 |     222843 |     225207 |     222981 |     221653 |     221985 |
1508.46/197.52	c (193,0) c | Decisions     |         3167895 |     393337 |     391882 |     396958 |     394393 |     397945 |     397007 |     396313 |     400060 |
1508.46/197.52	c (193,0) c | Propagations  |      1607132553 |  200650657 |  199363118 |  199783937 |  202403108 |  202339705 |  201242433 |  201151456 |  200198139 |
1508.46/197.52	c (193,0) c | ReduceDBs     |              96 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
1508.46/197.52	c (193,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
1508.46/197.52	c (193,0) c | Restarts      |            6928 |        823 |        906 |        957 |        760 |        832 |        875 |        853 |        922 |
1508.46/197.52	c (193,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1508.46/197.52	c (193,0) c | PropBinClauses|      2263525028 |  283220296 |  279261992 |  282172405 |  284843938 |  285326929 |  281824171 |  284416580 |  282458717 |
1508.46/197.52	c (193,0) c | PropPreBlocker|     26199611032 | 3292466295 | 3251555937 | 3253605136 | 3270173443 | 3310127257 | 3259613646 | 3287766436 | 3274302882 |
1508.46/197.52	c (193,0) c | PropNotBlocker|     10321982116 | 1292419436 | 1287025486 | 1295658334 | 1278345025 | 1294379479 | 1285624851 | 1294966908 | 1293562597 |
1508.46/197.52	c (193,0) c | LitFullScans  |     52128618744 | 6552573265 | 6486765132 | 6486705965 | 6490844322 | 6576576752 | 6486539418 | 6538119914 | 6510493976 |
1508.46/197.52	c (193,0) c | LitScanFracts |         4442766 |     570925 |     735951 |     703632 |     476907 |     527127 |     503093 |     453920 |     471211 |
1508.46/197.52	c (193,0) c | DecisionLevel0|            6937 |        824 |        907 |        958 |        761 |        834 |        877 |        853 |        923 |
1508.46/197.52	c (193,0) c | Periods       |            8686 |       1092 |       1081 |       1081 |       1081 |       1096 |       1081 |       1089 |       1085 |
1508.46/197.52	c (193,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1508.46/197.52	c (193,0) c | Avg_Trail     |                 |       6688 |       6696 |       6681 |       6770 |       6695 |       6733 |       6753 |       6706 |
1508.46/197.52	c (193,0) c | Avg_DL        |                 |         22 |         22 |         23 |         23 |         22 |         21 |         23 |         23 |
1508.46/197.52	c (193,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1508.46/197.52	c (193,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c | Exported      |          213466 |      27048 |      26628 |      26136 |      26181 |      27758 |      27253 |      26664 |      25798 |
1508.46/197.52	c (193,0) c | Imported      |         1474644 |     184895 |     184111 |     183375 |     184406 |     184529 |     183248 |     185071 |     185009 |
1508.46/197.52	c (193,0) c | Good          |             343 |         40 |         45 |         40 |         47 |         46 |         37 |         42 |         46 |
1508.46/197.52	c (193,0) c | Purge         |         1474301 |     184855 |     184066 |     183335 |     184359 |     184483 |     183211 |     185029 |     184963 |
1508.46/197.52	c (193,0) c | Promoted      |          209667 |      26137 |      25981 |      26233 |      25908 |      26665 |      26096 |      26126 |      26521 |
1508.46/197.52	c (193,0) c | Remove_Imp    |          884720 |     109650 |     111159 |     112325 |     111023 |     109059 |     109331 |     111895 |     110278 |
1508.46/197.52	c (193,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          2 |          2 |          0 |          1 |
1508.46/197.52	c (193,0) c | Binaries      |                 |          9 |          4 |          9 |          2 |          3 |         12 |          7 |          3 |
1508.46/197.52	c (193,0) c | Glues         |                 |        217 |        219 |        224 |        197 |        196 |        234 |        188 |        216 |
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c | Orig_Seen     |            18 % |      79790 |      81075 |      82321 |      85055 |      80488 |      80937 |      83349 |      83256 |
1508.46/197.52	c (193,0) c | Diff Orig seen|                 | -     5265 | -     3980 | -     2734 |      X     | -     4567 | -     4118 | -     1706 | -     1799 |
1508.46/197.52	c (193,0) c | Hamming       |            26 % |       6141 |       6645 |       3768 |      X     |       7475 |       7400 |       4121 |       6752 |
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c | RunningTime   |                 |  187.0  98%|  191.0  99%|  191.2  99%|  190.8 100%|  186.1  97%|  185.2  97%|  187.7  98%|  185.3  97%|
1508.46/197.52	c (193,0) c | WaitingTime   |                 |    4.4   2%|    1.0   1%|    0.9   0%|    0.7   0%|    5.4   3%|    6.3   3%|    3.8   2%|    6.2   3%|
1508.46/197.52	c (193,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%|
1508.46/197.52	c (193,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%|
1508.46/197.52	c (193,0) c | SolvingTime   |                 |  191.6     |  192.1     |  192.3     |  191.6     |  191.7     |  191.6     |  191.6     |  191.6     |
1508.46/197.52	c (193,0) c | PropagationTim|                 |  166.4  87%|  163.7  85%|  164.8  86%|  163.5  85%|  165.0  86%|  164.8  86%|  164.5  86%|  165.2  86%|
1508.46/197.52	c (193,0) c | AnalysisTime  |                 |   21.2  11%|   24.2  13%|   23.5  12%|   24.0  13%|   22.6  12%|   22.6  12%|   22.9  12%|   22.4  12%|
1508.46/197.52	c (193,0) c | ReductionTime |                 |    0.5   0%|    0.6   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.6   0%|    0.5   0%|
1508.46/197.52	c (193,0) c | SimplifyTime  |                 |    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1508.46/197.52	c (193,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%|
1508.46/197.52	c (193,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%|
1508.46/197.52	c (193,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c
1508.46/197.52	c (193,0) c Threads : 8
1508.46/197.52	c (193,0) c Winner : 3
1508.46/197.52	c (193,0) c Conflicts_0 : 224291
1508.46/197.52	c (193,0) c Conflicts_1 : 219456
1508.46/197.52	c (193,0) c Conflicts_2 : 219304
1508.46/197.52	c (193,0) c Conflicts_3 : 222843
1508.46/197.52	c (193,0) c Conflicts_4 : 225207
1508.46/197.52	c (193,0) c Conflicts_5 : 222981
1508.46/197.52	c (193,0) c Conflicts_6 : 221653
1508.46/197.52	c (193,0) c Conflicts_7 : 221985
1508.46/197.52	c (193,0) c Conflicts_total : 1777720
1508.46/197.52	c (193,0) c Conflicts_winner : 222843
1508.46/197.52	c (193,0) c Decisions_0 : 393337
1508.46/197.52	c (193,0) c Decisions_1 : 391882
1508.46/197.52	c (193,0) c Decisions_2 : 396958
1508.46/197.52	c (193,0) c Decisions_3 : 394393
1508.46/197.52	c (193,0) c Decisions_4 : 397945
1508.46/197.52	c (193,0) c Decisions_5 : 397007
1508.46/197.52	c (193,0) c Decisions_6 : 396313
1508.46/197.52	c (193,0) c Decisions_7 : 400060
1508.46/197.52	c (193,0) c Decisions_total : 3167895
1508.46/197.52	c (193,0) c Decisions_winner : 394393
1508.46/197.52	c (193,0) c Propagations_0 : 200650657
1508.46/197.52	c (193,0) c Propagations_1 : 199363118
1508.46/197.52	c (193,0) c Propagations_2 : 199783937
1508.46/197.52	c (193,0) c Propagations_3 : 202403108
1508.46/197.52	c (193,0) c Propagations_4 : 202339705
1508.46/197.52	c (193,0) c Propagations_5 : 201242433
1508.46/197.52	c (193,0) c Propagations_6 : 201151456
1508.46/197.52	c (193,0) c Propagations_7 : 200198139
1508.46/197.52	c (193,0) c Propagations_total : 1607132553
1508.46/197.52	c (193,0) c Propagations_winner : 202403108
1508.46/197.52	c (193,0) c ReduceDBs_0 : 12
1508.46/197.52	c (193,0) c ReduceDBs_1 : 12
1508.46/197.52	c (193,0) c ReduceDBs_2 : 12
1508.46/197.52	c (193,0) c ReduceDBs_3 : 12
1508.46/197.52	c (193,0) c ReduceDBs_4 : 12
1508.46/197.52	c (193,0) c ReduceDBs_5 : 12
1508.46/197.52	c (193,0) c ReduceDBs_6 : 12
1508.46/197.52	c (193,0) c ReduceDBs_7 : 12
1508.46/197.52	c (193,0) c ReduceDBs_total : 96
1508.46/197.52	c (193,0) c ReduceDBs_winner : 12
1508.46/197.52	c (193,0) c SimpDBs_0 : 4
1508.46/197.52	c (193,0) c SimpDBs_1 : 4
1508.46/197.52	c (193,0) c SimpDBs_2 : 4
1508.46/197.52	c (193,0) c SimpDBs_3 : 4
1508.46/197.52	c (193,0) c SimpDBs_4 : 4
1508.46/197.52	c (193,0) c SimpDBs_5 : 4
1508.46/197.52	c (193,0) c SimpDBs_6 : 4
1508.46/197.52	c (193,0) c SimpDBs_7 : 4
1508.46/197.52	c (193,0) c SimpDBs_total : 32
1508.46/197.52	c (193,0) c SimpDBs_winner : 4
1508.46/197.52	c (193,0) c Restarts_0 : 823
1508.46/197.52	c (193,0) c Restarts_1 : 906
1508.46/197.52	c (193,0) c Restarts_2 : 957
1508.46/197.52	c (193,0) c Restarts_3 : 760
1508.46/197.52	c (193,0) c Restarts_4 : 832
1508.46/197.52	c (193,0) c Restarts_5 : 875
1508.46/197.52	c (193,0) c Restarts_6 : 853
1508.46/197.52	c (193,0) c Restarts_7 : 922
1508.46/197.52	c (193,0) c Restarts_total : 6928
1508.46/197.52	c (193,0) c Restarts_winner : 760
1508.46/197.52	c (193,0) c ForcedImports_0 : 0
1508.46/197.52	c (193,0) c ForcedImports_1 : 0
1508.46/197.52	c (193,0) c ForcedImports_2 : 0
1508.46/197.52	c (193,0) c ForcedImports_3 : 0
1508.46/197.52	c (193,0) c ForcedImports_4 : 0
1508.46/197.52	c (193,0) c ForcedImports_5 : 0
1508.46/197.52	c (193,0) c ForcedImports_6 : 0
1508.46/197.52	c (193,0) c ForcedImports_7 : 0
1508.46/197.52	c (193,0) c ForcedImports_total : 0
1508.46/197.53	c (193,0) c ForcedImports_winner : 0
1508.46/197.53	c (193,0) c PropsBinClauses_0 : 283220296
1508.46/197.53	c (193,0) c PropsBinClauses_1 : 279261992
1508.46/197.53	c (193,0) c PropsBinClauses_2 : 282172405
1508.46/197.53	c (193,0) c PropsBinClauses_3 : 284843938
1508.46/197.53	c (193,0) c PropsBinClauses_4 : 285326929
1508.46/197.53	c (193,0) c PropsBinClauses_5 : 281824171
1508.46/197.53	c (193,0) c PropsBinClauses_6 : 284416580
1508.46/197.53	c (193,0) c PropsBinClauses_7 : 282458717
1508.46/197.53	c (193,0) c PropsBinClauses_total : 2263525028
1508.46/197.53	c (193,0) c PropsBinClauses_winner : 284843938
1508.46/197.53	c (193,0) c PropsPreBlocker_0 : 3292466295
1508.46/197.53	c (193,0) c PropsPreBlocker_1 : 3251555937
1508.46/197.53	c (193,0) c PropsPreBlocker_2 : 3253605136
1508.46/197.53	c (193,0) c PropsPreBlocker_3 : 3270173443
1508.46/197.53	c (193,0) c PropsPreBlocker_4 : 3310127257
1508.46/197.53	c (193,0) c PropsPreBlocker_5 : 3259613646
1508.46/197.53	c (193,0) c PropsPreBlocker_6 : 3287766436
1508.46/197.53	c (193,0) c PropsPreBlocker_7 : 3274302882
1508.46/197.53	c (193,0) c PropsPreBlocker_total : 26199611032
1508.46/197.53	c (193,0) c PropsPreBlocker_winner : 3270173443
1508.46/197.53	c (193,0) c PropsNotBlocker_0 : 1292419436
1508.46/197.53	c (193,0) c PropsNotBlocker_1 : 1287025486
1508.46/197.53	c (193,0) c PropsNotBlocker_2 : 1295658334
1508.46/197.53	c (193,0) c PropsNotBlocker_3 : 1278345025
1508.46/197.53	c (193,0) c PropsNotBlocker_4 : 1294379479
1508.46/197.53	c (193,0) c PropsNotBlocker_5 : 1285624851
1508.46/197.53	c (193,0) c PropsNotBlocker_6 : 1294966908
1508.46/197.53	c (193,0) c PropsNotBlocker_7 : 1293562597
1508.46/197.53	c (193,0) c PropsNotBlocker_total : 10321982116
1508.46/197.53	c (193,0) c PropsNotBlocker_winner : 1278345025
1508.46/197.53	c (193,0) c PropsLitFullScans_0 : 6552573265
1508.46/197.53	c (193,0) c PropsLitFullScans_1 : 6486765132
1508.46/197.53	c (193,0) c PropsLitFullScans_2 : 6486705965
1508.46/197.53	c (193,0) c PropsLitFullScans_3 : 6490844322
1508.46/197.53	c (193,0) c PropsLitFullScans_4 : 6576576752
1508.46/197.53	c (193,0) c PropsLitFullScans_5 : 6486539418
1508.46/197.53	c (193,0) c PropsLitFullScans_6 : 6538119914
1508.46/197.53	c (193,0) c PropsLitFullScans_7 : 6510493976
1508.46/197.53	c (193,0) c PropsLitFullScans_total : 52128618744
1508.46/197.53	c (193,0) c PropsLitFullScans_winner : 6490844322
1508.46/197.53	c (193,0) c LitScanFractions_0 : 570925
1508.46/197.53	c (193,0) c LitScanFractions_1 : 735951
1508.46/197.53	c (193,0) c LitScanFractions_2 : 703632
1508.46/197.53	c (193,0) c LitScanFractions_3 : 476907
1508.46/197.53	c (193,0) c LitScanFractions_4 : 527127
1508.46/197.53	c (193,0) c LitScanFractions_5 : 503093
1508.46/197.53	c (193,0) c LitScanFractions_6 : 453920
1508.46/197.53	c (193,0) c LitScanFractions_7 : 471211
1508.46/197.53	c (193,0) c LitScanFractions_total : 4442766
1508.46/197.53	c (193,0) c LitScanFractions_winner : 476907
1508.46/197.53	c (193,0) c DecisionLevel0_0 : 824
1508.46/197.53	c (193,0) c DecisionLevel0_1 : 907
1508.46/197.53	c (193,0) c DecisionLevel0_2 : 958
1508.46/197.53	c (193,0) c DecisionLevel0_3 : 761
1508.46/197.53	c (193,0) c DecisionLevel0_4 : 834
1508.46/197.53	c (193,0) c DecisionLevel0_5 : 877
1508.46/197.53	c (193,0) c DecisionLevel0_6 : 853
1508.46/197.53	c (193,0) c DecisionLevel0_7 : 923
1508.46/197.53	c (193,0) c DecisionLevel0_total : 6937
1508.46/197.53	c (193,0) c DecisionLevel0_winner : 761
1508.46/197.53	c (193,0) c Periods_0 : 1092
1508.46/197.53	c (193,0) c Periods_1 : 1081
1508.46/197.53	c (193,0) c Periods_2 : 1081
1508.46/197.53	c (193,0) c Periods_3 : 1081
1508.46/197.53	c (193,0) c Periods_4 : 1096
1508.46/197.53	c (193,0) c Periods_5 : 1081
1508.46/197.53	c (193,0) c Periods_6 : 1089
1508.46/197.53	c (193,0) c Periods_7 : 1085
1508.46/197.53	c (193,0) c Periods_total : 8686
1508.46/197.53	c (193,0) c Periods_winner : 1081
1508.46/197.53	c (193,0) c Margin_0 : 20
1508.46/197.53	c (193,0) c Margin_1 : 20
1508.46/197.53	c (193,0) c Margin_2 : 20
1508.46/197.53	c (193,0) c Margin_3 : 20
1508.46/197.53	c (193,0) c Margin_4 : 20
1508.46/197.53	c (193,0) c Margin_5 : 20
1508.46/197.53	c (193,0) c Margin_6 : 20
1508.46/197.53	c (193,0) c Margin_7 : 20
1508.46/197.53	c (193,0) c Margin_total : 160
1508.46/197.53	c (193,0) c Margin_winner : 20
1508.46/197.53	c (193,0) c Exported_0 : 27048
1508.46/197.53	c (193,0) c Exported_1 : 26628
1508.46/197.53	c (193,0) c Exported_2 : 26136
1508.46/197.53	c (193,0) c Exported_3 : 26181
1508.46/197.53	c (193,0) c Exported_4 : 27758
1508.46/197.53	c (193,0) c Exported_5 : 27253
1508.46/197.53	c (193,0) c Exported_6 : 26664
1508.46/197.53	c (193,0) c Exported_7 : 25798
1508.46/197.53	c (193,0) c Exported_total : 213466
1508.46/197.53	c (193,0) c Exported_winner : 26181
1508.46/197.53	c (193,0) c Imported_0 : 184895
1508.46/197.53	c (193,0) c Imported_1 : 184111
1508.46/197.53	c (193,0) c Imported_2 : 183375
1508.46/197.53	c (193,0) c Imported_3 : 184406
1508.46/197.53	c (193,0) c Imported_4 : 184529
1508.46/197.53	c (193,0) c Imported_5 : 183248
1508.46/197.53	c (193,0) c Imported_6 : 185071
1508.46/197.53	c (193,0) c Imported_7 : 185009
1508.46/197.53	c (193,0) c Imported_total : 1474644
1508.46/197.53	c (193,0) c Imported_winner : 184406
1508.46/197.53	c (193,0) c Good_0 : 40
1508.46/197.53	c (193,0) c Good_1 : 45
1508.46/197.53	c (193,0) c Good_2 : 40
1508.46/197.53	c (193,0) c Good_3 : 47
1508.46/197.53	c (193,0) c Good_4 : 46
1508.46/197.53	c (193,0) c Good_5 : 37
1508.46/197.53	c (193,0) c Good_6 : 42
1508.46/197.53	c (193,0) c Good_7 : 46
1508.46/197.53	c (193,0) c Good_total : 343
1508.46/197.53	c (193,0) c Good_winner : 47
1508.46/197.53	c (193,0) c Purge_0 : 184855
1508.46/197.53	c (193,0) c Purge_1 : 184066
1508.46/197.53	c (193,0) c Purge_2 : 183335
1508.46/197.53	c (193,0) c Purge_3 : 184359
1508.46/197.53	c (193,0) c Purge_4 : 184483
1508.46/197.53	c (193,0) c Purge_5 : 183211
1508.46/197.53	c (193,0) c Purge_6 : 185029
1508.46/197.53	c (193,0) c Purge_7 : 184963
1508.46/197.53	c (193,0) c Purge_total : 1474301
1508.46/197.53	c (193,0) c Purge_winner : 184359
1508.46/197.53	c (193,0) c Promoted_0 : 26137
1508.46/197.53	c (193,0) c Promoted_1 : 25981
1508.46/197.53	c (193,0) c Promoted_2 : 26233
1508.46/197.53	c (193,0) c Promoted_3 : 25908
1508.46/197.53	c (193,0) c Promoted_4 : 26665
1508.46/197.53	c (193,0) c Promoted_5 : 26096
1508.46/197.53	c (193,0) c Promoted_6 : 26126
1508.46/197.53	c (193,0) c Promoted_7 : 26521
1508.46/197.53	c (193,0) c Promoted_total : 209667
1508.46/197.53	c (193,0) c Promoted_winner : 25908
1508.46/197.53	c (193,0) c Remove_Imp_0 : 109650
1508.46/197.53	c (193,0) c Remove_Imp_1 : 111159
1508.46/197.53	c (193,0) c Remove_Imp_2 : 112325
1508.46/197.53	c (193,0) c Remove_Imp_3 : 111023
1508.46/197.53	c (193,0) c Remove_Imp_4 : 109059
1508.46/197.53	c (193,0) c Remove_Imp_5 : 109331
1508.46/197.53	c (193,0) c Remove_Imp_6 : 111895
1508.46/197.53	c (193,0) c Remove_Imp_7 : 110278
1508.46/197.53	c (193,0) c Remove_Imp_total : 884720
1508.46/197.53	c (193,0) c Remove_Imp_winner : 111023
1508.46/197.53	c (193,0) c Blocked_Reuse_0 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_1 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_2 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_3 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_4 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_5 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_6 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_7 : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_total : 0
1508.46/197.53	c (193,0) c Blocked_Reuse_winner : 0
1508.46/197.53	c (193,0) c Unaries_0 : 1
1508.46/197.53	c (193,0) c Unaries_1 : 1
1508.46/197.53	c (193,0) c Unaries_2 : 1
1508.46/197.53	c (193,0) c Unaries_3 : 1
1508.46/197.53	c (193,0) c Unaries_4 : 2
1508.46/197.53	c (193,0) c Unaries_5 : 2
1508.46/197.53	c (193,0) c Unaries_6 : 0
1508.46/197.53	c (193,0) c Unaries_7 : 1
1508.46/197.53	c (193,0) c Unaries_total : 9
1508.46/197.53	c (193,0) c Unaries_winner : 1
1508.46/197.53	c (193,0) c Binaries_0 : 9
1508.46/197.53	c (193,0) c Binaries_1 : 4
1508.46/197.53	c (193,0) c Binaries_2 : 9
1508.46/197.53	c (193,0) c Binaries_3 : 2
1508.46/197.53	c (193,0) c Binaries_4 : 3
1508.46/197.53	c (193,0) c Binaries_5 : 12
1508.46/197.53	c (193,0) c Binaries_6 : 7
1508.46/197.53	c (193,0) c Binaries_7 : 3
1508.46/197.53	c (193,0) c Binaries_total : 49
1508.46/197.53	c (193,0) c Binaries_winner : 2
1508.46/197.53	c (193,0) c Glues_0 : 217
1508.46/197.53	c (193,0) c Glues_1 : 219
1508.46/197.53	c (193,0) c Glues_2 : 224
1508.46/197.53	c (193,0) c Glues_3 : 197
1508.46/197.53	c (193,0) c Glues_4 : 196
1508.46/197.53	c (193,0) c Glues_5 : 234
1508.46/197.53	c (193,0) c Glues_6 : 188
1508.46/197.53	c (193,0) c Glues_7 : 216
1508.46/197.53	c (193,0) c Glues_total : 1691
1508.46/197.53	c (193,0) c Glues_winner : 197
1508.46/197.53	c (193,0) c RunningTime_0 : 187.049420
1508.46/197.53	c (193,0) c RunningTime_1 : 191.013888
1508.46/197.53	c (193,0) c RunningTime_2 : 191.249955
1508.46/197.53	c (193,0) c RunningTime_3 : 190.790578
1508.46/197.53	c (193,0) c RunningTime_4 : 186.136240
1508.46/197.53	c (193,0) c RunningTime_5 : 185.190036
1508.46/197.53	c (193,0) c RunningTime_6 : 187.678920
1508.46/197.53	c (193,0) c RunningTime_7 : 185.344501
1508.46/197.53	c (193,0) c RunningTime_total : 1504.453539
1508.46/197.53	c (193,0) c RunningTime_winner : 190.790578
1508.46/197.53	c (193,0) c WaitingTime_0 : 4.406476
1508.46/197.53	c (193,0) c WaitingTime_1 : 0.963292
1508.46/197.53	c (193,0) c WaitingTime_2 : 0.886436
1508.46/197.53	c (193,0) c WaitingTime_3 : 0.652774
1508.46/197.53	c (193,0) c WaitingTime_4 : 5.429281
1508.46/197.53	c (193,0) c WaitingTime_5 : 6.272298
1508.46/197.53	c (193,0) c WaitingTime_6 : 3.810851
1508.46/197.53	c (193,0) c WaitingTime_7 : 6.174317
1508.46/197.53	c (193,0) c WaitingTime_total : 28.595725
1508.46/197.53	c (193,0) c WaitingTime_winner : 0.652774
1508.46/197.53	c (193,0) c ExchangingTime_0 : 0.124285
1508.46/197.53	c (193,0) c ExchangingTime_1 : 0.121961
1508.46/197.53	c (193,0) c ExchangingTime_2 : 0.122540
1508.46/197.53	c (193,0) c ExchangingTime_3 : 0.121805
1508.46/197.53	c (193,0) c ExchangingTime_4 : 0.113878
1508.46/197.53	c (193,0) c ExchangingTime_5 : 0.113193
1508.46/197.53	c (193,0) c ExchangingTime_6 : 0.136782
1508.46/197.53	c (193,0) c ExchangingTime_7 : 0.111919
1508.46/197.53	c (193,0) c ExchangingTime_total : 0.966363
1508.46/197.53	c (193,0) c ExchangingTime_winner : 0.121805
1508.46/197.53	c (193,0) c PeriodProcTime_0 : 0.010036
1508.46/197.53	c (193,0) c PeriodProcTime_1 : 0.011804
1508.46/197.53	c (193,0) c PeriodProcTime_2 : 0.011576
1508.46/197.53	c (193,0) c PeriodProcTime_3 : 0.013100
1508.46/197.53	c (193,0) c PeriodProcTime_4 : 0.010719
1508.46/197.53	c (193,0) c PeriodProcTime_5 : 0.011061
1508.46/197.53	c (193,0) c PeriodProcTime_6 : 0.011287
1508.46/197.53	c (193,0) c PeriodProcTime_7 : 0.010546
1508.46/197.53	c (193,0) c PeriodProcTime_total : 0.090130
1508.46/197.53	c (193,0) c PeriodProcTime_winner : 0.013100
1508.46/197.53	c (193,0) c SolvingTime_0 : 191.590216
1508.46/197.53	c (193,0) c SolvingTime_1 : 192.110946
1508.46/197.53	c (193,0) c SolvingTime_2 : 192.270508
1508.46/197.53	c (193,0) c SolvingTime_3 : 191.578258
1508.46/197.53	c (193,0) c SolvingTime_4 : 191.690118
1508.46/197.53	c (193,0) c SolvingTime_5 : 191.586587
1508.46/197.53	c (193,0) c SolvingTime_6 : 191.637841
1508.46/197.53	c (193,0) c SolvingTime_7 : 191.641284
1508.46/197.53	c (193,0) c SolvingTime_total : 1534.105757
1508.46/197.53	c (193,0) c SolvingTime_winner : 191.578258
1508.46/197.53	c (193,0) c PropagationTime_0 : 166.359737
1508.46/197.53	c (193,0) c PropagationTime_1 : 163.665210
1508.46/197.53	c (193,0) c PropagationTime_2 : 164.771820
1508.46/197.53	c (193,0) c PropagationTime_3 : 163.495564
1508.46/197.53	c (193,0) c PropagationTime_4 : 165.031283
1508.46/197.53	c (193,0) c PropagationTime_5 : 164.828674
1508.46/197.53	c (193,0) c PropagationTime_6 : 164.497937
1508.46/197.53	c (193,0) c PropagationTime_7 : 165.212598
1508.46/197.53	c (193,0) c PropagationTime_total : 1317.862823
1508.46/197.53	c (193,0) c PropagationTime_winner : 163.495564
1508.46/197.53	c (193,0) c AnalysisTime_0 : 21.184480
1508.46/197.53	c (193,0) c AnalysisTime_1 : 24.201122
1508.46/197.53	c (193,0) c AnalysisTime_2 : 23.504893
1508.46/197.53	c (193,0) c AnalysisTime_3 : 23.987812
1508.46/197.53	c (193,0) c AnalysisTime_4 : 22.551469
1508.46/197.53	c (193,0) c AnalysisTime_5 : 22.641546
1508.46/197.53	c (193,0) c AnalysisTime_6 : 22.856020
1508.46/197.53	c (193,0) c AnalysisTime_7 : 22.368052
1508.46/197.53	c (193,0) c AnalysisTime_total : 183.295392
1508.46/197.53	c (193,0) c AnalysisTime_winner : 23.987812
1508.46/197.53	c (193,0) c ReductionTime_0 : 0.549340
1508.46/197.53	c (193,0) c ReductionTime_1 : 0.589673
1508.46/197.53	c (193,0) c ReductionTime_2 : 0.523494
1508.46/197.53	c (193,0) c ReductionTime_3 : 0.537976
1508.46/197.53	c (193,0) c ReductionTime_4 : 0.542240
1508.46/197.53	c (193,0) c ReductionTime_5 : 0.528669
1508.46/197.53	c (193,0) c ReductionTime_6 : 0.602695
1508.46/197.53	c (193,0) c ReductionTime_7 : 0.519328
1508.46/197.53	c (193,0) c ReductionTime_total : 4.393415
1508.46/197.53	c (193,0) c ReductionTime_winner : 0.537976
1508.46/197.53	c (193,0) c SimplifyTime_0 : 0.090121
1508.46/197.53	c (193,0) c SimplifyTime_1 : 0.194874
1508.46/197.53	c (193,0) c SimplifyTime_2 : 0.093274
1508.46/197.53	c (193,0) c SimplifyTime_3 : 0.076056
1508.46/197.53	c (193,0) c SimplifyTime_4 : 0.139319
1508.46/197.53	c (193,0) c SimplifyTime_5 : 0.136594
1508.46/197.53	c (193,0) c SimplifyTime_6 : 0.131358
1508.46/197.53	c (193,0) c SimplifyTime_7 : 0.062372
1508.46/197.53	c (193,0) c SimplifyTime_total : 0.923969
1508.46/197.53	c (193,0) c SimplifyTime_winner : 0.076056
1508.46/197.53	c (193,0) c UsedRateTime_0 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_1 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_2 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_3 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_4 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_5 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_6 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_7 : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_total : 0.000000
1508.46/197.53	c (193,0) c UsedRateTime_winner : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_0 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_1 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_2 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_3 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_4 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_5 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_6 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_7 : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_total : 0.000000
1508.46/197.53	c (193,0) c OverlapRateTime_winner : 0.000000
1508.46/197.53	c (193,0) c
1508.46/197.53	c (193,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1508.46/197.53	c (193,0) c
1508.46/197.53	c (193,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.53	c (193,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1508.46/197.53	c (193,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.53	c (193,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1508.46/197.53	c (193,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1508.46/197.53	c (193,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1508.46/197.53	c (193,0) c | Initial random_seed   |  902178546 | 1043939906 |  274136171 | 1631451274 | 1877812687 |  705320619 | 1066355221 |  333200081 |
1508.46/197.53	c (193,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1508.46/197.53	c (193,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1508.46/197.53	c (193,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1508.46/197.53	c (193,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1508.46/197.53	c (193,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1508.46/197.53	c (193,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1508.46/197.53	c (193,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1508.46/197.53	c (193,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1508.46/197.53	c (193,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1508.46/197.53	c (193,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1508.46/197.53	c (193,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1508.46/197.53	c (193,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1508.46/197.53	c (193,0) 
1508.46/197.53	c (193,0) s SATISFIABLE
1508.46/197.59	c (193,0) SatSolver.solve End
1508.46/197.59	c (193,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1508.46/197.59	c (193,0) Show results Begin
1508.73/197.69	c (193,0) x[0] = 315
1508.73/197.69	c (193,0) x[1] = 427
1508.73/197.69	c (193,0) x[2] = 360
1508.73/197.69	c (193,0) x[3] = 271
1508.73/197.69	c (193,0) x[4] = 153
1508.73/197.69	c (193,0) x[5] = 288
1508.73/197.69	c (193,0) x[6] = 288
1508.73/197.69	c (193,0) x[7] = 271
1508.73/197.69	c (193,0) x[8] = 326
1508.73/197.69	c (193,0) x[9] = 375
1508.73/197.69	c (193,0) x[10] = 315
1508.73/197.69	c (193,0) x[11] = 210
1508.73/197.69	c (193,0) x[12] = 359
1508.73/197.69	c (193,0) x[13] = 359
1508.73/197.69	c (193,0) x[14] = 288
1508.73/197.69	c (193,0) x[15] = 440
1508.73/197.69	c (193,0) x[16] = 427
1508.73/197.69	c (193,0) x[17] = 153
1508.73/197.69	c (193,0) x[18] = 210
1508.73/197.69	c (193,0) x[19] = 0
1508.73/197.69	c (193,0) x[20] = 375
1508.73/197.69	c (193,0) x[21] = 0
1508.73/197.69	c (193,0) x[22] = 360
1508.73/197.69	c (193,0) x[23] = 171
1508.73/197.69	c (193,0) x[24] = 0
1508.73/197.69	c (193,0) y[0] = 209
1508.73/197.69	c (193,0) y[1] = 81
1508.73/197.69	c (193,0) y[2] = 345
1508.73/197.69	c (193,0) y[3] = 193
1508.73/197.69	c (193,0) y[4] = 345
1508.73/197.69	c (193,0) y[5] = 193
1508.73/197.69	c (193,0) y[6] = 220
1508.73/197.69	c (193,0) y[7] = 149
1508.73/197.69	c (193,0) y[8] = 209
1508.73/197.69	c (193,0) y[9] = 149
1508.73/197.69	c (193,0) y[10] = 149
1508.73/197.69	c (193,0) y[11] = 149
1508.73/197.69	c (193,0) y[12] = 81
1508.73/197.69	c (193,0) y[13] = 0
1508.73/197.69	c (193,0) y[14] = 258
1508.73/197.69	c (193,0) y[15] = 0
1508.73/197.69	c (193,0) y[16] = 94
1508.73/197.69	c (193,0) y[17] = 210
1508.73/197.69	c (193,0) y[18] = 0
1508.73/197.69	c (193,0) y[19] = 210
1508.73/197.69	c (193,0) y[20] = 201
1508.73/197.69	c (193,0) y[21] = 363
1508.73/197.69	c (193,0) y[22] = 360
1508.73/197.69	c (193,0) y[23] = 345
1508.73/197.69	c (193,0) y[24] = 0
1508.73/197.69	s SATISFIABLE
1508.73/197.69	v <instantiation>
1508.73/197.69	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>
1508.73/197.69	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>
1508.73/197.69	v </instantiation>
1508.73/197.69	c (193,0) Show results End
1508.73/197.69	c (193,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1508.73/197.69	c (193,0) 193,193,STOP-AFTER(ALL)
1508.73/197.69	c END-Prog: Tue Sep 24 17:19:55 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 (12773 MiB free)
  memory of node 1: 16384 MiB (14326 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100152 s]*
/proc/loadavg: 7.41 7.24 5.40 2/212 12066
/proc/meminfo: memFree=27657980/32770624 swapFree=66957728/67108860
[pid=12044] ppid=12041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12044/stat : 12044 (scop.sh) S 12041 12044 11717 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510062163 115843072 349 33554432000 4194304 5098028 140730576938608 140730576935864 140715934438012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32305152 140730576945916 140730576946264 140730576946264 140730576949193 0
/proc/12044/statm: 28282 349 296 221 0 87 0
[pid=12047] ppid=12044 vsize=27314120 memory=106480 CPUtime=0.1 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12044 11717 0 -1 1077944320 6210 0 0 0 8 2 0 0 20 0 20 0 510062163 27969658880 26620 33554432000 4194304 4196468 140723503083264 140723503065808 140158514020087 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
/proc/12047/statm: 6828530 26620 2780 1 0 6790935 0
[pid=12047/tid=12048] ppid=12044 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12047/task/12048/stat : 12048 (java) R 12044 12044 11717 0 -1 4202560 4327 0 0 0 6 2 0 0 20 0 20 0 510062164 27969658880 26620 33554432000 4194304 4196468 140723503083264 140158485854528 140158514042013 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12049] ppid=12044 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140158518262032 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12050] ppid=12044 vsize=27314120 memory=140083454764672 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140158340757904 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12051] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140157934844432 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12052] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140157933791888 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12053] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140157932739344 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12054] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140157931686800 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12055] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140157930634256 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12056] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 26620 33554432000 4194304 4196468 140723503083264 140157929581712 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12057] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156632815600 140158514031234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12058] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12044 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156459803552 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12059] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156191368176 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12060] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 26620 33554432000 4194304 4196468 140723503083264 140155816859856 140158514038683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12061] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12044 11717 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156631763440 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12062] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156630710896 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12063] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156629658352 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12064] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12044 11717 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156628605808 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12065] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 26620 33554432000 4194304 4196468 140723503083264 140155318954208 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12066] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062172 27969658880 26620 33554432000 4194304 4196468 140723503083264 140156627552688 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107876 KiB

[startup+0.210652 s]*
/proc/loadavg: 7.41 7.24 5.40 4/212 12066
/proc/meminfo: memFree=27635016/32770624 swapFree=66957728/67108860
[pid=12044] ppid=12041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12044/stat : 12044 (scop.sh) S 12041 12044 11717 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510062163 115843072 349 33554432000 4194304 5098028 140730576938608 140730576935864 140715934438012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32305152 140730576945916 140730576946264 140730576946264 140730576949193 0
/proc/12044/statm: 28282 349 296 221 0 87 0
[pid=12047] ppid=12044 vsize=27314120 memory=126120 CPUtime=0.24 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12044 11717 0 -1 1077944320 11864 0 0 0 20 4 0 0 20 0 20 0 510062163 27969658880 31530 33554432000 4194304 4196468 140723503083264 140723503065808 140158514020087 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
/proc/12047/statm: 6828530 31530 2950 1 0 6790935 0
[pid=12047/tid=12048] ppid=12044 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12047/task/12048/stat : 12048 (java) R 12044 12044 11717 0 -1 4202560 9585 0 0 0 15 4 0 0 20 0 20 0 510062164 27969658880 31530 33554432000 4194304 4196468 140723503083264 140158485803648 140158494295867 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12049] ppid=12044 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140158518262032 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12050] ppid=12044 vsize=27314120 memory=140083454776838 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140158340757904 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12051] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140157934844432 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12052] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140157933791888 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12053] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140157932739344 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12054] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140157931686800 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12055] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140157930634256 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12056] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 31530 33554432000 4194304 4196468 140723503083264 140157929581712 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12057] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156632815600 140158514031234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12058] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12044 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156459803552 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12059] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156191368176 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12060] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 31530 33554432000 4194304 4196468 140723503083264 140155816859856 140158514038683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12061] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12044 11717 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156631763440 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12062] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12044 11717 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156630710896 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12063] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156629658352 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12064] ppid=12044 vsize=27314120 memory=-1 CPUtime=0.03 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12044 11717 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 20 0 510062171 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156628605808 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12065] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 31530 33554432000 4194304 4196468 140723503083264 140155318954208 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12066] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062172 27969658880 31530 33554432000 4194304 4196468 140723503083264 140156627552688 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127516 KiB

[startup+0.310572 s]*
/proc/loadavg: 7.41 7.24 5.40 3/212 12066
/proc/meminfo: memFree=27631976/32770624 swapFree=66957728/67108860
[pid=12044] ppid=12041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12044/stat : 12044 (scop.sh) S 12041 12044 11717 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510062163 115843072 349 33554432000 4194304 5098028 140730576938608 140730576935864 140715934438012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32305152 140730576945916 140730576946264 140730576946264 140730576949193 0
/proc/12044/statm: 28282 349 296 221 0 87 0
[pid=12047] ppid=12044 vsize=27314120 memory=129732 CPUtime=0.42 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12044 11717 0 -1 1077944320 12668 0 0 0 37 5 0 0 20 0 20 0 510062163 27969658880 32433 33554432000 4194304 4196468 140723503083264 140723503065808 140158514020087 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
/proc/12047/statm: 6828530 32433 3010 1 0 6790935 0
[pid=12047/tid=12048] ppid=12044 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12047/task/12048/stat : 12048 (java) R 12044 12044 11717 0 -1 4202560 10202 0 0 0 25 4 0 0 20 0 20 0 510062164 27969658880 32433 33554432000 4194304 4196468 140723503083264 140158485832800 140158495583662 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12049] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140158518262032 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12050] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140158340757904 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12051] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140157934844432 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12052] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140157933791888 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12053] ppid=12044 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140157932739344 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12054] ppid=12044 vsize=27314120 memory=140083311244207 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140157931686800 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12055] ppid=12044 vsize=27314120 memory=140083311246512 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140157930634256 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12056] ppid=12044 vsize=27314120 memory=140083311248816 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27969658880 32433 33554432000 4194304 4196468 140723503083264 140157929581712 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12057] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156632815600 140158514031234 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12058] ppid=12044 vsize=27314120 memory=280166622504592 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12044 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156459803552 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12059] ppid=12044 vsize=27314120 memory=280166622511504 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062168 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156191368176 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12060] ppid=12044 vsize=27314120 memory=280166622452656 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 32433 33554432000 4194304 4196468 140723503083264 140155816859856 140158514038683 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12061] ppid=12044 vsize=27314120 memory=280166622525328 CPUtime=0.01 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12044 11717 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 20 0 510062171 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156631763440 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12062] ppid=12044 vsize=27314120 memory=280166622532240 CPUtime=0.01 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12044 11717 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 510062171 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156630710896 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12063] ppid=12044 vsize=27314120 memory=280166622529936 CPUtime=0 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12044 11717 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156629658352 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12064] ppid=12044 vsize=27314120 memory=280166622546096 CPUtime=0.08 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12044 11717 0 -1 1077944384 472 0 0 0 8 0 0 0 20 0 20 0 510062171 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156628605808 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12065] ppid=12044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510062171 27969658880 32433 33554432000 4194304 4196468 140723503083264 140155318954208 140158514030293 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12066] ppid=12044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062172 27969658880 32433 33554432000 4194304 4196468 140723503083264 140156627552688 140158514031234 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131128 KiB

[startup+0.700866 s]
/proc/loadavg: 7.41 7.24 5.40 3/212 12066
/proc/meminfo: memFree=27610272/32770624 swapFree=66957728/67108860
[pid=12044] ppid=12041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12044/stat : 12044 (scop.sh) S 12041 12044 11717 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510062163 115843072 349 33554432000 4194304 5098028 140730576938608 140730576935864 140715934438012 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32305152 140730576945916 140730576946264 140730576946264 140730576949193 0
/proc/12044/statm: 28282 349 296 221 0 87 0
[pid=12047] ppid=12044 vsize=27322516 memory=165820 CPUtime=0.98 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12044 11717 0 -1 1077944320 20079 0 0 0 91 7 0 0 20 0 20 0 510062163 27978256384 41455 33554432000 4194304 4196468 140723503083264 140723503065808 140158514020087 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
/proc/12047/statm: 6830629 41455 3182 1 0 6791959 0
[pid=12047/tid=12048] ppid=12044 vsize=27322516 memory=280166622903984 CPUtime=0.67 cores=0-7
/proc/12047/task/12048/stat : 12048 (java) R 12044 12044 11717 0 -1 4202560 17040 0 0 0 61 6 0 0 20 0 20 0 510062164 27978256384 41455 33554432000 4194304 4196468 140723503083264 140158485851824 140158514042013 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12049] ppid=12044 vsize=27322516 memory=140083311453040 CPUtime=0 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27978256384 41455 33554432000 4194304 4196468 140723503083264 140158518262032 140158514030293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12050] ppid=12044 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27978256384 41455 33554432000 4194304 4196468 140723503083264 140158340757904 140158514030293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0
[pid=12047/tid=12051] ppid=12044 vsize=27322516 memory=6160 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510062166 27978256384 41455 33554432000 4194304 4196468 140723503083264 140157934844432 140158514030293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140723503092422 140723503092870 140723503092870 140723503095759 0

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

[pid=12087/tid=12095] ppid=12067 vsize=1396860 memory=-6948047529741492128 CPUtime=190.83 cores=0-7
/proc/12087/task/12095/stat : 12095 (manyglucose-4.1) R 12067 12044 11717 0 -1 4202560 163369 0 0 0 19061 22 0 0 20 0 3 0 510062685 1430384640 250463 33554432000 4194304 4454172 140722559464672 139884142599304 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 34070528 140722559468365 140722559468572 140722559468572 140722559471542 0
[pid=12067/tid=12068] ppid=12044 vsize=8414124 memory=1476 CPUtime=0.74 cores=0-7
/proc/12067/task/12068/stat : 12068 (java) S 12044 12044 11717 0 -1 1077944384 16916 0 0 0 69 5 0 0 20 0 24 0 510062518 8616062976 30144 33554432000 4194304 4196468 140735843172624 140197006127008 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12069] ppid=12044 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12067/task/12069/stat : 12069 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140197038529296 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12070] ppid=12044 vsize=8414124 memory=120576 CPUtime=0 cores=0-7
/proc/12067/task/12070/stat : 12070 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196861025168 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12071] ppid=12044 vsize=8414124 memory=1001800 CPUtime=0 cores=0-7
/proc/12067/task/12071/stat : 12071 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196518247440 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12072] ppid=12044 vsize=8414124 memory=11632 CPUtime=0 cores=0-7
/proc/12067/task/12072/stat : 12072 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196517194896 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12073] ppid=12044 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/12067/task/12073/stat : 12073 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196516141328 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12074] ppid=12044 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/12067/task/12074/stat : 12074 (java) S 12044 12044 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196515088784 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12075] ppid=12044 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12067/task/12075/stat : 12075 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196514036240 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12076] ppid=12044 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/12067/task/12076/stat : 12076 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510062519 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196512983696 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12077] ppid=12044 vsize=8414124 memory=6160 CPUtime=0 cores=0-7
/proc/12067/task/12077/stat : 12077 (java) S 12044 12044 11717 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510062521 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196463389168 140197034297986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12078] ppid=12044 vsize=8414124 memory=624 CPUtime=0 cores=0-7
/proc/12067/task/12078/stat : 12078 (java) S 12044 12044 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510062521 8616062976 30144 33554432000 4194304 4196468 140735843172624 140195718489504 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12079] ppid=12044 vsize=8414124 memory=3636 CPUtime=0 cores=0-7
/proc/12067/task/12079/stat : 12079 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062522 8616062976 30144 33554432000 4194304 4196468 140735843172624 140195450054128 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12080] ppid=12044 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/12067/task/12080/stat : 12080 (java) S 12044 12044 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510062524 8616062976 30144 33554432000 4194304 4196468 140735843172624 140195075545808 140197034305435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12081] ppid=12044 vsize=8414124 memory=14012 CPUtime=0.05 cores=0-7
/proc/12067/task/12081/stat : 12081 (java) S 12044 12044 11717 0 -1 1077944384 527 0 0 0 5 0 0 0 20 0 24 0 510062524 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196462335984 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12082] ppid=12044 vsize=8414124 memory=2112 CPUtime=0.05 cores=0-7
/proc/12067/task/12082/stat : 12082 (java) S 12044 12044 11717 0 -1 1077944384 305 0 0 0 5 0 0 0 20 0 24 0 510062524 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196461283440 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12083] ppid=12044 vsize=8414124 memory=12040 CPUtime=0.06 cores=0-7
/proc/12067/task/12083/stat : 12083 (java) S 12044 12044 11717 0 -1 1077944384 335 0 0 0 6 0 0 0 20 0 24 0 510062524 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196460230896 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12084] ppid=12044 vsize=8414124 memory=37120 CPUtime=0.2 cores=0-7
/proc/12067/task/12084/stat : 12084 (java) S 12044 12044 11717 0 -1 1077944384 680 0 0 0 20 0 0 0 20 0 24 0 510062524 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196459178352 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12085] ppid=12044 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/12067/task/12085/stat : 12085 (java) S 12044 12044 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510062524 8616062976 30144 33554432000 4194304 4196468 140735843172624 140194577640160 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12086] ppid=12044 vsize=8414124 memory=532 CPUtime=0.11 cores=0-7
/proc/12067/task/12086/stat : 12086 (java) S 12044 12044 11717 0 -1 1077944384 15 0 0 0 0 11 0 0 20 0 24 0 510062525 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196458126256 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12088] ppid=12044 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/12067/task/12088/stat : 12088 (java) S 12044 12044 11717 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510062589 8616062976 30144 33554432000 4194304 4196468 140735843172624 140196457072320 140197034311449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12090] ppid=12044 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/12067/task/12090/stat : 12090 (java) S 12044 12044 11717 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510062590 8616062976 30144 33554432000 4194304 4196468 140735843172624 140193906539792 140197034308765 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12091] ppid=12044 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/12067/task/12091/stat : 12091 (java) S 12044 12044 11717 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510062590 8616062976 30144 33554432000 4194304 4196468 140735843172624 140194174975376 140197034308765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12092] ppid=12044 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/12067/task/12092/stat : 12092 (java) S 12044 12044 11717 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510062592 8616062976 30144 33554432000 4194304 4196468 140735843172624 140193638112432 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
Current children cumulated CPU time: 1508 s
Current children cumulated vsize: 9924112 KiB
Current children cumulated memory: 1123904 KiB

[startup+197.601 s]
/proc/loadavg: 8.41 7.68 5.91 3/219 12111
/proc/meminfo: memFree=26629928/32770624 swapFree=66957728/67108860
[pid=12044] ppid=12041 vsize=113128 memory=1476 CPUtime=6.53 cores=0-7
/proc/12044/stat : 12044 (scop.sh) S 12041 12044 11717 0 -1 4202496 583 27122 0 0 0 0 616 37 20 0 1 0 510062163 115843072 369 33554432000 4194304 5098028 140730576938608 140730576935352 140715934438012 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32305152 140730576945916 140730576946264 140730576946264 140730576949193 0
/proc/12044/statm: 28282 369 311 221 0 87 0
[pid=12067] ppid=12044 vsize=8283048 memory=128640 CPUtime=1502.2 cores=0-7
/proc/12067/stat : 12067 (java) S 12044 12044 11717 0 -1 1077944320 22622 1372158 0 0 140 9 149786 285 20 0 22 0 510062518 8481841152 32160 33554432000 4194304 4196468 140735843172624 140735843155168 140197034286839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
/proc/12067/statm: 2070762 32160 3223 1 0 2032106 0
[pid=12067/tid=12068] ppid=12044 vsize=8283048 memory=1720 CPUtime=1501.47 cores=0-7
/proc/12067/task/12068/stat : 12068 (java) R 12044 12044 11717 0 -1 4202560 17958 1372158 0 0 70 6 149786 285 20 0 22 0 510062518 8481841152 32160 33554432000 4194304 4196468 140735843172624 140197006114416 140197034308186 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12069] ppid=12044 vsize=8283048 memory=1976 CPUtime=1500.71 cores=0-7
/proc/12067/task/12069/stat : 12069 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140197038529296 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12070] ppid=12044 vsize=8283048 memory=2432 CPUtime=1500.71 cores=0-7
/proc/12067/task/12070/stat : 12070 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196861025168 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12071] ppid=12044 vsize=8283048 memory=1436 CPUtime=1500.71 cores=0-7
/proc/12067/task/12071/stat : 12071 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196518247440 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12072] ppid=12044 vsize=8283048 memory=988 CPUtime=1500.71 cores=0-7
/proc/12067/task/12072/stat : 12072 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196517194896 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12073] ppid=12044 vsize=8283048 memory=1428 CPUtime=1500.71 cores=0-7
/proc/12067/task/12073/stat : 12073 (java) S 12044 12044 11717 0 -1 1077944384 2 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196516141328 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12074] ppid=12044 vsize=8283048 memory=1728 CPUtime=1500.71 cores=0-7
/proc/12067/task/12074/stat : 12074 (java) S 12044 12044 11717 0 -1 1077944384 2 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196515088784 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12075] ppid=12044 vsize=8283048 memory=1056 CPUtime=1500.71 cores=0-7
/proc/12067/task/12075/stat : 12075 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196514036240 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12076] ppid=12044 vsize=8283048 memory=1556 CPUtime=1500.71 cores=0-7
/proc/12067/task/12076/stat : 12076 (java) S 12044 12044 11717 0 -1 1077944384 3 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196512983696 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12077] ppid=12044 vsize=8283048 memory=11632 CPUtime=1500.71 cores=0-7
/proc/12067/task/12077/stat : 12077 (java) S 12044 12044 11717 0 -1 1077944384 7 1372158 0 0 0 0 149786 285 20 0 22 0 510062521 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196463389168 140197034297986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12078] ppid=12044 vsize=8283048 memory=1732 CPUtime=1500.71 cores=0-7
/proc/12067/task/12078/stat : 12078 (java) S 12044 12044 11717 0 -1 1077944384 13 1372158 0 0 0 0 149786 285 20 0 22 0 510062521 8481841152 32160 33554432000 4194304 4196468 140735843172624 140195718489504 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12079] ppid=12044 vsize=8283048 memory=6944656592455359580 CPUtime=1500.71 cores=0-7
/proc/12067/task/12079/stat : 12079 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062522 8481841152 32160 33554432000 4194304 4196468 140735843172624 140195450054128 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12080] ppid=12044 vsize=8283048 memory=6944652177228980320 CPUtime=1500.71 cores=0-7
/proc/12067/task/12080/stat : 12080 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062524 8481841152 32160 33554432000 4194304 4196468 140735843172624 140195075545808 140197034305435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12081] ppid=12044 vsize=8283048 memory=8546823402028195750 CPUtime=1500.79 cores=0-7
/proc/12067/task/12081/stat : 12081 (java) S 12044 12044 11717 0 -1 1077944384 749 1372158 0 0 8 0 149786 285 20 0 22 0 510062524 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196462335984 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12082] ppid=12044 vsize=8283048 memory=1476 CPUtime=1500.81 cores=0-7
/proc/12067/task/12082/stat : 12082 (java) S 12044 12044 11717 0 -1 1077944384 648 1372158 0 0 10 0 149786 285 20 0 22 0 510062524 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196461283440 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12083] ppid=12044 vsize=8283048 memory=120576 CPUtime=1500.8 cores=0-7
/proc/12067/task/12083/stat : 12083 (java) S 12044 12044 11717 0 -1 1077944384 417 1372158 0 0 9 0 149786 285 20 0 22 0 510062524 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196460230896 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12084] ppid=12044 vsize=8283048 memory=1001800 CPUtime=1500.95 cores=0-7
/proc/12067/task/12084/stat : 12084 (java) R 12044 12044 11717 0 -1 4202560 885 1372158 0 0 24 0 149786 285 20 0 22 0 510062524 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196459178352 140197034308186 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12085] ppid=12044 vsize=8283048 memory=-8671516612861653394 CPUtime=1500.71 cores=0-7
/proc/12067/task/12085/stat : 12085 (java) S 12044 12044 11717 0 -1 1077944384 3 1372158 0 0 0 0 149786 285 20 0 22 0 510062524 8481841152 32160 33554432000 4194304 4196468 140735843172624 140194577640160 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12086] ppid=12044 vsize=8283048 memory=4872558044660077418 CPUtime=1500.82 cores=0-7
/proc/12067/task/12086/stat : 12086 (java) S 12044 12044 11717 0 -1 1077944384 15 1372158 0 0 0 11 149786 285 20 0 22 0 510062525 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196458126256 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12088] ppid=12044 vsize=8283048 memory=-7662142094119126430 CPUtime=1500.71 cores=0-7
/proc/12067/task/12088/stat : 12088 (java) S 12044 12044 11717 0 -1 1077944384 24 1372158 0 0 0 0 149786 285 20 0 22 0 510062589 8481841152 32160 33554432000 4194304 4196468 140735843172624 140196457071504 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12092] ppid=12044 vsize=8283048 memory=280166625574176 CPUtime=1500.71 cores=0-7
/proc/12067/task/12092/stat : 12092 (java) S 12044 12044 11717 0 -1 1077944384 12 1372158 0 0 0 0 149786 285 20 0 22 0 510062592 8481841152 32160 33554432000 4194304 4196468 140735843172624 140193638114224 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
Current children cumulated CPU time: 1508.73 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130116 KiB

[startup+197.701 s]
/proc/loadavg: 8.41 7.68 5.91 3/219 12111
/proc/meminfo: memFree=26629928/32770624 swapFree=66957728/67108860
[pid=12044] ppid=12041 vsize=113128 memory=1476 CPUtime=6.53 cores=0-7
/proc/12044/stat : 12044 (scop.sh) S 12041 12044 11717 0 -1 4202496 583 27122 0 0 0 0 616 37 20 0 1 0 510062163 115843072 369 33554432000 4194304 5098028 140730576938608 140730576935352 140715934438012 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32305152 140730576945916 140730576946264 140730576946264 140730576949193 0
/proc/12044/statm: 28282 369 311 221 0 87 0
[pid=12067] ppid=12044 vsize=8283048 memory=136464 CPUtime=1502.46 cores=0-7
/proc/12067/stat : 12067 (java) S 12044 12044 11717 0 -1 1077944320 23054 1372158 0 0 166 9 149786 285 20 0 22 0 510062518 8481841152 34116 33554432000 4194304 4196468 140735843172624 140735843155168 140197034286839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
/proc/12067/statm: 2070762 34116 3229 1 0 2032106 0
[pid=12067/tid=12068] ppid=12044 vsize=8283048 memory=1476 CPUtime=1501.57 cores=0-7
/proc/12067/task/12068/stat : 12068 (java) R 12044 12044 11717 0 -1 4202560 18223 1372158 0 0 80 6 149786 285 20 0 22 0 510062518 8481841152 34116 33554432000 4194304 4196468 140735843172624 140197006125296 140197026972471 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12069] ppid=12044 vsize=8283048 memory=120576 CPUtime=1500.71 cores=0-7
/proc/12067/task/12069/stat : 12069 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140197038529296 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12070] ppid=12044 vsize=8283048 memory=1476 CPUtime=1500.71 cores=0-7
/proc/12067/task/12070/stat : 12070 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196861025168 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12071] ppid=12044 vsize=8283048 memory=111628 CPUtime=1500.71 cores=0-7
/proc/12067/task/12071/stat : 12071 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196518247440 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12072] ppid=12044 vsize=8283048 memory=800 CPUtime=1500.71 cores=0-7
/proc/12067/task/12072/stat : 12072 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196517194896 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12073] ppid=12044 vsize=8283048 memory=1556 CPUtime=1500.71 cores=0-7
/proc/12067/task/12073/stat : 12073 (java) S 12044 12044 11717 0 -1 1077944384 2 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196516141328 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12074] ppid=12044 vsize=8283048 memory=532 CPUtime=1500.71 cores=0-7
/proc/12067/task/12074/stat : 12074 (java) S 12044 12044 11717 0 -1 1077944384 2 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196515088784 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12075] ppid=12044 vsize=8283048 memory=3620 CPUtime=1500.71 cores=0-7
/proc/12067/task/12075/stat : 12075 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196514036240 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12076] ppid=12044 vsize=8283048 memory=63564 CPUtime=1500.71 cores=0-7
/proc/12067/task/12076/stat : 12076 (java) S 12044 12044 11717 0 -1 1077944384 3 1372158 0 0 0 0 149786 285 20 0 22 0 510062519 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196512983696 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12077] ppid=12044 vsize=8283048 memory=0 CPUtime=1500.71 cores=0-7
/proc/12067/task/12077/stat : 12077 (java) S 12044 12044 11717 0 -1 1077944384 8 1372158 0 0 0 0 149786 285 20 0 22 0 510062521 8481841152 34116 33554432000 4194304 4196468 140735843172624 140196463389168 140197034297986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12078] ppid=12044 vsize=8283048 memory=280166623519040 CPUtime=1500.71 cores=0-7
/proc/12067/task/12078/stat : 12078 (java) S 12044 12044 11717 0 -1 1077944384 13 1372158 0 0 0 0 149786 285 20 0 22 0 510062521 8481841152 34116 33554432000 4194304 4196468 140735843172624 140195718489504 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12079] ppid=12044 vsize=8283048 memory=140087749731967 CPUtime=1500.71 cores=0-7
/proc/12067/task/12079/stat : 12079 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062522 8481841152 34116 33554432000 4194304 4196468 140735843172624 140195450054128 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12080] ppid=12044 vsize=8283048 memory=-6800859132029471843 CPUtime=1500.71 cores=0-7
/proc/12067/task/12080/stat : 12080 (java) S 12044 12044 11717 0 -1 1077944384 1 1372158 0 0 0 0 149786 285 20 0 22 0 510062524 8481841152 34116 33554432000 4194304 4196468 140735843172624 140195075545808 140197034305435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12081] ppid=12044 vsize=8151972 memory=3691035452710658100 CPUtime=1500.84 cores=0-7
/proc/12067/task/12081/stat : 12081 (java) S 12044 12044 11717 0 -1 1077944384 768 1372158 0 0 13 0 149786 285 20 0 22 0 510062524 8347619328 34111 33554432000 4194304 4196468 140735843172624 140196462335984 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12082] ppid=12044 vsize=8151972 memory=6935651454800449616 CPUtime=1500.84 cores=0-7
/proc/12067/task/12082/stat : 12082 (java) S 12044 12044 11717 0 -1 1077944384 667 1372158 0 0 13 0 149786 285 20 0 21 0 510062524 8347619328 34113 33554432000 4194304 4196468 140735843172624 140196461283440 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12083] ppid=12044 vsize=8151972 memory=0 CPUtime=1500.83 cores=0-7
/proc/12067/task/12083/stat : 12083 (java) R 12044 12044 11717 0 -1 4202560 437 1372158 0 0 12 0 149786 285 20 0 21 0 510062524 8347619328 34113 33554432000 4194304 4196468 140735843172624 140196460217088 140197017772827 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12084] ppid=12044 vsize=8151972 memory=0 CPUtime=1500.99 cores=0-7
/proc/12067/task/12084/stat : 12084 (java) S 12044 12044 11717 0 -1 1077944384 992 1372158 0 0 28 0 149786 285 20 0 21 0 510062524 8347619328 34113 33554432000 4194304 4196468 140735843172624 140196459178352 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12085] ppid=12044 vsize=8151972 memory=0 CPUtime=1500.71 cores=0-7
/proc/12067/task/12085/stat : 12085 (java) S 12044 12044 11717 0 -1 1077944384 3 1372158 0 0 0 0 149786 285 20 0 21 0 510062524 8347619328 34113 33554432000 4194304 4196468 140735843172624 140194577640160 140197034297045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12088] ppid=12044 vsize=8151972 memory=1988 CPUtime=1500.71 cores=0-7
/proc/12067/task/12088/stat : 12088 (java) S 12044 12044 11717 0 -1 1077944384 24 1372158 0 0 0 0 149786 285 20 0 21 0 510062589 8347619328 34113 33554432000 4194304 4196468 140735843172624 140196457071504 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
[pid=12067/tid=12092] ppid=12044 vsize=8151972 memory=988 CPUtime=1500.71 cores=0-7
/proc/12067/task/12092/stat : 12092 (java) S 12044 12044 11717 0 -1 1077944384 12 1372158 0 0 0 0 149786 285 20 0 21 0 510062592 8347619328 34113 33554432000 4194304 4196468 140735843172624 140193638114224 140197034297986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7995392 140735843177439 140735843177606 140735843177606 140735843180495 0
Current children cumulated CPU time: 1508.99 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137940 KiB

Child status: 0
Real time (s): 197.719
CPU time (s): 1509.03
CPU user time (s): 1505.69
CPU system time (s): 3.33694
CPU usage (%): 763.222
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1781632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1505.69
system time used= 3.33694
maximum resident set size= 1784960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1422934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22120
involuntary context switches= 16779


# summary of solver processes directly reported to runsolver:
#   pid: 12044
#   total CPU time (s): 1509.03
#   total CPU user time (s): 1505.69
#   total CPU system time (s): 3.33694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82337 second user time and 2.95585 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-24 17:16:37
IDJOB=4405579
IDBENCH=127955
IDSOLVER=2868
FILE ID=node149/4405579-1569338236
RUNJOBID= node149-1569335940-11744
PBS_JOBID= 21705048
Free space on /var/tmp= 13480 MiB

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

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=969539028

node149.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.81
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.81
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.81
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.81
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:        27750460 kB
MemAvailable:   31807336 kB
Buffers:           97188 kB
Cached:          4053612 kB
SwapCached:        42372 kB
Active:          2890700 kB
Inactive:        1306144 kB
Active(anon):       4168 kB
Inactive(anon):    95416 kB
Active(file):    2886532 kB
Inactive(file):  1210728 kB
Unevictable:      108416 kB
Mlocked:          108416 kB
SwapTotal:      67108860 kB
SwapFree:       66957728 kB
Dirty:             20676 kB
Writeback:             0 kB
AnonPages:        112628 kB
Mapped:            57260 kB
Shmem:             44880 kB
Slab:             416732 kB
SReclaimable:     388076 kB
SUnreclaim:        28656 kB
KernelStack:        3392 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514424 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node149 at 2019-09-24 17:19:55