Trace number 4405625

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)UNSAT 1241.61 161.915

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-18-046.xml
MD5SUM90f9fedd4c3faeb9a4a1958b76d0db2e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark186.128
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints153
Number of domains18
Minimum domain size29
Maximum domain size46
Distribution of domain sizes[{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2}]
Minimum variable degree17
Maximum variable degree17
Distribution of variable degrees[{"degree":17,"count":36}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":153}]
Number of extensional constraints0
Number of intensional constraints153
Distribution of constraint types[{"type":"intension","count":153}]
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-20513-serial-file.bin HOME/instance-4405625-1569365825.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Wed Sep 25 00:56:20 CEST 2019
0.66/0.57	c PID: 20516
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.78/1.07	c (0,0) Parsing End
1.78/1.07	c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 46
1.78/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.07	c (0,0) Constraint Name Generate Begin
1.78/1.08	c (0,0) Ctr:HOME/instance-4405625-1569365825.xml,Add:Le:Num:Or:Var
1.78/1.08	c (0,0) Constraint Name Generate End
1.78/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.08	c (0,0) CSP to CSPinCNF Begin
2.12/1.19	c (0,0) translated 16 (10%) constraints
2.30/1.21	c (0,0) translated 31 (20%) constraints
2.30/1.23	c (0,0) translated 46 (30%) constraints
2.30/1.24	c (0,0) translated 62 (40%) constraints
2.30/1.25	c (0,0) translated 77 (50%) constraints
2.30/1.26	c (0,0) translated 92 (60%) constraints
2.30/1.27	c (0,0) translated 108 (70%) constraints
2.30/1.28	c (0,0) translated 123 (80%) constraints
2.30/1.29	c (0,0) translated 138 (90%) constraints
2.30/1.29	c (0,0) translated 153 (100%) constraints
2.30/1.29	c (0,0) ===========================================
2.55/1.31	c (0,0) Hybrid: #OE=36, #LE=0
2.55/1.31	c (0,0) Hybrid
2.55/1.31	c (0,0) ===========================================
2.55/1.32	c (0,0) translated 16 (10%) constraints
2.55/1.33	c (0,0) translated 31 (20%) constraints
2.55/1.33	c (0,0) translated 46 (30%) constraints
2.55/1.33	c (0,0) translated 62 (40%) constraints
2.55/1.34	c (0,0) translated 77 (50%) constraints
2.55/1.34	c (0,0) translated 92 (60%) constraints
2.55/1.34	c (0,0) translated 108 (70%) constraints
2.55/1.35	c (0,0) translated 123 (80%) constraints
2.55/1.35	c (0,0) translated 138 (90%) constraints
2.55/1.35	c (0,0) translated 153 (100%) constraints
2.55/1.36	c (0,0) CSP to CSPinCNF End
2.55/1.36	c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 46
2.55/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.55/1.36	c (0,0) CSPinCNF Propagation Begin
2.55/1.38	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.55/1.38	c (0,0) CSPinCNF Propagation End
2.55/1.38	c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 46
2.55/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.55/1.38	c (0,0) Hybrid: #OE=36, #LE=0
2.55/1.38	c (0,0) Simplify CSPinCNF Begin
2.82/1.46	c (0,0) Simplify CSPinCNF End
2.82/1.46	c (0,0) CSP: 36 int (0 aux), 612 bool (612 aux), 765 ctr, max domain size 46
2.82/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.46	c (0,0) Calculate Precise Domain Begin
2.82/1.47	c (0,0) 0 values are removed by re-calculation
2.82/1.47	c (0,0) Calculate Precise Domain End
2.82/1.47	c (0,0) CSP: 36 int (0 aux), 612 bool (612 aux), 765 ctr, max domain size 46
2.82/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.82/1.47	c (0,0) CSPinCNF to SatSolver Begin
3.33/1.65	c (1,1) 77 (10 %) CSP clauses are encoded (0 SAT variables, 3574 SAT clauses)
3.33/1.68	c (1,1) 153 (20 %) CSP clauses are encoded (0 SAT variables, 5779 SAT clauses)
3.70/1.71	c (1,1) 230 (30 %) CSP clauses are encoded (0 SAT variables, 7903 SAT clauses)
3.70/1.74	c (1,1) 306 (40 %) CSP clauses are encoded (0 SAT variables, 9883 SAT clauses)
3.70/1.76	c (1,1) 383 (50 %) CSP clauses are encoded (0 SAT variables, 11789 SAT clauses)
3.70/1.78	c (1,1) 459 (60 %) CSP clauses are encoded (0 SAT variables, 13608 SAT clauses)
4.12/1.80	c (1,1) 536 (70 %) CSP clauses are encoded (0 SAT variables, 15265 SAT clauses)
4.12/1.82	c (1,1) 612 (80 %) CSP clauses are encoded (0 SAT variables, 16769 SAT clauses)
4.12/1.83	c (1,1) 689 (90 %) CSP clauses are encoded (0 SAT variables, 18108 SAT clauses)
4.12/1.84	c (1,1) 765 (100 %) CSP clauses are encoded (0 SAT variables, 19166 SAT clauses)
4.12/1.84	c (1,1) CSPinCNF to SatSolver End
4.12/1.84	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.12/1.84	c (1,1) 1926 bool, 19179 clause
4.12/1.84	c (1,1) Export Begin
4.55/1.92	c (1,1) Export to HOME/scop-20513-serial-file.bin
4.55/1.92	c (1,1) Export End
4.55/1.93	c (1,1) Export File Size: 0.01 MB
4.55/1.93	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.55/1.93	c END-Prog: Wed Sep 25 00:56:21 CEST 2019
4.55/1.95	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20513-serial-file.bin
5.20/2.40	c (0,0) Read Serial File Begin
5.20/2.40	c (0,0) HOME/scop-20513-serial-file.bin
5.49/2.60	c (0,0) Read Serial File End
5.49/2.61	
5.49/2.61	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.49/2.61	(Solving Process)
5.49/2.61	
5.49/2.63	c BEGIN-Prog: Wed Sep 25 00:56:22 CEST 2019
5.49/2.63	c PID: 20536
5.49/2.63	c IP: 172.20.3.136
5.49/2.63	c HOST: node136.alineos.net
5.49/2.64	c (0,0) SatSolver.solve Begin
5.49/2.64	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405625-1569365825.xml-scop-20516.cnf
5.49/2.66	c (0,0) c
5.49/2.66	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)
5.49/2.66	c (0,0) c
5.49/2.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.49/2.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.49/2.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.49/2.66	c (0,0) c |                                                                                                       |
5.49/2.67	c (0,0) c |  Number of variables:          1926                                                                   |
5.49/2.67	c (0,0) c |  Number of clauses:           19179                                                                   |
5.49/2.67	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.49/2.67	c (0,0) c |                                                                                                       |
5.49/2.68	c (0,0) c |  Simplification time:          0.01 s                                                                 |
5.49/2.68	c (0,0) c |                                                                                                       |
5.49/2.68	c (0,0) c |  Generating clones                                                                                    |
5.49/2.69	c (0,0) c |  all clones generated. Memory =    33.45Mb.                                                           |
5.49/2.69	c (0,0) c ========================================================================================================|
5.49/2.69	c (0,0) c
5.49/2.69	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.49/2.69	c (0,0) c
5.49/2.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.49/2.69	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.49/2.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.49/2.69	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.49/2.69	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.49/2.69	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.49/2.69	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.49/2.69	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.49/2.69	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.49/2.69	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.49/2.69	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.49/2.69	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.49/2.69	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.49/2.69	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.49/2.69	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.49/2.69	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.49/2.69	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.49/2.69	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.49/2.69	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
237.68/31.94	c (29,0) c
237.68/31.94	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
237.68/31.94	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
237.68/31.94	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
237.68/31.94	c (29,0) c |  0 |    613 |     268583 |     162227 |     8283 |    48036 |    24395 |   158054 |    17742 |      261 |  20 |  0.001 |
237.68/31.94	c (29,0) c |  1 |    553 |     271926 |     165687 |     7918 |    26107 |    23253 |   160197 |    18157 |      272 |  20 |  0.001 |
237.68/31.94	c (29,0) c |  2 |    653 |     280685 |     169611 |     8433 |    30020 |    23698 |   163238 |    18164 |      278 |  20 |  0.000 |
237.68/31.94	c (29,0) c |  3 |    677 |     268136 |     160877 |     7786 |    46695 |    22541 |   161563 |    17508 |      267 |  20 |  0.000 |
237.68/31.94	c (29,0) c |  4 |    506 |     273498 |     169917 |     8162 |    30324 |    24835 |   163021 |    18132 |      281 |  20 |  0.001 |
237.68/31.94	c (29,0) c |  5 |    573 |     282675 |     171280 |     9182 |    31689 |    23798 |   163640 |    18663 |      279 |  20 |  0.000 |
237.68/31.94	c (29,0) c |  6 |    478 |     262240 |     163042 |     7994 |    48857 |    23624 |   159656 |    17485 |      264 |  20 |  0.000 |
237.68/31.94	c (29,0) c |  7 |    563 |     279195 |     172720 |     8118 |    33131 |    24476 |   162141 |    18584 |      280 |  20 |  0.001 |
237.68/31.94	c (29,0) c 
237.68/31.94	c (29,0) c synthesis     1335361 conflicts   156400568 propagations     5759 conflicts/sec   674550 propagations/sec
237.68/31.94	c (29,0) c real: 29.2759 s, cpu: 231.859 s, memory: 625.30 Mb
463.85/60.94	c (58,0) c
463.85/60.94	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
463.85/60.94	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
463.85/60.94	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
463.85/60.94	c (58,0) c |  0 |    891 |     389574 |     246917 |     8559 |    48730 |    31782 |   213248 |    26166 |      510 |  20 |  0.000 |
463.85/60.94	c (58,0) c |  1 |    768 |     394023 |     252882 |     8248 |    54688 |    31562 |   217594 |    26665 |      530 |  20 |  0.000 |
463.85/60.94	c (58,0) c |  2 |    891 |     395861 |     251099 |     8571 |    52910 |    30895 |   216816 |    26165 |      523 |  20 |  0.000 |
463.85/60.94	c (58,0) c |  3 |    911 |     396420 |     251970 |     8307 |    53784 |    30920 |   218483 |    26091 |      530 |  20 |  0.001 |
463.85/60.94	c (58,0) c |  4 |    750 |     391659 |     253359 |     8725 |    55170 |    32264 |   217219 |    26285 |      530 |  20 |  0.001 |
463.85/60.94	c (58,0) c |  5 |    828 |     398268 |     252738 |     9243 |    54549 |    30906 |   216494 |    26641 |      524 |  20 |  0.001 |
463.85/60.94	c (58,0) c |  6 |    781 |     390511 |     253139 |     8349 |    54947 |    31534 |   217577 |    26546 |      528 |  20 |  0.000 |
463.85/60.94	c (58,0) c |  7 |    851 |     396123 |     254753 |     8599 |    56563 |    32420 |   216413 |    26806 |      528 |  20 |  0.000 |
463.85/60.94	c (58,0) c 
463.85/60.94	c (58,0) c synthesis     2016858 conflicts   243801786 propagations     4406 conflicts/sec   532548 propagations/sec
463.85/60.94	c (58,0) c real: 58.2759 s, cpu: 457.802 s, memory: 633.00 Mb
688.62/89.94	c (87,0) c
688.62/89.94	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
688.62/89.94	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
688.62/89.94	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
688.62/89.94	c (87,0) c |  0 |   1105 |     483851 |     315865 |     8608 |    48674 |    38218 |   253545 |    32461 |      760 |  20 |  0.000 |
688.62/89.94	c (87,0) c |  1 |    990 |     486984 |     320266 |     8504 |    53071 |    36860 |   257791 |    33120 |      774 |  20 |  0.000 |
688.62/89.94	c (87,0) c |  2 |   1063 |     494502 |     324117 |     8888 |    56929 |    37768 |   257885 |    32505 |      780 |  20 |  0.000 |
688.62/89.94	c (87,0) c |  3 |   1125 |     489861 |     319531 |     8493 |    52342 |    36548 |   258026 |    32338 |      773 |  20 |  0.000 |
688.62/89.94	c (87,0) c |  4 |    891 |     485497 |     323386 |     9028 |    56202 |    37901 |   257050 |    32473 |      776 |  20 |  0.001 |
688.62/89.94	c (87,0) c |  5 |   1038 |     495049 |     323829 |     9309 |    56642 |    36289 |   258965 |    33051 |      778 |  20 |  0.000 |
688.62/89.94	c (87,0) c |  6 |    967 |     483685 |     321830 |     8541 |    54646 |    36512 |   256696 |    32779 |      776 |  20 |  0.000 |
688.62/89.94	c (87,0) c |  7 |    983 |     487782 |     322663 |     8792 |    55477 |    37704 |   257107 |    32968 |      779 |  20 |  0.001 |
688.62/89.94	c (87,0) c 
688.62/89.94	c (87,0) c synthesis     2571488 conflicts   316336848 propagations     3768 conflicts/sec   463554 propagations/sec
688.62/89.94	c (87,0) c real: 87.2789 s, cpu: 682.416 s, memory: 639.08 Mb
925.69/119.94	c (117,0) c
925.69/119.94	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
925.69/119.94	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
925.69/119.94	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
925.69/119.94	c (117,0) c |  0 |   1310 |     569036 |     379178 |     8712 |    73583 |    42484 |   289763 |    38306 |     1022 |  20 |  0.000 |
925.69/119.94	c (117,0) c |  1 |   1167 |     565928 |     378956 |     8690 |    73360 |    41820 |   290898 |    38601 |     1017 |  20 |  0.000 |
925.69/119.94	c (117,0) c |  2 |   1174 |     574600 |     385530 |     9076 |    79944 |    43821 |   290080 |    37693 |     1033 |  20 |  0.000 |
925.69/119.94	c (117,0) c |  3 |   1291 |     571393 |     380481 |     8781 |    74899 |    41631 |   291881 |    37952 |     1027 |  20 |  0.001 |
925.69/119.94	c (117,0) c |  4 |   1009 |     570536 |     387855 |     9188 |    41261 |    42342 |   293195 |    38414 |     1036 |  20 |  0.000 |
925.69/119.94	c (117,0) c |  5 |   1183 |     573232 |     383182 |     9544 |    77600 |    41534 |   292141 |    38842 |     1031 |  20 |  0.000 |
925.69/119.94	c (117,0) c |  6 |   1089 |     563790 |     383056 |     8703 |    77471 |    41508 |   293534 |    38672 |     1034 |  20 |  0.000 |
925.69/119.94	c (117,0) c |  7 |   1050 |     567806 |     384603 |     8806 |    79015 |    42080 |   290336 |    38295 |     1023 |  20 |  0.000 |
925.69/119.94	c (117,0) c 
925.69/119.94	c (117,0) c synthesis     3062841 conflicts   380520448 propagations     3333 conflicts/sec   414041 propagations/sec
925.69/119.94	c (117,0) c real: 117.276 s, cpu: 919.04 s, memory: 645.18 Mb
1153.12/148.94	c (146,0) c
1153.12/148.94	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1153.12/148.94	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1153.12/148.94	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1153.12/148.94	c (146,0) c |  0 |   1368 |     644254 |     438344 |     8890 |    48154 |    47105 |   323741 |    43354 |     1275 |  20 |  0.000 |
1153.12/148.94	c (146,0) c |  1 |   1241 |     641103 |     438048 |     8750 |    47858 |    46157 |   324789 |    43748 |     1275 |  20 |  0.000 |
1153.12/148.94	c (146,0) c |  2 |   1213 |     649187 |     443786 |     9248 |    53598 |    48564 |   324241 |    42881 |     1274 |  20 |  0.001 |
1153.12/148.94	c (146,0) c |  3 |   1393 |     639382 |     432800 |     8916 |    86211 |    45952 |   324857 |    43119 |     1259 |  20 |  0.000 |
1153.12/148.94	c (146,0) c |  4 |   1082 |     640865 |     443122 |     9332 |    52929 |    46747 |   323040 |    42788 |     1275 |  20 |  0.000 |
1153.12/148.94	c (146,0) c |  5 |   1247 |     637035 |     432855 |     9553 |    86271 |    45855 |   318049 |    43041 |     1255 |  20 |  0.001 |
1153.12/148.94	c (146,0) c |  6 |   1140 |     634013 |     438059 |     8873 |    47870 |    47585 |   325802 |    43126 |     1275 |  20 |  0.000 |
1153.12/148.94	c (146,0) c |  7 |   1091 |     643911 |     444836 |     8850 |    54644 |    48193 |   324733 |    43315 |     1275 |  20 |  0.001 |
1153.12/148.94	c (146,0) c 
1153.12/148.94	c (146,0) c synthesis     3511850 conflicts   439936285 propagations     3064 conflicts/sec   383832 propagations/sec
1153.12/148.94	c (146,0) c real: 146.276 s, cpu: 1146.17 s, memory: 649.16 Mb
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c real time : 159.196 s
1241.40/161.86	c (159,0) c cpu time  : 1234.16 s
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c | Conflicts     |         3693097 |     460457 |     459072 |     464008 |     457646 |     464632 |     459515 |     461837 |     465930 |
1241.40/161.86	c (159,0) c | Decisions     |         5355230 |     671888 |     666876 |     674337 |     670385 |     667527 |     670220 |     663618 |     670379 |
1241.40/161.86	c (159,0) c | Propagations  |       464206037 |   57591061 |   58084450 |   58258920 |   57822492 |   58310695 |   57694525 |   57960468 |   58483426 |
1241.40/161.86	c (159,0) c | ReduceDBs     |             144 |         18 |         18 |         18 |         18 |         18 |         18 |         18 |         18 |
1241.40/161.86	c (159,0) c | SimpDBs       |              19 |          2 |          2 |          2 |          3 |          3 |          3 |          2 |          2 |
1241.40/161.86	c (159,0) c | Restarts      |            9872 |       1380 |       1259 |       1217 |       1410 |       1097 |       1253 |       1149 |       1107 |
1241.40/161.86	c (159,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1241.40/161.86	c (159,0) c | PropBinClauses|       611364276 |   75809899 |   76507642 |   76711756 |   76428110 |   76619059 |   75825245 |   76454644 |   77007921 |
1241.40/161.86	c (159,0) c | PropPreBlocker|     32566728992 | 4084518094 | 4074346164 | 4078120253 | 4050315286 | 4098185646 | 4027123206 | 4064617407 | 4089502936 |
1241.40/161.86	c (159,0) c | PropNotBlocker|     11063795644 | 1381832185 | 1387392494 | 1370736690 | 1395624865 | 1375512961 | 1394517120 | 1382148247 | 1376031082 |
1241.40/161.86	c (159,0) c | LitFullScans  |     65660413582 | 8215000705 | 8214993343 | 8187883465 | 8213330355 | 8214333792 | 8184955009 | 8214915219 | 8215001694 |
1241.40/161.86	c (159,0) c | LitScanFracts |         7554514 |     993911 |     972706 |     945158 |     923630 |     952603 |     928891 |     900154 |     937461 |
1241.40/161.86	c (159,0) c | DecisionLevel0|            9907 |       1380 |       1260 |       1229 |       1421 |       1103 |       1255 |       1151 |       1108 |
1241.40/161.86	c (159,0) c | Periods       |           10940 |       1369 |       1369 |       1364 |       1368 |       1368 |       1364 |       1369 |       1369 |
1241.40/161.86	c (159,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1241.40/161.86	c (159,0) c | Avg_Trail     |                 |        745 |        744 |        746 |        741 |        747 |        745 |        742 |        746 |
1241.40/161.86	c (159,0) c | Avg_DL        |                 |         19 |         18 |         19 |         19 |         18 |         18 |         19 |         19 |
1241.40/161.86	c (159,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1241.40/161.86	c (159,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c | Exported      |          394800 |      49146 |      48281 |      51051 |      48584 |      48865 |      48613 |      50005 |      50255 |
1241.40/161.86	c (159,0) c | Imported      |         2718608 |     341784 |     342266 |     339377 |     342580 |     342207 |     340473 |     335667 |     334254 |
1241.40/161.86	c (159,0) c | Good          |             745 |        114 |        113 |         99 |        110 |         98 |         99 |         55 |         57 |
1241.40/161.86	c (159,0) c | Purge         |         2717863 |     341670 |     342153 |     339278 |     342470 |     342109 |     340374 |     335612 |     334197 |
1241.40/161.86	c (159,0) c | Promoted      |          360856 |      44863 |      45434 |      44600 |      45137 |      44801 |      45423 |      45199 |      45399 |
1241.40/161.86	c (159,0) c | Remove_Imp    |         1862262 |     235905 |     236886 |     229437 |     238297 |     233104 |     230189 |     231873 |     226571 |
1241.40/161.86	c (159,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c | Unaries       |                 |          0 |          1 |         12 |         11 |          6 |          2 |          2 |          1 |
1241.40/161.86	c (159,0) c | Binaries      |                 |          6 |          9 |         46 |         38 |         31 |         16 |         35 |         22 |
1241.40/161.86	c (159,0) c | Glues         |                 |        306 |        325 |        377 |        383 |        306 |        342 |        293 |        289 |
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c | Orig_Seen     |            48 % |       9009 |       8821 |       9302 |       8958 |       9346 |       9556 |       9077 |       8993 |
1241.40/161.86	c (159,0) c | Diff Orig seen|                 | -      293 | -      481 |      X     | -      344 |         44 |        254 | -      225 | -      309 |
1241.40/161.86	c (159,0) c | Hamming       |            25 % |        487 |        530 |      X     |        497 |        502 |        491 |        466 |        424 |
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c | RunningTime   |                 |  156.1  99%|  154.2  98%|  156.8  99%|  156.5  99%|  151.1  96%|  155.8  98%|  154.1  98%|  153.6  97%|
1241.40/161.86	c (159,0) c | WaitingTime   |                 |    1.8   1%|    3.7   2%|    1.3   1%|    1.3   1%|    6.8   4%|    3.1   2%|    3.8   2%|    4.3   3%|
1241.40/161.86	c (159,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|
1241.40/161.86	c (159,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1241.40/161.86	c (159,0) c | SolvingTime   |                 |  158.1     |  158.1     |  158.4     |  158.0     |  158.1     |  159.1     |  158.1     |  158.1     |
1241.40/161.86	c (159,0) c | PropagationTim|                 |  148.7  94%|  148.3  94%|  148.6  94%|  146.7  93%|  148.1  94%|  149.3  94%|  148.0  94%|  148.3  94%|
1241.40/161.86	c (159,0) c | AnalysisTime  |                 |    7.4   5%|    7.7   5%|    7.7   5%|    9.4   6%|    7.9   5%|    7.8   5%|    8.0   5%|    7.7   5%|
1241.40/161.86	c (159,0) c | ReductionTime |                 |    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|    0.6   0%|    0.7   0%|    0.7   0%|
1241.40/161.86	c (159,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.1   0%|
1241.40/161.86	c (159,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1241.40/161.86	c (159,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1241.40/161.86	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c
1241.40/161.86	c (159,0) c Threads : 8
1241.40/161.86	c (159,0) c Winner : 2
1241.40/161.86	c (159,0) c Conflicts_0 : 460457
1241.40/161.86	c (159,0) c Conflicts_1 : 459072
1241.40/161.86	c (159,0) c Conflicts_2 : 464008
1241.40/161.86	c (159,0) c Conflicts_3 : 457646
1241.40/161.86	c (159,0) c Conflicts_4 : 464632
1241.40/161.86	c (159,0) c Conflicts_5 : 459515
1241.40/161.86	c (159,0) c Conflicts_6 : 461837
1241.40/161.86	c (159,0) c Conflicts_7 : 465930
1241.40/161.86	c (159,0) c Conflicts_total : 3693097
1241.40/161.86	c (159,0) c Conflicts_winner : 464008
1241.40/161.86	c (159,0) c Decisions_0 : 671888
1241.40/161.86	c (159,0) c Decisions_1 : 666876
1241.40/161.86	c (159,0) c Decisions_2 : 674337
1241.40/161.86	c (159,0) c Decisions_3 : 670385
1241.40/161.86	c (159,0) c Decisions_4 : 667527
1241.40/161.86	c (159,0) c Decisions_5 : 670220
1241.40/161.86	c (159,0) c Decisions_6 : 663618
1241.40/161.86	c (159,0) c Decisions_7 : 670379
1241.40/161.86	c (159,0) c Decisions_total : 5355230
1241.40/161.86	c (159,0) c Decisions_winner : 674337
1241.40/161.86	c (159,0) c Propagations_0 : 57591061
1241.40/161.86	c (159,0) c Propagations_1 : 58084450
1241.40/161.86	c (159,0) c Propagations_2 : 58258920
1241.40/161.86	c (159,0) c Propagations_3 : 57822492
1241.40/161.86	c (159,0) c Propagations_4 : 58310695
1241.40/161.86	c (159,0) c Propagations_5 : 57694525
1241.40/161.86	c (159,0) c Propagations_6 : 57960468
1241.40/161.86	c (159,0) c Propagations_7 : 58483426
1241.40/161.86	c (159,0) c Propagations_total : 464206037
1241.40/161.86	c (159,0) c Propagations_winner : 58258920
1241.40/161.86	c (159,0) c ReduceDBs_0 : 18
1241.40/161.86	c (159,0) c ReduceDBs_1 : 18
1241.40/161.86	c (159,0) c ReduceDBs_2 : 18
1241.40/161.86	c (159,0) c ReduceDBs_3 : 18
1241.40/161.86	c (159,0) c ReduceDBs_4 : 18
1241.40/161.86	c (159,0) c ReduceDBs_5 : 18
1241.40/161.86	c (159,0) c ReduceDBs_6 : 18
1241.40/161.86	c (159,0) c ReduceDBs_7 : 18
1241.40/161.86	c (159,0) c ReduceDBs_total : 144
1241.40/161.86	c (159,0) c ReduceDBs_winner : 18
1241.40/161.86	c (159,0) c SimpDBs_0 : 2
1241.40/161.86	c (159,0) c SimpDBs_1 : 2
1241.40/161.86	c (159,0) c SimpDBs_2 : 2
1241.40/161.86	c (159,0) c SimpDBs_3 : 3
1241.40/161.86	c (159,0) c SimpDBs_4 : 3
1241.40/161.86	c (159,0) c SimpDBs_5 : 3
1241.40/161.86	c (159,0) c SimpDBs_6 : 2
1241.40/161.86	c (159,0) c SimpDBs_7 : 2
1241.40/161.86	c (159,0) c SimpDBs_total : 19
1241.40/161.86	c (159,0) c SimpDBs_winner : 2
1241.40/161.86	c (159,0) c Restarts_0 : 1380
1241.40/161.86	c (159,0) c Restarts_1 : 1259
1241.40/161.86	c (159,0) c Restarts_2 : 1217
1241.40/161.86	c (159,0) c Restarts_3 : 1410
1241.40/161.86	c (159,0) c Restarts_4 : 1097
1241.40/161.86	c (159,0) c Restarts_5 : 1253
1241.40/161.86	c (159,0) c Restarts_6 : 1149
1241.40/161.86	c (159,0) c Restarts_7 : 1107
1241.40/161.86	c (159,0) c Restarts_total : 9872
1241.40/161.86	c (159,0) c Restarts_winner : 1217
1241.40/161.86	c (159,0) c ForcedImports_0 : 0
1241.40/161.86	c (159,0) c ForcedImports_1 : 0
1241.40/161.86	c (159,0) c ForcedImports_2 : 0
1241.40/161.86	c (159,0) c ForcedImports_3 : 0
1241.40/161.86	c (159,0) c ForcedImports_4 : 0
1241.40/161.86	c (159,0) c ForcedImports_5 : 0
1241.40/161.86	c (159,0) c ForcedImports_6 : 0
1241.40/161.86	c (159,0) c ForcedImports_7 : 0
1241.40/161.86	c (159,0) c ForcedImports_total : 0
1241.40/161.86	c (159,0) c ForcedImports_winner : 0
1241.40/161.86	c (159,0) c PropsBinClauses_0 : 75809899
1241.40/161.86	c (159,0) c PropsBinClauses_1 : 76507642
1241.40/161.86	c (159,0) c PropsBinClauses_2 : 76711756
1241.40/161.86	c (159,0) c PropsBinClauses_3 : 76428110
1241.40/161.86	c (159,0) c PropsBinClauses_4 : 76619059
1241.40/161.86	c (159,0) c PropsBinClauses_5 : 75825245
1241.40/161.86	c (159,0) c PropsBinClauses_6 : 76454644
1241.40/161.86	c (159,0) c PropsBinClauses_7 : 77007921
1241.40/161.86	c (159,0) c PropsBinClauses_total : 611364276
1241.40/161.86	c (159,0) c PropsBinClauses_winner : 76711756
1241.40/161.86	c (159,0) c PropsPreBlocker_0 : 4084518094
1241.40/161.86	c (159,0) c PropsPreBlocker_1 : 4074346164
1241.40/161.86	c (159,0) c PropsPreBlocker_2 : 4078120253
1241.40/161.86	c (159,0) c PropsPreBlocker_3 : 4050315286
1241.40/161.86	c (159,0) c PropsPreBlocker_4 : 4098185646
1241.40/161.86	c (159,0) c PropsPreBlocker_5 : 4027123206
1241.40/161.86	c (159,0) c PropsPreBlocker_6 : 4064617407
1241.40/161.86	c (159,0) c PropsPreBlocker_7 : 4089502936
1241.40/161.86	c (159,0) c PropsPreBlocker_total : 32566728992
1241.40/161.86	c (159,0) c PropsPreBlocker_winner : 4078120253
1241.40/161.86	c (159,0) c PropsNotBlocker_0 : 1381832185
1241.40/161.86	c (159,0) c PropsNotBlocker_1 : 1387392494
1241.40/161.86	c (159,0) c PropsNotBlocker_2 : 1370736690
1241.40/161.86	c (159,0) c PropsNotBlocker_3 : 1395624865
1241.40/161.86	c (159,0) c PropsNotBlocker_4 : 1375512961
1241.40/161.86	c (159,0) c PropsNotBlocker_5 : 1394517120
1241.40/161.86	c (159,0) c PropsNotBlocker_6 : 1382148247
1241.40/161.86	c (159,0) c PropsNotBlocker_7 : 1376031082
1241.40/161.86	c (159,0) c PropsNotBlocker_total : 11063795644
1241.40/161.86	c (159,0) c PropsNotBlocker_winner : 1370736690
1241.40/161.86	c (159,0) c PropsLitFullScans_0 : 8215000705
1241.40/161.86	c (159,0) c PropsLitFullScans_1 : 8214993343
1241.40/161.86	c (159,0) c PropsLitFullScans_2 : 8187883465
1241.40/161.86	c (159,0) c PropsLitFullScans_3 : 8213330355
1241.40/161.86	c (159,0) c PropsLitFullScans_4 : 8214333792
1241.40/161.86	c (159,0) c PropsLitFullScans_5 : 8184955009
1241.40/161.86	c (159,0) c PropsLitFullScans_6 : 8214915219
1241.40/161.86	c (159,0) c PropsLitFullScans_7 : 8215001694
1241.40/161.86	c (159,0) c PropsLitFullScans_total : 65660413582
1241.40/161.86	c (159,0) c PropsLitFullScans_winner : 8187883465
1241.40/161.86	c (159,0) c LitScanFractions_0 : 993911
1241.40/161.86	c (159,0) c LitScanFractions_1 : 972706
1241.40/161.86	c (159,0) c LitScanFractions_2 : 945158
1241.40/161.86	c (159,0) c LitScanFractions_3 : 923630
1241.40/161.86	c (159,0) c LitScanFractions_4 : 952603
1241.40/161.86	c (159,0) c LitScanFractions_5 : 928891
1241.40/161.86	c (159,0) c LitScanFractions_6 : 900154
1241.40/161.86	c (159,0) c LitScanFractions_7 : 937461
1241.40/161.86	c (159,0) c LitScanFractions_total : 7554514
1241.40/161.86	c (159,0) c LitScanFractions_winner : 945158
1241.40/161.86	c (159,0) c DecisionLevel0_0 : 1380
1241.40/161.86	c (159,0) c DecisionLevel0_1 : 1260
1241.40/161.86	c (159,0) c DecisionLevel0_2 : 1229
1241.40/161.86	c (159,0) c DecisionLevel0_3 : 1421
1241.40/161.86	c (159,0) c DecisionLevel0_4 : 1103
1241.40/161.86	c (159,0) c DecisionLevel0_5 : 1255
1241.40/161.86	c (159,0) c DecisionLevel0_6 : 1151
1241.40/161.86	c (159,0) c DecisionLevel0_7 : 1108
1241.40/161.86	c (159,0) c DecisionLevel0_total : 9907
1241.40/161.86	c (159,0) c DecisionLevel0_winner : 1229
1241.40/161.86	c (159,0) c Periods_0 : 1369
1241.40/161.86	c (159,0) c Periods_1 : 1369
1241.40/161.86	c (159,0) c Periods_2 : 1364
1241.40/161.86	c (159,0) c Periods_3 : 1368
1241.40/161.86	c (159,0) c Periods_4 : 1368
1241.40/161.86	c (159,0) c Periods_5 : 1364
1241.40/161.86	c (159,0) c Periods_6 : 1369
1241.40/161.86	c (159,0) c Periods_7 : 1369
1241.40/161.86	c (159,0) c Periods_total : 10940
1241.40/161.86	c (159,0) c Periods_winner : 1364
1241.40/161.86	c (159,0) c Margin_0 : 20
1241.40/161.86	c (159,0) c Margin_1 : 20
1241.40/161.86	c (159,0) c Margin_2 : 20
1241.40/161.86	c (159,0) c Margin_3 : 20
1241.40/161.86	c (159,0) c Margin_4 : 20
1241.40/161.86	c (159,0) c Margin_5 : 20
1241.40/161.86	c (159,0) c Margin_6 : 20
1241.40/161.87	c (159,0) c Margin_7 : 20
1241.40/161.87	c (159,0) c Margin_total : 160
1241.40/161.87	c (159,0) c Margin_winner : 20
1241.40/161.87	c (159,0) c Exported_0 : 49146
1241.40/161.87	c (159,0) c Exported_1 : 48281
1241.40/161.87	c (159,0) c Exported_2 : 51051
1241.40/161.87	c (159,0) c Exported_3 : 48584
1241.40/161.87	c (159,0) c Exported_4 : 48865
1241.40/161.87	c (159,0) c Exported_5 : 48613
1241.40/161.87	c (159,0) c Exported_6 : 50005
1241.40/161.87	c (159,0) c Exported_7 : 50255
1241.40/161.87	c (159,0) c Exported_total : 394800
1241.40/161.87	c (159,0) c Exported_winner : 51051
1241.40/161.87	c (159,0) c Imported_0 : 341784
1241.40/161.87	c (159,0) c Imported_1 : 342266
1241.40/161.87	c (159,0) c Imported_2 : 339377
1241.40/161.87	c (159,0) c Imported_3 : 342580
1241.40/161.87	c (159,0) c Imported_4 : 342207
1241.40/161.87	c (159,0) c Imported_5 : 340473
1241.40/161.87	c (159,0) c Imported_6 : 335667
1241.40/161.87	c (159,0) c Imported_7 : 334254
1241.40/161.87	c (159,0) c Imported_total : 2718608
1241.40/161.87	c (159,0) c Imported_winner : 339377
1241.40/161.87	c (159,0) c Good_0 : 114
1241.40/161.87	c (159,0) c Good_1 : 113
1241.40/161.87	c (159,0) c Good_2 : 99
1241.40/161.87	c (159,0) c Good_3 : 110
1241.40/161.87	c (159,0) c Good_4 : 98
1241.40/161.87	c (159,0) c Good_5 : 99
1241.40/161.87	c (159,0) c Good_6 : 55
1241.40/161.87	c (159,0) c Good_7 : 57
1241.40/161.87	c (159,0) c Good_total : 745
1241.40/161.87	c (159,0) c Good_winner : 99
1241.40/161.87	c (159,0) c Purge_0 : 341670
1241.40/161.87	c (159,0) c Purge_1 : 342153
1241.40/161.87	c (159,0) c Purge_2 : 339278
1241.40/161.87	c (159,0) c Purge_3 : 342470
1241.40/161.87	c (159,0) c Purge_4 : 342109
1241.40/161.87	c (159,0) c Purge_5 : 340374
1241.40/161.87	c (159,0) c Purge_6 : 335612
1241.40/161.87	c (159,0) c Purge_7 : 334197
1241.40/161.87	c (159,0) c Purge_total : 2717863
1241.40/161.87	c (159,0) c Purge_winner : 339278
1241.40/161.87	c (159,0) c Promoted_0 : 44863
1241.40/161.87	c (159,0) c Promoted_1 : 45434
1241.40/161.87	c (159,0) c Promoted_2 : 44600
1241.40/161.87	c (159,0) c Promoted_3 : 45137
1241.40/161.87	c (159,0) c Promoted_4 : 44801
1241.40/161.87	c (159,0) c Promoted_5 : 45423
1241.40/161.87	c (159,0) c Promoted_6 : 45199
1241.40/161.87	c (159,0) c Promoted_7 : 45399
1241.40/161.87	c (159,0) c Promoted_total : 360856
1241.40/161.87	c (159,0) c Promoted_winner : 44600
1241.40/161.87	c (159,0) c Remove_Imp_0 : 235905
1241.40/161.87	c (159,0) c Remove_Imp_1 : 236886
1241.40/161.87	c (159,0) c Remove_Imp_2 : 229437
1241.40/161.87	c (159,0) c Remove_Imp_3 : 238297
1241.40/161.87	c (159,0) c Remove_Imp_4 : 233104
1241.40/161.87	c (159,0) c Remove_Imp_5 : 230189
1241.40/161.87	c (159,0) c Remove_Imp_6 : 231873
1241.40/161.87	c (159,0) c Remove_Imp_7 : 226571
1241.40/161.87	c (159,0) c Remove_Imp_total : 1862262
1241.40/161.87	c (159,0) c Remove_Imp_winner : 229437
1241.40/161.87	c (159,0) c Blocked_Reuse_0 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_1 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_2 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_3 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_4 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_5 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_6 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_7 : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_total : 0
1241.40/161.87	c (159,0) c Blocked_Reuse_winner : 0
1241.40/161.87	c (159,0) c Unaries_0 : 0
1241.40/161.87	c (159,0) c Unaries_1 : 1
1241.40/161.87	c (159,0) c Unaries_2 : 12
1241.40/161.87	c (159,0) c Unaries_3 : 11
1241.40/161.87	c (159,0) c Unaries_4 : 6
1241.40/161.87	c (159,0) c Unaries_5 : 2
1241.40/161.87	c (159,0) c Unaries_6 : 2
1241.40/161.87	c (159,0) c Unaries_7 : 1
1241.40/161.87	c (159,0) c Unaries_total : 35
1241.40/161.87	c (159,0) c Unaries_winner : 12
1241.40/161.87	c (159,0) c Binaries_0 : 6
1241.40/161.87	c (159,0) c Binaries_1 : 9
1241.40/161.87	c (159,0) c Binaries_2 : 46
1241.40/161.87	c (159,0) c Binaries_3 : 38
1241.40/161.87	c (159,0) c Binaries_4 : 31
1241.40/161.87	c (159,0) c Binaries_5 : 16
1241.40/161.87	c (159,0) c Binaries_6 : 35
1241.40/161.87	c (159,0) c Binaries_7 : 22
1241.40/161.87	c (159,0) c Binaries_total : 203
1241.40/161.87	c (159,0) c Binaries_winner : 46
1241.40/161.87	c (159,0) c Glues_0 : 306
1241.40/161.87	c (159,0) c Glues_1 : 325
1241.40/161.87	c (159,0) c Glues_2 : 377
1241.40/161.87	c (159,0) c Glues_3 : 383
1241.40/161.87	c (159,0) c Glues_4 : 306
1241.40/161.87	c (159,0) c Glues_5 : 342
1241.40/161.87	c (159,0) c Glues_6 : 293
1241.40/161.87	c (159,0) c Glues_7 : 289
1241.40/161.87	c (159,0) c Glues_total : 2621
1241.40/161.87	c (159,0) c Glues_winner : 377
1241.40/161.87	c (159,0) c RunningTime_0 : 156.122643
1241.40/161.87	c (159,0) c RunningTime_1 : 154.212912
1241.40/161.87	c (159,0) c RunningTime_2 : 156.848461
1241.40/161.87	c (159,0) c RunningTime_3 : 156.534714
1241.40/161.87	c (159,0) c RunningTime_4 : 151.113675
1241.40/161.87	c (159,0) c RunningTime_5 : 155.806221
1241.40/161.87	c (159,0) c RunningTime_6 : 154.133190
1241.40/161.87	c (159,0) c RunningTime_7 : 153.594122
1241.40/161.87	c (159,0) c RunningTime_total : 1238.365938
1241.40/161.87	c (159,0) c RunningTime_winner : 156.848461
1241.40/161.87	c (159,0) c WaitingTime_0 : 1.772389
1241.40/161.87	c (159,0) c WaitingTime_1 : 3.669652
1241.40/161.87	c (159,0) c WaitingTime_2 : 1.319603
1241.40/161.87	c (159,0) c WaitingTime_3 : 1.349232
1241.40/161.87	c (159,0) c WaitingTime_4 : 6.777157
1241.40/161.87	c (159,0) c WaitingTime_5 : 3.144495
1241.40/161.87	c (159,0) c WaitingTime_6 : 3.751012
1241.40/161.87	c (159,0) c WaitingTime_7 : 4.298982
1241.40/161.87	c (159,0) c WaitingTime_total : 26.082521
1241.40/161.87	c (159,0) c WaitingTime_winner : 1.319603
1241.40/161.87	c (159,0) c ExchangingTime_0 : 0.156423
1241.40/161.87	c (159,0) c ExchangingTime_1 : 0.164769
1241.40/161.87	c (159,0) c ExchangingTime_2 : 0.180937
1241.40/161.88	c (159,0) c ExchangingTime_3 : 0.147528
1241.40/161.88	c (159,0) c ExchangingTime_4 : 0.151919
1241.40/161.88	c (159,0) c ExchangingTime_5 : 0.158878
1241.40/161.88	c (159,0) c ExchangingTime_6 : 0.163598
1241.40/161.88	c (159,0) c ExchangingTime_7 : 0.154188
1241.40/161.88	c (159,0) c ExchangingTime_total : 1.278241
1241.40/161.88	c (159,0) c ExchangingTime_winner : 0.180937
1241.40/161.88	c (159,0) c PeriodProcTime_0 : 0.012616
1241.40/161.88	c (159,0) c PeriodProcTime_1 : 0.015876
1241.40/161.88	c (159,0) c PeriodProcTime_2 : 0.014296
1241.40/161.88	c (159,0) c PeriodProcTime_3 : 0.010780
1241.40/161.88	c (159,0) c PeriodProcTime_4 : 0.010291
1241.40/161.88	c (159,0) c PeriodProcTime_5 : 0.012081
1241.40/161.88	c (159,0) c PeriodProcTime_6 : 0.014997
1241.40/161.88	c (159,0) c PeriodProcTime_7 : 0.014944
1241.40/161.88	c (159,0) c PeriodProcTime_total : 0.105880
1241.40/161.88	c (159,0) c PeriodProcTime_winner : 0.014296
1241.40/161.88	c (159,0) c SolvingTime_0 : 158.064071
1241.40/161.88	c (159,0) c SolvingTime_1 : 158.063209
1241.40/161.88	c (159,0) c SolvingTime_2 : 158.363297
1241.40/161.88	c (159,0) c SolvingTime_3 : 158.042253
1241.40/161.88	c (159,0) c SolvingTime_4 : 158.053042
1241.40/161.88	c (159,0) c SolvingTime_5 : 159.121675
1241.40/161.88	c (159,0) c SolvingTime_6 : 158.062798
1241.40/161.88	c (159,0) c SolvingTime_7 : 158.062237
1241.40/161.88	c (159,0) c SolvingTime_total : 1265.832581
1241.40/161.88	c (159,0) c SolvingTime_winner : 158.363297
1241.40/161.88	c (159,0) c PropagationTime_0 : 148.704916
1241.40/161.88	c (159,0) c PropagationTime_1 : 148.294064
1241.40/161.88	c (159,0) c PropagationTime_2 : 148.596984
1241.40/161.88	c (159,0) c PropagationTime_3 : 146.691345
1241.40/161.88	c (159,0) c PropagationTime_4 : 148.090520
1241.40/161.88	c (159,0) c PropagationTime_5 : 149.336824
1241.40/161.88	c (159,0) c PropagationTime_6 : 148.045842
1241.40/161.88	c (159,0) c PropagationTime_7 : 148.332588
1241.40/161.88	c (159,0) c PropagationTime_total : 1186.093082
1241.40/161.88	c (159,0) c PropagationTime_winner : 148.596984
1241.40/161.88	c (159,0) c AnalysisTime_0 : 7.387545
1241.40/161.88	c (159,0) c AnalysisTime_1 : 7.726562
1241.40/161.88	c (159,0) c AnalysisTime_2 : 7.678802
1241.40/161.88	c (159,0) c AnalysisTime_3 : 9.379212
1241.40/161.88	c (159,0) c AnalysisTime_4 : 7.929510
1241.40/161.88	c (159,0) c AnalysisTime_5 : 7.818332
1241.40/161.88	c (159,0) c AnalysisTime_6 : 8.004003
1241.40/161.88	c (159,0) c AnalysisTime_7 : 7.667164
1241.40/161.88	c (159,0) c AnalysisTime_total : 63.591130
1241.40/161.88	c (159,0) c AnalysisTime_winner : 7.678802
1241.40/161.88	c (159,0) c ReductionTime_0 : 0.661832
1241.40/161.88	c (159,0) c ReductionTime_1 : 0.694322
1241.40/161.88	c (159,0) c ReductionTime_2 : 0.720206
1241.40/161.88	c (159,0) c ReductionTime_3 : 0.669789
1241.40/161.88	c (159,0) c ReductionTime_4 : 0.690164
1241.40/161.88	c (159,0) c ReductionTime_5 : 0.642159
1241.40/161.88	c (159,0) c ReductionTime_6 : 0.699151
1241.40/161.88	c (159,0) c ReductionTime_7 : 0.707565
1241.40/161.88	c (159,0) c ReductionTime_total : 5.485187
1241.40/161.88	c (159,0) c ReductionTime_winner : 0.720206
1241.40/161.88	c (159,0) c SimplifyTime_0 : 0.067369
1241.40/161.88	c (159,0) c SimplifyTime_1 : 0.049975
1241.40/161.88	c (159,0) c SimplifyTime_2 : 0.029906
1241.40/161.88	c (159,0) c SimplifyTime_3 : 0.049524
1241.40/161.88	c (159,0) c SimplifyTime_4 : 0.086793
1241.40/161.88	c (159,0) c SimplifyTime_5 : 0.034939
1241.40/161.88	c (159,0) c SimplifyTime_6 : 0.013767
1241.40/161.88	c (159,0) c SimplifyTime_7 : 0.053816
1241.40/161.88	c (159,0) c SimplifyTime_total : 0.386089
1241.40/161.88	c (159,0) c SimplifyTime_winner : 0.029906
1241.40/161.88	c (159,0) c UsedRateTime_0 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_1 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_2 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_3 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_4 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_5 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_6 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_7 : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_total : 0.000000
1241.40/161.88	c (159,0) c UsedRateTime_winner : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_0 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_1 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_2 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_3 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_4 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_5 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_6 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_7 : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_total : 0.000000
1241.40/161.88	c (159,0) c OverlapRateTime_winner : 0.000000
1241.40/161.88	c (159,0) c
1241.40/161.88	c (159,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1241.40/161.88	c (159,0) c
1241.40/161.88	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.88	c (159,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1241.40/161.88	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.88	c (159,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1241.40/161.88	c (159,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1241.40/161.88	c (159,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1241.40/161.88	c (159,0) c | Initial random_seed   |  870890752 | 1013836827 | 1014382381 |  764372305 |  534993462 | 2070202714 |  984901385 | 1412419383 |
1241.40/161.88	c (159,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1241.40/161.88	c (159,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1241.40/161.88	c (159,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1241.40/161.88	c (159,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1241.40/161.88	c (159,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1241.40/161.88	c (159,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1241.40/161.88	c (159,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1241.40/161.88	c (159,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1241.40/161.88	c (159,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1241.40/161.88	c (159,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1241.40/161.88	c (159,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1241.40/161.88	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1241.40/161.88	c (159,0) 
1241.40/161.89	c (159,0) s UNSATISFIABLE
1241.40/161.89	c (159,0) SatSolver.solve End
1241.40/161.89	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1241.40/161.89	c (159,0) Show results Begin
1241.40/161.89	s UNSATISFIABLE
1241.40/161.89	c (159,0) Show results End
1241.40/161.89	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1241.40/161.89	c (159,0) 159,159,STOP-AFTER(ALL)
1241.40/161.89	c END-Prog: Wed Sep 25 00:59:01 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13348 MiB free)
  memory of node 1: 16384 MiB (12504 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405625-1569365825/watcher-4405625-1569365825 -o /var/tmp/evaluation-result-4405625-1569365825/solver-4405625-1569365825 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --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-4405625-1569365825.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=20513, runsolver pid=20510
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 7.66 7.51 7.57 3/211 20535
/proc/meminfo: memFree=26380704/32770624 swapFree=67002124/67108860
[pid=20513] ppid=20510 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20513/stat : 20513 (scop.sh) S 20510 20513 18552 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512831021 115843072 349 33554432000 4194304 5098028 140730604594912 140730604592168 140491517858428 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34521088 140730604598012 140730604598360 140730604598360 140730604601289 0
/proc/20513/statm: 28282 349 296 221 0 87 0
[pid=20516] ppid=20513 vsize=27314120 memory=104676 CPUtime=0.11 cores=0-7
/proc/20516/stat : 20516 (java) S 20513 20513 18552 0 -1 1077944320 6220 0 0 0 8 3 0 0 20 0 20 0 512831021 27969658880 26169 33554432000 4194304 4196468 140724505295808 140724505278352 140057184067319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
/proc/20516/statm: 6828530 26169 2796 1 0 6790935 0
[pid=20516/tid=20517] ppid=20513 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20516/task/20517/stat : 20517 (java) R 20513 20513 18552 0 -1 4202560 4286 0 0 0 7 2 0 0 20 0 20 0 512831021 27969658880 26169 33554432000 4194304 4196468 140724505295808 140057155899656 140057168110949 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20518] ppid=20513 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20516/task/20518/stat : 20518 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140057188309648 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20519] ppid=20513 vsize=27314120 memory=139622094894720 CPUtime=0 cores=0-7
/proc/20516/task/20519/stat : 20519 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140057006397968 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20520] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20520/stat : 20520 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140056604866960 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20521] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20521/stat : 20521 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140056603814160 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20522] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20522/stat : 20522 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140056602762384 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20523] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20523/stat : 20523 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140056601709584 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20524] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20524/stat : 20524 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140056600656784 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20525] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20525/stat : 20525 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 26169 33554432000 4194304 4196468 140724505295808 140056599603984 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20526] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20526/stat : 20526 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831025 27969658880 26169 33554432000 4194304 4196468 140724505295808 140055571347824 140057184078466 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20527] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20527/stat : 20527 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512831026 27969658880 26169 33554432000 4194304 4196468 140724505295808 140054924092448 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20528] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20528/stat : 20528 (java) S 20513 20513 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512831026 27969658880 26169 33554432000 4194304 4196468 140724505295808 140054789870448 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20529] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20529/stat : 20529 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 26169 33554432000 4194304 4196468 140724505295808 140054415365968 140057184085915 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20530] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20530/stat : 20530 (java) S 20513 20513 18552 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 26169 33554432000 4194304 4196468 140724505295808 140055570295664 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20531] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20531/stat : 20531 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 26169 33554432000 4194304 4196468 140724505295808 140055569242864 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20532] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20532/stat : 20532 (java) S 20513 20513 18552 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 26169 33554432000 4194304 4196468 140724505295808 140055568190064 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20533] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20533/stat : 20533 (java) S 20513 20513 18552 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 26169 33554432000 4194304 4196468 140724505295808 140055567137264 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20534] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20534/stat : 20534 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831029 27969658880 26681 33554432000 4194304 4196468 140724505295808 140053917461088 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20535] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20535/stat : 20535 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831029 27969658880 26681 33554432000 4194304 4196468 140724505295808 140055566084656 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106072 KiB

[startup+0.210154 s]*
/proc/loadavg: 7.66 7.51 7.57 2/211 20535
/proc/meminfo: memFree=26358912/32770624 swapFree=67002124/67108860
[pid=20513] ppid=20510 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20513/stat : 20513 (scop.sh) S 20510 20513 18552 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512831021 115843072 349 33554432000 4194304 5098028 140730604594912 140730604592168 140491517858428 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34521088 140730604598012 140730604598360 140730604598360 140730604601289 0
/proc/20513/statm: 28282 349 296 221 0 87 0
[pid=20516] ppid=20513 vsize=27314120 memory=123700 CPUtime=0.24 cores=0-7
/proc/20516/stat : 20516 (java) S 20513 20513 18552 0 -1 1077944320 11806 0 0 0 20 4 0 0 20 0 20 0 512831021 27969658880 30925 33554432000 4194304 4196468 140724505295808 140724505278352 140057184067319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
/proc/20516/statm: 6828530 30925 2911 1 0 6790935 0
[pid=20516/tid=20517] ppid=20513 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20516/task/20517/stat : 20517 (java) R 20513 20513 18552 0 -1 4202560 9489 0 0 0 16 3 0 0 20 0 20 0 512831021 27969658880 30925 33554432000 4194304 4196468 140724505295808 140057155891280 140057165630894 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20518] ppid=20513 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/20516/task/20518/stat : 20518 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140057188309648 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20519] ppid=20513 vsize=27314120 memory=139622098691580 CPUtime=0 cores=0-7
/proc/20516/task/20519/stat : 20519 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140057006397968 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20520] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20520/stat : 20520 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140056604866960 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20521] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20521/stat : 20521 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140056603814160 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20522] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20522/stat : 20522 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140056602762384 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20523] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20523/stat : 20523 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140056601709584 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20524] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20524/stat : 20524 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140056600656784 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20525] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20525/stat : 20525 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 30925 33554432000 4194304 4196468 140724505295808 140056599603984 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20526] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20526/stat : 20526 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831025 27969658880 30925 33554432000 4194304 4196468 140724505295808 140055571347824 140057184078466 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20527] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20527/stat : 20527 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512831026 27969658880 30925 33554432000 4194304 4196468 140724505295808 140054924092448 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20528] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20528/stat : 20528 (java) S 20513 20513 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512831026 27969658880 30925 33554432000 4194304 4196468 140724505295808 140054789870448 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20529] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20529/stat : 20529 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 30925 33554432000 4194304 4196468 140724505295808 140054415365968 140057184085915 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20530] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20530/stat : 20530 (java) S 20513 20513 18552 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 30925 33554432000 4194304 4196468 140724505295808 140055570295664 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20531] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20531/stat : 20531 (java) S 20513 20513 18552 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 30925 33554432000 4194304 4196468 140724505295808 140055569242864 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20532] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20532/stat : 20532 (java) S 20513 20513 18552 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 30925 33554432000 4194304 4196468 140724505295808 140055568190064 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20533] ppid=20513 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20516/task/20533/stat : 20533 (java) S 20513 20513 18552 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 512831028 27969658880 30925 33554432000 4194304 4196468 140724505295808 140055567137264 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20534] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20534/stat : 20534 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831029 27969658880 30925 33554432000 4194304 4196468 140724505295808 140053917461088 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20535] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20535/stat : 20535 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831029 27969658880 30925 33554432000 4194304 4196468 140724505295808 140055566084656 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125096 KiB

[startup+0.309587 s]*
/proc/loadavg: 7.21 7.42 7.54 2/211 20535
/proc/meminfo: memFree=26355872/32770624 swapFree=67002124/67108860
[pid=20513] ppid=20510 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20513/stat : 20513 (scop.sh) S 20510 20513 18552 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512831021 115843072 349 33554432000 4194304 5098028 140730604594912 140730604592168 140491517858428 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34521088 140730604598012 140730604598360 140730604598360 140730604601289 0
/proc/20513/statm: 28282 349 296 221 0 87 0
[pid=20516] ppid=20513 vsize=27314120 memory=127744 CPUtime=0.43 cores=0-7
/proc/20516/stat : 20516 (java) S 20513 20513 18552 0 -1 1077944320 12326 0 0 0 38 5 0 0 20 0 20 0 512831021 27969658880 31936 33554432000 4194304 4196468 140724505295808 140724505278352 140057184067319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
/proc/20516/statm: 6828530 31936 3046 1 0 6790935 0
[pid=20516/tid=20517] ppid=20513 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20516/task/20517/stat : 20517 (java) R 20513 20513 18552 0 -1 4202560 9789 0 0 0 26 3 0 0 20 0 20 0 512831021 27969658880 31936 33554432000 4194304 4196468 140724505295808 140057155861424 140057184081206 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20518] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20518/stat : 20518 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140057188309648 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20519] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20519/stat : 20519 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140057006397968 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20520] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20520/stat : 20520 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140056604866960 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20521] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20521/stat : 20521 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140056603814160 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20522] ppid=20513 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/20516/task/20522/stat : 20522 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140056602762384 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20523] ppid=20513 vsize=27314120 memory=139621937804207 CPUtime=0 cores=0-7
/proc/20516/task/20523/stat : 20523 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140056601709584 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20524] ppid=20513 vsize=27314120 memory=139621937806512 CPUtime=0 cores=0-7
/proc/20516/task/20524/stat : 20524 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140056600656784 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20525] ppid=20513 vsize=27314120 memory=139621937808816 CPUtime=0 cores=0-7
/proc/20516/task/20525/stat : 20525 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27969658880 31936 33554432000 4194304 4196468 140724505295808 140056599603984 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20526] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20526/stat : 20526 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831025 27969658880 31936 33554432000 4194304 4196468 140724505295808 140055571347824 140057184078466 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20527] ppid=20513 vsize=27314120 memory=279243875624592 CPUtime=0 cores=0-7
/proc/20516/task/20527/stat : 20527 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512831026 27969658880 31936 33554432000 4194304 4196468 140724505295808 140054924092448 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20528] ppid=20513 vsize=27314120 memory=279243875631504 CPUtime=0 cores=0-7
/proc/20516/task/20528/stat : 20528 (java) S 20513 20513 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512831026 27969658880 31936 33554432000 4194304 4196468 140724505295808 140054789870448 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20529] ppid=20513 vsize=27314120 memory=279243875572784 CPUtime=0 cores=0-7
/proc/20516/task/20529/stat : 20529 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831028 27969658880 31936 33554432000 4194304 4196468 140724505295808 140054415365968 140057184085915 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20530] ppid=20513 vsize=27314120 memory=279243875645328 CPUtime=0.01 cores=0-7
/proc/20516/task/20530/stat : 20530 (java) S 20513 20513 18552 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 512831028 27969658880 31936 33554432000 4194304 4196468 140724505295808 140055570295664 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20531] ppid=20513 vsize=27314120 memory=279243875652240 CPUtime=0.01 cores=0-7
/proc/20516/task/20531/stat : 20531 (java) S 20513 20513 18552 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 512831028 27969658880 31936 33554432000 4194304 4196468 140724505295808 140055569242864 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20532] ppid=20513 vsize=27314120 memory=279243875649936 CPUtime=0.01 cores=0-7
/proc/20516/task/20532/stat : 20532 (java) R 20513 20513 18552 0 -1 4202560 468 0 0 0 1 0 0 0 20 0 20 0 512831028 27969658880 31936 33554432000 4194304 4196468 140724505295808 140055568190064 140057176356768 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20533] ppid=20513 vsize=27314120 memory=279243875666096 CPUtime=0.07 cores=0-7
/proc/20516/task/20533/stat : 20533 (java) S 20513 20513 18552 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 20 0 512831028 27969658880 31936 33554432000 4194304 4196468 140724505295808 140055567137264 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20534] ppid=20513 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20534/stat : 20534 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512831029 27969658880 31936 33554432000 4194304 4196468 140724505295808 140053917461088 140057184077525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20535] ppid=20513 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20516/task/20535/stat : 20535 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831029 27969658880 31936 33554432000 4194304 4196468 140724505295808 140055566084656 140057184078466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129140 KiB

[startup+0.700871 s]
/proc/loadavg: 7.21 7.42 7.54 3/211 20535
/proc/meminfo: memFree=26335360/32770624 swapFree=67002124/67108860
[pid=20513] ppid=20510 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20513/stat : 20513 (scop.sh) S 20510 20513 18552 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512831021 115843072 349 33554432000 4194304 5098028 140730604594912 140730604592168 140491517858428 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34521088 140730604598012 140730604598360 140730604598360 140730604601289 0
/proc/20513/statm: 28282 349 296 221 0 87 0
[pid=20516] ppid=20513 vsize=27322440 memory=163988 CPUtime=1.02 cores=0-7
/proc/20516/stat : 20516 (java) S 20513 20513 18552 0 -1 1077944320 20086 0 0 0 94 8 0 0 20 0 20 0 512831021 27978178560 40997 33554432000 4194304 4196468 140724505295808 140724505278352 140057184067319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
/proc/20516/statm: 6830610 40997 3184 1 0 6791959 0
[pid=20516/tid=20517] ppid=20513 vsize=27322440 memory=279243876023984 CPUtime=0.68 cores=0-7
/proc/20516/task/20517/stat : 20517 (java) R 20513 20513 18552 0 -1 4202560 16919 0 0 0 62 6 0 0 20 0 20 0 512831021 27978178560 40997 33554432000 4194304 4196468 140724505295808 140057155899072 140057184089245 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20518] ppid=20513 vsize=27322440 memory=139621938013040 CPUtime=0 cores=0-7
/proc/20516/task/20518/stat : 20518 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27978178560 40997 33554432000 4194304 4196468 140724505295808 140057188309648 140057184077525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20519] ppid=20513 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/20516/task/20519/stat : 20519 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512831024 27978178560 40997 33554432000 4194304 4196468 140724505295808 140057006397968 140057184077525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0
[pid=20516/tid=20520] ppid=20513 vsize=27322440 memory=1056 CPUtime=0 cores=0-7
/proc/20516/task/20520/stat : 20520 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512831024 27978178560 40997 33554432000 4194304 4196468 140724505295808 140056604866960 140057184077525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140724505297606 140724505298054 140724505298054 140724505300943 0

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

/proc/20536/task/20539/stat : 20539 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639648386064 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20540] ppid=20513 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/20536/task/20540/stat : 20540 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639647333264 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20541] ppid=20513 vsize=8414124 memory=2676 CPUtime=0 cores=0-7
/proc/20536/task/20541/stat : 20541 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639646280464 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20542] ppid=20513 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/20536/task/20542/stat : 20542 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639645227664 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20543] ppid=20513 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20536/task/20543/stat : 20543 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639324858896 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20544] ppid=20513 vsize=8414124 memory=120528 CPUtime=0 cores=0-7
/proc/20536/task/20544/stat : 20544 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639323806096 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20545] ppid=20513 vsize=8414124 memory=405932 CPUtime=0 cores=0-7
/proc/20536/task/20545/stat : 20545 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639322753296 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20546] ppid=20513 vsize=8414124 memory=405824 CPUtime=0 cores=0-7
/proc/20536/task/20546/stat : 20546 (java) S 20513 20513 18552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512831219 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639205862256 140639843986050 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20547] ppid=20513 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/20536/task/20547/stat : 20547 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512831219 8616062976 30132 33554432000 4194304 4196468 140725388378336 140638368556576 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20548] ppid=20513 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/20536/task/20548/stat : 20548 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831220 8616062976 30132 33554432000 4194304 4196468 140725388378336 140638100120944 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20549] ppid=20513 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/20536/task/20549/stat : 20549 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140637725612368 140639843993499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20550] ppid=20513 vsize=8414124 memory=6188 CPUtime=0.06 cores=0-7
/proc/20536/task/20550/stat : 20550 (java) S 20513 20513 18552 0 -1 1077944384 581 0 0 0 6 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639204809072 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20551] ppid=20513 vsize=8414124 memory=636 CPUtime=0.07 cores=0-7
/proc/20536/task/20551/stat : 20551 (java) S 20513 20513 18552 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639203756272 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20552] ppid=20513 vsize=8414124 memory=2836 CPUtime=0.03 cores=0-7
/proc/20536/task/20552/stat : 20552 (java) S 20513 20513 18552 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639202703472 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20553] ppid=20513 vsize=8414124 memory=1056 CPUtime=0.19 cores=0-7
/proc/20536/task/20553/stat : 20553 (java) S 20513 20513 18552 0 -1 1077944384 735 0 0 0 19 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639201650672 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20554] ppid=20513 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/20536/task/20554/stat : 20554 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140637227707488 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20555] ppid=20513 vsize=8414124 memory=1064 CPUtime=0.12 cores=0-7
/proc/20536/task/20555/stat : 20555 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 4 8 0 0 20 0 24 0 512831223 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639200599088 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20558] ppid=20513 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/20536/task/20558/stat : 20558 (java) S 20513 20513 18552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512831287 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639192565312 140639843999513 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20560] ppid=20513 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/20536/task/20560/stat : 20560 (java) S 20513 20513 18552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512831287 8616062976 30132 33554432000 4194304 4196468 140725388378336 140636556607120 140639843996829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20561] ppid=20513 vsize=8414124 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/20536/task/20561/stat : 20561 (java) S 20513 20513 18552 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 512831287 8616062976 30132 33554432000 4194304 4196468 140725388378336 140636825042448 140639843996829 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20562] ppid=20513 vsize=8414124 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/20536/task/20562/stat : 20562 (java) S 20513 20513 18552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512831289 8616062976 30132 33554432000 4194304 4196468 140725388378336 140636288179248 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
Current children cumulated CPU time: 1241.19 s
Current children cumulated vsize: 9184776 KiB
Current children cumulated memory: 499564 KiB

[startup+161.801 s]
/proc/loadavg: 7.98 7.67 7.62 3/219 20581
/proc/meminfo: memFree=25989372/32770624 swapFree=67002124/67108860
[pid=20513] ppid=20510 vsize=113128 memory=1476 CPUtime=4.62 cores=0-7
/proc/20513/stat : 20513 (scop.sh) S 20510 20513 18552 0 -1 4202496 582 26531 0 0 0 0 447 15 20 0 1 0 512831021 115843072 369 33554432000 4194304 5098028 140730604594912 140730604591656 140491517858428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34521088 140730604598012 140730604598360 140730604598360 140730604601289 0
/proc/20513/statm: 28282 369 311 221 0 87 0
[pid=20536] ppid=20513 vsize=8414124 memory=120528 CPUtime=1.23 cores=0-7
/proc/20536/stat : 20536 (java) S 20513 20513 18552 0 -1 1077944320 20149 0 0 0 116 7 0 0 20 0 24 0 512831216 8616062976 30132 33554432000 4194304 4196468 140725388378336 140725388360880 140639843974903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
/proc/20536/statm: 2103531 30132 3202 1 0 2064875 0
[pid=20557] ppid=20536 vsize=657524 memory=377560 CPUtime=1235.55 cores=0-7
/proc/20557/stat : 20557 (manyglucose-4.1) S 20536 20513 18552 0 -1 1077944320 713766 0 0 0 123410 145 0 0 20 0 2 0 512831287 673304576 94390 33554432000 4194304 4454172 140726526312512 140726526310896 139726632877815 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 29995008 140726526317389 140726526317596 140726526317596 140726526320566 0
/proc/20557/statm: 164381 94390 419 64 0 160049 0
[pid=20557/tid=20568] ppid=20536 vsize=657524 memory=1476 CPUtime=155.47 cores=0-7
/proc/20557/task/20568/stat : 20568 (manyglucose-4.1) R 20536 20513 18552 0 -1 4202560 83016 0 0 0 15523 24 0 0 20 0 2 0 512831290 673304576 94390 33554432000 4194304 4454172 140726526312512 139726575697032 4351286 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29995008 140726526317389 140726526317596 140726526317596 140726526320566 0
[pid=20536/tid=20537] ppid=20513 vsize=8414124 memory=120528 CPUtime=0.73 cores=0-7
/proc/20536/task/20537/stat : 20537 (java) S 20513 20513 18552 0 -1 1077944384 16890 0 0 0 68 5 0 0 20 0 24 0 512831216 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639815815072 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20538] ppid=20513 vsize=8414124 memory=405824 CPUtime=0 cores=0-7
/proc/20536/task/20538/stat : 20538 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639848217744 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20539] ppid=20513 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/20536/task/20539/stat : 20539 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639648386064 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20540] ppid=20513 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20536/task/20540/stat : 20540 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639647333264 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20541] ppid=20513 vsize=8414124 memory=120528 CPUtime=0 cores=0-7
/proc/20536/task/20541/stat : 20541 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639646280464 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20542] ppid=20513 vsize=8414124 memory=405824 CPUtime=0 cores=0-7
/proc/20536/task/20542/stat : 20542 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639645227664 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20543] ppid=20513 vsize=8414124 memory=396068 CPUtime=0 cores=0-7
/proc/20536/task/20543/stat : 20543 (java) S 20513 20513 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639324858896 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20544] ppid=20513 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/20536/task/20544/stat : 20544 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639323806096 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20545] ppid=20513 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/20536/task/20545/stat : 20545 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831217 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639322753296 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20546] ppid=20513 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20536/task/20546/stat : 20546 (java) S 20513 20513 18552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512831219 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639205862256 140639843986050 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20547] ppid=20513 vsize=8414124 memory=120528 CPUtime=0 cores=0-7
/proc/20536/task/20547/stat : 20547 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512831219 8616062976 30132 33554432000 4194304 4196468 140725388378336 140638368556576 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20548] ppid=20513 vsize=8414124 memory=397368 CPUtime=0 cores=0-7
/proc/20536/task/20548/stat : 20548 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831220 8616062976 30132 33554432000 4194304 4196468 140725388378336 140638100120944 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20549] ppid=20513 vsize=8414124 memory=3592 CPUtime=0 cores=0-7
/proc/20536/task/20549/stat : 20549 (java) S 20513 20513 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140637725612368 140639843993499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20550] ppid=20513 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/20536/task/20550/stat : 20550 (java) S 20513 20513 18552 0 -1 1077944384 581 0 0 0 6 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639204809072 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20551] ppid=20513 vsize=8414124 memory=7686721470334343827 CPUtime=0.07 cores=0-7
/proc/20536/task/20551/stat : 20551 (java) S 20513 20513 18552 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639203756272 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20552] ppid=20513 vsize=8414124 memory=-8102918446579788844 CPUtime=0.03 cores=0-7
/proc/20536/task/20552/stat : 20552 (java) S 20513 20513 18552 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639202703472 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20553] ppid=20513 vsize=8414124 memory=1174007610 CPUtime=0.19 cores=0-7
/proc/20536/task/20553/stat : 20553 (java) S 20513 20513 18552 0 -1 1077944384 735 0 0 0 19 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639201650672 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20554] ppid=20513 vsize=8414124 memory=279243876648152 CPUtime=0 cores=0-7
/proc/20536/task/20554/stat : 20554 (java) S 20513 20513 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512831222 8616062976 30132 33554432000 4194304 4196468 140725388378336 140637227707488 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20555] ppid=20513 vsize=8414124 memory=279243877882384 CPUtime=0.12 cores=0-7
/proc/20536/task/20555/stat : 20555 (java) S 20513 20513 18552 0 -1 1077944384 13 0 0 0 4 8 0 0 20 0 24 0 512831223 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639200599088 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20558] ppid=20513 vsize=8414124 memory=8324749372054448715 CPUtime=0 cores=0-7
/proc/20536/task/20558/stat : 20558 (java) S 20513 20513 18552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512831287 8616062976 30132 33554432000 4194304 4196468 140725388378336 140639192565312 140639843999513 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20560] ppid=20513 vsize=8414124 memory=-7304408001379863413 CPUtime=0 cores=0-7
/proc/20536/task/20560/stat : 20560 (java) S 20513 20513 18552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512831287 8616062976 30132 33554432000 4194304 4196468 140725388378336 140636556607120 140639843996829 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20561] ppid=20513 vsize=8414124 memory=6503022211779972560 CPUtime=0 cores=0-7
/proc/20536/task/20561/stat : 20561 (java) S 20513 20513 18552 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 512831287 8616062976 30132 33554432000 4194304 4196468 140725388378336 140636825042448 140639843996829 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20562] ppid=20513 vsize=8414124 memory=7739830020006766934 CPUtime=0 cores=0-7
/proc/20536/task/20562/stat : 20562 (java) S 20513 20513 18552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512831289 8616062976 30132 33554432000 4194304 4196468 140725388378336 140636288179248 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
Current children cumulated CPU time: 1241.4 s
Current children cumulated vsize: 9184776 KiB
Current children cumulated memory: 499564 KiB

[startup+161.901 s]
/proc/loadavg: 7.98 7.67 7.62 3/219 20581
/proc/meminfo: memFree=25989372/32770624 swapFree=67002124/67108860
[pid=20513] ppid=20510 vsize=113128 memory=1476 CPUtime=4.62 cores=0-7
/proc/20513/stat : 20513 (scop.sh) S 20510 20513 18552 0 -1 4202496 582 26531 0 0 0 0 447 15 20 0 1 0 512831021 115843072 369 33554432000 4194304 5098028 140730604594912 140730604591656 140491517858428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34521088 140730604598012 140730604598360 140730604598360 140730604601289 0
/proc/20513/statm: 28282 369 311 221 0 87 0
[pid=20536] ppid=20513 vsize=8150944 memory=126204 CPUtime=1236.95 cores=0-7
/proc/20536/stat : 20536 (java) S 20513 20513 18552 0 -1 1077944320 22430 713927 0 0 123 9 123416 147 20 0 20 0 512831216 8346566656 31551 33554432000 4194304 4196468 140725388378336 140725388360880 140639843974903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
/proc/20536/statm: 2037736 31551 3206 1 0 1999080 0
[pid=20536/tid=20537] ppid=20513 vsize=8150944 memory=1476 CPUtime=1236.37 cores=0-7
/proc/20536/task/20537/stat : 20537 (java) S 20513 20513 18552 0 -1 1077944384 16904 713927 0 0 69 5 123416 147 20 0 20 0 512831216 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639815818384 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20538] ppid=20513 vsize=8150944 memory=1476 CPUtime=1235.63 cores=0-7
/proc/20536/task/20538/stat : 20538 (java) S 20513 20513 18552 0 -1 1077944384 1 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639848217744 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20539] ppid=20513 vsize=8150944 memory=1448 CPUtime=1235.63 cores=0-7
/proc/20536/task/20539/stat : 20539 (java) S 20513 20513 18552 0 -1 1077944384 1 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639648386064 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20540] ppid=20513 vsize=8150944 memory=1980 CPUtime=1235.63 cores=0-7
/proc/20536/task/20540/stat : 20540 (java) S 20513 20513 18552 0 -1 1077944384 2 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639647333264 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20541] ppid=20513 vsize=8150944 memory=397180 CPUtime=1235.63 cores=0-7
/proc/20536/task/20541/stat : 20541 (java) S 20513 20513 18552 0 -1 1077944384 1 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639646280464 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20542] ppid=20513 vsize=8150944 memory=6656426216303648864 CPUtime=1235.63 cores=0-7
/proc/20536/task/20542/stat : 20542 (java) S 20513 20513 18552 0 -1 1077944384 2 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639645227664 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20543] ppid=20513 vsize=8150944 memory=932 CPUtime=1235.63 cores=0-7
/proc/20536/task/20543/stat : 20543 (java) S 20513 20513 18552 0 -1 1077944384 2 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639324858896 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20544] ppid=20513 vsize=8150944 memory=1824 CPUtime=1235.63 cores=0-7
/proc/20536/task/20544/stat : 20544 (java) S 20513 20513 18552 0 -1 1077944384 3 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639323806096 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20545] ppid=20513 vsize=8150944 memory=1476 CPUtime=1235.63 cores=0-7
/proc/20536/task/20545/stat : 20545 (java) S 20513 20513 18552 0 -1 1077944384 1 713927 0 0 0 0 123416 147 20 0 20 0 512831217 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639322753296 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20546] ppid=20513 vsize=8150944 memory=120528 CPUtime=1235.63 cores=0-7
/proc/20536/task/20546/stat : 20546 (java) S 20513 20513 18552 0 -1 1077944384 7 713927 0 0 0 0 123416 147 20 0 20 0 512831219 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639205862464 140639843986050 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20547] ppid=20513 vsize=8150944 memory=395492 CPUtime=1235.63 cores=0-7
/proc/20536/task/20547/stat : 20547 (java) S 20513 20513 18552 0 -1 1077944384 13 713927 0 0 0 0 123416 147 20 0 20 0 512831219 8346566656 31551 33554432000 4194304 4196468 140725388378336 140638368556576 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20548] ppid=20513 vsize=8150944 memory=0 CPUtime=1235.63 cores=0-7
/proc/20536/task/20548/stat : 20548 (java) S 20513 20513 18552 0 -1 1077944384 1 713927 0 0 0 0 123416 147 20 0 20 0 512831220 8346566656 31551 33554432000 4194304 4196468 140725388378336 140638100120944 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20550] ppid=20513 vsize=8150944 memory=176617645187231 CPUtime=1235.69 cores=0-7
/proc/20536/task/20550/stat : 20550 (java) S 20513 20513 18552 0 -1 1077944384 585 713927 0 0 6 0 123416 147 20 0 20 0 512831222 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639204809072 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20551] ppid=20513 vsize=8150944 memory=580 CPUtime=1235.71 cores=0-7
/proc/20536/task/20551/stat : 20551 (java) S 20513 20513 18552 0 -1 1077944384 387 713927 0 0 8 0 123416 147 20 0 20 0 512831222 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639203756272 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20552] ppid=20513 vsize=8150944 memory=6944656592455360604 CPUtime=1235.67 cores=0-7
/proc/20536/task/20552/stat : 20552 (java) S 20513 20513 18552 0 -1 1077944384 218 713927 0 0 4 0 123416 147 20 0 20 0 512831222 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639202687984 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20553] ppid=20513 vsize=8150944 memory=7084272617421102656 CPUtime=1235.85 cores=0-7
/proc/20536/task/20553/stat : 20553 (java) S 20513 20513 18552 0 -1 1077944384 816 713927 0 0 22 0 123416 147 20 0 20 0 512831222 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639201650672 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20554] ppid=20513 vsize=8150944 memory=0 CPUtime=1235.63 cores=0-7
/proc/20536/task/20554/stat : 20554 (java) S 20513 20513 18552 0 -1 1077944384 3 713927 0 0 0 0 123416 147 20 0 20 0 512831222 8346566656 31551 33554432000 4194304 4196468 140725388378336 140637227707488 140639843985109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20558] ppid=20513 vsize=8150944 memory=3833460730223941732 CPUtime=1235.63 cores=0-7
/proc/20536/task/20558/stat : 20558 (java) S 20513 20513 18552 0 -1 1077944384 25 713927 0 0 0 0 123416 147 20 0 20 0 512831287 8346566656 31551 33554432000 4194304 4196468 140725388378336 140639192564496 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
[pid=20536/tid=20562] ppid=20513 vsize=8150944 memory=377560 CPUtime=1235.63 cores=0-7
/proc/20536/task/20562/stat : 20562 (java) S 20513 20513 18552 0 -1 1077944384 402 713927 0 0 0 0 123416 147 20 0 20 0 512831289 8346566656 31551 33554432000 4194304 4196468 140725388378336 140636288181040 140639843986050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140725388387295 140725388387462 140725388387462 140725388390351 0
Current children cumulated CPU time: 1241.57 s
Current children cumulated vsize: 8264072 KiB
Current children cumulated memory: 127680 KiB

Child status: 0
Real time (s): 161.915
CPU time (s): 1241.61
CPU user time (s): 1239.87
CPU system time (s): 1.73528
CPU usage (%): 766.827
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 528048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.87
system time used= 1.73528
maximum resident set size= 406044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 763486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13570
involuntary context switches= 13483


# summary of solver processes directly reported to runsolver:
#   pid: 20513
#   total CPU time (s): 1241.61
#   total CPU user time (s): 1239.87
#   total CPU system time (s): 1.73528

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53155 second user time and 2.36459 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-25 00:56:19
IDJOB=4405625
IDBENCH=141723
IDSOLVER=2868
FILE ID=node136/4405625-1569365825
RUNJOBID= node136-1569359183-18579
PBS_JOBID= 21705119
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-18-046.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-4405625-1569365825/watcher-4405625-1569365825 -o /var/tmp/evaluation-result-4405625-1569365825/solver-4405625-1569365825 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --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-4405625-1569365825.xml

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

MD5SUM BENCH= 90f9fedd4c3faeb9a4a1958b76d0db2e
RANDOM SEED=844420811

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26472984 kB
MemAvailable:   31842140 kB
Buffers:          159852 kB
Cached:          5331772 kB
SwapCached:         3556 kB
Active:          2734444 kB
Inactive:        2764004 kB
Active(anon):       4000 kB
Inactive(anon):    59700 kB
Active(file):    2730444 kB
Inactive(file):  2704304 kB
Unevictable:      108576 kB
Mlocked:          108576 kB
SwapTotal:      67108860 kB
SwapFree:       67002124 kB
Dirty:             20504 kB
Writeback:             0 kB
AnonPages:        116004 kB
Mapped:            56772 kB
Shmem:             48260 kB
Slab:             392524 kB
SReclaimable:     362868 kB
SUnreclaim:        29656 kB
KernelStack:        3600 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-25 00:59:02