Trace number 4392272

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 210.41 151.875

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7088-serial-file.bin HOME/instance-4392272-1568431853.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:30:04 CEST 2019
0.66/0.57	c PID: 7091
0.66/0.57	c IP: 172.20.3.132
0.66/0.57	c HOST: node132.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.70/1.08	c (0,0) Parsing End
1.70/1.08	c (0,0) CSP: 180 int (0 aux), 0 bool (0 aux), 563 ctr, max domain size 200
1.70/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.70/1.08	c (0,0) Constraint Name Generate Begin
1.70/1.09	c (0,0) Ctr:HOME/instance-4392272-1568431853.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.70/1.09	c (0,0) Constraint Name Generate End
1.70/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.70/1.09	c (0,0) CSP to CSPinCNF Begin
17.67/10.04	c (9,9) translated 57 (10%) constraints
27.64/18.12	c (17,17) translated 113 (20%) constraints
34.97/25.49	c (24,24) translated 169 (30%) constraints
42.51/32.94	c (32,32) translated 226 (40%) constraints
53.06/40.69	c (40,39) translated 282 (50%) constraints
60.38/47.97	c (47,46) translated 338 (60%) constraints
71.95/55.93	c (55,54) translated 395 (70%) constraints
79.27/63.20	c (62,61) translated 451 (80%) constraints
88.05/68.43	c (67,66) translated 507 (90%) constraints
88.05/68.44	c (67,66) translated 563 (100%) constraints
88.05/68.44	c (67,66) ===========================================
88.05/68.45	c (67,66) Order
88.05/68.45	c (67,66) ===========================================
92.07/71.17	c (70,68) translated 132181 (10%) constraints
94.63/73.67	c (73,71) translated 264362 (20%) constraints
97.14/76.17	c (75,73) translated 396543 (30%) constraints
99.64/78.66	c (78,76) translated 528724 (40%) constraints
102.15/81.14	c (80,78) translated 660905 (50%) constraints
104.64/83.63	c (83,81) translated 793086 (60%) constraints
107.15/86.11	c (85,83) translated 925267 (70%) constraints
118.29/89.75	c (89,86) translated 1057448 (80%) constraints
120.85/92.24	c (91,88) translated 1189629 (90%) constraints
123.45/94.76	c (94,91) translated 1321810 (100%) constraints
123.45/94.76	c (94,91) CSP to CSPinCNF End
123.62/94.80	c (94,91) CSP: 180 int (0 aux), 97000 bool (97000 aux), 1321810 ctr, max domain size 200
123.62/94.80	c (94,91) Heap : 3134 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
123.62/94.80	c (94,91) CSPinCNF Propagation Begin
144.13/105.28	c (104,100) 5705 values, 397423 unsatisfiable literals, and 359277 valid clauses are removed
144.13/105.28	c (104,100) CSPinCNF Propagation End
144.24/105.32	c (104,100) CSP: 180 int (0 aux), 97000 bool (97000 aux), 962533 ctr, max domain size 200
144.24/105.32	c (104,100) Heap : 1694 MiB used (max 21064 MiB), NonHeap : 29 MiB used (max 0 MiB)
144.24/105.33	c (104,100) Simplify CSPinCNF Begin
146.73/107.07	c (106,102) Simplify CSPinCNF End
146.84/107.11	c (106,102) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
146.84/107.11	c (106,102) Heap : 2797 MiB used (max 21064 MiB), NonHeap : 30 MiB used (max 0 MiB)
146.84/107.11	c (106,102) Calculate Precise Domain Begin
146.84/107.11	c (106,102) 0 values are removed by re-calculation
146.84/107.11	c (106,102) Calculate Precise Domain End
146.84/107.16	c (106,102) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
146.84/107.16	c (106,102) Heap : 2797 MiB used (max 21064 MiB), NonHeap : 30 MiB used (max 0 MiB)
146.84/107.16	c (106,102) CSPinCNF to SatSolver Begin
176.69/124.24	c (123,117) 99476 (10 %) CSP clauses are encoded (0 SAT variables, 3895957 SAT clauses)
177.66/125.15	c (124,118) 198951 (20 %) CSP clauses are encoded (0 SAT variables, 3995432 SAT clauses)
178.55/126.05	c (125,119) 298426 (30 %) CSP clauses are encoded (0 SAT variables, 4094907 SAT clauses)
179.45/126.94	c (126,120) 397902 (40 %) CSP clauses are encoded (0 SAT variables, 4194383 SAT clauses)
180.35/127.84	c (127,121) 497377 (50 %) CSP clauses are encoded (0 SAT variables, 4293858 SAT clauses)
181.97/128.83	c (128,122) 596852 (60 %) CSP clauses are encoded (0 SAT variables, 4393333 SAT clauses)
182.87/129.72	c (129,123) 696328 (70 %) CSP clauses are encoded (0 SAT variables, 4492809 SAT clauses)
183.76/130.64	c (130,124) 795803 (80 %) CSP clauses are encoded (0 SAT variables, 4592284 SAT clauses)
184.66/131.54	c (131,125) 895278 (90 %) CSP clauses are encoded (0 SAT variables, 4691759 SAT clauses)
185.56/132.44	c (131,126) 994753 (100 %) CSP clauses are encoded (0 SAT variables, 4791234 SAT clauses)
185.56/132.44	c (131,126) CSPinCNF to SatSolver End
185.56/132.44	c (131,126) Heap : 4828 MiB used (max 20025 MiB), NonHeap : 31 MiB used (max 0 MiB)
185.56/132.44	c (131,126) 150378 bool, 4791235 clause
185.56/132.44	c (131,126) Export Begin
185.70/132.54	c (132,126) Export to HOME/scop-7088-serial-file.bin
185.70/132.54	c (132,126) Export End
185.70/132.54	c (132,126) Export File Size: 0.04 MB
185.70/132.54	c (132,126) 0,0,94,104,106,106,131,STOP-AFTER(DIMACS)
185.70/132.54	c END-Prog: Sat Sep 14 05:32:16 CEST 2019
0.00/132.60	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7088-serial-file.bin
186.38/133.07	c (0,0) Read Serial File Begin
186.38/133.07	c (0,0) HOME/scop-7088-serial-file.bin
186.68/133.57	c (0,0) Read Serial File End
186.68/133.59	
186.68/133.59	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
186.68/133.59	(Solving Process)
186.68/133.59	
186.85/133.61	c BEGIN-Prog: Sat Sep 14 05:32:17 CEST 2019
186.85/133.61	c PID: 7119
186.85/133.61	c IP: 172.20.3.132
186.85/133.61	c HOST: node132.alineos.net
186.85/133.61	c (0,0) SatSolver.solve Begin
186.85/133.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392272-1568431853.xml-scop-7091.cnf
186.85/133.64	c (0,0) c
186.85/133.64	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)
186.85/133.64	c (0,0) c
186.85/133.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
186.85/133.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
186.85/133.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
186.85/133.64	c (0,0) c |                                                                                                       |
188.54/135.19	c (2,0) c |  Number of variables:        150378                                                                   |
188.54/135.19	c (2,0) c |  Number of clauses:         4791235                                                                   |
188.54/135.19	c (2,0) c |  Parse time:                   1.41 s                                                                 |
188.54/135.19	c (2,0) c |                                                                                                       |
202.94/149.58	c (16,0) c |  Simplification time:         14.22 s                                                                 |
202.94/149.58	c (16,0) c |                                                                                                       |
202.94/149.58	c (16,0) c |  Generating clones                                                                                    |
203.94/150.57	c (17,0) c |  all clones generated. Memory =  2468.30Mb.                                                           |
203.94/150.57	c (17,0) c ========================================================================================================|
203.94/150.57	c (17,0) c
203.94/150.57	c (17,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
203.94/150.57	c (17,0) c
203.94/150.57	c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
203.94/150.57	c (17,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
203.94/150.57	c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
203.94/150.57	c (17,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
203.94/150.57	c (17,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
203.94/150.57	c (17,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
203.94/150.57	c (17,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
203.94/150.57	c (17,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
203.94/150.57	c (17,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
203.94/150.57	c (17,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
203.94/150.57	c (17,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
203.94/150.57	c (17,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
203.94/150.57	c (17,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
203.94/150.57	c (17,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
203.94/150.57	c (17,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
203.94/150.57	c (17,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
203.94/150.57	c (17,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
203.94/150.57	c (17,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
203.94/150.57	c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c real time : 17.9023 s
209.49/151.54	c (18,0) c cpu time  : 21.3911 s
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c | Conflicts     |             918 |         55 |        207 |         93 |        281 |        160 |         30 |         13 |         79 |
209.49/151.54	c (18,0) c | Decisions     |            2090 |         99 |        461 |        254 |        481 |        266 |        170 |        108 |        251 |
209.49/151.54	c (18,0) c | Propagations  |         2631013 |     210224 |     453033 |     331108 |     613202 |     436971 |     191485 |     156533 |     238457 |
209.49/151.54	c (18,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
209.49/151.54	c (18,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
209.49/151.54	c (18,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | PropBinClauses|         3061300 |     199861 |     564243 |     383744 |     838821 |     485032 |     170062 |     167807 |     251730 |
209.49/151.54	c (18,0) c | PropPreBlocker|        60471484 |    6076961 |    9099244 |    7949326 |   10425500 |    7884496 |    6263416 |    6028582 |    6743959 |
209.49/151.54	c (18,0) c | PropNotBlocker|        32873673 |    3323890 |    5117060 |    4479628 |    5236144 |    4234658 |    3475394 |    3221083 |    3785816 |
209.49/151.54	c (18,0) c | LitFullScans  |        98587315 |    9769127 |   15183641 |   13110470 |   17015355 |   12923960 |   10070251 |    9551270 |   10963241 |
209.49/151.54	c (18,0) c | LitScanFracts |           10607 |       1632 |        574 |       1034 |         30 |       1592 |       1051 |       2571 |       2123 |
209.49/151.54	c (18,0) c | DecisionLevel0|              23 |          4 |          2 |          4 |          3 |          3 |          2 |          2 |          3 |
209.49/151.54	c (18,0) c | Periods       |              12 |          1 |          2 |          2 |          2 |          2 |          1 |          1 |          1 |
209.49/151.54	c (18,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
209.49/151.54	c (18,0) c | Avg_Trail     |                 |       3585 |       4885 |       5406 |       7718 |       5426 |       5186 |       7603 |       5371 |
209.49/151.54	c (18,0) c | Avg_DL        |                 |          5 |         21 |          8 |         40 |         28 |         21 |         39 |         34 |
209.49/151.54	c (18,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c | Exported      |             169 |         11 |         42 |         27 |         36 |         33 |         10 |          5 |          5 |
209.49/151.54	c (18,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c | Unaries       |                 |          3 |          1 |          3 |          2 |          2 |          1 |          1 |          2 |
209.49/151.54	c (18,0) c | Binaries      |                 |          6 |         19 |         10 |         13 |         12 |          3 |          1 |          2 |
209.49/151.54	c (18,0) c | Glues         |                 |         11 |         42 |         27 |         36 |         33 |         10 |          5 |          5 |
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c | Orig_Seen     |             0 % |       1768 |       6079 |       6229 |       6156 |       3712 |       2734 |       1155 |       1185 |
209.49/151.54	c (18,0) c | Diff Orig seen|                 |        583 |       4894 |       5044 |       4971 |       2527 |       1549 | -       30 |      X     |
209.49/151.54	c (18,0) c | Hamming       |             1 % |         75 |      15901 |         70 |         51 |         49 |         47 |         47 |      X     |
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c | RunningTime   |                 |    0.7 100%|    0.8 100%|    0.7 100%|    1.0 100%|    0.7 100%|    0.7 100%|    0.6 100%|    0.6 100%|
209.49/151.54	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%|
209.49/151.54	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%|
209.49/151.54	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%|
209.49/151.54	c (18,0) c | SolvingTime   |                 |    0.7     |    0.8     |    0.7     |    1.0     |    0.7     |    0.7     |    0.6     |    0.6     |
209.49/151.54	c (18,0) c | PropagationTim|                 |    0.7  99%|    0.8  98%|    0.7  99%|    0.9  97%|    0.7  98%|    0.7  99%|    0.6 100%|    0.6  99%|
209.49/151.54	c (18,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|
209.49/151.54	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%|
209.49/151.54	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%|
209.49/151.54	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%|
209.49/151.54	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%|
209.49/151.54	c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c
209.49/151.54	c (18,0) c Threads : 8
209.49/151.54	c (18,0) c Winner : 7
209.49/151.54	c (18,0) c Conflicts_0 : 55
209.49/151.54	c (18,0) c Conflicts_1 : 207
209.49/151.54	c (18,0) c Conflicts_2 : 93
209.49/151.54	c (18,0) c Conflicts_3 : 281
209.49/151.54	c (18,0) c Conflicts_4 : 160
209.49/151.54	c (18,0) c Conflicts_5 : 30
209.49/151.54	c (18,0) c Conflicts_6 : 13
209.49/151.54	c (18,0) c Conflicts_7 : 79
209.49/151.54	c (18,0) c Conflicts_total : 918
209.49/151.54	c (18,0) c Conflicts_winner : 79
209.49/151.54	c (18,0) c Decisions_0 : 99
209.49/151.54	c (18,0) c Decisions_1 : 461
209.49/151.54	c (18,0) c Decisions_2 : 254
209.49/151.54	c (18,0) c Decisions_3 : 481
209.49/151.54	c (18,0) c Decisions_4 : 266
209.49/151.54	c (18,0) c Decisions_5 : 170
209.49/151.54	c (18,0) c Decisions_6 : 108
209.49/151.54	c (18,0) c Decisions_7 : 251
209.49/151.54	c (18,0) c Decisions_total : 2090
209.49/151.54	c (18,0) c Decisions_winner : 251
209.49/151.54	c (18,0) c Propagations_0 : 210224
209.49/151.54	c (18,0) c Propagations_1 : 453033
209.49/151.54	c (18,0) c Propagations_2 : 331108
209.49/151.54	c (18,0) c Propagations_3 : 613202
209.49/151.54	c (18,0) c Propagations_4 : 436971
209.49/151.54	c (18,0) c Propagations_5 : 191485
209.49/151.54	c (18,0) c Propagations_6 : 156533
209.49/151.54	c (18,0) c Propagations_7 : 238457
209.49/151.54	c (18,0) c Propagations_total : 2631013
209.49/151.54	c (18,0) c Propagations_winner : 238457
209.49/151.54	c (18,0) c ReduceDBs_0 : 0
209.49/151.54	c (18,0) c ReduceDBs_1 : 0
209.49/151.54	c (18,0) c ReduceDBs_2 : 0
209.49/151.54	c (18,0) c ReduceDBs_3 : 0
209.49/151.54	c (18,0) c ReduceDBs_4 : 0
209.49/151.54	c (18,0) c ReduceDBs_5 : 0
209.49/151.54	c (18,0) c ReduceDBs_6 : 0
209.49/151.54	c (18,0) c ReduceDBs_7 : 0
209.49/151.54	c (18,0) c ReduceDBs_total : 0
209.49/151.54	c (18,0) c ReduceDBs_winner : 0
209.49/151.54	c (18,0) c SimpDBs_0 : 1
209.49/151.54	c (18,0) c SimpDBs_1 : 1
209.49/151.54	c (18,0) c SimpDBs_2 : 1
209.49/151.54	c (18,0) c SimpDBs_3 : 1
209.49/151.54	c (18,0) c SimpDBs_4 : 1
209.49/151.54	c (18,0) c SimpDBs_5 : 1
209.49/151.54	c (18,0) c SimpDBs_6 : 1
209.49/151.54	c (18,0) c SimpDBs_7 : 1
209.49/151.54	c (18,0) c SimpDBs_total : 8
209.49/151.54	c (18,0) c SimpDBs_winner : 1
209.49/151.54	c (18,0) c Restarts_0 : 1
209.49/151.54	c (18,0) c Restarts_1 : 1
209.49/151.54	c (18,0) c Restarts_2 : 1
209.49/151.54	c (18,0) c Restarts_3 : 1
209.49/151.54	c (18,0) c Restarts_4 : 1
209.49/151.54	c (18,0) c Restarts_5 : 1
209.49/151.54	c (18,0) c Restarts_6 : 1
209.49/151.54	c (18,0) c Restarts_7 : 1
209.49/151.54	c (18,0) c Restarts_total : 8
209.49/151.54	c (18,0) c Restarts_winner : 1
209.49/151.54	c (18,0) c ForcedImports_0 : 0
209.49/151.54	c (18,0) c ForcedImports_1 : 0
209.49/151.54	c (18,0) c ForcedImports_2 : 0
209.49/151.54	c (18,0) c ForcedImports_3 : 0
209.49/151.54	c (18,0) c ForcedImports_4 : 0
209.49/151.54	c (18,0) c ForcedImports_5 : 0
209.49/151.54	c (18,0) c ForcedImports_6 : 0
209.49/151.54	c (18,0) c ForcedImports_7 : 0
209.49/151.54	c (18,0) c ForcedImports_total : 0
209.49/151.54	c (18,0) c ForcedImports_winner : 0
209.49/151.54	c (18,0) c PropsBinClauses_0 : 199861
209.49/151.54	c (18,0) c PropsBinClauses_1 : 564243
209.49/151.54	c (18,0) c PropsBinClauses_2 : 383744
209.49/151.54	c (18,0) c PropsBinClauses_3 : 838821
209.49/151.54	c (18,0) c PropsBinClauses_4 : 485032
209.49/151.54	c (18,0) c PropsBinClauses_5 : 170062
209.49/151.54	c (18,0) c PropsBinClauses_6 : 167807
209.49/151.54	c (18,0) c PropsBinClauses_7 : 251730
209.49/151.54	c (18,0) c PropsBinClauses_total : 3061300
209.49/151.54	c (18,0) c PropsBinClauses_winner : 251730
209.49/151.54	c (18,0) c PropsPreBlocker_0 : 6076961
209.49/151.54	c (18,0) c PropsPreBlocker_1 : 9099244
209.49/151.54	c (18,0) c PropsPreBlocker_2 : 7949326
209.49/151.54	c (18,0) c PropsPreBlocker_3 : 10425500
209.49/151.54	c (18,0) c PropsPreBlocker_4 : 7884496
209.49/151.54	c (18,0) c PropsPreBlocker_5 : 6263416
209.49/151.54	c (18,0) c PropsPreBlocker_6 : 6028582
209.49/151.54	c (18,0) c PropsPreBlocker_7 : 6743959
209.49/151.55	c (18,0) c PropsPreBlocker_total : 60471484
209.49/151.55	c (18,0) c PropsPreBlocker_winner : 6743959
209.49/151.55	c (18,0) c PropsNotBlocker_0 : 3323890
209.49/151.55	c (18,0) c PropsNotBlocker_1 : 5117060
209.49/151.55	c (18,0) c PropsNotBlocker_2 : 4479628
209.49/151.55	c (18,0) c PropsNotBlocker_3 : 5236144
209.49/151.55	c (18,0) c PropsNotBlocker_4 : 4234658
209.49/151.55	c (18,0) c PropsNotBlocker_5 : 3475394
209.49/151.55	c (18,0) c PropsNotBlocker_6 : 3221083
209.49/151.55	c (18,0) c PropsNotBlocker_7 : 3785816
209.49/151.55	c (18,0) c PropsNotBlocker_total : 32873673
209.49/151.55	c (18,0) c PropsNotBlocker_winner : 3785816
209.49/151.55	c (18,0) c PropsLitFullScans_0 : 9769127
209.49/151.55	c (18,0) c PropsLitFullScans_1 : 15183641
209.49/151.55	c (18,0) c PropsLitFullScans_2 : 13110470
209.49/151.55	c (18,0) c PropsLitFullScans_3 : 17015355
209.49/151.55	c (18,0) c PropsLitFullScans_4 : 12923960
209.49/151.55	c (18,0) c PropsLitFullScans_5 : 10070251
209.49/151.55	c (18,0) c PropsLitFullScans_6 : 9551270
209.49/151.55	c (18,0) c PropsLitFullScans_7 : 10963241
209.49/151.55	c (18,0) c PropsLitFullScans_total : 98587315
209.49/151.55	c (18,0) c PropsLitFullScans_winner : 10963241
209.49/151.55	c (18,0) c LitScanFractions_0 : 1632
209.49/151.55	c (18,0) c LitScanFractions_1 : 574
209.49/151.55	c (18,0) c LitScanFractions_2 : 1034
209.49/151.55	c (18,0) c LitScanFractions_3 : 30
209.49/151.55	c (18,0) c LitScanFractions_4 : 1592
209.49/151.55	c (18,0) c LitScanFractions_5 : 1051
209.49/151.55	c (18,0) c LitScanFractions_6 : 2571
209.49/151.55	c (18,0) c LitScanFractions_7 : 2123
209.49/151.55	c (18,0) c LitScanFractions_total : 10607
209.49/151.55	c (18,0) c LitScanFractions_winner : 2123
209.49/151.55	c (18,0) c DecisionLevel0_0 : 4
209.49/151.55	c (18,0) c DecisionLevel0_1 : 2
209.49/151.55	c (18,0) c DecisionLevel0_2 : 4
209.49/151.55	c (18,0) c DecisionLevel0_3 : 3
209.49/151.55	c (18,0) c DecisionLevel0_4 : 3
209.49/151.55	c (18,0) c DecisionLevel0_5 : 2
209.49/151.55	c (18,0) c DecisionLevel0_6 : 2
209.49/151.55	c (18,0) c DecisionLevel0_7 : 3
209.49/151.55	c (18,0) c DecisionLevel0_total : 23
209.49/151.55	c (18,0) c DecisionLevel0_winner : 3
209.49/151.55	c (18,0) c Periods_0 : 1
209.49/151.55	c (18,0) c Periods_1 : 2
209.49/151.55	c (18,0) c Periods_2 : 2
209.49/151.55	c (18,0) c Periods_3 : 2
209.49/151.55	c (18,0) c Periods_4 : 2
209.49/151.55	c (18,0) c Periods_5 : 1
209.49/151.55	c (18,0) c Periods_6 : 1
209.49/151.55	c (18,0) c Periods_7 : 1
209.49/151.55	c (18,0) c Periods_total : 12
209.49/151.55	c (18,0) c Periods_winner : 1
209.49/151.55	c (18,0) c Margin_0 : 20
209.49/151.55	c (18,0) c Margin_1 : 20
209.49/151.55	c (18,0) c Margin_2 : 20
209.49/151.55	c (18,0) c Margin_3 : 20
209.49/151.55	c (18,0) c Margin_4 : 20
209.49/151.55	c (18,0) c Margin_5 : 20
209.49/151.55	c (18,0) c Margin_6 : 20
209.49/151.55	c (18,0) c Margin_7 : 20
209.49/151.55	c (18,0) c Margin_total : 160
209.49/151.55	c (18,0) c Margin_winner : 20
209.49/151.55	c (18,0) c Exported_0 : 11
209.49/151.55	c (18,0) c Exported_1 : 42
209.49/151.55	c (18,0) c Exported_2 : 27
209.49/151.55	c (18,0) c Exported_3 : 36
209.49/151.55	c (18,0) c Exported_4 : 33
209.49/151.55	c (18,0) c Exported_5 : 10
209.49/151.55	c (18,0) c Exported_6 : 5
209.49/151.55	c (18,0) c Exported_7 : 5
209.49/151.55	c (18,0) c Exported_total : 169
209.49/151.55	c (18,0) c Exported_winner : 5
209.49/151.55	c (18,0) c Imported_0 : 0
209.49/151.55	c (18,0) c Imported_1 : 0
209.49/151.55	c (18,0) c Imported_2 : 0
209.49/151.55	c (18,0) c Imported_3 : 0
209.49/151.55	c (18,0) c Imported_4 : 0
209.49/151.55	c (18,0) c Imported_5 : 0
209.49/151.55	c (18,0) c Imported_6 : 0
209.49/151.55	c (18,0) c Imported_7 : 0
209.49/151.55	c (18,0) c Imported_total : 0
209.49/151.55	c (18,0) c Imported_winner : 0
209.49/151.55	c (18,0) c Good_0 : 0
209.49/151.55	c (18,0) c Good_1 : 0
209.49/151.55	c (18,0) c Good_2 : 0
209.49/151.55	c (18,0) c Good_3 : 0
209.49/151.55	c (18,0) c Good_4 : 0
209.49/151.55	c (18,0) c Good_5 : 0
209.49/151.55	c (18,0) c Good_6 : 0
209.49/151.55	c (18,0) c Good_7 : 0
209.49/151.55	c (18,0) c Good_total : 0
209.49/151.55	c (18,0) c Good_winner : 0
209.49/151.55	c (18,0) c Purge_0 : 0
209.49/151.55	c (18,0) c Purge_1 : 0
209.49/151.55	c (18,0) c Purge_2 : 0
209.49/151.55	c (18,0) c Purge_3 : 0
209.49/151.55	c (18,0) c Purge_4 : 0
209.49/151.55	c (18,0) c Purge_5 : 0
209.49/151.55	c (18,0) c Purge_6 : 0
209.49/151.55	c (18,0) c Purge_7 : 0
209.49/151.55	c (18,0) c Purge_total : 0
209.49/151.55	c (18,0) c Purge_winner : 0
209.49/151.55	c (18,0) c Promoted_0 : 0
209.49/151.55	c (18,0) c Promoted_1 : 0
209.49/151.55	c (18,0) c Promoted_2 : 0
209.49/151.55	c (18,0) c Promoted_3 : 0
209.49/151.55	c (18,0) c Promoted_4 : 0
209.49/151.55	c (18,0) c Promoted_5 : 0
209.49/151.55	c (18,0) c Promoted_6 : 0
209.49/151.55	c (18,0) c Promoted_7 : 0
209.49/151.55	c (18,0) c Promoted_total : 0
209.49/151.55	c (18,0) c Promoted_winner : 0
209.49/151.55	c (18,0) c Remove_Imp_0 : 0
209.49/151.55	c (18,0) c Remove_Imp_1 : 0
209.49/151.55	c (18,0) c Remove_Imp_2 : 0
209.49/151.55	c (18,0) c Remove_Imp_3 : 0
209.49/151.55	c (18,0) c Remove_Imp_4 : 0
209.49/151.55	c (18,0) c Remove_Imp_5 : 0
209.49/151.55	c (18,0) c Remove_Imp_6 : 0
209.49/151.55	c (18,0) c Remove_Imp_7 : 0
209.49/151.55	c (18,0) c Remove_Imp_total : 0
209.49/151.55	c (18,0) c Remove_Imp_winner : 0
209.49/151.55	c (18,0) c Blocked_Reuse_0 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_1 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_2 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_3 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_4 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_5 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_6 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_7 : 0
209.49/151.55	c (18,0) c Blocked_Reuse_total : 0
209.49/151.55	c (18,0) c Blocked_Reuse_winner : 0
209.49/151.55	c (18,0) c Unaries_0 : 3
209.49/151.55	c (18,0) c Unaries_1 : 1
209.49/151.55	c (18,0) c Unaries_2 : 3
209.49/151.55	c (18,0) c Unaries_3 : 2
209.49/151.55	c (18,0) c Unaries_4 : 2
209.49/151.55	c (18,0) c Unaries_5 : 1
209.49/151.55	c (18,0) c Unaries_6 : 1
209.49/151.55	c (18,0) c Unaries_7 : 2
209.49/151.55	c (18,0) c Unaries_total : 15
209.49/151.55	c (18,0) c Unaries_winner : 2
209.49/151.55	c (18,0) c Binaries_0 : 6
209.49/151.55	c (18,0) c Binaries_1 : 19
209.49/151.55	c (18,0) c Binaries_2 : 10
209.49/151.55	c (18,0) c Binaries_3 : 13
209.49/151.55	c (18,0) c Binaries_4 : 12
209.49/151.55	c (18,0) c Binaries_5 : 3
209.49/151.55	c (18,0) c Binaries_6 : 1
209.49/151.55	c (18,0) c Binaries_7 : 2
209.49/151.55	c (18,0) c Binaries_total : 66
209.49/151.55	c (18,0) c Binaries_winner : 2
209.49/151.55	c (18,0) c Glues_0 : 11
209.49/151.55	c (18,0) c Glues_1 : 42
209.49/151.55	c (18,0) c Glues_2 : 27
209.49/151.55	c (18,0) c Glues_3 : 36
209.49/151.55	c (18,0) c Glues_4 : 33
209.49/151.55	c (18,0) c Glues_5 : 10
209.49/151.55	c (18,0) c Glues_6 : 5
209.49/151.55	c (18,0) c Glues_7 : 5
209.49/151.55	c (18,0) c Glues_total : 169
209.49/151.55	c (18,0) c Glues_winner : 5
209.49/151.55	c (18,0) c RunningTime_0 : 0.688832
209.49/151.55	c (18,0) c RunningTime_1 : 0.797542
209.49/151.55	c (18,0) c RunningTime_2 : 0.736434
209.49/151.55	c (18,0) c RunningTime_3 : 0.960577
209.49/151.55	c (18,0) c RunningTime_4 : 0.723709
209.49/151.55	c (18,0) c RunningTime_5 : 0.683589
209.49/151.55	c (18,0) c RunningTime_6 : 0.639766
209.49/151.55	c (18,0) c RunningTime_7 : 0.633913
209.49/151.55	c (18,0) c RunningTime_total : 5.864362
209.49/151.55	c (18,0) c RunningTime_winner : 0.633913
209.49/151.55	c (18,0) c WaitingTime_0 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_1 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_2 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_3 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_4 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_5 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_6 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_7 : 0.000000
209.49/151.55	c (18,0) c WaitingTime_total : 0.000000
209.49/151.55	c (18,0) c WaitingTime_winner : 0.000000
209.49/151.55	c (18,0) c ExchangingTime_0 : 0.000039
209.49/151.55	c (18,0) c ExchangingTime_1 : 0.000106
209.49/151.55	c (18,0) c ExchangingTime_2 : 0.000071
209.49/151.55	c (18,0) c ExchangingTime_3 : 0.000156
209.49/151.55	c (18,0) c ExchangingTime_4 : 0.000100
209.49/151.55	c (18,0) c ExchangingTime_5 : 0.000063
209.49/151.55	c (18,0) c ExchangingTime_6 : 0.000015
209.49/151.55	c (18,0) c ExchangingTime_7 : 0.000026
209.49/151.55	c (18,0) c ExchangingTime_total : 0.000576
209.49/151.55	c (18,0) c ExchangingTime_winner : 0.000026
209.49/151.55	c (18,0) c PeriodProcTime_0 : 0.000025
209.49/151.55	c (18,0) c PeriodProcTime_1 : 0.000019
209.49/151.55	c (18,0) c PeriodProcTime_2 : 0.000024
209.49/151.55	c (18,0) c PeriodProcTime_3 : 0.000029
209.49/151.55	c (18,0) c PeriodProcTime_4 : 0.000049
209.49/151.55	c (18,0) c PeriodProcTime_5 : 0.000014
209.49/151.55	c (18,0) c PeriodProcTime_6 : 0.000023
209.49/151.55	c (18,0) c PeriodProcTime_7 : 0.000012
209.49/151.55	c (18,0) c PeriodProcTime_total : 0.000195
209.49/151.55	c (18,0) c PeriodProcTime_winner : 0.000012
209.49/151.55	c (18,0) c SolvingTime_0 : 0.688895
209.49/151.55	c (18,0) c SolvingTime_1 : 0.797667
209.49/151.55	c (18,0) c SolvingTime_2 : 0.736528
209.49/151.55	c (18,0) c SolvingTime_3 : 0.960763
209.49/151.55	c (18,0) c SolvingTime_4 : 0.723858
209.49/151.55	c (18,0) c SolvingTime_5 : 0.683666
209.49/151.55	c (18,0) c SolvingTime_6 : 0.639805
209.49/151.55	c (18,0) c SolvingTime_7 : 0.633952
209.49/151.55	c (18,0) c SolvingTime_total : 5.865133
209.49/151.55	c (18,0) c SolvingTime_winner : 0.633952
209.49/151.55	c (18,0) c PropagationTime_0 : 0.684868
209.49/151.55	c (18,0) c PropagationTime_1 : 0.781589
209.49/151.55	c (18,0) c PropagationTime_2 : 0.726107
209.49/151.55	c (18,0) c PropagationTime_3 : 0.929522
209.49/151.55	c (18,0) c PropagationTime_4 : 0.712047
209.49/151.55	c (18,0) c PropagationTime_5 : 0.679620
209.49/151.55	c (18,0) c PropagationTime_6 : 0.637621
209.49/151.55	c (18,0) c PropagationTime_7 : 0.626087
209.49/151.55	c (18,0) c PropagationTime_total : 5.777462
209.49/151.55	c (18,0) c PropagationTime_winner : 0.626087
209.49/151.55	c (18,0) c AnalysisTime_0 : 0.001969
209.49/151.55	c (18,0) c AnalysisTime_1 : 0.007778
209.49/151.55	c (18,0) c AnalysisTime_2 : 0.005563
209.49/151.55	c (18,0) c AnalysisTime_3 : 0.014528
209.49/151.55	c (18,0) c AnalysisTime_4 : 0.005138
209.49/151.55	c (18,0) c AnalysisTime_5 : 0.002264
209.49/151.55	c (18,0) c AnalysisTime_6 : 0.000981
209.49/151.55	c (18,0) c AnalysisTime_7 : 0.001849
209.49/151.55	c (18,0) c AnalysisTime_total : 0.040071
209.49/151.55	c (18,0) c AnalysisTime_winner : 0.001849
209.49/151.55	c (18,0) c ReductionTime_0 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_1 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_2 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_3 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_4 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_5 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_6 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_7 : 0.000000
209.49/151.55	c (18,0) c ReductionTime_total : 0.000000
209.49/151.55	c (18,0) c ReductionTime_winner : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_0 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_1 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_2 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_3 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_4 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_5 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_6 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_7 : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_total : 0.000000
209.49/151.55	c (18,0) c SimplifyTime_winner : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_0 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_1 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_2 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_3 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_4 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_5 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_6 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_7 : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_total : 0.000000
209.49/151.55	c (18,0) c UsedRateTime_winner : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_0 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_1 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_2 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_3 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_4 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_5 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_6 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_7 : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_total : 0.000000
209.49/151.55	c (18,0) c OverlapRateTime_winner : 0.000000
209.49/151.55	c (18,0) c
209.49/151.55	c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
209.49/151.55	c (18,0) c
209.49/151.55	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.55	c (18,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
209.49/151.55	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.55	c (18,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
209.49/151.55	c (18,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
209.49/151.55	c (18,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
209.49/151.55	c (18,0) c | Initial random_seed   | 1199316841 | 1649264595 | 1947758402 | 1230290352 | 1377101331 | 1973543584 | 1487668017 | 2134690192 |
209.49/151.55	c (18,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
209.49/151.55	c (18,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
209.49/151.55	c (18,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
209.49/151.55	c (18,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
209.49/151.55	c (18,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
209.49/151.55	c (18,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
209.49/151.55	c (18,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
209.49/151.55	c (18,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
209.49/151.55	c (18,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
209.49/151.55	c (18,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
209.49/151.55	c (18,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
209.49/151.55	c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.49/151.55	c (18,0) 
209.49/151.55	c (18,0) s SATISFIABLE
187.25/151.69	c (18,0) SatSolver.solve End
187.25/151.69	c (18,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
187.25/151.69	c (18,0) Show results Begin
210.25/151.82	c (18,0) x[0] = 136
210.25/151.82	c (18,0) x[1] = 138
210.25/151.82	c (18,0) x[2] = 168
210.25/151.82	c (18,0) x[3] = 182
210.25/151.82	c (18,0) x[4] = 2
210.25/151.82	c (18,0) x[5] = 167
210.25/151.82	c (18,0) x[6] = 173
210.25/151.82	c (18,0) x[7] = 171
210.25/151.82	c (18,0) x[8] = 97
210.25/151.82	c (18,0) x[9] = 3
210.25/151.82	c (18,0) x[10] = 11
210.25/151.82	c (18,0) x[11] = 128
210.25/151.82	c (18,0) x[12] = 148
210.25/151.82	c (18,0) x[13] = 186
210.25/151.82	c (18,0) x[14] = 21
210.25/151.82	c (18,0) x[15] = 131
210.25/151.82	c (18,0) x[16] = 135
210.25/151.82	c (18,0) x[17] = 71
210.25/151.82	c (18,0) x[18] = 98
210.25/151.82	c (18,0) x[19] = 35
210.25/151.82	c (18,0) x[20] = 1
210.25/151.82	c (18,0) x[21] = 73
210.25/151.82	c (18,0) x[22] = 81
210.25/151.82	c (18,0) x[23] = 31
210.25/151.82	c (18,0) x[24] = 157
210.25/151.82	c (18,0) x[25] = 20
210.25/151.82	c (18,0) x[26] = 80
210.25/151.82	c (18,0) x[27] = 91
210.25/151.82	c (18,0) x[28] = 188
210.25/151.82	c (18,0) x[29] = 33
210.25/151.82	c (18,0) x[30] = 107
210.25/151.82	c (18,0) x[31] = 30
210.25/151.82	c (18,0) x[32] = 114
210.25/151.82	c (18,0) x[33] = 77
210.25/151.82	c (18,0) x[34] = 105
210.25/151.82	c (18,0) x[35] = 122
210.25/151.82	c (18,0) x[36] = 121
210.25/151.82	c (18,0) x[37] = 115
210.25/151.82	c (18,0) x[38] = 103
210.25/151.82	c (18,0) x[39] = 193
210.25/151.82	c (18,0) x[40] = 65
210.25/151.82	c (18,0) x[41] = 43
210.25/151.82	c (18,0) x[42] = 67
210.25/151.82	c (18,0) x[43] = 28
210.25/151.82	c (18,0) x[44] = 143
210.25/151.82	c (18,0) x[45] = 17
210.25/151.82	c (18,0) x[46] = 124
210.25/151.82	c (18,0) x[47] = 96
210.25/151.82	c (18,0) x[48] = 118
210.25/151.82	c (18,0) x[49] = 176
210.25/151.82	c (18,0) x[50] = 32
210.25/151.82	c (18,0) x[51] = 66
210.25/151.82	c (18,0) x[52] = 190
210.25/151.82	c (18,0) x[53] = 16
210.25/151.82	c (18,0) x[54] = 111
210.25/151.82	c (18,0) x[55] = 25
210.25/151.82	c (18,0) x[56] = 146
210.25/151.82	c (18,0) x[57] = 184
210.25/151.82	c (18,0) x[58] = 93
210.25/151.82	c (18,0) x[59] = 116
210.25/151.82	c (18,0) x[60] = 22
210.25/151.82	c (18,0) x[61] = 191
210.25/151.82	c (18,0) x[62] = 44
210.25/151.82	c (18,0) x[63] = 76
210.25/151.82	c (18,0) x[64] = 159
210.25/151.82	c (18,0) x[65] = 88
210.25/151.82	c (18,0) x[66] = 123
210.25/151.82	c (18,0) x[67] = 140
210.25/151.82	c (18,0) x[68] = 166
210.25/151.82	c (18,0) x[69] = 53
210.25/151.82	c (18,0) x[70] = 109
210.25/151.82	c (18,0) x[71] = 192
210.25/151.82	c (18,0) x[72] = 180
210.25/151.82	c (18,0) x[73] = 175
210.25/151.82	c (18,0) x[74] = 189
210.25/151.82	c (18,0) x[75] = 110
210.25/151.82	c (18,0) x[76] = 12
210.25/151.82	c (18,0) x[77] = 54
210.25/151.82	c (18,0) x[78] = 155
210.25/151.82	c (18,0) x[79] = 160
210.25/151.82	c (18,0) x[80] = 137
210.25/151.82	c (18,0) x[81] = 130
210.25/151.82	c (18,0) x[82] = 104
210.25/151.82	c (18,0) x[83] = 75
210.25/151.82	c (18,0) x[84] = 90
210.25/151.82	c (18,0) x[85] = 45
210.25/151.84	c (18,0) x[86] = 181
210.25/151.84	c (18,0) x[87] = 165
210.25/151.84	c (18,0) x[88] = 153
210.25/151.84	c (18,0) x[89] = 64
210.25/151.84	c (18,0) x[90] = 82
210.25/151.84	c (18,0) x[91] = 47
210.25/151.84	c (18,0) x[92] = 84
210.25/151.84	c (18,0) x[93] = 24
210.25/151.84	c (18,0) x[94] = 142
210.25/151.84	c (18,0) x[95] = 87
210.25/151.84	c (18,0) x[96] = 198
210.25/151.84	c (18,0) x[97] = 29
210.25/151.84	c (18,0) x[98] = 179
210.25/151.84	c (18,0) x[99] = 26
210.25/151.84	c (18,0) x[100] = 117
210.25/151.84	c (18,0) x[101] = 174
210.25/151.84	c (18,0) x[102] = 37
210.25/151.84	c (18,0) x[103] = 100
210.25/151.84	c (18,0) x[104] = 41
210.25/151.84	c (18,0) x[105] = 52
210.25/151.84	c (18,0) x[106] = 183
210.25/151.84	c (18,0) x[107] = 5
210.25/151.84	c (18,0) x[108] = 152
210.25/151.84	c (18,0) x[109] = 154
210.25/151.84	c (18,0) x[110] = 120
210.25/151.84	c (18,0) x[111] = 127
210.25/151.84	c (18,0) x[112] = 134
210.25/151.84	c (18,0) x[113] = 145
210.25/151.84	c (18,0) x[114] = 108
210.25/151.84	c (18,0) x[115] = 63
210.25/151.84	c (18,0) x[116] = 14
210.25/151.84	c (18,0) x[117] = 19
210.25/151.84	c (18,0) x[118] = 58
210.25/151.84	c (18,0) x[119] = 62
210.25/151.84	c (18,0) x[120] = 7
210.25/151.84	c (18,0) x[121] = 59
210.25/151.84	c (18,0) x[122] = 196
210.25/151.84	c (18,0) x[123] = 18
210.25/151.84	c (18,0) x[124] = 86
210.25/151.84	c (18,0) x[125] = 119
210.25/151.84	c (18,0) x[126] = 27
210.25/151.84	c (18,0) x[127] = 94
210.25/151.84	c (18,0) x[128] = 38
210.25/151.84	c (18,0) x[129] = 92
210.25/151.84	c (18,0) x[130] = 57
210.25/151.84	c (18,0) x[131] = 36
210.25/151.84	c (18,0) x[132] = 113
210.25/151.84	c (18,0) x[133] = 89
210.25/151.84	c (18,0) x[134] = 101
210.25/151.84	c (18,0) x[135] = 23
210.25/151.84	c (18,0) x[136] = 150
210.25/151.84	c (18,0) x[137] = 83
210.25/151.84	c (18,0) x[138] = 56
210.25/151.84	c (18,0) x[139] = 132
210.25/151.84	c (18,0) x[140] = 151
210.25/151.84	c (18,0) x[141] = 195
210.25/151.84	c (18,0) x[142] = 60
210.25/151.84	c (18,0) x[143] = 39
210.25/151.84	c (18,0) x[144] = 161
210.25/151.84	c (18,0) x[145] = 162
210.25/151.84	c (18,0) x[146] = 126
210.25/151.84	c (18,0) x[147] = 106
210.25/151.84	c (18,0) x[148] = 185
210.25/151.84	c (18,0) x[149] = 4
210.25/151.84	c (18,0) x[150] = 149
210.25/151.84	c (18,0) x[151] = 61
210.25/151.84	c (18,0) x[152] = 194
210.25/151.84	c (18,0) x[153] = 187
210.25/151.84	c (18,0) x[154] = 9
210.25/151.84	c (18,0) x[155] = 141
210.25/151.84	c (18,0) x[156] = 133
210.25/151.84	c (18,0) x[157] = 50
210.25/151.84	c (18,0) x[158] = 15
210.25/151.84	c (18,0) x[159] = 177
210.25/151.84	c (18,0) x[160] = 112
210.25/151.84	c (18,0) x[161] = 8
210.25/151.84	c (18,0) x[162] = 70
210.25/151.84	c (18,0) x[163] = 69
210.25/151.84	c (18,0) x[164] = 169
210.25/151.84	c (18,0) x[165] = 85
210.25/151.84	c (18,0) x[166] = 6
210.25/151.84	c (18,0) x[167] = 55
210.25/151.84	c (18,0) x[168] = 78
210.25/151.84	c (18,0) x[169] = 51
210.25/151.84	c (18,0) x[170] = 40
210.25/151.84	c (18,0) x[171] = 34
210.25/151.84	c (18,0) x[172] = 139
210.25/151.84	c (18,0) x[173] = 95
210.25/151.84	c (18,0) x[174] = 199
210.25/151.84	c (18,0) x[175] = 48
210.25/151.84	c (18,0) x[176] = 163
210.25/151.84	c (18,0) x[177] = 178
210.25/151.84	c (18,0) x[178] = 144
210.25/151.84	c (18,0) x[179] = 125
210.25/151.84	s SATISFIABLE
210.25/151.85	v <instantiation>
210.25/151.85	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>
210.25/151.85	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>
210.25/151.85	v </instantiation>
210.25/151.85	c (18,0) Show results End
210.25/151.85	c (18,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
210.25/151.85	c (18,0) 18,18,STOP-AFTER(ALL)
210.25/151.85	c END-Prog: Sat Sep 14 05:32:35 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 (15258 MiB free)
  memory of node 1: 16384 MiB (15636 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100154 s]*
/proc/loadavg: 8.66 8.47 8.07 2/217 7111
/proc/meminfo: memFree=31543492/32770624 swapFree=67009668/67108860
[pid=7088] ppid=7085 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7088/stat : 7088 (scop.sh) S 7085 7088 6268 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419108003 115843072 348 33554432000 4194304 5098028 140724745452848 140724745450104 139878364815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20828160 140724745454373 140724745454700 140724745454700 140724745457613 0
/proc/7088/statm: 28282 348 296 221 0 87 0
[pid=7091] ppid=7088 vsize=27314120 memory=104084 CPUtime=0.11 cores=0-7
/proc/7091/stat : 7091 (java) S 7088 7088 6268 0 -1 1077944320 6631 0 0 0 8 3 0 0 20 0 20 0 419108003 27969658880 26021 33554432000 4194304 4196468 140730936957248 140730936939792 139895206698743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
/proc/7091/statm: 6828530 26021 2797 1 0 6790935 0
[pid=7091/tid=7092] ppid=7088 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/7091/task/7092/stat : 7092 (java) R 7088 7088 6268 0 -1 4202560 4737 0 0 0 7 2 0 0 20 0 20 0 419108003 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895178533184 139895192130698 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7093] ppid=7088 vsize=27314120 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/7091/task/7093/stat : 7093 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895210941200 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7094] ppid=7088 vsize=27314120 memory=140285067130496 CPUtime=0 cores=0-7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895025097616 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7095] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895024045072 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7096] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895022992528 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7097] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895021938960 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7098] ppid=7088 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895020886416 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7099] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895019833872 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7100] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 26533 33554432000 4194304 4196468 140730936957248 139895018781328 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7101] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108007 27969658880 26533 33554432000 4194304 4196468 140730936957248 139893727549936 139895206709890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7102] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7088 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419108008 27969658880 26533 33554432000 4194304 4196468 140730936957248 139892789077408 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7103] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7088 6268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419108008 27969658880 26533 33554432000 4194304 4196468 140730936957248 139892654855664 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7104] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 26533 33554432000 4194304 4196468 140730936957248 139892280351440 139895206717339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7105] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7088 6268 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 26533 33554432000 4194304 4196468 140730936957248 139893726496752 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7106] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 26533 33554432000 4194304 4196468 140730936957248 139893725444208 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7107] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 26533 33554432000 4194304 4196468 140730936957248 139893724391664 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7109] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7109/stat : 7109 (java) R 7088 7088 6268 0 -1 4202560 258 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 26533 33554432000 4194304 4196468 140730936957248 139893723339120 139895185641420 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7110] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108011 27969658880 26533 33554432000 4194304 4196468 140730936957248 139891782445792 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7111] ppid=7088 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7091/task/7111/stat : 7111 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108011 27969658880 26533 33554432000 4194304 4196468 140730936957248 139893722287024 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105476 KiB

[startup+0.210648 s]*
/proc/loadavg: 8.66 8.47 8.07 2/217 7111
/proc/meminfo: memFree=31522832/32770624 swapFree=67009668/67108860
[pid=7088] ppid=7085 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7088/stat : 7088 (scop.sh) S 7085 7088 6268 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419108003 115843072 348 33554432000 4194304 5098028 140724745452848 140724745450104 139878364815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20828160 140724745454373 140724745454700 140724745454700 140724745457613 0
/proc/7088/statm: 28282 348 296 221 0 87 0
[pid=7091] ppid=7088 vsize=27314120 memory=123684 CPUtime=0.24 cores=0-7
/proc/7091/stat : 7091 (java) S 7088 7088 6268 0 -1 1077944320 12260 0 0 0 20 4 0 0 20 0 20 0 419108003 27969658880 30921 33554432000 4194304 4196468 140730936957248 140730936939792 139895206698743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
/proc/7091/statm: 6828530 30921 2974 1 0 6790935 0
[pid=7091/tid=7092] ppid=7088 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/7091/task/7092/stat : 7092 (java) R 7088 7088 6268 0 -1 4202560 9932 0 0 0 16 3 0 0 20 0 20 0 419108003 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895178498128 139895188262318 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7093] ppid=7088 vsize=27314120 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/7091/task/7093/stat : 7093 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895210941200 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7094] ppid=7088 vsize=27314120 memory=3834736797709760160 CPUtime=0 cores=0-7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895025097616 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7095] ppid=7088 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895024045072 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7096] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895022992528 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7097] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895021938960 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7098] ppid=7088 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895020886416 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7099] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895019833872 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7100] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 30921 33554432000 4194304 4196468 140730936957248 139895018781328 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7101] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108007 27969658880 30921 33554432000 4194304 4196468 140730936957248 139893727549936 139895206709890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7102] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7088 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419108008 27969658880 30921 33554432000 4194304 4196468 140730936957248 139892789077408 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7103] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7088 6268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419108008 27969658880 30921 33554432000 4194304 4196468 140730936957248 139892654855664 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7104] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 30921 33554432000 4194304 4196468 140730936957248 139892280351440 139895206717339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7105] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7088 6268 0 -1 1077944384 468 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 30921 33554432000 4194304 4196468 140730936957248 139893726496752 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7106] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7088 6268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 30921 33554432000 4194304 4196468 140730936957248 139893725444208 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7107] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 30921 33554432000 4194304 4196468 140730936957248 139893724391664 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7109] ppid=7088 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7088 6268 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 419108010 27969658880 30921 33554432000 4194304 4196468 140730936957248 139893723339120 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7110] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108011 27969658880 30921 33554432000 4194304 4196468 140730936957248 139891782445792 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7111] ppid=7088 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7091/task/7111/stat : 7111 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108011 27969658880 30921 33554432000 4194304 4196468 140730936957248 139893722287024 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125076 KiB

[startup+0.310205 s]*
/proc/loadavg: 8.66 8.47 8.07 2/217 7111
/proc/meminfo: memFree=31519420/32770624 swapFree=67009668/67108860
[pid=7088] ppid=7085 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7088/stat : 7088 (scop.sh) S 7085 7088 6268 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419108003 115843072 348 33554432000 4194304 5098028 140724745452848 140724745450104 139878364815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20828160 140724745454373 140724745454700 140724745454700 140724745457613 0
/proc/7088/statm: 28282 348 296 221 0 87 0
[pid=7091] ppid=7088 vsize=27314120 memory=127440 CPUtime=0.42 cores=0-7
/proc/7091/stat : 7091 (java) S 7088 7088 6268 0 -1 1077944320 12831 0 0 0 38 4 0 0 20 0 20 0 419108003 27969658880 31860 33554432000 4194304 4196468 140730936957248 140730936939792 139895206698743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
/proc/7091/statm: 6828530 31860 3012 1 0 6790935 0
[pid=7091/tid=7092] ppid=7088 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7091/task/7092/stat : 7092 (java) R 7088 7088 6268 0 -1 4202560 10291 0 0 0 26 3 0 0 20 0 20 0 419108003 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895178528816 139895186974571 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7093] ppid=7088 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7091/task/7093/stat : 7093 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895210941200 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7094] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895025097616 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7095] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895024045072 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7096] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895022992528 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7097] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895021938960 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7098] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895020886416 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7099] ppid=7088 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895019833872 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7100] ppid=7088 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27969658880 31860 33554432000 4194304 4196468 140730936957248 139895018781328 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7101] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108007 27969658880 31860 33554432000 4194304 4196468 140730936957248 139893727549936 139895206709890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7102] ppid=7088 vsize=27314120 memory=140284906267087 CPUtime=0 cores=0-7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7088 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419108008 27969658880 31860 33554432000 4194304 4196468 140730936957248 139892789077408 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7103] ppid=7088 vsize=27314120 memory=280569812561808 CPUtime=0 cores=0-7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7088 6268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419108008 27969658880 31860 33554432000 4194304 4196468 140730936957248 139892654855664 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7104] ppid=7088 vsize=27314120 memory=280569812559504 CPUtime=0 cores=0-7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108010 27969658880 31860 33554432000 4194304 4196468 140730936957248 139892280351440 139895206717339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7105] ppid=7088 vsize=27314120 memory=280569812566416 CPUtime=0.01 cores=0-7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7088 6268 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 419108010 27969658880 31860 33554432000 4194304 4196468 140730936957248 139893726496752 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7106] ppid=7088 vsize=27314120 memory=280569812507696 CPUtime=0.01 cores=0-7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7088 6268 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 419108010 27969658880 31860 33554432000 4194304 4196468 140730936957248 139893725444208 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7107] ppid=7088 vsize=27314120 memory=280569812580240 CPUtime=0.02 cores=0-7
/proc/7091/task/7107/stat : 7107 (java) R 7088 7088 6268 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 20 0 419108010 27969658880 31860 33554432000 4194304 4196468 140730936957248 139893724391664 139895184026752 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7109] ppid=7088 vsize=27314120 memory=280569812587120 CPUtime=0.07 cores=0-7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7088 6268 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 20 0 419108010 27969658880 31860 33554432000 4194304 4196468 140730936957248 139893723339120 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7110] ppid=7088 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419108011 27969658880 31860 33554432000 4194304 4196468 140730936957248 139891782445792 139895206708949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7111] ppid=7088 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7091/task/7111/stat : 7111 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108011 27969658880 31860 33554432000 4194304 4196468 140730936957248 139893722287024 139895206709890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128832 KiB

[startup+0.700882 s]
/proc/loadavg: 8.66 8.47 8.07 2/217 7111
/proc/meminfo: memFree=31497420/32770624 swapFree=67009668/67108860
[pid=7088] ppid=7085 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7088/stat : 7088 (scop.sh) S 7085 7088 6268 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419108003 115843072 348 33554432000 4194304 5098028 140724745452848 140724745450104 139878364815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20828160 140724745454373 140724745454700 140724745454700 140724745457613 0
/proc/7088/statm: 28282 348 296 221 0 87 0
[pid=7091] ppid=7088 vsize=27320392 memory=163420 CPUtime=0.99 cores=0-7
/proc/7091/stat : 7091 (java) S 7088 7088 6268 0 -1 1077944320 20447 0 0 0 92 7 0 0 20 0 20 0 419108003 27976081408 40855 33554432000 4194304 4196468 140730936957248 140730936939792 139895206698743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
/proc/7091/statm: 6830098 40855 3184 1 0 6791447 0
[pid=7091/tid=7092] ppid=7088 vsize=27320392 memory=2244 CPUtime=0.68 cores=0-7
/proc/7091/task/7092/stat : 7092 (java) R 7088 7088 6268 0 -1 4202560 17344 0 0 0 62 6 0 0 20 0 20 0 419108003 27976081408 40855 33554432000 4194304 4196468 140730936957248 139895178537600 139894685060080 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7093] ppid=7088 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7093/stat : 7093 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419108006 27976081408 40855 33554432000 4194304 4196468 140730936957248 139895210941200 139895206708949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7094] ppid=7088 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27976081408 40855 33554432000 4194304 4196468 140730936957248 139895025097616 139895206708949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0
[pid=7091/tid=7095] ppid=7088 vsize=27320392 memory=14008 CPUtime=0 cores=0-7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419108006 27976081408 40855 33554432000 4194304 4196468 140730936957248 139895024045072 139895206708949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140730936959724 140730936960150 140730936960150 140730936963023 0

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

[pid=7119/tid=7124] ppid=7088 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/7119/task/7124/stat : 7124 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745116137872 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7125] ppid=7088 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/7119/task/7125/stat : 7125 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745115085328 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7126] ppid=7088 vsize=8414124 memory=2452 CPUtime=0 cores=0-7
/proc/7119/task/7126/stat : 7126 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745114032784 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7127] ppid=7088 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/7119/task/7127/stat : 7127 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745112980240 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7128] ppid=7088 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/7119/task/7128/stat : 7128 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745111927696 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7129] ppid=7088 vsize=8414124 memory=3484 CPUtime=0 cores=0-7
/proc/7119/task/7129/stat : 7129 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745110875152 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7130] ppid=7088 vsize=8414124 memory=17996 CPUtime=0 cores=0-7
/proc/7119/task/7130/stat : 7130 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 29625 33554432000 4194304 4196468 140721474927552 139745109822608 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7131] ppid=7088 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/7119/task/7131/stat : 7131 (java) S 7088 7088 6268 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419121267 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744539281392 139745311738498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7132] ppid=7088 vsize=8414124 memory=1948 CPUtime=0 cores=0-7
/proc/7119/task/7132/stat : 7132 (java) S 7088 7088 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419121268 8616062976 29625 33554432000 4194304 4196468 140721474927552 139743740289952 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7133] ppid=7088 vsize=8414124 memory=1296 CPUtime=0 cores=0-7
/proc/7119/task/7133/stat : 7133 (java) S 7088 7088 6268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419121268 8616062976 29625 33554432000 4194304 4196468 140721474927552 139743606068208 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7134] ppid=7088 vsize=8414124 memory=732 CPUtime=0 cores=0-7
/proc/7119/task/7134/stat : 7134 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139743231563984 139745311745947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7135] ppid=7088 vsize=8414124 memory=1052 CPUtime=0.05 cores=0-7
/proc/7119/task/7135/stat : 7135 (java) S 7088 7088 6268 0 -1 1077944384 561 0 0 0 5 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744538229232 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7136] ppid=7088 vsize=8414124 memory=776 CPUtime=0.09 cores=0-7
/proc/7119/task/7136/stat : 7136 (java) S 7088 7088 6268 0 -1 1077944384 459 0 0 0 9 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744537176688 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7137] ppid=7088 vsize=8414124 memory=4004 CPUtime=0.04 cores=0-7
/proc/7119/task/7137/stat : 7137 (java) S 7088 7088 6268 0 -1 1077944384 144 0 0 0 4 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744536124144 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7138] ppid=7088 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7
/proc/7119/task/7138/stat : 7138 (java) S 7088 7088 6268 0 -1 1077944384 633 0 0 0 22 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744535071600 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7139] ppid=7088 vsize=8414124 memory=8500 CPUtime=0 cores=0-7
/proc/7119/task/7139/stat : 7139 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139742733658336 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7140] ppid=7088 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/7119/task/7140/stat : 7140 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121271 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744534018480 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7142] ppid=7088 vsize=8414124 memory=1188 CPUtime=0 cores=0-7
/proc/7119/task/7142/stat : 7142 (java) S 7088 7088 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419121367 8616062976 29625 33554432000 4194304 4196468 140721474927552 139744525984960 139745311751961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7144] ppid=7088 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/7119/task/7144/stat : 7144 (java) S 7088 7088 6268 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419121367 8616062976 29625 33554432000 4194304 4196468 140721474927552 139742062559024 139745311749277 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7145] ppid=7088 vsize=8414124 memory=7988 CPUtime=0 cores=0-7
/proc/7119/task/7145/stat : 7145 (java) S 7088 7088 6268 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419121367 8616062976 29625 33554432000 4194304 4196468 140721474927552 139742330994608 139745311749277 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7146] ppid=7088 vsize=8414124 memory=1584 CPUtime=0 cores=0-7
/proc/7119/task/7146/stat : 7146 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419121369 8616062976 29625 33554432000 4194304 4196468 140721474927552 139741794131632 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
Current children cumulated CPU time: 208.73 s
Current children cumulated vsize: 11644644 KiB
Current children cumulated memory: 2808532 KiB

[startup+151.601 s]
/proc/loadavg: 1.89 5.68 7.08 6/230 7154
/proc/meminfo: memFree=28780396/32770624 swapFree=67009668/67108860
[pid=7088] ppid=7085 vsize=113128 memory=1472 CPUtime=185.86 cores=0-7
/proc/7088/stat : 7088 (scop.sh) S 7085 7088 6268 0 -1 4202496 582 89166 0 0 0 0 17514 1072 20 0 1 0 419108003 115843072 368 33554432000 4194304 5098028 140724745452848 140724745449592 139878364815996 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20828160 140724745454373 140724745454700 140724745454700 140724745457613 0
/proc/7088/statm: 28282 368 311 221 0 87 0
[pid=7119] ppid=7088 vsize=8414124 memory=127488 CPUtime=1.39 cores=0-7
/proc/7119/stat : 7119 (java) S 7088 7088 6268 0 -1 1077944320 21872 0 0 0 130 9 0 0 20 0 24 0 419121263 8616062976 31872 33554432000 4194304 4196468 140721474927552 140721474910096 139745311727351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
/proc/7119/statm: 2103531 31872 3219 1 0 2064875 0
[pid=7119/tid=7120] ppid=7088 vsize=8414124 memory=-8961168018402230209 CPUtime=0.78 cores=0-7
/proc/7119/task/7120/stat : 7120 (java) S 7088 7088 6268 0 -1 1077944384 17928 0 0 0 72 6 0 0 20 0 24 0 419121264 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745283567520 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7123] ppid=7088 vsize=8414124 memory=3280 CPUtime=0 cores=0-7
/proc/7119/task/7123/stat : 7123 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745315969296 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7124] ppid=7088 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/7119/task/7124/stat : 7124 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745116137872 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7125] ppid=7088 vsize=8414124 memory=118500 CPUtime=0 cores=0-7
/proc/7119/task/7125/stat : 7125 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745115085328 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7126] ppid=7088 vsize=8414124 memory=732 CPUtime=0 cores=0-7
/proc/7119/task/7126/stat : 7126 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745114032784 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7127] ppid=7088 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/7119/task/7127/stat : 7127 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745112980240 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7128] ppid=7088 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/7119/task/7128/stat : 7128 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745111927696 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7129] ppid=7088 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/7119/task/7129/stat : 7129 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745110875152 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7130] ppid=7088 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/7119/task/7130/stat : 7130 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121266 8616062976 31872 33554432000 4194304 4196468 140721474927552 139745109822608 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7131] ppid=7088 vsize=8414124 memory=8500 CPUtime=0 cores=0-7
/proc/7119/task/7131/stat : 7131 (java) S 7088 7088 6268 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419121267 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744539281392 139745311738498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7132] ppid=7088 vsize=8414124 memory=1696 CPUtime=0 cores=0-7
/proc/7119/task/7132/stat : 7132 (java) S 7088 7088 6268 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419121268 8616062976 31872 33554432000 4194304 4196468 140721474927552 139743740289952 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7133] ppid=7088 vsize=8414124 memory=1188 CPUtime=0 cores=0-7
/proc/7119/task/7133/stat : 7133 (java) S 7088 7088 6268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419121268 8616062976 31872 33554432000 4194304 4196468 140721474927552 139743606068208 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7134] ppid=7088 vsize=8414124 memory=-4075877051373423735 CPUtime=0 cores=0-7
/proc/7119/task/7134/stat : 7134 (java) S 7088 7088 6268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139743231563984 139745311745947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7135] ppid=7088 vsize=8414124 memory=6944656575208382560 CPUtime=0.08 cores=0-7
/proc/7119/task/7135/stat : 7135 (java) S 7088 7088 6268 0 -1 1077944384 772 0 0 0 8 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744538229232 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7136] ppid=7088 vsize=8414124 memory=6944656592387989600 CPUtime=0.11 cores=0-7
/proc/7119/task/7136/stat : 7136 (java) R 7088 7088 6268 0 -1 4202560 476 0 0 0 11 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744537176688 139745289893832 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7137] ppid=7088 vsize=8414124 memory=6944656575208382560 CPUtime=0.06 cores=0-7
/proc/7119/task/7137/stat : 7137 (java) R 7088 7088 6268 0 -1 4202560 164 0 0 0 6 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744536124144 139745295138152 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7138] ppid=7088 vsize=8414124 memory=6943526294502006880 CPUtime=0.25 cores=0-7
/proc/7119/task/7138/stat : 7138 (java) S 7088 7088 6268 0 -1 1077944384 1103 0 0 0 25 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744535071600 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7139] ppid=7088 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/7119/task/7139/stat : 7139 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139742733658336 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7140] ppid=7088 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/7119/task/7140/stat : 7140 (java) S 7088 7088 6268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419121271 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744534018480 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7142] ppid=7088 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/7119/task/7142/stat : 7142 (java) S 7088 7088 6268 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419121367 8616062976 31872 33554432000 4194304 4196468 140721474927552 139744525984960 139745311751961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7144] ppid=7088 vsize=8414124 memory=6944652177228980320 CPUtime=0.05 cores=0-7
/proc/7119/task/7144/stat : 7144 (java) R 7088 7088 6268 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 24 0 419121367 8616062976 31872 33554432000 4194304 4196468 140721474927552 139742062559088 139744766993445 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7145] ppid=7088 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7119/task/7145/stat : 7145 (java) S 7088 7088 6268 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419121367 8616062976 31872 33554432000 4194304 4196468 140721474927552 139742330994608 139745311749277 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7146] ppid=7088 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/7119/task/7146/stat : 7146 (java) S 7088 7088 6268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419121369 8616062976 31872 33554432000 4194304 4196468 140721474927552 139741794131632 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
Current children cumulated CPU time: 187.25 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 128960 KiB

[startup+151.801 s]
/proc/loadavg: 1.89 5.68 7.08 6/230 7154
/proc/meminfo: memFree=28780396/32770624 swapFree=67009668/67108860
[pid=7088] ppid=7085 vsize=113128 memory=1472 CPUtime=185.86 cores=0-7
/proc/7088/stat : 7088 (scop.sh) S 7085 7088 6268 0 -1 4202496 582 89166 0 0 0 0 17514 1072 20 0 1 0 419108003 115843072 368 33554432000 4194304 5098028 140724745452848 140724745449592 139878364815996 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20828160 140724745454373 140724745454700 140724745454700 140724745457613 0
/proc/7088/statm: 28282 368 311 221 0 87 0
[pid=7119] ppid=7088 vsize=8283048 memory=156352 CPUtime=24.39 cores=0-7
/proc/7119/stat : 7119 (java) S 7088 7088 6268 0 -1 1077944320 22414 638257 0 0 173 10 2142 114 20 0 22 0 419121263 8481841152 39088 33554432000 4194304 4196468 140721474927552 140721474910096 139745311727351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
/proc/7119/statm: 2070762 39088 3230 1 0 2032106 0
[pid=7119/tid=7120] ppid=7088 vsize=8283048 memory=495336 CPUtime=23.44 cores=0-7
/proc/7119/task/7120/stat : 7120 (java) R 7088 7088 6268 0 -1 4202560 18173 638257 0 0 82 6 2142 114 20 0 22 0 419121264 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745283565824 139745311739286 0 4 2 25189581 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7123] ppid=7088 vsize=8283048 memory=1808 CPUtime=22.56 cores=0-7
/proc/7119/task/7123/stat : 7123 (java) S 7088 7088 6268 0 -1 1077944384 2 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745315969296 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7124] ppid=7088 vsize=8283048 memory=924 CPUtime=22.56 cores=0-7
/proc/7119/task/7124/stat : 7124 (java) S 7088 7088 6268 0 -1 1077944384 1 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745116137872 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7125] ppid=7088 vsize=8283048 memory=1060 CPUtime=22.56 cores=0-7
/proc/7119/task/7125/stat : 7125 (java) S 7088 7088 6268 0 -1 1077944384 2 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745115085328 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7126] ppid=7088 vsize=8283048 memory=7988 CPUtime=22.56 cores=0-7
/proc/7119/task/7126/stat : 7126 (java) S 7088 7088 6268 0 -1 1077944384 2 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745114032784 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7127] ppid=7088 vsize=8283048 memory=1584 CPUtime=22.56 cores=0-7
/proc/7119/task/7127/stat : 7127 (java) S 7088 7088 6268 0 -1 1077944384 1 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745112980240 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7128] ppid=7088 vsize=8283048 memory=14008 CPUtime=22.56 cores=0-7
/proc/7119/task/7128/stat : 7128 (java) S 7088 7088 6268 0 -1 1077944384 1 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745111927696 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7129] ppid=7088 vsize=8283048 memory=6240 CPUtime=22.56 cores=0-7
/proc/7119/task/7129/stat : 7129 (java) S 7088 7088 6268 0 -1 1077944384 3 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745110875152 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7130] ppid=7088 vsize=8283048 memory=13948 CPUtime=22.56 cores=0-7
/proc/7119/task/7130/stat : 7130 (java) S 7088 7088 6268 0 -1 1077944384 2 638257 0 0 0 0 2142 114 20 0 22 0 419121266 8481841152 39088 33554432000 4194304 4196468 140721474927552 139745109822608 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7131] ppid=7088 vsize=8283048 memory=2120 CPUtime=22.56 cores=0-7
/proc/7119/task/7131/stat : 7131 (java) S 7088 7088 6268 0 -1 1077944384 6 638257 0 0 0 0 2142 114 20 0 22 0 419121267 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744539281392 139745311738498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7132] ppid=7088 vsize=8283048 memory=520 CPUtime=22.56 cores=0-7
/proc/7119/task/7132/stat : 7132 (java) S 7088 7088 6268 0 -1 1077944384 13 638257 0 0 0 0 2142 114 20 0 22 0 419121268 8481841152 39088 33554432000 4194304 4196468 140721474927552 139743740289952 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7133] ppid=7088 vsize=8283048 memory=1560 CPUtime=22.56 cores=0-7
/proc/7119/task/7133/stat : 7133 (java) S 7088 7088 6268 0 -1 1077944384 21 638257 0 0 0 0 2142 114 20 0 22 0 419121268 8481841152 39088 33554432000 4194304 4196468 140721474927552 139743606068208 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7134] ppid=7088 vsize=8283048 memory=928 CPUtime=22.56 cores=0-7
/proc/7119/task/7134/stat : 7134 (java) S 7088 7088 6268 0 -1 1077944384 1 638257 0 0 0 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139743231563984 139745311745947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7135] ppid=7088 vsize=8283048 memory=1616 CPUtime=22.7 cores=0-7
/proc/7119/task/7135/stat : 7135 (java) R 7088 7088 6268 0 -1 4202560 809 638257 0 0 14 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744538229328 139745296130580 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7136] ppid=7088 vsize=8283048 memory=896 CPUtime=22.73 cores=0-7
/proc/7119/task/7136/stat : 7136 (java) S 7088 7088 6268 0 -1 1077944384 508 638257 0 0 17 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744537176688 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7137] ppid=7088 vsize=8283048 memory=1436 CPUtime=22.69 cores=0-7
/proc/7119/task/7137/stat : 7137 (java) S 7088 7088 6268 0 -1 1077944384 212 638257 0 0 13 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744536124144 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7138] ppid=7088 vsize=8283048 memory=1980 CPUtime=22.87 cores=0-7
/proc/7119/task/7138/stat : 7138 (java) R 7088 7088 6268 0 -1 4202560 1224 638257 0 0 31 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744535071600 139745290706309 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7139] ppid=7088 vsize=8283048 memory=2452 CPUtime=22.56 cores=0-7
/proc/7119/task/7139/stat : 7139 (java) S 7088 7088 6268 0 -1 1077944384 3 638257 0 0 0 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139742733658336 139745311737557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7140] ppid=7088 vsize=8283048 memory=1764 CPUtime=22.56 cores=0-7
/proc/7119/task/7140/stat : 7140 (java) S 7088 7088 6268 0 -1 1077944384 2 638257 0 0 0 0 2142 114 20 0 22 0 419121271 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744534018480 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7142] ppid=7088 vsize=8283048 memory=111632 CPUtime=22.56 cores=0-7
/proc/7119/task/7142/stat : 7142 (java) S 7088 7088 6268 0 -1 1077944384 23 638257 0 0 0 0 2142 114 20 0 22 0 419121367 8481841152 39088 33554432000 4194304 4196468 140721474927552 139744525984144 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
[pid=7119/tid=7146] ppid=7088 vsize=8283048 memory=4104 CPUtime=22.56 cores=0-7
/proc/7119/task/7146/stat : 7146 (java) S 7088 7088 6268 0 -1 1077944384 7 638257 0 0 0 0 2142 114 20 0 22 0 419121369 8481841152 39088 33554432000 4194304 4196468 140721474927552 139741794133424 139745311738498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29745152 140721474929656 140721474929814 140721474929814 140721474932687 0
Current children cumulated CPU time: 210.25 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 157824 KiB

Child status: 0
Real time (s): 151.875
CPU time (s): 210.41
CPU user time (s): 198.403
CPU system time (s): 12.0074
CPU usage (%): 138.542
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9213240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.403
system time used= 12.0074
maximum resident set size= 9213136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751640
page faults= 0
swaps= 0
block input operations= 8
block output operations= 208800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48332
involuntary context switches= 702


# summary of solver processes directly reported to runsolver:
#   pid: 7088
#   total CPU time (s): 210.41
#   total CPU user time (s): 198.403
#   total CPU system time (s): 12.0074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06621 second user time and 1.57523 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 05:30:03
IDJOB=4392272
IDBENCH=131296
IDSOLVER=2838
FILE ID=node132/4392272-1568431853
RUNJOBID= node132-1568428013-6295
PBS_JOBID= 21702303
Free space on /tmp= 61624 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-20.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392272-1568431853/watcher-4392272-1568431853 -o /tmp/evaluation-result-4392272-1568431853/solver-4392272-1568431853 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568428013-6295 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392272-1568431853.xml

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

MD5SUM BENCH= c3d3968bb4d1a566be21f2b70665db2a
RANDOM SEED=982961299

node132.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.95
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.95
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.95
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.95
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:        31636452 kB
MemAvailable:   31917228 kB
Buffers:           67128 kB
Cached:           492712 kB
SwapCached:         6296 kB
Active:           404000 kB
Inactive:         163672 kB
Active(anon):       4248 kB
Inactive(anon):    31588 kB
Active(file):     399752 kB
Inactive(file):   132084 kB
Unevictable:      109404 kB
Mlocked:          109404 kB
SwapTotal:      67108860 kB
SwapFree:       67009668 kB
Dirty:             20656 kB
Writeback:             4 kB
AnonPages:        112732 kB
Mapped:            31928 kB
Shmem:             19516 kB
Slab:             158368 kB
SReclaimable:     129552 kB
SUnreclaim:        28816 kB
KernelStack:        3520 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     475640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61604 MiB
End job on node132 at 2019-09-14 05:32:35