Trace number 4392542

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 1183.18 772.536

General information on the benchmark

NameCrossword/Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1506.xml
MD5SUM0e5e1a5440f053ee6c87120c72693e04
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.985276
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints72
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":195}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":30},{"degree":2,"count":195}]
Minimum constraint arity3
Maximum constraint arity9
Distribution of constraint arities[{"arity":3,"count":8},{"arity":4,"count":20},{"arity":5,"count":14},{"arity":6,"count":4},{"arity":7,"count":19},{"arity":8,"count":4},{"arity":9,"count":3}]
Number of extensional constraints72
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":72}]
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-18044-serial-file.bin HOME/instance-4392542-1568446778.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 09:38:54 CEST 2019
0.65/0.57	c PID: 18047
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.30/1.70	c (1,1) Parsing End
3.30/1.71	c (1,1) CSP: 195 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 26
3.30/1.71	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.30/1.71	c (1,1) Constraint Name Generate Begin
3.30/1.71	c (1,1) Ctr:HOME/instance-4392542-1568446778.xml,ExtensionSupport:Var
3.30/1.71	c (1,1) Constraint Name Generate End
3.30/1.71	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.30/1.71	c (1,1) CSP to CSPinCNF Begin
121.89/87.86	c (87,84) translated 8 (10%) constraints
221.02/160.21	c (159,152) translated 15 (20%) constraints
294.50/213.54	c (212,203) translated 22 (30%) constraints
299.42/218.45	c (217,207) translated 29 (40%) constraints
307.97/223.83	c (223,212) translated 36 (50%) constraints
325.62/238.39	c (237,226) translated 44 (60%) constraints
345.30/255.13	c (254,243) translated 51 (70%) constraints
352.94/262.74	c (262,250) translated 58 (80%) constraints
432.87/326.30	c (325,312) translated 65 (90%) constraints
566.41/432.79	c (432,414) translated 72 (100%) constraints
589.19/451.50	c (450,432) ===========================================
589.19/451.55	c (451,432) Order
589.19/451.55	c (451,432) ===========================================
609.34/466.99	c (466,447) translated 762152 (10%) constraints
630.98/482.76	c (482,462) translated 1524304 (20%) constraints
646.15/497.83	c (497,477) translated 2286456 (30%) constraints
667.25/513.67	c (513,492) translated 3048608 (40%) constraints
688.44/529.52	c (528,507) translated 3810760 (50%) constraints
709.12/544.99	c (544,522) translated 4572912 (60%) constraints
724.03/559.88	c (559,537) translated 5335064 (70%) constraints
745.36/575.56	c (575,552) translated 6097216 (80%) constraints
766.42/591.24	c (590,566) translated 6859368 (90%) constraints
787.57/606.62	c (606,581) translated 7621519 (100%) constraints
787.57/606.62	c (606,581) CSP to CSPinCNF End
787.80/606.85	c (606,581) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26
787.80/606.85	c (606,581) Heap : 10162 MiB used (max 21764 MiB), NonHeap : 27 MiB used (max 0 MiB)
787.80/606.85	c (606,581) CSPinCNF Propagation Begin
870.42/648.15	c (647,617) 0 values, 72 unsatisfiable literals, and 0 valid clauses are removed
870.42/648.15	c (647,617) CSPinCNF Propagation End
870.61/648.38	c (647,617) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26
870.61/648.38	c (647,617) Heap : 18847 MiB used (max 21908 MiB), NonHeap : 27 MiB used (max 0 MiB)
870.72/648.42	c (647,617) Simplify CSPinCNF Begin
911.58/665.89	c (665,631) Simplify CSPinCNF End
911.89/666.12	c (665,631) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26
911.89/666.12	c (665,631) Heap : 17171 MiB used (max 21285 MiB), NonHeap : 27 MiB used (max 0 MiB)
911.89/666.12	c (665,631) Calculate Precise Domain Begin
911.89/666.12	c (665,631) 0 values are removed by re-calculation
911.89/666.12	c (665,631) Calculate Precise Domain End
912.08/666.35	c (665,631) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26
912.08/666.35	c (665,631) Heap : 17171 MiB used (max 21285 MiB), NonHeap : 27 MiB used (max 0 MiB)
912.08/666.35	c (665,631) CSPinCNF to SatSolver Begin
1041.05/690.28	c (689,640) 762152 (10 %) CSP clauses are encoded (0 SAT variables, 766831 SAT clauses)
1049.22/697.64	c (697,647) 1524304 (20 %) CSP clauses are encoded (0 SAT variables, 1528983 SAT clauses)
1058.28/705.10	c (704,655) 2286456 (30 %) CSP clauses are encoded (0 SAT variables, 2291135 SAT clauses)
1069.21/712.83	c (712,662) 3048608 (40 %) CSP clauses are encoded (0 SAT variables, 3053287 SAT clauses)
1078.26/720.54	c (719,669) 3810760 (50 %) CSP clauses are encoded (0 SAT variables, 3815439 SAT clauses)
1087.20/727.95	c (727,676) 4572912 (60 %) CSP clauses are encoded (0 SAT variables, 4577591 SAT clauses)
1096.18/735.38	c (734,684) 5335064 (70 %) CSP clauses are encoded (0 SAT variables, 5339743 SAT clauses)
1105.32/742.82	c (742,691) 6097216 (80 %) CSP clauses are encoded (0 SAT variables, 6101895 SAT clauses)
1116.44/750.51	c (749,698) 6859368 (90 %) CSP clauses are encoded (0 SAT variables, 6864047 SAT clauses)
1125.41/757.92	c (757,705) 7621519 (100 %) CSP clauses are encoded (0 SAT variables, 7626198 SAT clauses)
1125.41/757.92	c (757,705) CSPinCNF to SatSolver End
1125.41/757.92	c (757,705) Heap : 10667 MiB used (max 21639 MiB), NonHeap : 29 MiB used (max 0 MiB)
1125.41/757.92	c (757,705) 746379 bool, 7626199 clause
1125.41/757.92	c (757,705) Export Begin
1125.60/758.03	c (757,705) Export to HOME/scop-18044-serial-file.bin
1125.60/758.03	c (757,705) Export End
1125.60/758.03	c (757,705) Export File Size: 0.04 MB
1125.60/758.03	c (757,705) 1,1,606,647,665,665,757,STOP-AFTER(DIMACS)
1125.60/758.03	c END-Prog: Sat Sep 14 09:51:32 CEST 2019
0.00/758.14	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18044-serial-file.bin
1125.76/758.60	c (0,0) Read Serial File Begin
1125.76/758.60	c (0,0) HOME/scop-18044-serial-file.bin
1125.76/758.83	c (0,0) Read Serial File End
1125.76/758.85	
1125.76/758.85	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1125.76/758.85	(Solving Process)
1125.76/758.85	
1125.76/758.87	c BEGIN-Prog: Sat Sep 14 09:51:33 CEST 2019
1125.76/758.87	c PID: 18129
1125.76/758.87	c IP: 172.20.3.136
1125.76/758.87	c HOST: node136.alineos.net
1125.76/758.87	c (0,0) SatSolver.solve Begin
1125.76/758.87	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392542-1568446778.xml-scop-18047.cnf
1125.76/758.90	c (0,0) c
1125.76/758.90	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)
1125.76/758.90	c (0,0) c
1125.76/758.90	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1125.76/758.90	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1125.76/758.90	c (0,0) c ========================================[ Problem Statistics ]===========================================
1125.76/758.90	c (0,0) c |                                                                                                       |
1129.87/761.84	c (3,0) c |  Number of variables:        746379                                                                   |
1129.87/761.84	c (3,0) c |  Number of clauses:         7626199                                                                   |
1129.87/761.84	c (3,0) c |  Parse time:                   2.67 s                                                                 |
1129.87/761.84	c (3,0) c |                                                                                                       |
1130.57/762.51	c (3,0) c | Too many clauses... No preprocessing                                                                  |
1130.57/762.51	c (3,0) c |  Simplification time:          0.60 s                                                                 |
1130.57/762.51	c (3,0) c |                                                                                                       |
1130.57/762.53	c (4,0) c |  Generating clones                                                                                    |
1132.99/764.92	c (6,0) c |  all clones generated. Memory =  5258.31Mb.                                                           |
1132.99/764.92	c (6,0) c ========================================================================================================|
1132.99/764.92	c (6,0) c
1132.99/764.92	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1132.99/764.92	c (6,0) c
1132.99/764.92	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1132.99/764.92	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1132.99/764.92	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1132.99/764.92	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1132.99/764.92	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1132.99/764.92	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1132.99/764.92	c (6,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1132.99/764.92	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1132.99/764.92	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1132.99/764.92	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1132.99/764.92	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1132.99/764.92	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1132.99/764.92	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1132.99/764.92	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1132.99/764.92	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1132.99/764.92	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1132.99/764.92	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1132.99/764.92	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1132.99/764.92	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c real time : 13.0137 s
1181.80/771.91	c (13,0) c cpu time  : 49.0902 s
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c | Conflicts     |           10343 |       1302 |       1129 |       1414 |       1216 |       1793 |       1056 |       1105 |       1328 |
1181.80/771.91	c (13,0) c | Decisions     |          634291 |      75511 |      77163 |      92941 |     105173 |      65988 |      81396 |      69661 |      66458 |
1181.80/771.91	c (13,0) c | Propagations  |       103166368 |   12898850 |   12443933 |   13074403 |   12617159 |   12747948 |   13199953 |   14615307 |   11568815 |
1181.80/771.91	c (13,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1181.80/771.91	c (13,0) c | Restarts      |              35 |          3 |          1 |          7 |          4 |          3 |          6 |          9 |          2 |
1181.80/771.91	c (13,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c | PropBinClauses|        97758527 |   12134790 |   11883761 |   12603947 |   11735205 |   12572992 |   12310408 |   12781886 |   11735538 |
1181.80/771.91	c (13,0) c | PropPreBlocker|       567857598 |   72546393 |   69509676 |   75392653 |   72918348 |   72091224 |   69763127 |   66222174 |   69414003 |
1181.80/771.91	c (13,0) c | PropNotBlocker|       199233122 |   24363507 |   24270079 |   26292210 |   24794656 |   26789280 |   23843089 |   24553565 |   24326736 |
1181.80/771.91	c (13,0) c | LitFullScans  |      1091872091 |  138034666 |  132193344 |  144174298 |  137259415 |  143947655 |  132134768 |  132060746 |  132067199 |
1181.80/771.91	c (13,0) c | LitScanFracts |          293350 |      18099 |      17931 |      44714 |      43851 |      28231 |      50736 |      46878 |      42910 |
1181.80/771.91	c (13,0) c | DecisionLevel0|              35 |          3 |          1 |          7 |          4 |          3 |          6 |          9 |          2 |
1181.80/771.91	c (13,0) c | Periods       |             180 |         23 |         22 |         24 |         22 |         23 |         22 |         22 |         22 |
1181.80/771.91	c (13,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1181.80/771.91	c (13,0) c | Avg_Trail     |                 |     350789 |     358052 |     303798 |     439739 |     236986 |     324064 |     257552 |     355408 |
1181.80/771.91	c (13,0) c | Avg_DL        |                 |       5728 |       7097 |        791 |       1811 |       1002 |       1298 |       1188 |       2243 |
1181.80/771.91	c (13,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c | Exported      |             655 |         81 |         99 |         81 |         68 |         95 |         81 |         63 |         87 |
1181.80/771.91	c (13,0) c | Imported      |             122 |          0 |          0 |         29 |          0 |         64 |          0 |         29 |          0 |
1181.80/771.91	c (13,0) c | Good          |             116 |          0 |          0 |         28 |          0 |         60 |          0 |         28 |          0 |
1181.80/771.91	c (13,0) c | Purge         |               6 |          0 |          0 |          1 |          0 |          4 |          0 |          1 |          0 |
1181.80/771.91	c (13,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1181.80/771.91	c (13,0) c | Binaries      |                 |         58 |         67 |         61 |         51 |         35 |         67 |         50 |         59 |
1181.80/771.91	c (13,0) c | Glues         |                 |         81 |         99 |         81 |         68 |         95 |         81 |         63 |         87 |
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c | Orig_Seen     |             0 % |      64842 |      52923 |      81195 |      73974 |      57714 |      38931 |      72833 |      76200 |
1181.80/771.91	c (13,0) c | Diff Orig seen|                 | -     9132 | -    21051 |       7221 |      X     | -    16260 | -    35043 | -     1141 |       2226 |
1181.80/771.91	c (13,0) c | Hamming       |             4 % |      35085 |      35344 |      36496 |      X     |      35724 |      33667 |      31866 |      37761 |
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c | RunningTime   |                 |    6.5 100%|    6.5 100%|    6.6 100%|    6.5 100%|    6.7 100%|    6.5 100%|    6.5 100%|    6.9 100%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,0) c | SolvingTime   |                 |    6.5     |    6.5     |    6.6     |    6.5     |    6.7     |    6.5     |    6.5     |    6.9     |
1181.80/771.91	c (13,0) c | PropagationTim|                 |    6.0  92%|    6.1  94%|    6.1  92%|    5.9  91%|    6.1  91%|    6.0  93%|    6.0  93%|    6.4  92%|
1181.80/771.91	c (13,0) c | AnalysisTime  |                 |    0.2   4%|    0.1   2%|    0.2   3%|    0.2   3%|    0.3   4%|    0.1   2%|    0.2   3%|    0.2   3%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,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%|
1181.80/771.91	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c
1181.80/771.91	c (13,0) c Threads : 8
1181.80/771.91	c (13,0) c Winner : 3
1181.80/771.91	c (13,0) c Conflicts_0 : 1302
1181.80/771.92	c (13,0) c Conflicts_1 : 1129
1181.80/771.92	c (13,0) c Conflicts_2 : 1414
1181.80/771.92	c (13,0) c Conflicts_3 : 1216
1181.80/771.92	c (13,0) c Conflicts_4 : 1793
1181.80/771.92	c (13,0) c Conflicts_5 : 1056
1181.80/771.92	c (13,0) c Conflicts_6 : 1105
1181.80/771.92	c (13,0) c Conflicts_7 : 1328
1181.80/771.92	c (13,0) c Conflicts_total : 10343
1181.80/771.92	c (13,0) c Conflicts_winner : 1216
1181.80/771.92	c (13,0) c Decisions_0 : 75511
1181.80/771.92	c (13,0) c Decisions_1 : 77163
1181.80/771.92	c (13,0) c Decisions_2 : 92941
1181.80/771.92	c (13,0) c Decisions_3 : 105173
1181.80/771.92	c (13,0) c Decisions_4 : 65988
1181.80/771.92	c (13,0) c Decisions_5 : 81396
1181.80/771.92	c (13,0) c Decisions_6 : 69661
1181.80/771.92	c (13,0) c Decisions_7 : 66458
1181.80/771.92	c (13,0) c Decisions_total : 634291
1181.80/771.92	c (13,0) c Decisions_winner : 105173
1181.80/771.92	c (13,0) c Propagations_0 : 12898850
1181.80/771.92	c (13,0) c Propagations_1 : 12443933
1181.80/771.92	c (13,0) c Propagations_2 : 13074403
1181.80/771.92	c (13,0) c Propagations_3 : 12617159
1181.80/771.92	c (13,0) c Propagations_4 : 12747948
1181.80/771.92	c (13,0) c Propagations_5 : 13199953
1181.80/771.92	c (13,0) c Propagations_6 : 14615307
1181.80/771.92	c (13,0) c Propagations_7 : 11568815
1181.80/771.92	c (13,0) c Propagations_total : 103166368
1181.80/771.92	c (13,0) c Propagations_winner : 12617159
1181.80/771.92	c (13,0) c ReduceDBs_0 : 0
1181.80/771.92	c (13,0) c ReduceDBs_1 : 0
1181.80/771.92	c (13,0) c ReduceDBs_2 : 0
1181.80/771.92	c (13,0) c ReduceDBs_3 : 0
1181.80/771.92	c (13,0) c ReduceDBs_4 : 0
1181.80/771.92	c (13,0) c ReduceDBs_5 : 0
1181.80/771.92	c (13,0) c ReduceDBs_6 : 0
1181.80/771.92	c (13,0) c ReduceDBs_7 : 0
1181.80/771.92	c (13,0) c ReduceDBs_total : 0
1181.80/771.92	c (13,0) c ReduceDBs_winner : 0
1181.80/771.92	c (13,0) c SimpDBs_0 : 1
1181.80/771.92	c (13,0) c SimpDBs_1 : 1
1181.80/771.92	c (13,0) c SimpDBs_2 : 1
1181.80/771.92	c (13,0) c SimpDBs_3 : 1
1181.80/771.92	c (13,0) c SimpDBs_4 : 1
1181.80/771.92	c (13,0) c SimpDBs_5 : 1
1181.80/771.92	c (13,0) c SimpDBs_6 : 1
1181.80/771.92	c (13,0) c SimpDBs_7 : 1
1181.80/771.92	c (13,0) c SimpDBs_total : 8
1181.80/771.92	c (13,0) c SimpDBs_winner : 1
1181.80/771.92	c (13,0) c Restarts_0 : 3
1181.80/771.92	c (13,0) c Restarts_1 : 1
1181.80/771.92	c (13,0) c Restarts_2 : 7
1181.80/771.92	c (13,0) c Restarts_3 : 4
1181.80/771.92	c (13,0) c Restarts_4 : 3
1181.80/771.92	c (13,0) c Restarts_5 : 6
1181.80/771.92	c (13,0) c Restarts_6 : 9
1181.80/771.92	c (13,0) c Restarts_7 : 2
1181.80/771.92	c (13,0) c Restarts_total : 35
1181.80/771.92	c (13,0) c Restarts_winner : 4
1181.80/771.92	c (13,0) c ForcedImports_0 : 0
1181.80/771.92	c (13,0) c ForcedImports_1 : 0
1181.80/771.92	c (13,0) c ForcedImports_2 : 0
1181.80/771.92	c (13,0) c ForcedImports_3 : 0
1181.80/771.92	c (13,0) c ForcedImports_4 : 0
1181.80/771.92	c (13,0) c ForcedImports_5 : 0
1181.80/771.92	c (13,0) c ForcedImports_6 : 0
1181.80/771.92	c (13,0) c ForcedImports_7 : 0
1181.80/771.92	c (13,0) c ForcedImports_total : 0
1181.80/771.92	c (13,0) c ForcedImports_winner : 0
1181.80/771.92	c (13,0) c PropsBinClauses_0 : 12134790
1181.80/771.92	c (13,0) c PropsBinClauses_1 : 11883761
1181.80/771.92	c (13,0) c PropsBinClauses_2 : 12603947
1181.80/771.92	c (13,0) c PropsBinClauses_3 : 11735205
1181.80/771.92	c (13,0) c PropsBinClauses_4 : 12572992
1181.80/771.92	c (13,0) c PropsBinClauses_5 : 12310408
1181.80/771.92	c (13,0) c PropsBinClauses_6 : 12781886
1181.80/771.92	c (13,0) c PropsBinClauses_7 : 11735538
1181.80/771.92	c (13,0) c PropsBinClauses_total : 97758527
1181.80/771.92	c (13,0) c PropsBinClauses_winner : 11735205
1181.80/771.92	c (13,0) c PropsPreBlocker_0 : 72546393
1181.80/771.92	c (13,0) c PropsPreBlocker_1 : 69509676
1181.80/771.92	c (13,0) c PropsPreBlocker_2 : 75392653
1181.80/771.92	c (13,0) c PropsPreBlocker_3 : 72918348
1181.80/771.92	c (13,0) c PropsPreBlocker_4 : 72091224
1181.80/771.92	c (13,0) c PropsPreBlocker_5 : 69763127
1181.80/771.92	c (13,0) c PropsPreBlocker_6 : 66222174
1181.80/771.92	c (13,0) c PropsPreBlocker_7 : 69414003
1181.80/771.92	c (13,0) c PropsPreBlocker_total : 567857598
1181.80/771.92	c (13,0) c PropsPreBlocker_winner : 72918348
1181.80/771.92	c (13,0) c PropsNotBlocker_0 : 24363507
1181.80/771.92	c (13,0) c PropsNotBlocker_1 : 24270079
1181.80/771.92	c (13,0) c PropsNotBlocker_2 : 26292210
1181.80/771.92	c (13,0) c PropsNotBlocker_3 : 24794656
1181.80/771.92	c (13,0) c PropsNotBlocker_4 : 26789280
1181.80/771.92	c (13,0) c PropsNotBlocker_5 : 23843089
1181.80/771.92	c (13,0) c PropsNotBlocker_6 : 24553565
1181.80/771.92	c (13,0) c PropsNotBlocker_7 : 24326736
1181.80/771.92	c (13,0) c PropsNotBlocker_total : 199233122
1181.80/771.92	c (13,0) c PropsNotBlocker_winner : 24794656
1181.80/771.92	c (13,0) c PropsLitFullScans_0 : 138034666
1181.80/771.92	c (13,0) c PropsLitFullScans_1 : 132193344
1181.80/771.92	c (13,0) c PropsLitFullScans_2 : 144174298
1181.80/771.92	c (13,0) c PropsLitFullScans_3 : 137259415
1181.80/771.92	c (13,0) c PropsLitFullScans_4 : 143947655
1181.80/771.92	c (13,0) c PropsLitFullScans_5 : 132134768
1181.80/771.92	c (13,0) c PropsLitFullScans_6 : 132060746
1181.80/771.92	c (13,0) c PropsLitFullScans_7 : 132067199
1181.80/771.92	c (13,0) c PropsLitFullScans_total : 1091872091
1181.80/771.92	c (13,0) c PropsLitFullScans_winner : 137259415
1181.80/771.92	c (13,0) c LitScanFractions_0 : 18099
1181.80/771.92	c (13,0) c LitScanFractions_1 : 17931
1181.80/771.92	c (13,0) c LitScanFractions_2 : 44714
1181.80/771.92	c (13,0) c LitScanFractions_3 : 43851
1181.80/771.92	c (13,0) c LitScanFractions_4 : 28231
1181.80/771.92	c (13,0) c LitScanFractions_5 : 50736
1181.80/771.92	c (13,0) c LitScanFractions_6 : 46878
1181.80/771.92	c (13,0) c LitScanFractions_7 : 42910
1181.80/771.92	c (13,0) c LitScanFractions_total : 293350
1181.80/771.92	c (13,0) c LitScanFractions_winner : 43851
1181.80/771.92	c (13,0) c DecisionLevel0_0 : 3
1181.80/771.92	c (13,0) c DecisionLevel0_1 : 1
1181.80/771.92	c (13,0) c DecisionLevel0_2 : 7
1181.80/771.92	c (13,0) c DecisionLevel0_3 : 4
1181.80/771.92	c (13,0) c DecisionLevel0_4 : 3
1181.80/771.92	c (13,0) c DecisionLevel0_5 : 6
1181.80/771.92	c (13,0) c DecisionLevel0_6 : 9
1181.80/771.92	c (13,0) c DecisionLevel0_7 : 2
1181.80/771.92	c (13,0) c DecisionLevel0_total : 35
1181.80/771.92	c (13,0) c DecisionLevel0_winner : 4
1181.80/771.92	c (13,0) c Periods_0 : 23
1181.80/771.92	c (13,0) c Periods_1 : 22
1181.80/771.92	c (13,0) c Periods_2 : 24
1181.80/771.92	c (13,0) c Periods_3 : 22
1181.80/771.92	c (13,0) c Periods_4 : 23
1181.80/771.92	c (13,0) c Periods_5 : 22
1181.80/771.92	c (13,0) c Periods_6 : 22
1181.80/771.92	c (13,0) c Periods_7 : 22
1181.80/771.92	c (13,0) c Periods_total : 180
1181.80/771.92	c (13,0) c Periods_winner : 22
1181.80/771.92	c (13,0) c Margin_0 : 20
1181.80/771.92	c (13,0) c Margin_1 : 20
1181.80/771.92	c (13,0) c Margin_2 : 20
1181.80/771.92	c (13,0) c Margin_3 : 20
1181.80/771.92	c (13,0) c Margin_4 : 20
1181.80/771.92	c (13,0) c Margin_5 : 20
1181.80/771.92	c (13,0) c Margin_6 : 20
1181.80/771.92	c (13,0) c Margin_7 : 20
1181.80/771.92	c (13,0) c Margin_total : 160
1181.80/771.92	c (13,0) c Margin_winner : 20
1181.80/771.92	c (13,0) c Exported_0 : 81
1181.80/771.92	c (13,0) c Exported_1 : 99
1181.80/771.92	c (13,0) c Exported_2 : 81
1181.80/771.92	c (13,0) c Exported_3 : 68
1181.80/771.92	c (13,0) c Exported_4 : 95
1181.80/771.92	c (13,0) c Exported_5 : 81
1181.80/771.92	c (13,0) c Exported_6 : 63
1181.80/771.92	c (13,0) c Exported_7 : 87
1181.80/771.92	c (13,0) c Exported_total : 655
1181.80/771.92	c (13,0) c Exported_winner : 68
1181.80/771.92	c (13,0) c Imported_0 : 0
1181.80/771.92	c (13,0) c Imported_1 : 0
1181.80/771.92	c (13,0) c Imported_2 : 29
1181.80/771.92	c (13,0) c Imported_3 : 0
1181.80/771.92	c (13,0) c Imported_4 : 64
1181.80/771.92	c (13,0) c Imported_5 : 0
1181.80/771.92	c (13,0) c Imported_6 : 29
1181.80/771.92	c (13,0) c Imported_7 : 0
1181.80/771.92	c (13,0) c Imported_total : 122
1181.80/771.92	c (13,0) c Imported_winner : 0
1181.80/771.92	c (13,0) c Good_0 : 0
1181.80/771.92	c (13,0) c Good_1 : 0
1181.80/771.92	c (13,0) c Good_2 : 28
1181.80/771.92	c (13,0) c Good_3 : 0
1181.80/771.92	c (13,0) c Good_4 : 60
1181.80/771.92	c (13,0) c Good_5 : 0
1181.80/771.92	c (13,0) c Good_6 : 28
1181.80/771.92	c (13,0) c Good_7 : 0
1181.80/771.92	c (13,0) c Good_total : 116
1181.80/771.92	c (13,0) c Good_winner : 0
1181.80/771.92	c (13,0) c Purge_0 : 0
1181.80/771.92	c (13,0) c Purge_1 : 0
1181.80/771.92	c (13,0) c Purge_2 : 1
1181.80/771.92	c (13,0) c Purge_3 : 0
1181.80/771.92	c (13,0) c Purge_4 : 4
1181.80/771.92	c (13,0) c Purge_5 : 0
1181.80/771.92	c (13,0) c Purge_6 : 1
1181.80/771.92	c (13,0) c Purge_7 : 0
1181.80/771.92	c (13,0) c Purge_total : 6
1181.80/771.92	c (13,0) c Purge_winner : 0
1181.80/771.92	c (13,0) c Promoted_0 : 0
1181.80/771.92	c (13,0) c Promoted_1 : 0
1181.80/771.92	c (13,0) c Promoted_2 : 0
1181.80/771.92	c (13,0) c Promoted_3 : 0
1181.80/771.92	c (13,0) c Promoted_4 : 0
1181.80/771.92	c (13,0) c Promoted_5 : 0
1181.80/771.92	c (13,0) c Promoted_6 : 0
1181.80/771.92	c (13,0) c Promoted_7 : 0
1181.80/771.92	c (13,0) c Promoted_total : 0
1181.80/771.92	c (13,0) c Promoted_winner : 0
1181.80/771.92	c (13,0) c Remove_Imp_0 : 0
1181.80/771.92	c (13,0) c Remove_Imp_1 : 0
1181.80/771.92	c (13,0) c Remove_Imp_2 : 0
1181.80/771.92	c (13,0) c Remove_Imp_3 : 0
1181.80/771.92	c (13,0) c Remove_Imp_4 : 0
1181.80/771.92	c (13,0) c Remove_Imp_5 : 0
1181.80/771.92	c (13,0) c Remove_Imp_6 : 0
1181.80/771.92	c (13,0) c Remove_Imp_7 : 0
1181.80/771.92	c (13,0) c Remove_Imp_total : 0
1181.80/771.92	c (13,0) c Remove_Imp_winner : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_0 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_1 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_2 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_3 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_4 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_5 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_6 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_7 : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_total : 0
1181.80/771.92	c (13,0) c Blocked_Reuse_winner : 0
1181.80/771.92	c (13,0) c Unaries_0 : 0
1181.80/771.92	c (13,0) c Unaries_1 : 0
1181.80/771.92	c (13,0) c Unaries_2 : 0
1181.80/771.92	c (13,0) c Unaries_3 : 0
1181.80/771.92	c (13,0) c Unaries_4 : 0
1181.80/771.92	c (13,0) c Unaries_5 : 0
1181.80/771.92	c (13,0) c Unaries_6 : 0
1181.80/771.92	c (13,0) c Unaries_7 : 0
1181.80/771.92	c (13,0) c Unaries_total : 0
1181.80/771.92	c (13,0) c Unaries_winner : 0
1181.80/771.92	c (13,0) c Binaries_0 : 58
1181.80/771.92	c (13,0) c Binaries_1 : 67
1181.80/771.92	c (13,0) c Binaries_2 : 61
1181.80/771.92	c (13,0) c Binaries_3 : 51
1181.80/771.92	c (13,0) c Binaries_4 : 35
1181.80/771.92	c (13,0) c Binaries_5 : 67
1181.80/771.92	c (13,0) c Binaries_6 : 50
1181.80/771.92	c (13,0) c Binaries_7 : 59
1181.80/771.92	c (13,0) c Binaries_total : 448
1181.80/771.92	c (13,0) c Binaries_winner : 51
1181.80/771.92	c (13,0) c Glues_0 : 81
1181.80/771.92	c (13,0) c Glues_1 : 99
1181.80/771.92	c (13,0) c Glues_2 : 81
1181.80/771.92	c (13,0) c Glues_3 : 68
1181.80/771.92	c (13,0) c Glues_4 : 95
1181.80/771.92	c (13,0) c Glues_5 : 81
1181.80/771.92	c (13,0) c Glues_6 : 63
1181.80/771.92	c (13,0) c Glues_7 : 87
1181.80/771.92	c (13,0) c Glues_total : 655
1181.80/771.92	c (13,0) c Glues_winner : 68
1181.80/771.92	c (13,0) c RunningTime_0 : 6.499312
1181.80/771.92	c (13,0) c RunningTime_1 : 6.525023
1181.80/771.92	c (13,0) c RunningTime_2 : 6.586116
1181.80/771.92	c (13,0) c RunningTime_3 : 6.468415
1181.80/771.92	c (13,0) c RunningTime_4 : 6.659281
1181.80/771.92	c (13,0) c RunningTime_5 : 6.491324
1181.80/771.92	c (13,0) c RunningTime_6 : 6.479782
1181.80/771.92	c (13,0) c RunningTime_7 : 6.924211
1181.80/771.92	c (13,0) c RunningTime_total : 52.633464
1181.80/771.92	c (13,0) c RunningTime_winner : 6.468415
1181.80/771.92	c (13,0) c WaitingTime_0 : 0.000004
1181.80/771.92	c (13,0) c WaitingTime_1 : 0.000003
1181.80/771.92	c (13,0) c WaitingTime_2 : 0.000012
1181.80/771.92	c (13,0) c WaitingTime_3 : 0.000003
1181.80/771.92	c (13,0) c WaitingTime_4 : 0.000008
1181.80/771.92	c (13,0) c WaitingTime_5 : 0.000003
1181.80/771.92	c (13,0) c WaitingTime_6 : 0.000003
1181.80/771.92	c (13,0) c WaitingTime_7 : 0.000006
1181.80/771.92	c (13,0) c WaitingTime_total : 0.000041
1181.80/771.92	c (13,0) c WaitingTime_winner : 0.000003
1181.80/771.92	c (13,0) c ExchangingTime_0 : 0.000793
1181.80/771.92	c (13,0) c ExchangingTime_1 : 0.000595
1181.80/771.92	c (13,0) c ExchangingTime_2 : 0.001604
1181.80/771.92	c (13,0) c ExchangingTime_3 : 0.000675
1181.80/771.92	c (13,0) c ExchangingTime_4 : 0.001252
1181.80/771.92	c (13,0) c ExchangingTime_5 : 0.000422
1181.80/771.92	c (13,0) c ExchangingTime_6 : 0.000584
1181.80/771.92	c (13,0) c ExchangingTime_7 : 0.000452
1181.80/771.92	c (13,0) c ExchangingTime_total : 0.006376
1181.80/771.92	c (13,0) c ExchangingTime_winner : 0.000675
1181.80/771.93	c (13,0) c PeriodProcTime_0 : 0.000266
1181.80/771.93	c (13,0) c PeriodProcTime_1 : 0.000265
1181.80/771.93	c (13,0) c PeriodProcTime_2 : 0.000274
1181.80/771.93	c (13,0) c PeriodProcTime_3 : 0.000260
1181.80/771.93	c (13,0) c PeriodProcTime_4 : 0.000253
1181.80/771.93	c (13,0) c PeriodProcTime_5 : 0.000232
1181.80/771.93	c (13,0) c PeriodProcTime_6 : 0.000308
1181.80/771.93	c (13,0) c PeriodProcTime_7 : 0.000233
1181.80/771.93	c (13,0) c PeriodProcTime_total : 0.002091
1181.80/771.93	c (13,0) c PeriodProcTime_winner : 0.000260
1181.80/771.93	c (13,0) c SolvingTime_0 : 6.500375
1181.80/771.93	c (13,0) c SolvingTime_1 : 6.525886
1181.80/771.93	c (13,0) c SolvingTime_2 : 6.588006
1181.80/771.93	c (13,0) c SolvingTime_3 : 6.469353
1181.80/771.93	c (13,0) c SolvingTime_4 : 6.660793
1181.80/771.93	c (13,0) c SolvingTime_5 : 6.491980
1181.80/771.93	c (13,0) c SolvingTime_6 : 6.480677
1181.80/771.93	c (13,0) c SolvingTime_7 : 6.924902
1181.80/771.93	c (13,0) c SolvingTime_total : 52.641973
1181.80/771.93	c (13,0) c SolvingTime_winner : 6.469353
1181.80/771.93	c (13,0) c PropagationTime_0 : 5.981328
1181.80/771.93	c (13,0) c PropagationTime_1 : 6.120240
1181.80/771.93	c (13,0) c PropagationTime_2 : 6.079658
1181.80/771.93	c (13,0) c PropagationTime_3 : 5.903983
1181.80/771.93	c (13,0) c PropagationTime_4 : 6.083216
1181.80/771.93	c (13,0) c PropagationTime_5 : 6.029102
1181.80/771.93	c (13,0) c PropagationTime_6 : 6.004467
1181.80/771.93	c (13,0) c PropagationTime_7 : 6.400907
1181.80/771.93	c (13,0) c PropagationTime_total : 48.602901
1181.80/771.93	c (13,0) c PropagationTime_winner : 5.903983
1181.80/771.93	c (13,0) c AnalysisTime_0 : 0.237759
1181.80/771.93	c (13,0) c AnalysisTime_1 : 0.146760
1181.80/771.93	c (13,0) c AnalysisTime_2 : 0.199419
1181.80/771.93	c (13,0) c AnalysisTime_3 : 0.201177
1181.80/771.93	c (13,0) c AnalysisTime_4 : 0.267699
1181.80/771.93	c (13,0) c AnalysisTime_5 : 0.146657
1181.80/771.93	c (13,0) c AnalysisTime_6 : 0.171498
1181.80/771.93	c (13,0) c AnalysisTime_7 : 0.214854
1181.80/771.93	c (13,0) c AnalysisTime_total : 1.585824
1181.80/771.93	c (13,0) c AnalysisTime_winner : 0.201177
1181.80/771.93	c (13,0) c ReductionTime_0 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_1 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_2 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_3 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_4 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_5 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_6 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_7 : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_total : 0.000000
1181.80/771.93	c (13,0) c ReductionTime_winner : 0.000000
1181.80/771.93	c (13,0) c SimplifyTime_0 : 0.000002
1181.80/771.93	c (13,0) c SimplifyTime_1 : 0.000000
1181.80/771.93	c (13,0) c SimplifyTime_2 : 0.000001
1181.80/771.93	c (13,0) c SimplifyTime_3 : 0.000000
1181.80/771.93	c (13,0) c SimplifyTime_4 : 0.000001
1181.80/771.93	c (13,0) c SimplifyTime_5 : 0.000000
1181.80/771.93	c (13,0) c SimplifyTime_6 : 0.000002
1181.80/771.93	c (13,0) c SimplifyTime_7 : 0.000002
1181.80/771.93	c (13,0) c SimplifyTime_total : 0.000008
1181.80/771.93	c (13,0) c SimplifyTime_winner : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_0 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_1 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_2 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_3 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_4 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_5 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_6 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_7 : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_total : 0.000000
1181.80/771.93	c (13,0) c UsedRateTime_winner : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_0 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_1 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_2 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_3 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_4 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_5 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_6 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_7 : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_total : 0.000000
1181.80/771.93	c (13,0) c OverlapRateTime_winner : 0.000000
1181.80/771.93	c (13,0) c
1181.80/771.93	c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1181.80/771.93	c (13,0) c
1181.80/771.93	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.93	c (13,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1181.80/771.93	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.93	c (13,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1181.80/771.93	c (13,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1181.80/771.93	c (13,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1181.80/771.93	c (13,0) c | Initial random_seed   |  936029167 |  572535726 |  802323804 |  253752209 |  346073738 | 1769347320 | 1917045231 | 1567957727 |
1181.80/771.93	c (13,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1181.80/771.93	c (13,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1181.80/771.93	c (13,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1181.80/771.93	c (13,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1181.80/771.93	c (13,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1181.80/771.93	c (13,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1181.80/771.93	c (13,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1181.80/771.93	c (13,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1181.80/771.93	c (13,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1181.80/771.93	c (13,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1181.80/771.93	c (13,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1181.80/771.93	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1181.80/771.93	c (13,0) 
1181.80/771.93	c (13,0) s SATISFIABLE
1127.55/772.34	c (13,0) SatSolver.solve End
1127.55/772.35	c (13,0) Heap : 268 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1127.55/772.35	c (13,0) Show results Begin
1182.91/772.47	c (13,0) x[0][0] = 10
1182.91/772.47	c (13,0) x[0][1] = 20
1182.91/772.47	c (13,0) x[0][2] = 12
1182.91/772.47	c (13,0) x[0][3] = 1
1182.91/772.47	c (13,0) x[0][4] = 11
1182.91/772.47	c (13,0) x[0][5] = 11
1182.91/772.47	c (13,0) x[0][6] = 0
1182.91/772.47	c (13,0) x[0][8] = 5
1182.91/772.47	c (13,0) x[0][9] = 4
1182.91/772.47	c (13,0) x[0][10] = 20
1182.91/772.47	c (13,0) x[0][11] = 17
1182.91/772.47	c (13,0) x[0][12] = 0
1182.91/772.47	c (13,0) x[0][13] = 13
1182.91/772.47	c (13,0) x[0][14] = 25
1182.91/772.47	c (13,0) x[1][0] = 0
1182.91/772.47	c (13,0) x[1][1] = 1
1182.91/772.47	c (13,0) x[1][2] = 14
1182.91/772.47	c (13,0) x[1][3] = 17
1182.91/772.47	c (13,0) x[1][4] = 3
1182.91/772.47	c (13,0) x[1][5] = 4
1182.91/772.47	c (13,0) x[1][6] = 25
1182.91/772.47	c (13,0) x[1][8] = 4
1182.91/772.47	c (13,0) x[1][9] = 11
1182.91/772.47	c (13,0) x[1][10] = 1
1182.91/772.47	c (13,0) x[1][11] = 14
1182.91/772.47	c (13,0) x[1][12] = 17
1182.91/772.47	c (13,0) x[1][13] = 3
1182.91/772.47	c (13,0) x[1][14] = 14
1182.91/772.47	c (13,0) x[2][0] = 11
1182.91/772.47	c (13,0) x[2][1] = 0
1182.91/772.47	c (13,0) x[2][2] = 15
1182.91/772.47	c (13,0) x[2][3] = 0
1182.91/772.47	c (13,0) x[2][4] = 17
1182.91/772.47	c (13,0) x[2][5] = 21
1182.91/772.47	c (13,0) x[2][6] = 0
1182.91/772.47	c (13,0) x[2][8] = 18
1182.91/772.47	c (13,0) x[2][9] = 10
1182.91/772.47	c (13,0) x[2][10] = 4
1182.91/772.47	c (13,0) x[2][11] = 20
1182.91/772.47	c (13,0) x[2][12] = 21
1182.91/772.47	c (13,0) x[2][13] = 17
1182.91/772.47	c (13,0) x[2][14] = 4
1182.91/772.47	c (13,0) x[3][0] = 4
1182.91/772.47	c (13,0) x[3][1] = 2
1182.91/772.47	c (13,0) x[3][2] = 14
1182.91/772.47	c (13,0) x[3][3] = 18
1182.91/772.47	c (13,0) x[3][5] = 8
1182.91/772.47	c (13,0) x[3][6] = 14
1182.91/772.47	c (13,0) x[3][7] = 3
1182.91/772.47	c (13,0) x[3][8] = 4
1182.91/772.47	c (13,0) x[3][9] = 18
1182.91/772.47	c (13,0) x[3][11] = 12
1182.91/772.47	c (13,0) x[3][12] = 4
1182.91/772.47	c (13,0) x[3][13] = 4
1182.91/772.47	c (13,0) x[3][14] = 18
1182.91/772.47	c (13,0) x[4][3] = 7
1182.91/772.47	c (13,0) x[4][4] = 1
1182.91/772.47	c (13,0) x[4][5] = 6
1182.91/772.47	c (13,0) x[4][7] = 4
1182.91/772.47	c (13,0) x[4][8] = 11
1182.91/772.47	c (13,0) x[4][9] = 4
1182.91/772.47	c (13,0) x[4][10] = 21
1182.91/772.47	c (13,0) x[4][11] = 0
1182.91/772.47	c (13,0) x[5][0] = 0
1182.91/772.47	c (13,0) x[5][1] = 6
1182.91/772.47	c (13,0) x[5][2] = 8
1182.91/772.47	c (13,0) x[5][3] = 19
1182.91/772.47	c (13,0) x[5][4] = 0
1182.91/772.47	c (13,0) x[5][5] = 13
1182.91/772.47	c (13,0) x[5][6] = 19
1182.91/772.47	c (13,0) x[5][7] = 18
1182.91/772.47	c (13,0) x[5][9] = 1
1182.91/772.47	c (13,0) x[5][10] = 0
1182.91/772.47	c (13,0) x[5][11] = 3
1182.91/772.47	c (13,0) x[5][12] = 4
1182.91/772.47	c (13,0) x[5][13] = 12
1182.91/772.47	c (13,0) x[5][14] = 18
1182.91/772.47	c (13,0) x[6][0] = 2
1182.91/772.47	c (13,0) x[6][1] = 14
1182.91/772.47	c (13,0) x[6][2] = 11
1182.91/772.47	c (13,0) x[6][3] = 14
1182.91/772.47	c (13,0) x[6][4] = 2
1182.91/772.47	c (13,0) x[6][5] = 0
1182.91/772.47	c (13,0) x[6][6] = 18
1182.91/772.47	c (13,0) x[6][7] = 4
1182.91/772.48	c (13,0) x[6][8] = 18
1182.91/772.48	c (13,0) x[6][10] = 19
1182.91/772.48	c (13,0) x[6][11] = 0
1182.91/772.48	c (13,0) x[6][12] = 11
1182.91/772.48	c (13,0) x[6][13] = 0
1182.91/772.48	c (13,0) x[6][14] = 19
1182.91/772.48	c (13,0) x[7][0] = 7
1182.91/772.48	c (13,0) x[7][1] = 20
1182.91/772.48	c (13,0) x[7][2] = 8
1182.91/772.48	c (13,0) x[7][4] = 7
1182.91/772.48	c (13,0) x[7][5] = 20
1182.91/772.48	c (13,0) x[7][6] = 0
1182.91/772.48	c (13,0) x[7][7] = 13
1182.91/772.48	c (13,0) x[7][8] = 19
1182.91/772.48	c (13,0) x[7][9] = 4
1182.91/772.48	c (13,0) x[7][10] = 18
1182.91/772.48	c (13,0) x[7][12] = 10
1182.91/772.48	c (13,0) x[7][13] = 4
1182.91/772.48	c (13,0) x[7][14] = 0
1182.91/772.48	c (13,0) x[8][0] = 0
1182.91/772.48	c (13,0) x[8][1] = 17
1182.91/772.48	c (13,0) x[8][2] = 0
1182.91/772.48	c (13,0) x[8][3] = 2
1182.91/772.48	c (13,0) x[8][4] = 10
1182.91/772.48	c (13,0) x[8][6] = 18
1182.91/772.48	c (13,0) x[8][7] = 13
1182.91/772.48	c (13,0) x[8][8] = 0
1182.91/772.48	c (13,0) x[8][9] = 2
1182.91/772.48	c (13,0) x[8][10] = 10
1182.91/772.48	c (13,0) x[8][11] = 1
1182.91/772.48	c (13,0) x[8][12] = 0
1182.91/772.48	c (13,0) x[8][13] = 17
1182.91/772.48	c (13,0) x[8][14] = 18
1182.91/772.48	c (13,0) x[9][0] = 19
1182.91/772.48	c (13,0) x[9][1] = 0
1182.91/772.48	c (13,0) x[9][2] = 17
1182.91/772.48	c (13,0) x[9][3] = 0
1182.91/772.48	c (13,0) x[9][4] = 8
1182.91/772.48	c (13,0) x[9][5] = 19
1182.91/772.48	c (13,0) x[9][7] = 20
1182.91/772.48	c (13,0) x[9][8] = 11
1182.91/772.48	c (13,0) x[9][9] = 11
1182.91/772.48	c (13,0) x[9][10] = 4
1182.91/772.48	c (13,0) x[9][11] = 3
1182.91/772.48	c (13,0) x[9][12] = 0
1182.91/772.48	c (13,0) x[9][13] = 11
1182.91/772.48	c (13,0) x[9][14] = 4
1182.91/772.48	c (13,0) x[10][3] = 20
1182.91/772.48	c (13,0) x[10][4] = 17
1182.91/772.48	c (13,0) x[10][5] = 17
1182.91/772.48	c (13,0) x[10][6] = 0
1182.91/772.48	c (13,0) x[10][7] = 24
1182.91/772.48	c (13,0) x[10][9] = 0
1182.91/772.48	c (13,0) x[10][10] = 17
1182.91/772.48	c (13,0) x[10][11] = 4
1182.91/772.48	c (13,0) x[11][0] = 17
1182.91/772.48	c (13,0) x[11][1] = 20
1182.91/772.48	c (13,0) x[11][2] = 4
1182.91/772.48	c (13,0) x[11][3] = 17
1182.91/772.48	c (13,0) x[11][5] = 14
1182.91/772.48	c (13,0) x[11][6] = 8
1182.91/772.48	c (13,0) x[11][7] = 4
1182.91/772.48	c (13,0) x[11][8] = 13
1182.91/772.48	c (13,0) x[11][9] = 19
1182.91/772.48	c (13,0) x[11][11] = 12
1182.91/772.48	c (13,0) x[11][12] = 20
1182.91/772.48	c (13,0) x[11][13] = 11
1182.91/772.48	c (13,0) x[11][14] = 11
1182.91/772.48	c (13,0) x[12][0] = 0
1182.91/772.48	c (13,0) x[12][1] = 13
1182.91/772.48	c (13,0) x[12][2] = 3
1182.91/772.48	c (13,0) x[12][3] = 4
1182.91/772.48	c (13,0) x[12][4] = 4
1182.91/772.48	c (13,0) x[12][5] = 13
1182.91/772.48	c (13,0) x[12][6] = 18
1182.91/772.48	c (13,0) x[12][8] = 14
1182.91/772.48	c (13,0) x[12][9] = 14
1182.91/772.48	c (13,0) x[12][10] = 17
1182.91/772.48	c (13,0) x[12][11] = 0
1182.91/772.48	c (13,0) x[12][12] = 11
1182.91/772.48	c (13,0) x[12][13] = 4
1182.91/772.48	c (13,0) x[12][14] = 0
1182.91/772.48	c (13,0) x[13][0] = 13
1182.91/772.48	c (13,0) x[13][1] = 8
1182.91/772.48	c (13,0) x[13][2] = 4
1182.91/772.48	c (13,0) x[13][3] = 20
1182.91/772.48	c (13,0) x[13][4] = 3
1182.91/772.48	c (13,0) x[13][5] = 0
1182.91/772.48	c (13,0) x[13][6] = 13
1182.91/772.48	c (13,0) x[13][8] = 8
1182.91/772.48	c (13,0) x[13][9] = 13
1182.91/772.48	c (13,0) x[13][10] = 4
1182.91/772.48	c (13,0) x[13][11] = 24
1182.91/772.48	c (13,0) x[13][12] = 4
1182.91/772.48	c (13,0) x[13][13] = 13
1182.91/772.48	c (13,0) x[13][14] = 4
1182.91/772.48	c (13,0) x[14][0] = 8
1182.91/772.48	c (13,0) x[14][1] = 17
1182.91/772.48	c (13,0) x[14][2] = 17
1182.91/772.48	c (13,0) x[14][3] = 0
1182.91/772.48	c (13,0) x[14][4] = 3
1182.91/772.48	c (13,0) x[14][5] = 8
1182.91/772.48	c (13,0) x[14][6] = 4
1182.91/772.48	c (13,0) x[14][8] = 4
1182.91/772.48	c (13,0) x[14][9] = 18
1182.91/772.48	c (13,0) x[14][10] = 18
1182.91/772.48	c (13,0) x[14][11] = 14
1182.91/772.48	c (13,0) x[14][12] = 24
1182.91/772.48	c (13,0) x[14][13] = 4
1182.91/772.48	c (13,0) x[14][14] = 13
1182.91/772.48	s SATISFIABLE
1182.91/772.49	v <instantiation>
1182.91/772.49	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14]</list>
1182.91/772.49	v     <values>10 20 12 1 11 11 0 5 4 20 17 0 13 25 0 1 14 17 3 4 25 4 11 1 14 17 3 14 11 0 15 0 17 21 0 18 10 4 20 21 17 4 4 2 14 18 8 14 3 4 18 12 4 4 18 7 1 6 4 11 4 21 0 0 6 8 19 0 13 19 18 1 0 3 4 12 18 2 14 11 14 2 0 18 4 18 19 0 11 0 19 7 20 8 7 20 0 13 19 4 18 10 4 0 0 17 0 2 10 18 13 0 2 10 1 0 17 18 19 0 17 0 8 19 20 11 11 4 3 0 11 4 20 17 17 0 24 0 17 4 17 20 4 17 14 8 4 13 19 12 20 11 11 0 13 3 4 4 13 18 14 14 17 0 11 4 0 13 8 4 20 3 0 13 8 13 4 24 4 13 4 8 17 17 0 3 8 4 4 18 18 14 24 4 13</values>
1182.91/772.49	v </instantiation>
1182.91/772.49	c (13,0) Show results End
1182.91/772.49	c (13,0) Heap : 289 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1182.91/772.49	c (13,0) 13,13,STOP-AFTER(ALL)
1182.91/772.49	c END-Prog: Sat Sep 14 09:51:46 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 (9617 MiB free)
  memory of node 1: 16384 MiB (15575 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392542-1568446778/watcher-4392542-1568446778 -o /tmp/evaluation-result-4392542-1568446778/solver-4392542-1568446778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392542-1568446778.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=18044, runsolver pid=18041
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 1.08 2.38 4.60 2/210 18066
/proc/meminfo: memFree=25701696/32770624 swapFree=67002288/67108860
[pid=18044] ppid=18041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18044/stat : 18044 (scop.sh) S 18041 18044 14480 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420926448 115843072 349 33554432000 4194304 5098028 140736007100560 140736007097816 140576669344380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9256960 140736007103269 140736007103596 140736007103596 140736007106509 0
/proc/18044/statm: 28282 349 296 221 0 87 0
[pid=18047] ppid=18044 vsize=27314120 memory=107360 CPUtime=0.11 cores=0-7
/proc/18047/stat : 18047 (java) S 18044 18044 14480 0 -1 1077944320 6897 0 0 0 8 3 0 0 20 0 20 0 420926448 27969658880 26840 33554432000 4194304 4196468 140722209968432 140722209950976 139891497123575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
/proc/18047/statm: 6828530 26840 2802 1 0 6790935 0
[pid=18047/tid=18048] ppid=18044 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18047/task/18048/stat : 18048 (java) R 18044 18044 14480 0 -1 4202560 5003 0 0 0 6 2 0 0 20 0 20 0 420926448 27969658880 26840 33554432000 4194304 4196468 140722209968432 139891468953640 139891497135510 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18049] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18049/stat : 18049 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139891501365520 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18050] ppid=18044 vsize=27314120 memory=140158357706368 CPUtime=0 cores=0-7
/proc/18047/task/18050/stat : 18050 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139891315521936 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18051] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18051/stat : 18051 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139891314469392 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18052] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18052/stat : 18052 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139890917014160 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18053] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18053/stat : 18053 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139890915961616 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18054] ppid=18044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18047/task/18054/stat : 18054 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139890914909072 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18055] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18055/stat : 18055 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139890913856528 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18056] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18056/stat : 18056 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 26840 33554432000 4194304 4196468 140722209968432 139890912803984 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18057] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18057/stat : 18057 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926452 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889817204720 139891497134722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18058] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18058/stat : 18058 (java) S 18044 18044 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420926453 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889299415968 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18059] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18059/stat : 18059 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926453 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889030980592 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18060] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18060/stat : 18060 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 26840 33554432000 4194304 4196468 140722209968432 139888656472272 139891497142171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18061] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18061/stat : 18061 (java) S 18044 18044 14480 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889816152560 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18062] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18062/stat : 18062 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889815100016 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18063] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18063/stat : 18063 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889814047472 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18064] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18064/stat : 18064 (java) R 18044 18044 14480 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889812994928 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18065] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18065/stat : 18065 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 26840 33554432000 4194304 4196468 140722209968432 139888158566624 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18066] ppid=18044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18047/task/18066/stat : 18066 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 26840 33554432000 4194304 4196468 140722209968432 139889811941808 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108756 KiB

[startup+0.210426 s]*
/proc/loadavg: 1.08 2.38 4.60 3/210 18066
/proc/meminfo: memFree=25680452/32770624 swapFree=67002288/67108860
[pid=18044] ppid=18041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18044/stat : 18044 (scop.sh) S 18041 18044 14480 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420926448 115843072 349 33554432000 4194304 5098028 140736007100560 140736007097816 140576669344380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9256960 140736007103269 140736007103596 140736007103596 140736007106509 0
/proc/18044/statm: 28282 349 296 221 0 87 0
[pid=18047] ppid=18044 vsize=27314120 memory=126376 CPUtime=0.24 cores=0-7
/proc/18047/stat : 18047 (java) S 18044 18044 14480 0 -1 1077944320 12401 0 0 0 20 4 0 0 20 0 20 0 420926448 27969658880 31594 33554432000 4194304 4196468 140722209968432 140722209950976 139891497123575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
/proc/18047/statm: 6828530 31594 2936 1 0 6790935 0
[pid=18047/tid=18048] ppid=18044 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/18047/task/18048/stat : 18048 (java) R 18044 18044 14480 0 -1 4202560 10118 0 0 0 16 3 0 0 20 0 20 0 420926448 27969658880 31594 33554432000 4194304 4196468 140722209968432 139891468947536 139891477398710 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18049] ppid=18044 vsize=27314120 memory=288230608969400658 CPUtime=0 cores=0-7
/proc/18047/task/18049/stat : 18049 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139891501365520 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18050] ppid=18044 vsize=27314120 memory=140158357720980 CPUtime=0 cores=0-7
/proc/18047/task/18050/stat : 18050 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139891315521936 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18051] ppid=18044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18047/task/18051/stat : 18051 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139891314469392 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18052] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18052/stat : 18052 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139890917014160 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18053] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18053/stat : 18053 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139890915961616 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18054] ppid=18044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18047/task/18054/stat : 18054 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139890914909072 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18055] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18055/stat : 18055 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139890913856528 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18056] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18056/stat : 18056 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 31594 33554432000 4194304 4196468 140722209968432 139890912803984 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18057] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18057/stat : 18057 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926452 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889817204720 139891497134722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18058] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18058/stat : 18058 (java) S 18044 18044 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420926453 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889299415968 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18059] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18059/stat : 18059 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926453 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889030980592 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18060] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18060/stat : 18060 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 31594 33554432000 4194304 4196468 140722209968432 139888656472272 139891497142171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18061] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18061/stat : 18061 (java) S 18044 18044 14480 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889816152560 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18062] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18062/stat : 18062 (java) S 18044 18044 14480 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889815100016 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18063] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18063/stat : 18063 (java) S 18044 18044 14480 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889814047472 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18064] ppid=18044 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/18047/task/18064/stat : 18064 (java) S 18044 18044 14480 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 420926456 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889812994928 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18065] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18065/stat : 18065 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 31594 33554432000 4194304 4196468 140722209968432 139888158566624 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18066] ppid=18044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18047/task/18066/stat : 18066 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 31594 33554432000 4194304 4196468 140722209968432 139889811941808 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127772 KiB

[startup+0.310311 s]*
/proc/loadavg: 1.08 2.38 4.60 2/210 18066
/proc/meminfo: memFree=25678688/32770624 swapFree=67002288/67108860
[pid=18044] ppid=18041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18044/stat : 18044 (scop.sh) S 18041 18044 14480 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420926448 115843072 349 33554432000 4194304 5098028 140736007100560 140736007097816 140576669344380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9256960 140736007103269 140736007103596 140736007103596 140736007106509 0
/proc/18044/statm: 28282 349 296 221 0 87 0
[pid=18047] ppid=18044 vsize=27314120 memory=130052 CPUtime=0.42 cores=0-7
/proc/18047/stat : 18047 (java) S 18044 18044 14480 0 -1 1077944320 13381 0 0 0 37 5 0 0 20 0 20 0 420926448 27969658880 32513 33554432000 4194304 4196468 140722209968432 140722209950976 139891497123575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
/proc/18047/statm: 6828530 32513 3015 1 0 6790935 0
[pid=18047/tid=18048] ppid=18044 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18047/task/18048/stat : 18048 (java) R 18044 18044 14480 0 -1 4202560 10917 0 0 0 25 4 0 0 20 0 20 0 420926448 27969658880 32513 33554432000 4194304 4196468 140722209968432 139891468953648 139891477399362 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18049] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18049/stat : 18049 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139891501365520 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18050] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18050/stat : 18050 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139891315521936 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18051] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18051/stat : 18051 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139891314469392 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18052] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18052/stat : 18052 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139890917014160 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18053] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18053/stat : 18053 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139890915961616 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18054] ppid=18044 vsize=27314120 memory=140158204734127 CPUtime=0 cores=0-7
/proc/18047/task/18054/stat : 18054 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139890914909072 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18055] ppid=18044 vsize=27314120 memory=140158204736432 CPUtime=0 cores=0-7
/proc/18047/task/18055/stat : 18055 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139890913856528 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18056] ppid=18044 vsize=27314120 memory=140158204738736 CPUtime=0 cores=0-7
/proc/18047/task/18056/stat : 18056 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27969658880 32513 33554432000 4194304 4196468 140722209968432 139890912803984 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18057] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18057/stat : 18057 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926452 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889817204720 139891497134722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18058] ppid=18044 vsize=27314120 memory=280316409491344 CPUtime=0 cores=0-7
/proc/18047/task/18058/stat : 18058 (java) S 18044 18044 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420926453 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889299415968 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18059] ppid=18044 vsize=27314120 memory=280316409489040 CPUtime=0 cores=0-7
/proc/18047/task/18059/stat : 18059 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926453 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889030980592 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18060] ppid=18044 vsize=27314120 memory=280316409495952 CPUtime=0 cores=0-7
/proc/18047/task/18060/stat : 18060 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 32513 33554432000 4194304 4196468 140722209968432 139888656472272 139891497142171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18061] ppid=18044 vsize=27314120 memory=280316409437232 CPUtime=0 cores=0-7
/proc/18047/task/18061/stat : 18061 (java) S 18044 18044 14480 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 420926455 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889816152560 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18062] ppid=18044 vsize=27314120 memory=280316409509776 CPUtime=0.01 cores=0-7
/proc/18047/task/18062/stat : 18062 (java) S 18044 18044 14480 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 420926455 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889815100016 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18063] ppid=18044 vsize=27314120 memory=280316409516688 CPUtime=0.01 cores=0-7
/proc/18047/task/18063/stat : 18063 (java) S 18044 18044 14480 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 420926456 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889814047472 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18064] ppid=18044 vsize=27314120 memory=280316409514384 CPUtime=0.07 cores=0-7
/proc/18047/task/18064/stat : 18064 (java) S 18044 18044 14480 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 20 0 420926456 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889812994928 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18065] ppid=18044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18065/stat : 18065 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 32513 33554432000 4194304 4196468 140722209968432 139888158566624 139891497133781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18066] ppid=18044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18047/task/18066/stat : 18066 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926456 27969658880 32513 33554432000 4194304 4196468 140722209968432 139889811941808 139891497134722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131448 KiB

[startup+0.700941 s]
/proc/loadavg: 1.08 2.38 4.60 2/210 18066
/proc/meminfo: memFree=25657976/32770624 swapFree=67002288/67108860
[pid=18044] ppid=18041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18044/stat : 18044 (scop.sh) S 18041 18044 14480 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420926448 115843072 349 33554432000 4194304 5098028 140736007100560 140736007097816 140576669344380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9256960 140736007103269 140736007103596 140736007103596 140736007106509 0
/proc/18044/statm: 28282 349 296 221 0 87 0
[pid=18047] ppid=18044 vsize=27320392 memory=169312 CPUtime=1 cores=0-7
/proc/18047/stat : 18047 (java) S 18044 18044 14480 0 -1 1077944320 20415 0 0 0 92 8 0 0 20 0 20 0 420926448 27976081408 42328 33554432000 4194304 4196468 140722209968432 140722209950976 139891497123575 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
/proc/18047/statm: 6830098 42328 3186 1 0 6791447 0
[pid=18047/tid=18048] ppid=18044 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/18047/task/18048/stat : 18048 (java) R 18044 18044 14480 0 -1 4202560 17340 0 0 0 61 6 0 0 20 0 20 0 420926448 27976081408 42328 33554432000 4194304 4196468 140722209968432 139891468959632 139891497145501 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18049] ppid=18044 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/18047/task/18049/stat : 18049 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27976081408 42328 33554432000 4194304 4196468 140722209968432 139891501365520 139891497133781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18050] ppid=18044 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18047/task/18050/stat : 18050 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926451 27976081408 42328 33554432000 4194304 4196468 140722209968432 139891315521936 139891497133781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0
[pid=18047/tid=18051] ppid=18044 vsize=27320392 memory=1428 CPUtime=0 cores=0-7
/proc/18047/task/18051/stat : 18051 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926451 27976081408 42328 33554432000 4194304 4196468 140722209968432 139891314469392 139891497133781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140722209977067 140722209977494 140722209977494 140722209980367 0

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

[pid=18129/tid=18130] ppid=18044 vsize=8414124 memory=8325366352933190542 CPUtime=0.77 cores=0-7
/proc/18129/task/18130/stat : 18130 (java) S 18044 18044 14480 0 -1 1077944384 16958 0 0 0 72 5 0 0 20 0 24 0 421002262 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667896250272 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18131] ppid=18044 vsize=8414124 memory=6789802306324843961 CPUtime=0 cores=0-7
/proc/18129/task/18131/stat : 18131 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667928652816 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18132] ppid=18044 vsize=8414124 memory=2812 CPUtime=0 cores=0-7
/proc/18129/task/18132/stat : 18132 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667728821392 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18133] ppid=18044 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/18129/task/18133/stat : 18133 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667727768336 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18134] ppid=18044 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/18129/task/18134/stat : 18134 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667726715792 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18135] ppid=18044 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/18129/task/18135/stat : 18135 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667725662736 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18136] ppid=18044 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/18129/task/18136/stat : 18136 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667724610192 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18137] ppid=18044 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/18129/task/18137/stat : 18137 (java) S 18044 18044 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667723557136 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18138] ppid=18044 vsize=8414124 memory=4456 CPUtime=0 cores=0-7
/proc/18129/task/18138/stat : 18138 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421002264 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667722504592 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18139] ppid=18044 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/18129/task/18139/stat : 18139 (java) S 18044 18044 14480 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 421002265 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667152100080 139667924421250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18140] ppid=18044 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/18129/task/18140/stat : 18140 (java) S 18044 18044 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421002266 8616062976 35040 33554432000 4194304 4196468 140725748690768 139666229552800 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18141] ppid=18044 vsize=8414124 memory=118364 CPUtime=0 cores=0-7
/proc/18129/task/18141/stat : 18141 (java) S 18044 18044 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 421002266 8616062976 35040 33554432000 4194304 4196468 140725748690768 139666095330544 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18142] ppid=18044 vsize=8414124 memory=5703660 CPUtime=0 cores=0-7
/proc/18129/task/18142/stat : 18142 (java) S 18044 18044 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139665720826320 139667924428699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18143] ppid=18044 vsize=8414124 memory=7686721470384608923 CPUtime=0.08 cores=0-7
/proc/18129/task/18143/stat : 18143 (java) S 18044 18044 14480 0 -1 1077944384 574 0 0 0 8 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667151046896 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18144] ppid=18044 vsize=8414124 memory=796 CPUtime=0.13 cores=0-7
/proc/18129/task/18144/stat : 18144 (java) S 18044 18044 14480 0 -1 1077944384 546 0 0 0 13 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667149994352 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18145] ppid=18044 vsize=8414124 memory=1808 CPUtime=0.08 cores=0-7
/proc/18129/task/18145/stat : 18145 (java) S 18044 18044 14480 0 -1 1077944384 357 0 0 0 8 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667148941296 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18146] ppid=18044 vsize=8414124 memory=920 CPUtime=0.25 cores=0-7
/proc/18129/task/18146/stat : 18146 (java) S 18044 18044 14480 0 -1 1077944384 1061 0 0 0 25 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667147888752 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18147] ppid=18044 vsize=8414124 memory=4456 CPUtime=0 cores=0-7
/proc/18129/task/18147/stat : 18147 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139665222921184 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18148] ppid=18044 vsize=8414124 memory=7686721470384608923 CPUtime=0 cores=0-7
/proc/18129/task/18148/stat : 18148 (java) S 18044 18044 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421002269 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667146837168 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18150] ppid=18044 vsize=8414124 memory=40228 CPUtime=0 cores=0-7
/proc/18129/task/18150/stat : 18150 (java) S 18044 18044 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421002338 8616062976 35040 33554432000 4194304 4196468 140725748690768 139667138803136 139667924434713 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18152] ppid=18044 vsize=8414124 memory=988 CPUtime=0.05 cores=0-7
/proc/18129/task/18152/stat : 18152 (java) S 18044 18044 14480 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 24 0 421002338 8616062976 35040 33554432000 4194304 4196468 140725748690768 139664551820800 139667924432029 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18153] ppid=18044 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/18129/task/18153/stat : 18153 (java) S 18044 18044 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 421002338 8616062976 35040 33554432000 4194304 4196468 140725748690768 139664820256432 139667924432029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18154] ppid=18044 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/18129/task/18154/stat : 18154 (java) S 18044 18044 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 421002340 8616062976 35040 33554432000 4194304 4196468 140725748690768 139664283392944 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
Current children cumulated CPU time: 1182.1 s
Current children cumulated vsize: 14680444 KiB
Current children cumulated memory: 5911612 KiB

[startup+772.401 s]
/proc/loadavg: 1.81 1.68 2.85 2/217 18165
/proc/meminfo: memFree=19695860/32770624 swapFree=67002288/67108860
[pid=18044] ppid=18041 vsize=113128 memory=1476 CPUtime=1125.76 cores=0-7
/proc/18044/stat : 18044 (scop.sh) S 18041 18044 14480 0 -1 4202496 582 358085 0 0 0 0 108135 4441 20 0 1 0 420926448 115843072 369 33554432000 4194304 5098028 140736007100560 140736007097304 140576669344380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9256960 140736007103269 140736007103596 140736007103596 140736007106509 0
/proc/18044/statm: 28282 369 311 221 0 87 0
[pid=18129] ppid=18044 vsize=8283048 memory=278620 CPUtime=57.15 cores=0-7
/proc/18129/stat : 18129 (java) S 18044 18044 14480 0 -1 1077944320 21336 1444339 0 0 184 11 4926 594 20 0 22 0 421002262 8481841152 69655 33554432000 4194304 4196468 140725748690768 140725748673312 139667924410103 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
/proc/18129/statm: 2070762 69655 3222 1 0 2032106 0
[pid=18129/tid=18130] ppid=18044 vsize=8283048 memory=118364 CPUtime=56.03 cores=0-7
/proc/18129/task/18130/stat : 18130 (java) R 18044 18044 14480 0 -1 4202560 17104 1444339 0 0 77 6 4926 594 20 0 22 0 421002262 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667896238928 139667908490590 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18131] ppid=18044 vsize=8283048 memory=3616 CPUtime=55.2 cores=0-7
/proc/18129/task/18131/stat : 18131 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667928652816 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18132] ppid=18044 vsize=8283048 memory=6791534058613427641 CPUtime=55.2 cores=0-7
/proc/18129/task/18132/stat : 18132 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667728821392 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18133] ppid=18044 vsize=8283048 memory=288230621803970871 CPUtime=55.2 cores=0-7
/proc/18129/task/18133/stat : 18133 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667727768336 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18134] ppid=18044 vsize=8283048 memory=14126740981156277 CPUtime=55.2 cores=0-7
/proc/18129/task/18134/stat : 18134 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667726715792 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18135] ppid=18044 vsize=8283048 memory=4456 CPUtime=55.2 cores=0-7
/proc/18129/task/18135/stat : 18135 (java) S 18044 18044 14480 0 -1 1077944384 3 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667725662736 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18136] ppid=18044 vsize=8283048 memory=1408 CPUtime=55.2 cores=0-7
/proc/18129/task/18136/stat : 18136 (java) S 18044 18044 14480 0 -1 1077944384 2 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667724610192 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18137] ppid=18044 vsize=8283048 memory=7686721470384608923 CPUtime=55.2 cores=0-7
/proc/18129/task/18137/stat : 18137 (java) S 18044 18044 14480 0 -1 1077944384 2 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667723557136 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18138] ppid=18044 vsize=8283048 memory=1476 CPUtime=55.2 cores=0-7
/proc/18129/task/18138/stat : 18138 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667722504592 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18139] ppid=18044 vsize=8283048 memory=4108 CPUtime=55.2 cores=0-7
/proc/18129/task/18139/stat : 18139 (java) S 18044 18044 14480 0 -1 1077944384 7 1444339 0 0 0 0 4926 594 20 0 22 0 421002265 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667152100080 139667924421250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18140] ppid=18044 vsize=8283048 memory=118364 CPUtime=55.2 cores=0-7
/proc/18129/task/18140/stat : 18140 (java) S 18044 18044 14480 0 -1 1077944384 13 1444339 0 0 0 0 4926 594 20 0 22 0 421002266 8481841152 69655 33554432000 4194304 4196468 140725748690768 139666229552800 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18141] ppid=18044 vsize=8283048 memory=528328 CPUtime=55.2 cores=0-7
/proc/18129/task/18141/stat : 18141 (java) S 18044 18044 14480 0 -1 1077944384 21 1444339 0 0 0 0 4926 594 20 0 22 0 421002266 8481841152 69655 33554432000 4194304 4196468 140725748690768 139666095330544 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18142] ppid=18044 vsize=8283048 memory=7686721470384608923 CPUtime=55.2 cores=0-7
/proc/18129/task/18142/stat : 18142 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139665720826320 139667924428699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18143] ppid=18044 vsize=8283048 memory=2900 CPUtime=55.32 cores=0-7
/proc/18129/task/18143/stat : 18143 (java) S 18044 18044 14480 0 -1 1077944384 590 1444339 0 0 12 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667151046896 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18144] ppid=18044 vsize=8283048 memory=1056 CPUtime=55.38 cores=0-7
/proc/18129/task/18144/stat : 18144 (java) R 18044 18044 14480 0 -1 4202560 565 1444339 0 0 18 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667149974416 139667909535036 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18145] ppid=18044 vsize=8283048 memory=1568 CPUtime=55.34 cores=0-7
/proc/18129/task/18145/stat : 18145 (java) S 18044 18044 14480 0 -1 1077944384 372 1444339 0 0 14 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667148941296 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18146] ppid=18044 vsize=8283048 memory=1040 CPUtime=55.5 cores=0-7
/proc/18129/task/18146/stat : 18146 (java) S 18044 18044 14480 0 -1 1077944384 1153 1444339 0 0 30 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667147888752 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18147] ppid=18044 vsize=8283048 memory=14008 CPUtime=55.2 cores=0-7
/proc/18129/task/18147/stat : 18147 (java) S 18044 18044 14480 0 -1 1077944384 3 1444339 0 0 0 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139665222921184 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18148] ppid=18044 vsize=8283048 memory=12040 CPUtime=55.2 cores=0-7
/proc/18129/task/18148/stat : 18148 (java) S 18044 18044 14480 0 -1 1077944384 3 1444339 0 0 0 0 4926 594 20 0 22 0 421002269 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667146837168 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18150] ppid=18044 vsize=8283048 memory=2120 CPUtime=55.2 cores=0-7
/proc/18129/task/18150/stat : 18150 (java) S 18044 18044 14480 0 -1 1077944384 24 1444339 0 0 0 0 4926 594 20 0 22 0 421002338 8481841152 69655 33554432000 4194304 4196468 140725748690768 139667138802320 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18154] ppid=18044 vsize=8283048 memory=500 CPUtime=55.2 cores=0-7
/proc/18129/task/18154/stat : 18154 (java) S 18044 18044 14480 0 -1 1077944384 15 1444339 0 0 0 0 4926 594 20 0 22 0 421002340 8481841152 69655 33554432000 4194304 4196468 140725748690768 139664283394736 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
Current children cumulated CPU time: 1182.91 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 280096 KiB

[startup+772.501 s]
/proc/loadavg: 1.81 1.68 2.85 2/217 18165
/proc/meminfo: memFree=19695860/32770624 swapFree=67002288/67108860
[pid=18044] ppid=18041 vsize=113128 memory=1476 CPUtime=1125.76 cores=0-7
/proc/18044/stat : 18044 (scop.sh) S 18041 18044 14480 0 -1 4202496 582 358085 0 0 0 0 108135 4441 20 0 1 0 420926448 115843072 369 33554432000 4194304 5098028 140736007100560 140736007097304 140576669344380 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9256960 140736007103269 140736007103596 140736007103596 140736007106509 0
/proc/18044/statm: 28282 369 311 221 0 87 0
[pid=18129] ppid=18044 vsize=8283048 memory=284008 CPUtime=57.35 cores=0-7
/proc/18129/stat : 18129 (java) S 18044 18044 14480 0 -1 1077944320 22697 1444339 0 0 202 13 4926 594 20 0 22 0 421002262 8481841152 71002 33554432000 4194304 4196468 140725748690768 140725748673312 139667924410103 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
/proc/18129/statm: 2070762 71002 3223 1 0 2032106 0
[pid=18129/tid=18130] ppid=18044 vsize=8283048 memory=118364 CPUtime=56.12 cores=0-7
/proc/18129/task/18130/stat : 18130 (java) R 18044 18044 14480 0 -1 4202560 18296 1444339 0 0 85 7 4926 594 20 0 22 0 421002262 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667896247760 139667917095735 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18131] ppid=18044 vsize=8283048 memory=267656 CPUtime=55.2 cores=0-7
/proc/18129/task/18131/stat : 18131 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667928652816 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18132] ppid=18044 vsize=8283048 memory=1476 CPUtime=55.2 cores=0-7
/proc/18129/task/18132/stat : 18132 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667728821392 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18133] ppid=18044 vsize=8283048 memory=0 CPUtime=55.2 cores=0-7
/proc/18129/task/18133/stat : 18133 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667727768336 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18134] ppid=18044 vsize=8283048 memory=0 CPUtime=55.2 cores=0-7
/proc/18129/task/18134/stat : 18134 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667726715792 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18135] ppid=18044 vsize=8283048 memory=0 CPUtime=55.2 cores=0-7
/proc/18129/task/18135/stat : 18135 (java) S 18044 18044 14480 0 -1 1077944384 3 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667725662736 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18136] ppid=18044 vsize=8283048 memory=-5921431000321636112 CPUtime=55.2 cores=0-7
/proc/18129/task/18136/stat : 18136 (java) S 18044 18044 14480 0 -1 1077944384 2 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667724610192 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18137] ppid=18044 vsize=8283048 memory=5707156 CPUtime=55.2 cores=0-7
/proc/18129/task/18137/stat : 18137 (java) S 18044 18044 14480 0 -1 1077944384 2 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667723557136 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18138] ppid=18044 vsize=8283048 memory=1476 CPUtime=55.2 cores=0-7
/proc/18129/task/18138/stat : 18138 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002264 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667722504592 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18139] ppid=18044 vsize=8283048 memory=118364 CPUtime=55.2 cores=0-7
/proc/18129/task/18139/stat : 18139 (java) S 18044 18044 14480 0 -1 1077944384 7 1444339 0 0 0 0 4926 594 20 0 22 0 421002265 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667152100080 139667924421250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18140] ppid=18044 vsize=8283048 memory=5767924 CPUtime=55.2 cores=0-7
/proc/18129/task/18140/stat : 18140 (java) S 18044 18044 14480 0 -1 1077944384 13 1444339 0 0 0 0 4926 594 20 0 22 0 421002266 8481841152 71002 33554432000 4194304 4196468 140725748690768 139666229552800 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18141] ppid=18044 vsize=8283048 memory=1756 CPUtime=55.2 cores=0-7
/proc/18129/task/18141/stat : 18141 (java) S 18044 18044 14480 0 -1 1077944384 21 1444339 0 0 0 0 4926 594 20 0 22 0 421002266 8481841152 71002 33554432000 4194304 4196468 140725748690768 139666095330544 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18142] ppid=18044 vsize=8283048 memory=5948 CPUtime=55.2 cores=0-7
/proc/18129/task/18142/stat : 18142 (java) S 18044 18044 14480 0 -1 1077944384 1 1444339 0 0 0 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139665720826320 139667924428699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18143] ppid=18044 vsize=8283048 memory=1476 CPUtime=55.33 cores=0-7
/proc/18129/task/18143/stat : 18143 (java) S 18044 18044 14480 0 -1 1077944384 595 1444339 0 0 13 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667151046896 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18144] ppid=18044 vsize=8283048 memory=118364 CPUtime=55.4 cores=0-7
/proc/18129/task/18144/stat : 18144 (java) S 18044 18044 14480 0 -1 1077944384 581 1444339 0 0 20 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667149994352 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18145] ppid=18044 vsize=8283048 memory=932 CPUtime=55.35 cores=0-7
/proc/18129/task/18145/stat : 18145 (java) S 18044 18044 14480 0 -1 1077944384 383 1444339 0 0 15 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667148941296 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18146] ppid=18044 vsize=8283048 memory=1768 CPUtime=55.55 cores=0-7
/proc/18129/task/18146/stat : 18146 (java) S 18044 18044 14480 0 -1 1077944384 1290 1444339 0 0 35 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667147888752 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18147] ppid=18044 vsize=8283048 memory=1656 CPUtime=55.2 cores=0-7
/proc/18129/task/18147/stat : 18147 (java) S 18044 18044 14480 0 -1 1077944384 3 1444339 0 0 0 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139665222921184 139667924420309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18148] ppid=18044 vsize=8283048 memory=804 CPUtime=55.2 cores=0-7
/proc/18129/task/18148/stat : 18148 (java) S 18044 18044 14480 0 -1 1077944384 3 1444339 0 0 0 0 4926 594 20 0 22 0 421002269 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667146837168 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18150] ppid=18044 vsize=8283048 memory=1396 CPUtime=55.2 cores=0-7
/proc/18129/task/18150/stat : 18150 (java) S 18044 18044 14480 0 -1 1077944384 24 1444339 0 0 0 0 4926 594 20 0 22 0 421002338 8481841152 71002 33554432000 4194304 4196468 140725748690768 139667138802320 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
[pid=18129/tid=18154] ppid=18044 vsize=8283048 memory=23209496 CPUtime=55.2 cores=0-7
/proc/18129/task/18154/stat : 18154 (java) S 18044 18044 14480 0 -1 1077944384 15 1444339 0 0 0 0 4926 594 20 0 22 0 421002340 8481841152 71002 33554432000 4194304 4196468 140725748690768 139664283394736 139667924421250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23842816 140725748691959 140725748692118 140725748692118 140725748694991 0
Current children cumulated CPU time: 1183.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 285484 KiB

Child status: 0
Real time (s): 772.536
CPU time (s): 1183.18
CPU user time (s): 1132.65
CPU system time (s): 50.5347
CPU usage (%): 153.155
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23212008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1132.65
system time used= 50.5347
maximum resident set size= 23210840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1825740
page faults= 0
swaps= 0
block input operations= 8
block output operations= 393664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 487653
involuntary context switches= 5058


# summary of solver processes directly reported to runsolver:
#   pid: 18044
#   total CPU time (s): 1183.18
#   total CPU user time (s): 1132.65
#   total CPU system time (s): 50.5347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13665 second user time and 5.50282 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 09:38:54
IDJOB=4392542
IDBENCH=140060
IDSOLVER=2838
FILE ID=node136/4392542-1568446778
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61160 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1506.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-4392542-1568446778/watcher-4392542-1568446778 -o /tmp/evaluation-result-4392542-1568446778/solver-4392542-1568446778 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392542-1568446778.xml

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

MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04
RANDOM SEED=215761777

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25797440 kB
MemAvailable:   31891152 kB
Buffers:           86876 kB
Cached:          6283356 kB
SwapCached:         3908 kB
Active:          2064400 kB
Inactive:        4314412 kB
Active(anon):       4816 kB
Inactive(anon):    44780 kB
Active(file):    2059584 kB
Inactive(file):  4269632 kB
Unevictable:      106576 kB
Mlocked:          106576 kB
SwapTotal:      67108860 kB
SwapFree:       67002288 kB
Dirty:             26932 kB
Writeback:             4 kB
AnonPages:        112816 kB
Mapped:            42652 kB
Shmem:             31948 kB
Slab:             190256 kB
SReclaimable:     160664 kB
SUnreclaim:        29592 kB
KernelStack:        3408 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497812 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61140 MiB
End job on node136 at 2019-09-14 09:51:46