Trace number 4392572

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-06-15)SAT 215.379 156.789

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-A-20.xml
MD5SUMc3d3968bb4d1a566be21f2b70665db2a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.041556
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints563
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":180}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":11},{"degree":5,"count":27},{"degree":6,"count":64},{"degree":8,"count":42},{"degree":9,"count":25},{"degree":10,"count":10}]
Minimum constraint arity1
Maximum constraint arity180
Distribution of constraint arities[{"arity":1,"count":77},{"arity":2,"count":485},{"arity":180,"count":1}]
Number of extensional constraints562
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":562},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24318-serial-file.bin HOME/instance-4392572-1568431881.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 05:30:43 CEST 2019
0.65/0.56	c PID: 24321
0.65/0.56	c IP: 172.20.3.133
0.65/0.56	c HOST: node133.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.71/1.06	c (0,0) Parsing End
1.71/1.07	c (0,0) CSP: 180 int (0 aux), 0 bool (0 aux), 563 ctr, max domain size 200
1.71/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.71/1.07	c (0,0) Constraint Name Generate Begin
1.71/1.08	c (0,0) Ctr:HOME/instance-4392572-1568431881.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.71/1.08	c (0,0) Constraint Name Generate End
1.71/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.71/1.08	c (0,0) CSP to CSPinCNF Begin
17.85/10.07	c (9,9) translated 57 (10%) constraints
27.52/18.18	c (17,17) translated 113 (20%) constraints
35.31/25.58	c (25,24) translated 169 (30%) constraints
42.86/33.06	c (32,32) translated 226 (40%) constraints
53.46/40.86	c (40,39) translated 282 (50%) constraints
60.79/48.19	c (47,46) translated 338 (60%) constraints
72.07/56.14	c (55,54) translated 395 (70%) constraints
79.38/63.47	c (62,61) translated 451 (80%) constraints
88.31/68.75	c (68,66) translated 507 (90%) constraints
88.31/68.76	c (68,66) translated 563 (100%) constraints
88.31/68.76	c (68,66) ===========================================
89.01/69.10	c (68,66) Hybrid: #OE=97180, #LE=0
89.01/69.10	c (68,66) Hybrid
89.01/69.10	c (68,66) ===========================================
93.26/72.02	c (71,69) translated 132181 (10%) constraints
95.91/74.70	c (74,72) translated 264362 (20%) constraints
98.61/77.36	c (76,75) translated 396543 (30%) constraints
101.32/80.02	c (79,77) translated 528724 (40%) constraints
103.91/82.67	c (82,80) translated 660905 (50%) constraints
106.62/85.32	c (84,83) translated 793086 (60%) constraints
117.58/89.04	c (88,85) translated 925267 (70%) constraints
120.36/91.71	c (91,88) translated 1057448 (80%) constraints
123.06/94.46	c (93,91) translated 1189629 (90%) constraints
125.95/97.22	c (96,93) translated 1321810 (100%) constraints
125.95/97.22	c (96,93) CSP to CSPinCNF End
125.95/97.26	c (96,93) CSP: 180 int (0 aux), 97000 bool (97000 aux), 1321810 ctr, max domain size 200
125.95/97.26	c (96,93) Heap : 3350 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
125.95/97.26	c (96,93) CSPinCNF Propagation Begin
147.72/107.73	c (107,102) 5705 values, 397423 unsatisfiable literals, and 359277 valid clauses are removed
147.72/107.73	c (107,102) CSPinCNF Propagation End
147.72/107.76	c (107,102) CSP: 180 int (0 aux), 97000 bool (97000 aux), 962533 ctr, max domain size 200
147.72/107.76	c (107,102) Heap : 2100 MiB used (max 21046 MiB), NonHeap : 30 MiB used (max 0 MiB)
148.10/108.02	c (107,103) Hybrid: #OE=97180, #LE=0
148.10/108.02	c (107,103) Simplify CSPinCNF Begin
150.31/109.73	c (109,104) Simplify CSPinCNF End
150.31/109.77	c (109,104) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
150.31/109.77	c (109,104) Heap : 3277 MiB used (max 21046 MiB), NonHeap : 30 MiB used (max 0 MiB)
150.31/109.77	c (109,104) Calculate Precise Domain Begin
150.31/109.77	c (109,104) 0 values are removed by re-calculation
150.31/109.77	c (109,104) Calculate Precise Domain End
150.41/109.82	c (109,105) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
150.41/109.82	c (109,105) Heap : 3277 MiB used (max 21046 MiB), NonHeap : 30 MiB used (max 0 MiB)
150.41/109.82	c (109,105) CSPinCNF to SatSolver Begin
181.29/128.10	c (127,121) 99476 (10 %) CSP clauses are encoded (0 SAT variables, 3895957 SAT clauses)
182.37/129.19	c (128,122) 198951 (20 %) CSP clauses are encoded (0 SAT variables, 3995432 SAT clauses)
183.37/130.19	c (129,123) 298426 (30 %) CSP clauses are encoded (0 SAT variables, 4094907 SAT clauses)
184.37/131.19	c (130,124) 397902 (40 %) CSP clauses are encoded (0 SAT variables, 4194383 SAT clauses)
186.01/132.27	c (131,125) 497377 (50 %) CSP clauses are encoded (0 SAT variables, 4293858 SAT clauses)
187.01/133.28	c (132,126) 596852 (60 %) CSP clauses are encoded (0 SAT variables, 4393333 SAT clauses)
188.02/134.27	c (133,127) 696328 (70 %) CSP clauses are encoded (0 SAT variables, 4492809 SAT clauses)
189.12/135.31	c (134,128) 795803 (80 %) CSP clauses are encoded (0 SAT variables, 4592284 SAT clauses)
190.11/136.32	c (135,129) 895278 (90 %) CSP clauses are encoded (0 SAT variables, 4691759 SAT clauses)
191.11/137.32	c (136,130) 994753 (100 %) CSP clauses are encoded (0 SAT variables, 4791234 SAT clauses)
191.11/137.32	c (136,130) CSPinCNF to SatSolver End
191.11/137.32	c (136,130) Heap : 5342 MiB used (max 20025 MiB), NonHeap : 31 MiB used (max 0 MiB)
191.11/137.32	c (136,130) 150378 bool, 4791235 clause
191.11/137.32	c (136,130) Export Begin
191.28/137.42	c (136,130) Export to HOME/scop-24318-serial-file.bin
191.28/137.42	c (136,130) Export End
191.28/137.42	c (136,130) Export File Size: 0.04 MB
191.28/137.42	c (136,130) 0,0,96,107,109,109,136,STOP-AFTER(DIMACS)
191.28/137.42	c END-Prog: Sat Sep 14 05:32:59 CEST 2019
191.28/137.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24318-serial-file.bin
191.40/137.94	c (0,0) Read Serial File Begin
191.40/137.94	c (0,0) HOME/scop-24318-serial-file.bin
192.22/138.17	c (0,0) Read Serial File End
192.39/138.27	
192.39/138.27	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
192.39/138.27	(Solving Process)
192.39/138.27	
192.39/138.27	c BEGIN-Prog: Sat Sep 14 05:33:00 CEST 2019
192.39/138.27	c PID: 24349
192.39/138.27	c IP: 172.20.3.133
192.39/138.27	c HOST: node133.alineos.net
192.39/138.27	c (0,0) SatSolver.solve Begin
192.39/138.27	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392572-1568431881.xml-scop-24321.cnf
192.39/138.27	c (0,0) c
192.39/138.27	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)
192.39/138.27	c (0,0) c
192.39/138.27	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
192.39/138.27	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
192.39/138.27	c (0,0) c ========================================[ Problem Statistics ]===========================================
192.39/138.27	c (0,0) c |                                                                                                       |
194.14/139.83	c (1,0) c |  Number of variables:        150378                                                                   |
194.14/139.83	c (1,0) c |  Number of clauses:         4791235                                                                   |
194.14/139.83	c (1,0) c |  Parse time:                   1.41 s                                                                 |
194.14/139.83	c (1,0) c |                                                                                                       |
208.54/154.25	c (16,0) c |  Simplification time:         14.24 s                                                                 |
208.54/154.25	c (16,0) c |                                                                                                       |
208.54/154.25	c (16,0) c |  Generating clones                                                                                    |
209.55/155.24	c (17,0) c |  all clones generated. Memory =  2468.31Mb.                                                           |
209.55/155.24	c (17,0) c ========================================================================================================|
209.55/155.24	c (17,0) c
209.55/155.24	c (17,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
209.55/155.24	c (17,0) c
209.55/155.24	c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.55/155.24	c (17,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
209.55/155.24	c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.55/155.24	c (17,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
209.55/155.24	c (17,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
209.55/155.24	c (17,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
209.55/155.24	c (17,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
209.55/155.24	c (17,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
209.55/155.24	c (17,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
209.55/155.24	c (17,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
209.55/155.24	c (17,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
209.55/155.24	c (17,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
209.55/155.24	c (17,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
209.55/155.24	c (17,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
209.55/155.24	c (17,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
209.55/155.24	c (17,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
209.55/155.24	c (17,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
209.55/155.24	c (17,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
209.55/155.24	c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c real time : 18.2185 s
214.43/156.45	c (18,0) c cpu time  : 20.6584 s
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c | Conflicts     |             918 |         55 |        207 |         93 |        281 |        160 |         30 |         13 |         79 |
214.43/156.45	c (18,0) c | Decisions     |            2090 |         99 |        461 |        254 |        481 |        266 |        170 |        109 |        250 |
214.43/156.45	c (18,0) c | Propagations  |         2631013 |     210224 |     453033 |     331108 |     613202 |     436971 |     191485 |     156533 |     238457 |
214.43/156.45	c (18,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
214.43/156.45	c (18,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
214.43/156.45	c (18,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | PropBinClauses|         3061300 |     199861 |     564243 |     383744 |     838821 |     485032 |     170062 |     167807 |     251730 |
214.43/156.45	c (18,0) c | PropPreBlocker|        60471484 |    6076961 |    9099244 |    7949326 |   10425500 |    7884496 |    6263416 |    6028582 |    6743959 |
214.43/156.45	c (18,0) c | PropNotBlocker|        32873673 |    3323890 |    5117060 |    4479628 |    5236144 |    4234658 |    3475394 |    3221083 |    3785816 |
214.43/156.45	c (18,0) c | LitFullScans  |        98587315 |    9769127 |   15183641 |   13110470 |   17015355 |   12923960 |   10070251 |    9551270 |   10963241 |
214.43/156.45	c (18,0) c | LitScanFracts |           10607 |       1632 |        574 |       1034 |         30 |       1592 |       1051 |       2571 |       2123 |
214.43/156.45	c (18,0) c | DecisionLevel0|              23 |          4 |          2 |          4 |          3 |          3 |          2 |          2 |          3 |
214.43/156.45	c (18,0) c | Periods       |              12 |          1 |          2 |          2 |          2 |          2 |          1 |          1 |          1 |
214.43/156.45	c (18,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
214.43/156.45	c (18,0) c | Avg_Trail     |                 |       3585 |       4885 |       5406 |       7718 |       5426 |       5186 |       7603 |       5371 |
214.43/156.45	c (18,0) c | Avg_DL        |                 |          5 |         21 |          8 |         40 |         28 |         21 |         39 |         34 |
214.43/156.45	c (18,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c | Exported      |             169 |         11 |         42 |         27 |         36 |         33 |         10 |          5 |          5 |
214.43/156.45	c (18,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c | Unaries       |                 |          3 |          1 |          3 |          2 |          2 |          1 |          1 |          2 |
214.43/156.45	c (18,0) c | Binaries      |                 |          6 |         19 |         10 |         13 |         12 |          3 |          1 |          2 |
214.43/156.45	c (18,0) c | Glues         |                 |         11 |         42 |         27 |         36 |         33 |         10 |          5 |          5 |
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c | Orig_Seen     |             0 % |       1768 |       6079 |       6229 |       6156 |       3712 |       2734 |       1155 |       1185 |
214.43/156.45	c (18,0) c | Diff Orig seen|                 |        613 |       4924 |       5074 |       5001 |       2557 |       1579 |      X     |         30 |
214.43/156.45	c (18,0) c | Hamming       |             1 % |         40 |      15858 |         25 |         16 |          4 |          2 |      X     |         47 |
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c | RunningTime   |                 |    1.0 100%|    1.2 100%|    1.1 100%|    1.1 100%|    1.0 100%|    1.0 100%|    0.9 100%|    1.0 100%|
214.43/156.45	c (18,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
214.43/156.45	c (18,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
214.43/156.45	c (18,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%|
214.43/156.45	c (18,0) c | SolvingTime   |                 |    1.0     |    1.2     |    1.1     |    1.1     |    1.0     |    1.0     |    0.9     |    1.0     |
214.43/156.45	c (18,0) c | PropagationTim|                 |    1.0 100%|    1.2  98%|    1.1  99%|    1.1  98%|    1.0  99%|    1.0 100%|    0.9 100%|    1.0 100%|
214.43/156.45	c (18,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
214.43/156.45	c (18,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
214.43/156.45	c (18,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
214.43/156.45	c (18,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%|
214.43/156.45	c (18,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%|
214.43/156.45	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c
214.43/156.45	c (18,0) c Threads : 8
214.43/156.45	c (18,0) c Winner : 6
214.43/156.45	c (18,0) c Conflicts_0 : 55
214.43/156.45	c (18,0) c Conflicts_1 : 207
214.43/156.45	c (18,0) c Conflicts_2 : 93
214.43/156.45	c (18,0) c Conflicts_3 : 281
214.43/156.45	c (18,0) c Conflicts_4 : 160
214.43/156.45	c (18,0) c Conflicts_5 : 30
214.43/156.45	c (18,0) c Conflicts_6 : 13
214.43/156.45	c (18,0) c Conflicts_7 : 79
214.43/156.45	c (18,0) c Conflicts_total : 918
214.43/156.45	c (18,0) c Conflicts_winner : 13
214.43/156.45	c (18,0) c Decisions_0 : 99
214.43/156.45	c (18,0) c Decisions_1 : 461
214.43/156.45	c (18,0) c Decisions_2 : 254
214.43/156.45	c (18,0) c Decisions_3 : 481
214.43/156.45	c (18,0) c Decisions_4 : 266
214.43/156.45	c (18,0) c Decisions_5 : 170
214.43/156.45	c (18,0) c Decisions_6 : 109
214.43/156.45	c (18,0) c Decisions_7 : 250
214.43/156.45	c (18,0) c Decisions_total : 2090
214.43/156.45	c (18,0) c Decisions_winner : 109
214.43/156.45	c (18,0) c Propagations_0 : 210224
214.43/156.45	c (18,0) c Propagations_1 : 453033
214.43/156.45	c (18,0) c Propagations_2 : 331108
214.43/156.45	c (18,0) c Propagations_3 : 613202
214.43/156.45	c (18,0) c Propagations_4 : 436971
214.43/156.45	c (18,0) c Propagations_5 : 191485
214.43/156.45	c (18,0) c Propagations_6 : 156533
214.43/156.45	c (18,0) c Propagations_7 : 238457
214.43/156.45	c (18,0) c Propagations_total : 2631013
214.43/156.45	c (18,0) c Propagations_winner : 156533
214.43/156.45	c (18,0) c ReduceDBs_0 : 0
214.43/156.45	c (18,0) c ReduceDBs_1 : 0
214.43/156.45	c (18,0) c ReduceDBs_2 : 0
214.43/156.45	c (18,0) c ReduceDBs_3 : 0
214.43/156.45	c (18,0) c ReduceDBs_4 : 0
214.43/156.45	c (18,0) c ReduceDBs_5 : 0
214.43/156.45	c (18,0) c ReduceDBs_6 : 0
214.43/156.45	c (18,0) c ReduceDBs_7 : 0
214.43/156.45	c (18,0) c ReduceDBs_total : 0
214.43/156.45	c (18,0) c ReduceDBs_winner : 0
214.43/156.45	c (18,0) c SimpDBs_0 : 1
214.43/156.45	c (18,0) c SimpDBs_1 : 1
214.43/156.45	c (18,0) c SimpDBs_2 : 1
214.43/156.45	c (18,0) c SimpDBs_3 : 1
214.43/156.45	c (18,0) c SimpDBs_4 : 1
214.43/156.45	c (18,0) c SimpDBs_5 : 1
214.43/156.45	c (18,0) c SimpDBs_6 : 1
214.43/156.45	c (18,0) c SimpDBs_7 : 1
214.43/156.45	c (18,0) c SimpDBs_total : 8
214.43/156.45	c (18,0) c SimpDBs_winner : 1
214.43/156.45	c (18,0) c Restarts_0 : 1
214.43/156.45	c (18,0) c Restarts_1 : 1
214.43/156.45	c (18,0) c Restarts_2 : 1
214.43/156.45	c (18,0) c Restarts_3 : 1
214.43/156.45	c (18,0) c Restarts_4 : 1
214.43/156.45	c (18,0) c Restarts_5 : 1
214.43/156.45	c (18,0) c Restarts_6 : 1
214.43/156.45	c (18,0) c Restarts_7 : 1
214.43/156.45	c (18,0) c Restarts_total : 8
214.43/156.45	c (18,0) c Restarts_winner : 1
214.43/156.45	c (18,0) c ForcedImports_0 : 0
214.43/156.45	c (18,0) c ForcedImports_1 : 0
214.43/156.45	c (18,0) c ForcedImports_2 : 0
214.43/156.45	c (18,0) c ForcedImports_3 : 0
214.43/156.45	c (18,0) c ForcedImports_4 : 0
214.43/156.45	c (18,0) c ForcedImports_5 : 0
214.43/156.45	c (18,0) c ForcedImports_6 : 0
214.43/156.45	c (18,0) c ForcedImports_7 : 0
214.43/156.45	c (18,0) c ForcedImports_total : 0
214.43/156.45	c (18,0) c ForcedImports_winner : 0
214.43/156.45	c (18,0) c PropsBinClauses_0 : 199861
214.43/156.45	c (18,0) c PropsBinClauses_1 : 564243
214.43/156.45	c (18,0) c PropsBinClauses_2 : 383744
214.43/156.45	c (18,0) c PropsBinClauses_3 : 838821
214.43/156.45	c (18,0) c PropsBinClauses_4 : 485032
214.43/156.45	c (18,0) c PropsBinClauses_5 : 170062
214.43/156.45	c (18,0) c PropsBinClauses_6 : 167807
214.43/156.45	c (18,0) c PropsBinClauses_7 : 251730
214.43/156.45	c (18,0) c PropsBinClauses_total : 3061300
214.43/156.45	c (18,0) c PropsBinClauses_winner : 167807
214.43/156.45	c (18,0) c PropsPreBlocker_0 : 6076961
214.43/156.45	c (18,0) c PropsPreBlocker_1 : 9099244
214.43/156.45	c (18,0) c PropsPreBlocker_2 : 7949326
214.43/156.45	c (18,0) c PropsPreBlocker_3 : 10425500
214.43/156.45	c (18,0) c PropsPreBlocker_4 : 7884496
214.43/156.45	c (18,0) c PropsPreBlocker_5 : 6263416
214.43/156.46	c (18,0) c PropsPreBlocker_6 : 6028582
214.43/156.46	c (18,0) c PropsPreBlocker_7 : 6743959
214.43/156.46	c (18,0) c PropsPreBlocker_total : 60471484
214.43/156.46	c (18,0) c PropsPreBlocker_winner : 6028582
214.43/156.46	c (18,0) c PropsNotBlocker_0 : 3323890
214.43/156.46	c (18,0) c PropsNotBlocker_1 : 5117060
214.43/156.46	c (18,0) c PropsNotBlocker_2 : 4479628
214.43/156.46	c (18,0) c PropsNotBlocker_3 : 5236144
214.43/156.46	c (18,0) c PropsNotBlocker_4 : 4234658
214.43/156.46	c (18,0) c PropsNotBlocker_5 : 3475394
214.43/156.46	c (18,0) c PropsNotBlocker_6 : 3221083
214.43/156.46	c (18,0) c PropsNotBlocker_7 : 3785816
214.43/156.46	c (18,0) c PropsNotBlocker_total : 32873673
214.43/156.46	c (18,0) c PropsNotBlocker_winner : 3221083
214.43/156.46	c (18,0) c PropsLitFullScans_0 : 9769127
214.43/156.46	c (18,0) c PropsLitFullScans_1 : 15183641
214.43/156.46	c (18,0) c PropsLitFullScans_2 : 13110470
214.43/156.46	c (18,0) c PropsLitFullScans_3 : 17015355
214.43/156.46	c (18,0) c PropsLitFullScans_4 : 12923960
214.43/156.46	c (18,0) c PropsLitFullScans_5 : 10070251
214.43/156.46	c (18,0) c PropsLitFullScans_6 : 9551270
214.43/156.46	c (18,0) c PropsLitFullScans_7 : 10963241
214.43/156.46	c (18,0) c PropsLitFullScans_total : 98587315
214.43/156.46	c (18,0) c PropsLitFullScans_winner : 9551270
214.43/156.46	c (18,0) c LitScanFractions_0 : 1632
214.43/156.46	c (18,0) c LitScanFractions_1 : 574
214.43/156.46	c (18,0) c LitScanFractions_2 : 1034
214.43/156.46	c (18,0) c LitScanFractions_3 : 30
214.43/156.46	c (18,0) c LitScanFractions_4 : 1592
214.43/156.46	c (18,0) c LitScanFractions_5 : 1051
214.43/156.46	c (18,0) c LitScanFractions_6 : 2571
214.43/156.46	c (18,0) c LitScanFractions_7 : 2123
214.43/156.46	c (18,0) c LitScanFractions_total : 10607
214.43/156.46	c (18,0) c LitScanFractions_winner : 2571
214.43/156.46	c (18,0) c DecisionLevel0_0 : 4
214.43/156.46	c (18,0) c DecisionLevel0_1 : 2
214.43/156.46	c (18,0) c DecisionLevel0_2 : 4
214.43/156.46	c (18,0) c DecisionLevel0_3 : 3
214.43/156.46	c (18,0) c DecisionLevel0_4 : 3
214.43/156.46	c (18,0) c DecisionLevel0_5 : 2
214.43/156.46	c (18,0) c DecisionLevel0_6 : 2
214.43/156.46	c (18,0) c DecisionLevel0_7 : 3
214.43/156.46	c (18,0) c DecisionLevel0_total : 23
214.43/156.46	c (18,0) c DecisionLevel0_winner : 2
214.43/156.46	c (18,0) c Periods_0 : 1
214.43/156.46	c (18,0) c Periods_1 : 2
214.43/156.46	c (18,0) c Periods_2 : 2
214.43/156.46	c (18,0) c Periods_3 : 2
214.43/156.46	c (18,0) c Periods_4 : 2
214.43/156.46	c (18,0) c Periods_5 : 1
214.43/156.46	c (18,0) c Periods_6 : 1
214.43/156.46	c (18,0) c Periods_7 : 1
214.43/156.46	c (18,0) c Periods_total : 12
214.43/156.46	c (18,0) c Periods_winner : 1
214.43/156.46	c (18,0) c Margin_0 : 20
214.43/156.46	c (18,0) c Margin_1 : 20
214.43/156.46	c (18,0) c Margin_2 : 20
214.43/156.46	c (18,0) c Margin_3 : 20
214.43/156.46	c (18,0) c Margin_4 : 20
214.43/156.46	c (18,0) c Margin_5 : 20
214.43/156.46	c (18,0) c Margin_6 : 20
214.43/156.46	c (18,0) c Margin_7 : 20
214.43/156.46	c (18,0) c Margin_total : 160
214.43/156.46	c (18,0) c Margin_winner : 20
214.43/156.46	c (18,0) c Exported_0 : 11
214.43/156.46	c (18,0) c Exported_1 : 42
214.43/156.46	c (18,0) c Exported_2 : 27
214.43/156.46	c (18,0) c Exported_3 : 36
214.43/156.46	c (18,0) c Exported_4 : 33
214.43/156.46	c (18,0) c Exported_5 : 10
214.43/156.46	c (18,0) c Exported_6 : 5
214.43/156.46	c (18,0) c Exported_7 : 5
214.43/156.46	c (18,0) c Exported_total : 169
214.43/156.46	c (18,0) c Exported_winner : 5
214.43/156.46	c (18,0) c Imported_0 : 0
214.43/156.46	c (18,0) c Imported_1 : 0
214.43/156.46	c (18,0) c Imported_2 : 0
214.43/156.46	c (18,0) c Imported_3 : 0
214.43/156.46	c (18,0) c Imported_4 : 0
214.43/156.46	c (18,0) c Imported_5 : 0
214.43/156.46	c (18,0) c Imported_6 : 0
214.43/156.46	c (18,0) c Imported_7 : 0
214.43/156.46	c (18,0) c Imported_total : 0
214.43/156.46	c (18,0) c Imported_winner : 0
214.43/156.46	c (18,0) c Good_0 : 0
214.43/156.46	c (18,0) c Good_1 : 0
214.43/156.46	c (18,0) c Good_2 : 0
214.43/156.46	c (18,0) c Good_3 : 0
214.43/156.46	c (18,0) c Good_4 : 0
214.43/156.46	c (18,0) c Good_5 : 0
214.43/156.46	c (18,0) c Good_6 : 0
214.43/156.46	c (18,0) c Good_7 : 0
214.43/156.46	c (18,0) c Good_total : 0
214.43/156.46	c (18,0) c Good_winner : 0
214.43/156.46	c (18,0) c Purge_0 : 0
214.43/156.46	c (18,0) c Purge_1 : 0
214.43/156.46	c (18,0) c Purge_2 : 0
214.43/156.46	c (18,0) c Purge_3 : 0
214.43/156.46	c (18,0) c Purge_4 : 0
214.43/156.46	c (18,0) c Purge_5 : 0
214.43/156.46	c (18,0) c Purge_6 : 0
214.43/156.46	c (18,0) c Purge_7 : 0
214.43/156.46	c (18,0) c Purge_total : 0
214.43/156.46	c (18,0) c Purge_winner : 0
214.43/156.46	c (18,0) c Promoted_0 : 0
214.43/156.46	c (18,0) c Promoted_1 : 0
214.43/156.46	c (18,0) c Promoted_2 : 0
214.43/156.46	c (18,0) c Promoted_3 : 0
214.43/156.46	c (18,0) c Promoted_4 : 0
214.43/156.46	c (18,0) c Promoted_5 : 0
214.43/156.46	c (18,0) c Promoted_6 : 0
214.43/156.46	c (18,0) c Promoted_7 : 0
214.43/156.46	c (18,0) c Promoted_total : 0
214.43/156.46	c (18,0) c Promoted_winner : 0
214.43/156.46	c (18,0) c Remove_Imp_0 : 0
214.43/156.46	c (18,0) c Remove_Imp_1 : 0
214.43/156.46	c (18,0) c Remove_Imp_2 : 0
214.43/156.46	c (18,0) c Remove_Imp_3 : 0
214.43/156.46	c (18,0) c Remove_Imp_4 : 0
214.43/156.46	c (18,0) c Remove_Imp_5 : 0
214.43/156.46	c (18,0) c Remove_Imp_6 : 0
214.43/156.46	c (18,0) c Remove_Imp_7 : 0
214.43/156.46	c (18,0) c Remove_Imp_total : 0
214.43/156.46	c (18,0) c Remove_Imp_winner : 0
214.43/156.46	c (18,0) c Blocked_Reuse_0 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_1 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_2 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_3 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_4 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_5 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_6 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_7 : 0
214.43/156.46	c (18,0) c Blocked_Reuse_total : 0
214.43/156.46	c (18,0) c Blocked_Reuse_winner : 0
214.43/156.46	c (18,0) c Unaries_0 : 3
214.43/156.46	c (18,0) c Unaries_1 : 1
214.43/156.46	c (18,0) c Unaries_2 : 3
214.43/156.46	c (18,0) c Unaries_3 : 2
214.43/156.46	c (18,0) c Unaries_4 : 2
214.43/156.46	c (18,0) c Unaries_5 : 1
214.43/156.46	c (18,0) c Unaries_6 : 1
214.43/156.46	c (18,0) c Unaries_7 : 2
214.43/156.46	c (18,0) c Unaries_total : 15
214.43/156.46	c (18,0) c Unaries_winner : 1
214.43/156.46	c (18,0) c Binaries_0 : 6
214.43/156.46	c (18,0) c Binaries_1 : 19
214.43/156.46	c (18,0) c Binaries_2 : 10
214.43/156.46	c (18,0) c Binaries_3 : 13
214.43/156.46	c (18,0) c Binaries_4 : 12
214.43/156.46	c (18,0) c Binaries_5 : 3
214.43/156.46	c (18,0) c Binaries_6 : 1
214.43/156.46	c (18,0) c Binaries_7 : 2
214.43/156.46	c (18,0) c Binaries_total : 66
214.43/156.46	c (18,0) c Binaries_winner : 1
214.43/156.46	c (18,0) c Glues_0 : 11
214.43/156.46	c (18,0) c Glues_1 : 42
214.43/156.46	c (18,0) c Glues_2 : 27
214.43/156.46	c (18,0) c Glues_3 : 36
214.43/156.46	c (18,0) c Glues_4 : 33
214.43/156.46	c (18,0) c Glues_5 : 10
214.43/156.46	c (18,0) c Glues_6 : 5
214.43/156.46	c (18,0) c Glues_7 : 5
214.43/156.46	c (18,0) c Glues_total : 169
214.43/156.46	c (18,0) c Glues_winner : 5
214.43/156.46	c (18,0) c RunningTime_0 : 0.976642
214.43/156.46	c (18,0) c RunningTime_1 : 1.196699
214.43/156.46	c (18,0) c RunningTime_2 : 1.089572
214.43/156.46	c (18,0) c RunningTime_3 : 1.109413
214.43/156.46	c (18,0) c RunningTime_4 : 1.007602
214.43/156.46	c (18,0) c RunningTime_5 : 0.967515
214.43/156.46	c (18,0) c RunningTime_6 : 0.908757
214.43/156.46	c (18,0) c RunningTime_7 : 0.973560
214.43/156.46	c (18,0) c RunningTime_total : 8.229760
214.43/156.46	c (18,0) c RunningTime_winner : 0.908757
214.43/156.46	c (18,0) c WaitingTime_0 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_1 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_2 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_3 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_4 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_5 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_6 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_7 : 0.000000
214.43/156.46	c (18,0) c WaitingTime_total : 0.000000
214.43/156.46	c (18,0) c WaitingTime_winner : 0.000000
214.43/156.46	c (18,0) c ExchangingTime_0 : 0.000043
214.43/156.46	c (18,0) c ExchangingTime_1 : 0.000109
214.43/156.46	c (18,0) c ExchangingTime_2 : 0.000070
214.43/156.46	c (18,0) c ExchangingTime_3 : 0.000133
214.43/156.46	c (18,0) c ExchangingTime_4 : 0.000715
214.43/156.46	c (18,0) c ExchangingTime_5 : 0.000048
214.43/156.46	c (18,0) c ExchangingTime_6 : 0.000015
214.43/156.46	c (18,0) c ExchangingTime_7 : 0.000019
214.43/156.46	c (18,0) c ExchangingTime_total : 0.001152
214.43/156.46	c (18,0) c ExchangingTime_winner : 0.000015
214.43/156.46	c (18,0) c PeriodProcTime_0 : 0.000015
214.43/156.46	c (18,0) c PeriodProcTime_1 : 0.000017
214.43/156.46	c (18,0) c PeriodProcTime_2 : 0.000021
214.43/156.46	c (18,0) c PeriodProcTime_3 : 0.000022
214.43/156.46	c (18,0) c PeriodProcTime_4 : 0.000139
214.43/156.46	c (18,0) c PeriodProcTime_5 : 0.000009
214.43/156.46	c (18,0) c PeriodProcTime_6 : 0.000014
214.43/156.46	c (18,0) c PeriodProcTime_7 : 0.000007
214.43/156.46	c (18,0) c PeriodProcTime_total : 0.000244
214.43/156.46	c (18,0) c PeriodProcTime_winner : 0.000014
214.43/156.46	c (18,0) c SolvingTime_0 : 0.976700
214.43/156.46	c (18,0) c SolvingTime_1 : 1.196825
214.43/156.46	c (18,0) c SolvingTime_2 : 1.089663
214.43/156.46	c (18,0) c SolvingTime_3 : 1.109568
214.43/156.46	c (18,0) c SolvingTime_4 : 1.008456
214.43/156.46	c (18,0) c SolvingTime_5 : 0.967572
214.43/156.46	c (18,0) c SolvingTime_6 : 0.908786
214.43/156.46	c (18,0) c SolvingTime_7 : 0.973586
214.43/156.46	c (18,0) c SolvingTime_total : 8.231156
214.43/156.46	c (18,0) c SolvingTime_winner : 0.908786
214.43/156.46	c (18,0) c PropagationTime_0 : 0.973674
214.43/156.46	c (18,0) c PropagationTime_1 : 1.178383
214.43/156.46	c (18,0) c PropagationTime_2 : 1.079577
214.43/156.46	c (18,0) c PropagationTime_3 : 1.091010
214.43/156.46	c (18,0) c PropagationTime_4 : 1.000662
214.43/156.46	c (18,0) c PropagationTime_5 : 0.964726
214.43/156.46	c (18,0) c PropagationTime_6 : 0.904959
214.43/156.46	c (18,0) c PropagationTime_7 : 0.970435
214.43/156.46	c (18,0) c PropagationTime_total : 8.163427
214.43/156.46	c (18,0) c PropagationTime_winner : 0.904959
214.43/156.46	c (18,0) c AnalysisTime_0 : 0.001558
214.43/156.46	c (18,0) c AnalysisTime_1 : 0.009198
214.43/156.46	c (18,0) c AnalysisTime_2 : 0.005421
214.43/156.46	c (18,0) c AnalysisTime_3 : 0.008940
214.43/156.46	c (18,0) c AnalysisTime_4 : 0.003371
214.43/156.46	c (18,0) c AnalysisTime_5 : 0.001640
214.43/156.46	c (18,0) c AnalysisTime_6 : 0.000656
214.43/156.46	c (18,0) c AnalysisTime_7 : 0.001288
214.43/156.46	c (18,0) c AnalysisTime_total : 0.032073
214.43/156.46	c (18,0) c AnalysisTime_winner : 0.000656
214.43/156.46	c (18,0) c ReductionTime_0 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_1 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_2 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_3 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_4 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_5 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_6 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_7 : 0.000000
214.43/156.46	c (18,0) c ReductionTime_total : 0.000000
214.43/156.46	c (18,0) c ReductionTime_winner : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_0 : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_1 : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_2 : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_3 : 0.000001
214.43/156.46	c (18,0) c SimplifyTime_4 : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_5 : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_6 : 0.000001
214.43/156.46	c (18,0) c SimplifyTime_7 : 0.000000
214.43/156.46	c (18,0) c SimplifyTime_total : 0.000002
214.43/156.46	c (18,0) c SimplifyTime_winner : 0.000001
214.43/156.46	c (18,0) c UsedRateTime_0 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_1 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_2 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_3 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_4 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_5 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_6 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_7 : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_total : 0.000000
214.43/156.46	c (18,0) c UsedRateTime_winner : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_0 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_1 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_2 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_3 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_4 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_5 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_6 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_7 : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_total : 0.000000
214.43/156.46	c (18,0) c OverlapRateTime_winner : 0.000000
214.43/156.46	c (18,0) c
214.43/156.46	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
214.43/156.46	c (18,0) c
214.43/156.46	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.46	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
214.43/156.46	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.46	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
214.43/156.46	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
214.43/156.46	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
214.43/156.46	c (18,0) c | Initial random_seed   | 1199316841 | 1649264595 | 1947758402 | 1230290352 | 1377101331 | 1973543584 |  753695872 | 1646618488 |
214.43/156.46	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
214.43/156.46	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
214.43/156.46	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
214.43/156.46	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
214.43/156.46	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
214.43/156.46	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
214.43/156.46	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
214.43/156.46	c (18,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
214.43/156.46	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
214.43/156.46	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
214.43/156.46	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
214.43/156.46	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
214.43/156.46	c (18,0) 
214.43/156.46	c (18,0) s SATISFIABLE
214.65/156.60	c (18,0) SatSolver.solve End
214.95/156.60	c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
214.95/156.60	c (18,0) Show results Begin
215.20/156.74	c (18,0) x[0] = 136
215.20/156.74	c (18,0) x[1] = 138
215.20/156.74	c (18,0) x[2] = 168
215.20/156.74	c (18,0) x[3] = 182
215.20/156.74	c (18,0) x[4] = 2
215.20/156.74	c (18,0) x[5] = 167
215.20/156.74	c (18,0) x[6] = 173
215.20/156.74	c (18,0) x[7] = 171
215.20/156.74	c (18,0) x[8] = 97
215.20/156.74	c (18,0) x[9] = 3
215.20/156.74	c (18,0) x[10] = 11
215.20/156.74	c (18,0) x[11] = 128
215.20/156.74	c (18,0) x[12] = 148
215.20/156.74	c (18,0) x[13] = 186
215.20/156.74	c (18,0) x[14] = 21
215.20/156.74	c (18,0) x[15] = 131
215.20/156.74	c (18,0) x[16] = 135
215.20/156.74	c (18,0) x[17] = 71
215.20/156.74	c (18,0) x[18] = 98
215.20/156.74	c (18,0) x[19] = 35
215.20/156.74	c (18,0) x[20] = 1
215.20/156.74	c (18,0) x[21] = 73
215.20/156.74	c (18,0) x[22] = 81
215.20/156.74	c (18,0) x[23] = 31
215.20/156.74	c (18,0) x[24] = 157
215.20/156.74	c (18,0) x[25] = 20
215.20/156.74	c (18,0) x[26] = 80
215.20/156.74	c (18,0) x[27] = 91
215.20/156.74	c (18,0) x[28] = 188
215.20/156.74	c (18,0) x[29] = 33
215.20/156.74	c (18,0) x[30] = 107
215.20/156.74	c (18,0) x[31] = 30
215.20/156.74	c (18,0) x[32] = 114
215.20/156.74	c (18,0) x[33] = 77
215.20/156.74	c (18,0) x[34] = 105
215.20/156.74	c (18,0) x[35] = 122
215.20/156.74	c (18,0) x[36] = 121
215.20/156.74	c (18,0) x[37] = 115
215.20/156.74	c (18,0) x[38] = 103
215.20/156.74	c (18,0) x[39] = 193
215.20/156.74	c (18,0) x[40] = 65
215.20/156.74	c (18,0) x[41] = 43
215.20/156.74	c (18,0) x[42] = 67
215.20/156.74	c (18,0) x[43] = 28
215.20/156.74	c (18,0) x[44] = 143
215.20/156.74	c (18,0) x[45] = 17
215.20/156.74	c (18,0) x[46] = 124
215.20/156.74	c (18,0) x[47] = 96
215.20/156.74	c (18,0) x[48] = 118
215.20/156.74	c (18,0) x[49] = 176
215.20/156.74	c (18,0) x[50] = 32
215.20/156.74	c (18,0) x[51] = 66
215.20/156.74	c (18,0) x[52] = 190
215.20/156.74	c (18,0) x[53] = 16
215.20/156.74	c (18,0) x[54] = 111
215.20/156.74	c (18,0) x[55] = 25
215.20/156.74	c (18,0) x[56] = 146
215.20/156.74	c (18,0) x[57] = 184
215.20/156.74	c (18,0) x[58] = 93
215.20/156.74	c (18,0) x[59] = 116
215.20/156.74	c (18,0) x[60] = 22
215.20/156.74	c (18,0) x[61] = 191
215.20/156.74	c (18,0) x[62] = 44
215.20/156.74	c (18,0) x[63] = 76
215.20/156.74	c (18,0) x[64] = 159
215.20/156.74	c (18,0) x[65] = 88
215.20/156.74	c (18,0) x[66] = 123
215.20/156.74	c (18,0) x[67] = 140
215.20/156.74	c (18,0) x[68] = 166
215.20/156.74	c (18,0) x[69] = 53
215.20/156.74	c (18,0) x[70] = 109
215.20/156.74	c (18,0) x[71] = 192
215.20/156.74	c (18,0) x[72] = 180
215.20/156.74	c (18,0) x[73] = 175
215.20/156.74	c (18,0) x[74] = 189
215.20/156.74	c (18,0) x[75] = 110
215.20/156.74	c (18,0) x[76] = 12
215.20/156.74	c (18,0) x[77] = 54
215.20/156.74	c (18,0) x[78] = 155
215.20/156.74	c (18,0) x[79] = 160
215.20/156.74	c (18,0) x[80] = 137
215.20/156.74	c (18,0) x[81] = 130
215.20/156.74	c (18,0) x[82] = 104
215.20/156.74	c (18,0) x[83] = 75
215.20/156.74	c (18,0) x[84] = 90
215.20/156.74	c (18,0) x[85] = 45
215.20/156.75	c (18,0) x[86] = 181
215.20/156.75	c (18,0) x[87] = 165
215.20/156.75	c (18,0) x[88] = 153
215.20/156.75	c (18,0) x[89] = 64
215.20/156.75	c (18,0) x[90] = 82
215.20/156.75	c (18,0) x[91] = 47
215.20/156.75	c (18,0) x[92] = 84
215.20/156.75	c (18,0) x[93] = 24
215.20/156.75	c (18,0) x[94] = 142
215.20/156.75	c (18,0) x[95] = 87
215.20/156.75	c (18,0) x[96] = 198
215.20/156.75	c (18,0) x[97] = 29
215.20/156.75	c (18,0) x[98] = 179
215.20/156.75	c (18,0) x[99] = 26
215.20/156.75	c (18,0) x[100] = 117
215.20/156.75	c (18,0) x[101] = 174
215.20/156.75	c (18,0) x[102] = 37
215.20/156.75	c (18,0) x[103] = 100
215.20/156.75	c (18,0) x[104] = 41
215.20/156.75	c (18,0) x[105] = 52
215.20/156.75	c (18,0) x[106] = 183
215.20/156.75	c (18,0) x[107] = 5
215.20/156.75	c (18,0) x[108] = 152
215.20/156.75	c (18,0) x[109] = 154
215.20/156.75	c (18,0) x[110] = 120
215.20/156.75	c (18,0) x[111] = 127
215.20/156.75	c (18,0) x[112] = 134
215.20/156.75	c (18,0) x[113] = 145
215.20/156.75	c (18,0) x[114] = 108
215.20/156.75	c (18,0) x[115] = 63
215.20/156.75	c (18,0) x[116] = 14
215.20/156.75	c (18,0) x[117] = 19
215.20/156.75	c (18,0) x[118] = 58
215.20/156.75	c (18,0) x[119] = 62
215.20/156.75	c (18,0) x[120] = 7
215.20/156.75	c (18,0) x[121] = 59
215.20/156.75	c (18,0) x[122] = 196
215.20/156.75	c (18,0) x[123] = 18
215.20/156.75	c (18,0) x[124] = 86
215.20/156.75	c (18,0) x[125] = 119
215.20/156.75	c (18,0) x[126] = 27
215.20/156.75	c (18,0) x[127] = 94
215.20/156.75	c (18,0) x[128] = 38
215.20/156.75	c (18,0) x[129] = 92
215.20/156.75	c (18,0) x[130] = 57
215.20/156.75	c (18,0) x[131] = 36
215.20/156.75	c (18,0) x[132] = 113
215.20/156.75	c (18,0) x[133] = 89
215.20/156.75	c (18,0) x[134] = 101
215.20/156.75	c (18,0) x[135] = 23
215.20/156.75	c (18,0) x[136] = 150
215.20/156.75	c (18,0) x[137] = 83
215.20/156.75	c (18,0) x[138] = 56
215.20/156.75	c (18,0) x[139] = 132
215.20/156.75	c (18,0) x[140] = 151
215.20/156.75	c (18,0) x[141] = 195
215.20/156.75	c (18,0) x[142] = 60
215.20/156.75	c (18,0) x[143] = 39
215.20/156.75	c (18,0) x[144] = 161
215.20/156.75	c (18,0) x[145] = 162
215.20/156.75	c (18,0) x[146] = 126
215.20/156.75	c (18,0) x[147] = 106
215.20/156.75	c (18,0) x[148] = 185
215.20/156.75	c (18,0) x[149] = 4
215.20/156.75	c (18,0) x[150] = 149
215.20/156.75	c (18,0) x[151] = 61
215.20/156.75	c (18,0) x[152] = 194
215.20/156.75	c (18,0) x[153] = 187
215.20/156.75	c (18,0) x[154] = 9
215.20/156.75	c (18,0) x[155] = 141
215.20/156.75	c (18,0) x[156] = 133
215.20/156.75	c (18,0) x[157] = 50
215.20/156.75	c (18,0) x[158] = 15
215.20/156.75	c (18,0) x[159] = 177
215.20/156.75	c (18,0) x[160] = 112
215.20/156.75	c (18,0) x[161] = 8
215.20/156.75	c (18,0) x[162] = 70
215.20/156.75	c (18,0) x[163] = 69
215.20/156.75	c (18,0) x[164] = 169
215.20/156.75	c (18,0) x[165] = 85
215.20/156.75	c (18,0) x[166] = 6
215.20/156.75	c (18,0) x[167] = 55
215.20/156.75	c (18,0) x[168] = 78
215.20/156.75	c (18,0) x[169] = 51
215.20/156.75	c (18,0) x[170] = 40
215.20/156.75	c (18,0) x[171] = 34
215.20/156.75	c (18,0) x[172] = 139
215.20/156.75	c (18,0) x[173] = 95
215.20/156.75	c (18,0) x[174] = 199
215.20/156.75	c (18,0) x[175] = 48
215.20/156.75	c (18,0) x[176] = 163
215.20/156.75	c (18,0) x[177] = 178
215.20/156.75	c (18,0) x[178] = 144
215.20/156.75	c (18,0) x[179] = 125
215.20/156.75	s SATISFIABLE
215.20/156.76	v <instantiation>
215.20/156.76	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179]</list>
215.20/156.76	v     <values>136 138 168 182 2 167 173 171 97 3 11 128 148 186 21 131 135 71 98 35 1 73 81 31 157 20 80 91 188 33 107 30 114 77 105 122 121 115 103 193 65 43 67 28 143 17 124 96 118 176 32 66 190 16 111 25 146 184 93 116 22 191 44 76 159 88 123 140 166 53 109 192 180 175 189 110 12 54 155 160 137 130 104 75 90 45 181 165 153 64 82 47 84 24 142 87 198 29 179 26 117 174 37 100 41 52 183 5 152 154 120 127 134 145 108 63 14 19 58 62 7 59 196 18 86 119 27 94 38 92 57 36 113 89 101 23 150 83 56 132 151 195 60 39 161 162 126 106 185 4 149 61 194 187 9 141 133 50 15 177 112 8 70 69 169 85 6 55 78 51 40 34 139 95 199 48 163 178 144 125</values>
215.20/156.76	v </instantiation>
215.20/156.76	c (18,0) Show results End
215.20/156.76	c (18,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
215.20/156.76	c (18,0) 18,18,STOP-AFTER(ALL)
215.20/156.76	c END-Prog: Sat Sep 14 05:33:19 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392572-1568431881/watcher-4392572-1568431881 -o /tmp/evaluation-result-4392572-1568431881/solver-4392572-1568431881 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --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-4392572-1568431881.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=24318, runsolver pid=24315
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 3.54 3.57 5.00 2/217 24340
/proc/meminfo: memFree=31370480/32770624 swapFree=67004140/67108860
[pid=24318] ppid=24315 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24318/stat : 24318 (scop.sh) S 24315 24318 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419427763 115843072 348 33554432000 4194304 5098028 140735384687632 140735384684888 139857033912956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21282816 140735384691492 140735384691820 140735384691820 140735384694733 0
/proc/24318/statm: 28282 348 296 221 0 87 0
[pid=24321] ppid=24318 vsize=27314120 memory=107664 CPUtime=0.11 cores=0-7
/proc/24321/stat : 24321 (java) S 24318 24318 21590 0 -1 1077944320 6499 0 0 0 8 3 0 0 20 0 20 0 419427764 27969658880 26916 33554432000 4194304 4196468 140732468709296 140732468691840 140615011245815 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
/proc/24321/statm: 6828530 26916 2785 1 0 6790935 0
[pid=24321/tid=24322] ppid=24318 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24321/task/24322/stat : 24322 (java) R 24318 24318 21590 0 -1 4202560 4591 0 0 0 6 2 0 0 20 0 20 0 419427764 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614983067136 140614995326302 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24323] ppid=24318 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24321/task/24323/stat : 24323 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140615015488528 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24324] ppid=24318 vsize=27314120 memory=139835265169024 CPUtime=0 cores=0-7
/proc/24321/task/24324/stat : 24324 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614829644944 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24325] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24325/stat : 24325 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614828591888 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24326] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24326/stat : 24326 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614827539344 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24327] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24327/stat : 24327 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614826486288 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24328] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24328/stat : 24328 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614825433744 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24329] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24329/stat : 24329 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614824380688 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24330] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24330/stat : 24330 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 27428 33554432000 4194304 4196468 140732468709296 140614823328144 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24331] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24331/stat : 24331 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427768 27969658880 27428 33554432000 4194304 4196468 140732468709296 140613062200048 140615011256962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24332] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24332/stat : 24332 (java) S 24318 24318 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419427768 27969658880 27428 33554432000 4194304 4196468 140732468709296 140612934297248 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24333] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24333/stat : 24333 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427769 27969658880 27428 33554432000 4194304 4196468 140732468709296 140612665861360 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24334] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24334/stat : 24334 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 27428 33554432000 4194304 4196468 140732468709296 140612291353040 140615011264411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24335] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24335/stat : 24335 (java) S 24318 24318 21590 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 27428 33554432000 4194304 4196468 140732468709296 140613061146864 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24336] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24336/stat : 24336 (java) S 24318 24318 21590 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 27428 33554432000 4194304 4196468 140732468709296 140613060094320 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24337] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24337/stat : 24337 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 27428 33554432000 4194304 4196468 140732468709296 140613059041264 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24338] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24338/stat : 24338 (java) S 24318 24318 21590 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 27428 33554432000 4194304 4196468 140732468709296 140613057988720 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24339] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24339/stat : 24339 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 27428 33554432000 4194304 4196468 140732468709296 140611793447904 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24340] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24340/stat : 24340 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427772 27969658880 27428 33554432000 4194304 4196468 140732468709296 140613056937136 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109056 KiB

[startup+0.217384 s]*
/proc/loadavg: 3.54 3.57 5.00 2/217 24340
/proc/meminfo: memFree=31348920/32770624 swapFree=67004140/67108860
[pid=24318] ppid=24315 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24318/stat : 24318 (scop.sh) S 24315 24318 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419427763 115843072 348 33554432000 4194304 5098028 140735384687632 140735384684888 139857033912956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21282816 140735384691492 140735384691820 140735384691820 140735384694733 0
/proc/24318/statm: 28282 348 296 221 0 87 0
[pid=24321] ppid=24318 vsize=27314120 memory=127168 CPUtime=0.26 cores=0-7
/proc/24321/stat : 24321 (java) S 24318 24318 21590 0 -1 1077944320 12097 0 0 0 21 5 0 0 20 0 20 0 419427764 27969658880 31792 33554432000 4194304 4196468 140732468709296 140732468691840 140615011245815 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
/proc/24321/statm: 6828530 31792 2972 1 0 6790935 0
[pid=24321/tid=24322] ppid=24318 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24321/task/24322/stat : 24322 (java) R 24318 24318 21590 0 -1 4202560 9790 0 0 0 16 4 0 0 20 0 20 0 419427764 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614983029376 140614995326302 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24323] ppid=24318 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24321/task/24323/stat : 24323 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140615015488528 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24324] ppid=24318 vsize=27314120 memory=3618842815994443424 CPUtime=0 cores=0-7
/proc/24321/task/24324/stat : 24324 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614829644944 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24325] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24325/stat : 24325 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614828591888 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24326] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24326/stat : 24326 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614827539344 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24327] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24327/stat : 24327 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614826486288 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24328] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24328/stat : 24328 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614825433744 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24329] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24329/stat : 24329 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614824380688 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24330] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24330/stat : 24330 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 31792 33554432000 4194304 4196468 140732468709296 140614823328144 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24331] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24331/stat : 24331 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427768 27969658880 31792 33554432000 4194304 4196468 140732468709296 140613062200048 140615011256962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24332] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24332/stat : 24332 (java) S 24318 24318 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419427768 27969658880 31792 33554432000 4194304 4196468 140732468709296 140612934297248 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24333] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24333/stat : 24333 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427769 27969658880 31792 33554432000 4194304 4196468 140732468709296 140612665861360 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24334] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24334/stat : 24334 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 31792 33554432000 4194304 4196468 140732468709296 140612291353040 140615011264411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24335] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24335/stat : 24335 (java) S 24318 24318 21590 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 31792 33554432000 4194304 4196468 140732468709296 140613061146864 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24336] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24336/stat : 24336 (java) S 24318 24318 21590 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 31792 33554432000 4194304 4196468 140732468709296 140613060094320 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24337] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24337/stat : 24337 (java) S 24318 24318 21590 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 31792 33554432000 4194304 4196468 140732468709296 140613059041264 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24338] ppid=24318 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24321/task/24338/stat : 24338 (java) S 24318 24318 21590 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 419427771 27969658880 31792 33554432000 4194304 4196468 140732468709296 140613057988720 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24339] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24339/stat : 24339 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 31792 33554432000 4194304 4196468 140732468709296 140611793447904 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24340] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24340/stat : 24340 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427772 27969658880 31792 33554432000 4194304 4196468 140732468709296 140613056937136 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128560 KiB

[startup+0.310741 s]*
/proc/loadavg: 3.54 3.57 5.00 2/217 24340
/proc/meminfo: memFree=31347108/32770624 swapFree=67004140/67108860
[pid=24318] ppid=24315 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24318/stat : 24318 (scop.sh) S 24315 24318 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419427763 115843072 348 33554432000 4194304 5098028 140735384687632 140735384684888 139857033912956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21282816 140735384691492 140735384691820 140735384691820 140735384694733 0
/proc/24318/statm: 28282 348 296 221 0 87 0
[pid=24321] ppid=24318 vsize=27314120 memory=130248 CPUtime=0.43 cores=0-7
/proc/24321/stat : 24321 (java) S 24318 24318 21590 0 -1 1077944320 12457 0 0 0 38 5 0 0 20 0 20 0 419427764 27969658880 32562 33554432000 4194304 4196468 140732468709296 140732468691840 140615011245815 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
/proc/24321/statm: 6828530 32562 3029 1 0 6790935 0
[pid=24321/tid=24322] ppid=24318 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24321/task/24322/stat : 24322 (java) R 24318 24318 21590 0 -1 4202560 9969 0 0 0 26 4 0 0 20 0 20 0 419427764 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614983073152 140614992809359 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24323] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24323/stat : 24323 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140615015488528 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24324] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24324/stat : 24324 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614829644944 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24325] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24325/stat : 24325 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614828591888 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24326] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24326/stat : 24326 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614827539344 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24327] ppid=24318 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24321/task/24327/stat : 24327 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614826486288 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24328] ppid=24318 vsize=27314120 memory=139835142665135 CPUtime=0 cores=0-7
/proc/24321/task/24328/stat : 24328 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614825433744 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24329] ppid=24318 vsize=27314120 memory=139835142667440 CPUtime=0 cores=0-7
/proc/24321/task/24329/stat : 24329 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614824380688 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24330] ppid=24318 vsize=27314120 memory=139835142669744 CPUtime=0 cores=0-7
/proc/24321/task/24330/stat : 24330 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27969658880 32562 33554432000 4194304 4196468 140732468709296 140614823328144 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24331] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24331/stat : 24331 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427768 27969658880 32562 33554432000 4194304 4196468 140732468709296 140613062200048 140615011256962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24332] ppid=24318 vsize=27314120 memory=279670285346448 CPUtime=0 cores=0-7
/proc/24321/task/24332/stat : 24332 (java) S 24318 24318 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419427768 27969658880 32562 33554432000 4194304 4196468 140732468709296 140612934297248 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24333] ppid=24318 vsize=27314120 memory=279670285353360 CPUtime=0 cores=0-7
/proc/24321/task/24333/stat : 24333 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427769 27969658880 32562 33554432000 4194304 4196468 140732468709296 140612665861360 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24334] ppid=24318 vsize=27314120 memory=279670285294640 CPUtime=0 cores=0-7
/proc/24321/task/24334/stat : 24334 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 32562 33554432000 4194304 4196468 140732468709296 140612291353040 140615011264411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24335] ppid=24318 vsize=27314120 memory=279670285367184 CPUtime=0.01 cores=0-7
/proc/24321/task/24335/stat : 24335 (java) S 24318 24318 21590 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 419427771 27969658880 32562 33554432000 4194304 4196468 140732468709296 140613061146864 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24336] ppid=24318 vsize=27314120 memory=279670285374096 CPUtime=0 cores=0-7
/proc/24321/task/24336/stat : 24336 (java) S 24318 24318 21590 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 32562 33554432000 4194304 4196468 140732468709296 140613060094320 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24337] ppid=24318 vsize=27314120 memory=279670285371792 CPUtime=0.02 cores=0-7
/proc/24321/task/24337/stat : 24337 (java) S 24318 24318 21590 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 419427771 27969658880 32562 33554432000 4194304 4196468 140732468709296 140613059041264 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24338] ppid=24318 vsize=27314120 memory=279670285387952 CPUtime=0.07 cores=0-7
/proc/24321/task/24338/stat : 24338 (java) S 24318 24318 21590 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 419427771 27969658880 32562 33554432000 4194304 4196468 140732468709296 140613057988720 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24339] ppid=24318 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24339/stat : 24339 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427771 27969658880 32562 33554432000 4194304 4196468 140732468709296 140611793447904 140615011256021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24340] ppid=24318 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24321/task/24340/stat : 24340 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419427772 27969658880 32562 33554432000 4194304 4196468 140732468709296 140613056937136 140615011256962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131640 KiB

[startup+0.700947 s]
/proc/loadavg: 3.54 3.57 5.00 3/217 24340
/proc/meminfo: memFree=31325156/32770624 swapFree=67004140/67108860
[pid=24318] ppid=24315 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/24318/stat : 24318 (scop.sh) S 24315 24318 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419427763 115843072 348 33554432000 4194304 5098028 140735384687632 140735384684888 139857033912956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21282816 140735384691492 140735384691820 140735384691820 140735384694733 0
/proc/24318/statm: 28282 348 296 221 0 87 0
[pid=24321] ppid=24318 vsize=27320392 memory=165668 CPUtime=1 cores=0-7
/proc/24321/stat : 24321 (java) S 24318 24318 21590 0 -1 1077944320 20049 0 0 0 93 7 0 0 20 0 20 0 419427764 27976081408 41417 33554432000 4194304 4196468 140732468709296 140732468691840 140615011245815 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
/proc/24321/statm: 6830098 41417 3182 1 0 6791447 0
[pid=24321/tid=24322] ppid=24318 vsize=27320392 memory=279670285745840 CPUtime=0.67 cores=0-7
/proc/24321/task/24322/stat : 24322 (java) R 24318 24318 21590 0 -1 4202560 16934 0 0 0 61 6 0 0 20 0 20 0 419427764 27976081408 41417 33554432000 4194304 4196468 140732468709296 140614983067856 140614995326302 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24323] ppid=24318 vsize=27320392 memory=139835142873968 CPUtime=0 cores=0-7
/proc/24321/task/24323/stat : 24323 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27976081408 41417 33554432000 4194304 4196468 140732468709296 140615015488528 140615011256021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24324] ppid=24318 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24321/task/24324/stat : 24324 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419427766 27976081408 41417 33554432000 4194304 4196468 140732468709296 140614829644944 140615011256021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0
[pid=24321/tid=24325] ppid=24318 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/24321/task/24325/stat : 24325 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419427766 27976081408 41417 33554432000 4194304 4196468 140732468709296 140614828591888 140615011256021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140732468712170 140732468712598 140732468712598 140732468715471 0

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

[pid=24349/tid=24350] ppid=24318 vsize=8414124 memory=920 CPUtime=0.77 cores=0-7
/proc/24349/task/24350/stat : 24350 (java) S 24318 24318 21590 0 -1 1077944384 16924 0 0 0 72 5 0 0 20 0 24 0 419441512 8616062976 30083 33554432000 4194304 4196468 140727017869504 140545389752224 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24351] ppid=24318 vsize=8414124 memory=3280 CPUtime=0 cores=0-7
/proc/24349/task/24351/stat : 24351 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419441513 8616062976 30083 33554432000 4194304 4196468 140727017869504 140545422154256 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24352] ppid=24318 vsize=8414124 memory=2611016 CPUtime=0 cores=0-7
/proc/24349/task/24352/stat : 24352 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419441513 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544902687376 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24353] ppid=24318 vsize=8414124 memory=8318255677412212789 CPUtime=0 cores=0-7
/proc/24349/task/24353/stat : 24353 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419441514 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544901634320 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24354] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24354/stat : 24354 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419441514 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544900581776 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24355] ppid=24318 vsize=8414124 memory=5092 CPUtime=0 cores=0-7
/proc/24349/task/24355/stat : 24355 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419441514 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544899529744 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24356] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24356/stat : 24356 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419441514 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544898477200 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24357] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24357/stat : 24357 (java) S 24318 24318 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419441514 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544897424144 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24358] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24358/stat : 24358 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419441514 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544896371600 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24359] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24359/stat : 24359 (java) S 24318 24318 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419441515 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544779782384 140545417923202 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24360] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24360/stat : 24360 (java) S 24318 24318 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419441515 8616062976 30083 33554432000 4194304 4196468 140727017869504 140543879275680 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24361] ppid=24318 vsize=8414124 memory=495920 CPUtime=0 cores=0-7
/proc/24349/task/24361/stat : 24361 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419441516 8616062976 30083 33554432000 4194304 4196468 140727017869504 140543610839792 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24362] ppid=24318 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/24349/task/24362/stat : 24362 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419441518 8616062976 30083 33554432000 4194304 4196468 140727017869504 140543236331472 140545417930651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24363] ppid=24318 vsize=8414124 memory=14694080391154107 CPUtime=0.06 cores=0-7
/proc/24349/task/24363/stat : 24363 (java) S 24318 24318 21590 0 -1 1077944384 568 0 0 0 6 0 0 0 20 0 24 0 419441518 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544778730224 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24364] ppid=24318 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/24349/task/24364/stat : 24364 (java) S 24318 24318 21590 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 24 0 419441518 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544777677680 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24365] ppid=24318 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/24349/task/24365/stat : 24365 (java) S 24318 24318 21590 0 -1 1077944384 309 0 0 0 5 0 0 0 20 0 24 0 419441518 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544776624624 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24366] ppid=24318 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/24349/task/24366/stat : 24366 (java) S 24318 24318 21590 0 -1 1077944384 595 0 0 0 21 0 0 0 20 0 24 0 419441518 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544775572080 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24367] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24367/stat : 24367 (java) S 24318 24318 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419441519 8616062976 30083 33554432000 4194304 4196468 140727017869504 140542738426336 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24368] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24368/stat : 24368 (java) S 24318 24318 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419441519 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544774519472 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24370] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24370/stat : 24370 (java) S 24318 24318 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419441587 8616062976 30083 33554432000 4194304 4196468 140727017869504 140544766485440 140545417936665 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24372] ppid=24318 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24349/task/24372/stat : 24372 (java) S 24318 24318 21590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419441587 8616062976 30083 33554432000 4194304 4196468 140727017869504 140542067327024 140545417933981 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24373] ppid=24318 vsize=8414124 memory=7686721470384740503 CPUtime=0 cores=0-7
/proc/24349/task/24373/stat : 24373 (java) S 24318 24318 21590 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419441587 8616062976 30083 33554432000 4194304 4196468 140727017869504 140542335762608 140545417933981 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24374] ppid=24318 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/24349/task/24374/stat : 24374 (java) S 24318 24318 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419441589 8616062976 30083 33554432000 4194304 4196468 140727017869504 140541798899120 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
Current children cumulated CPU time: 214.43 s
Current children cumulated vsize: 11644652 KiB
Current children cumulated memory: 2840832 KiB

[startup+156.601 s]
/proc/loadavg: 1.46 2.66 4.44 3/229 24382
/proc/meminfo: memFree=28610032/32770624 swapFree=67004140/67108860
[pid=24318] ppid=24315 vsize=113128 memory=1476 CPUtime=191.4 cores=0-7
/proc/24318/stat : 24318 (scop.sh) S 24315 24318 21590 0 -1 4202496 582 93158 0 0 0 0 18061 1079 20 0 1 0 419427763 115843072 369 33554432000 4194304 5098028 140735384687632 140735384684376 139857033912956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21282816 140735384691492 140735384691820 140735384691820 140735384694733 0
/proc/24318/statm: 28282 369 311 221 0 87 0
[pid=24349] ppid=24318 vsize=8283048 memory=152660 CPUtime=23.55 cores=0-7
/proc/24349/stat : 24349 (java) S 24318 24318 21590 0 -1 1077944320 20983 636979 0 0 146 9 2069 131 20 0 22 0 419441511 8481841152 38165 33554432000 4194304 4196468 140727017869504 140727017852048 140545417912055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
/proc/24349/statm: 2070762 38165 3219 1 0 2032106 0
[pid=24349/tid=24350] ppid=24318 vsize=8283048 memory=3356 CPUtime=22.77 cores=0-7
/proc/24349/task/24350/stat : 24350 (java) R 24318 24318 21590 0 -1 1077944384 16924 636979 0 0 72 5 2069 131 20 0 22 0 419441512 8481841152 38165 33554432000 4194304 4196468 140727017869504 140545389752224 140545417922261 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24351] ppid=24318 vsize=8283048 memory=1476 CPUtime=22 cores=0-7
/proc/24349/task/24351/stat : 24351 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441513 8481841152 38165 33554432000 4194304 4196468 140727017869504 140545422154256 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24352] ppid=24318 vsize=8283048 memory=120332 CPUtime=22 cores=0-7
/proc/24349/task/24352/stat : 24352 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441513 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544902687376 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24353] ppid=24318 vsize=8283048 memory=2016936 CPUtime=22 cores=0-7
/proc/24349/task/24353/stat : 24353 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544901634320 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24354] ppid=24318 vsize=8283048 memory=-7824251494390454632 CPUtime=22 cores=0-7
/proc/24349/task/24354/stat : 24354 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544900581776 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24355] ppid=24318 vsize=8283048 memory=4872558044660077418 CPUtime=22 cores=0-7
/proc/24349/task/24355/stat : 24355 (java) S 24318 24318 21590 0 -1 1077944384 3 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544899529744 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24356] ppid=24318 vsize=8283048 memory=495920 CPUtime=22 cores=0-7
/proc/24349/task/24356/stat : 24356 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544898477200 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24357] ppid=24318 vsize=8283048 memory=0 CPUtime=22 cores=0-7
/proc/24349/task/24357/stat : 24357 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544897424144 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24358] ppid=24318 vsize=8283048 memory=0 CPUtime=22 cores=0-7
/proc/24349/task/24358/stat : 24358 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544896371600 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24359] ppid=24318 vsize=8283048 memory=0 CPUtime=22 cores=0-7
/proc/24349/task/24359/stat : 24359 (java) S 24318 24318 21590 0 -1 1077944384 5 636979 0 0 0 0 2069 131 20 0 22 0 419441515 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544779782384 140545417923202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24360] ppid=24318 vsize=8283048 memory=0 CPUtime=22 cores=0-7
/proc/24349/task/24360/stat : 24360 (java) S 24318 24318 21590 0 -1 1077944384 13 636979 0 0 0 0 2069 131 20 0 22 0 419441515 8481841152 38165 33554432000 4194304 4196468 140727017869504 140543879275680 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24361] ppid=24318 vsize=8283048 memory=0 CPUtime=22 cores=0-7
/proc/24349/task/24361/stat : 24361 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441516 8481841152 38165 33554432000 4194304 4196468 140727017869504 140543610839792 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24362] ppid=24318 vsize=8283048 memory=2241 CPUtime=22 cores=0-7
/proc/24349/task/24362/stat : 24362 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441518 8481841152 38165 33554432000 4194304 4196468 140727017869504 140543236331472 140545417930651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24363] ppid=24318 vsize=8283048 memory=2244 CPUtime=22.12 cores=0-7
/proc/24349/task/24363/stat : 24363 (java) S 24318 24318 21590 0 -1 1077944384 597 636979 0 0 12 0 2069 131 20 0 22 0 419441518 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544778730224 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24364] ppid=24318 vsize=8283048 memory=0 CPUtime=22.11 cores=0-7
/proc/24349/task/24364/stat : 24364 (java) S 24318 24318 21590 0 -1 1077944384 314 636979 0 0 11 0 2069 131 20 0 22 0 419441518 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544777677680 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24365] ppid=24318 vsize=8283048 memory=6947459256165623889 CPUtime=22.11 cores=0-7
/proc/24349/task/24365/stat : 24365 (java) S 24318 24318 21590 0 -1 1077944384 577 636979 0 0 11 0 2069 131 20 0 22 0 419441518 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544776624624 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24366] ppid=24318 vsize=8283048 memory=6010431300855816297 CPUtime=22.26 cores=0-7
/proc/24349/task/24366/stat : 24366 (java) S 24318 24318 21590 0 -1 1077944384 1104 636979 0 0 26 0 2069 131 20 0 22 0 419441518 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544775572080 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24367] ppid=24318 vsize=8283048 memory=7305801120707470950 CPUtime=22 cores=0-7
/proc/24349/task/24367/stat : 24367 (java) S 24318 24318 21590 0 -1 1077944384 3 636979 0 0 0 0 2069 131 20 0 22 0 419441519 8481841152 38165 33554432000 4194304 4196468 140727017869504 140542738426336 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24368] ppid=24318 vsize=8283048 memory=7295938381028020304 CPUtime=22 cores=0-7
/proc/24349/task/24368/stat : 24368 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441519 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544774519472 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24370] ppid=24318 vsize=8283048 memory=8027504056109395560 CPUtime=22 cores=0-7
/proc/24349/task/24370/stat : 24370 (java) S 24318 24318 21590 0 -1 1077944384 25 636979 0 0 0 0 2069 131 20 0 22 0 419441587 8481841152 38165 33554432000 4194304 4196468 140727017869504 140544766484624 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24374] ppid=24318 vsize=8283048 memory=-8412654363917126771 CPUtime=22 cores=0-7
/proc/24349/task/24374/stat : 24374 (java) S 24318 24318 21590 0 -1 1077944384 9 636979 0 0 0 0 2069 131 20 0 22 0 419441589 8481841152 38165 33554432000 4194304 4196468 140727017869504 140541798900912 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
Current children cumulated CPU time: 214.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 154136 KiB

[startup+156.701 s]
/proc/loadavg: 1.46 2.66 4.44 3/229 24382
/proc/meminfo: memFree=28610032/32770624 swapFree=67004140/67108860
[pid=24318] ppid=24315 vsize=113128 memory=1476 CPUtime=191.4 cores=0-7
/proc/24318/stat : 24318 (scop.sh) S 24315 24318 21590 0 -1 4202496 582 93158 0 0 0 0 18061 1079 20 0 1 0 419427763 115843072 369 33554432000 4194304 5098028 140735384687632 140735384684376 139857033912956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21282816 140735384691492 140735384691820 140735384691820 140735384694733 0
/proc/24318/statm: 28282 369 311 221 0 87 0
[pid=24349] ppid=24318 vsize=8283048 memory=158360 CPUtime=23.8 cores=0-7
/proc/24349/stat : 24349 (java) S 24318 24318 21590 0 -1 1077944320 21371 636979 0 0 170 10 2069 131 20 0 22 0 419441511 8481841152 39590 33554432000 4194304 4196468 140727017869504 140727017852048 140545417912055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
/proc/24349/statm: 2070762 39590 3227 1 0 2032106 0
[pid=24349/tid=24350] ppid=24318 vsize=8283048 memory=127444 CPUtime=22.86 cores=0-7
/proc/24349/task/24350/stat : 24350 (java) R 24318 24318 21590 0 -1 4202560 17167 636979 0 0 81 5 2069 131 20 0 22 0 419441512 8481841152 39590 33554432000 4194304 4196468 140727017869504 140545389750928 140545397637088 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24351] ppid=24318 vsize=8283048 memory=1476 CPUtime=22 cores=0-7
/proc/24349/task/24351/stat : 24351 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441513 8481841152 39590 33554432000 4194304 4196468 140727017869504 140545422154256 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24352] ppid=24318 vsize=8283048 memory=279670285620384 CPUtime=22 cores=0-7
/proc/24349/task/24352/stat : 24352 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441513 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544902687376 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24353] ppid=24318 vsize=8283048 memory=279670285624800 CPUtime=22 cores=0-7
/proc/24349/task/24353/stat : 24353 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544901634320 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24354] ppid=24318 vsize=8283048 memory=-7824251494390454632 CPUtime=22 cores=0-7
/proc/24349/task/24354/stat : 24354 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544900581776 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24355] ppid=24318 vsize=8283048 memory=9306072 CPUtime=22 cores=0-7
/proc/24349/task/24355/stat : 24355 (java) S 24318 24318 21590 0 -1 1077944384 3 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544899529744 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24356] ppid=24318 vsize=8283048 memory=1392 CPUtime=22 cores=0-7
/proc/24349/task/24356/stat : 24356 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544898477200 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24357] ppid=24318 vsize=8283048 memory=9310356 CPUtime=22 cores=0-7
/proc/24349/task/24357/stat : 24357 (java) S 24318 24318 21590 0 -1 1077944384 2 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544897424144 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24358] ppid=24318 vsize=8283048 memory=5928 CPUtime=22 cores=0-7
/proc/24349/task/24358/stat : 24358 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441514 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544896371600 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24359] ppid=24318 vsize=8283048 memory=1056 CPUtime=22 cores=0-7
/proc/24349/task/24359/stat : 24359 (java) S 24318 24318 21590 0 -1 1077944384 5 636979 0 0 0 0 2069 131 20 0 22 0 419441515 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544779782384 140545417923202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24360] ppid=24318 vsize=8283048 memory=120332 CPUtime=22 cores=0-7
/proc/24349/task/24360/stat : 24360 (java) S 24318 24318 21590 0 -1 1077944384 13 636979 0 0 0 0 2069 131 20 0 22 0 419441515 8481841152 39590 33554432000 4194304 4196468 140727017869504 140543879275680 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24361] ppid=24318 vsize=8283048 memory=33 CPUtime=22 cores=0-7
/proc/24349/task/24361/stat : 24361 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441516 8481841152 39590 33554432000 4194304 4196468 140727017869504 140543610839792 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24362] ppid=24318 vsize=8283048 memory=0 CPUtime=22 cores=0-7
/proc/24349/task/24362/stat : 24362 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441518 8481841152 39590 33554432000 4194304 4196468 140727017869504 140543236331472 140545417930651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24363] ppid=24318 vsize=8283048 memory=0 CPUtime=22.14 cores=0-7
/proc/24349/task/24363/stat : 24363 (java) S 24318 24318 21590 0 -1 1077944384 614 636979 0 0 14 0 2069 131 20 0 22 0 419441518 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544778730224 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24364] ppid=24318 vsize=8283048 memory=0 CPUtime=22.14 cores=0-7
/proc/24349/task/24364/stat : 24364 (java) R 24318 24318 21590 0 -1 4202560 332 636979 0 0 14 0 2069 131 20 0 22 0 419441518 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544777662512 140545399456273 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24365] ppid=24318 vsize=8283048 memory=3280 CPUtime=22.15 cores=0-7
/proc/24349/task/24365/stat : 24365 (java) S 24318 24318 21590 0 -1 1077944384 595 636979 0 0 15 0 2069 131 20 0 22 0 419441518 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544776624624 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24366] ppid=24318 vsize=8283048 memory=40692 CPUtime=22.31 cores=0-7
/proc/24349/task/24366/stat : 24366 (java) S 24318 24318 21590 0 -1 1077944384 1196 636979 0 0 31 0 2069 131 20 0 22 0 419441518 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544775572080 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24367] ppid=24318 vsize=8283048 memory=1392 CPUtime=22 cores=0-7
/proc/24349/task/24367/stat : 24367 (java) S 24318 24318 21590 0 -1 1077944384 3 636979 0 0 0 0 2069 131 20 0 22 0 419441519 8481841152 39590 33554432000 4194304 4196468 140727017869504 140542738426336 140545417922261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24368] ppid=24318 vsize=8283048 memory=6791534058613427641 CPUtime=22 cores=0-7
/proc/24349/task/24368/stat : 24368 (java) S 24318 24318 21590 0 -1 1077944384 1 636979 0 0 0 0 2069 131 20 0 22 0 419441519 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544774519472 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24370] ppid=24318 vsize=8283048 memory=8252 CPUtime=22 cores=0-7
/proc/24349/task/24370/stat : 24370 (java) S 24318 24318 21590 0 -1 1077944384 25 636979 0 0 0 0 2069 131 20 0 22 0 419441587 8481841152 39590 33554432000 4194304 4196468 140727017869504 140544766484624 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
[pid=24349/tid=24374] ppid=24318 vsize=8283048 memory=209044648279582 CPUtime=22 cores=0-7
/proc/24349/task/24374/stat : 24374 (java) S 24318 24318 21590 0 -1 1077944384 9 636979 0 0 0 0 2069 131 20 0 22 0 419441589 8481841152 39590 33554432000 4194304 4196468 140727017869504 140541798900912 140545417923202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15192064 140727017878519 140727017878678 140727017878678 140727017881551 0
Current children cumulated CPU time: 215.2 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 159836 KiB

Child status: 0
Real time (s): 156.789
CPU time (s): 215.379
CPU user time (s): 203.129
CPU system time (s): 12.25
CPU usage (%): 137.368
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9313084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.129
system time used= 12.25
maximum resident set size= 9312304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87276
involuntary context switches= 764


# summary of solver processes directly reported to runsolver:
#   pid: 24318
#   total CPU time (s): 215.379
#   total CPU user time (s): 203.129
#   total CPU system time (s): 12.25

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19104 second user time and 1.74988 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 05:30:42
IDJOB=4392572
IDBENCH=131296
IDSOLVER=2839
FILE ID=node133/4392572-1568431881
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-20.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 /tmp/evaluation-result-4392572-1568431881/watcher-4392572-1568431881 -o /tmp/evaluation-result-4392572-1568431881/solver-4392572-1568431881 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --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-4392572-1568431881.xml

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

MD5SUM BENCH= c3d3968bb4d1a566be21f2b70665db2a
RANDOM SEED=1186585257

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31466100 kB
MemAvailable:   31897260 kB
Buffers:          198876 kB
Cached:           515868 kB
SwapCached:         3364 kB
Active:           400148 kB
Inactive:         319160 kB
Active(anon):      28572 kB
Inactive(anon):    16056 kB
Active(file):     371576 kB
Inactive(file):   303104 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             20740 kB
Writeback:             0 kB
AnonPages:        143012 kB
Mapped:            44568 kB
Shmem:             31516 kB
Slab:             173460 kB
SReclaimable:     144628 kB
SUnreclaim:        28832 kB
KernelStack:        3808 kB
PageTables:         5720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59396 MiB
End job on node133 at 2019-09-14 05:33:19