Trace number 4392321

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 567.859 401.984

General information on the benchmark

NameCrossword/Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1509.xml
MD5SUM47a2430a9bda935532842a3f94086119
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.426879
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints82
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":187}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":38},{"degree":2,"count":187}]
Minimum constraint arity3
Maximum constraint arity7
Distribution of constraint arities[{"arity":3,"count":16},{"arity":4,"count":28},{"arity":5,"count":24},{"arity":6,"count":4},{"arity":7,"count":10}]
Number of extensional constraints82
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":82}]
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-1365-serial-file.bin HOME/instance-4392321-1568446831.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 09:39:51 CEST 2019
0.66/0.56	c PID: 1368
0.66/0.56	c IP: 172.20.3.134
0.66/0.56	c HOST: node134.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.77/1.32	c (0,0) Parsing End
2.77/1.32	c (0,0) CSP: 187 int (0 aux), 0 bool (0 aux), 82 ctr, max domain size 26
2.77/1.32	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.77/1.32	c (0,0) Constraint Name Generate Begin
2.77/1.33	c (0,0) Ctr:HOME/instance-4392321-1568446831.xml,ExtensionSupport:Var
2.77/1.33	c (0,0) Constraint Name Generate End
2.77/1.33	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.77/1.33	c (0,0) CSP to CSPinCNF Begin
17.26/8.84	c (8,8) translated 9 (10%) constraints
23.31/14.77	c (14,14) translated 17 (20%) constraints
31.72/20.90	c (20,19) translated 25 (30%) constraints
50.04/35.56	c (35,34) translated 33 (40%) constraints
73.21/54.85	c (54,52) translated 41 (50%) constraints
100.32/76.64	c (76,73) translated 50 (60%) constraints
197.95/147.38	c (146,140) translated 58 (70%) constraints
265.71/199.13	c (198,190) translated 66 (80%) constraints
266.91/200.30	c (199,191) translated 74 (90%) constraints
297.73/224.45	c (223,214) translated 82 (100%) constraints
306.54/230.53	c (229,220) ===========================================
306.54/230.56	c (230,220) Order
306.54/230.56	c (230,220) ===========================================
314.78/238.31	c (237,227) translated 414129 (10%) constraints
322.88/246.46	c (245,235) translated 828258 (20%) constraints
335.58/255.16	c (254,244) translated 1242387 (30%) constraints
343.68/263.23	c (262,252) translated 1656516 (40%) constraints
356.66/271.90	c (271,260) translated 2070644 (50%) constraints
364.87/280.03	c (279,268) translated 2484773 (60%) constraints
377.83/288.77	c (288,276) translated 2898902 (70%) constraints
385.99/296.90	c (296,284) translated 3313031 (80%) constraints
399.14/305.52	c (304,292) translated 3727160 (90%) constraints
407.22/313.55	c (313,300) translated 4141288 (100%) constraints
407.22/313.55	c (313,300) CSP to CSPinCNF End
407.35/313.67	c (313,300) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
407.35/313.67	c (313,300) Heap : 9199 MiB used (max 21339 MiB), NonHeap : 26 MiB used (max 0 MiB)
407.35/313.67	c (313,300) CSPinCNF Propagation Begin
457.71/335.64	c (335,318) 0 values, 82 unsatisfiable literals, and 0 valid clauses are removed
457.71/335.64	c (335,318) CSPinCNF Propagation End
457.82/335.75	c (335,318) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
457.82/335.75	c (335,318) Heap : 8349 MiB used (max 21300 MiB), NonHeap : 26 MiB used (max 0 MiB)
457.82/335.77	c (335,318) Simplify CSPinCNF Begin
476.16/344.33	c (343,325) Simplify CSPinCNF End
476.26/344.44	c (343,326) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
476.26/344.44	c (343,326) Heap : 7744 MiB used (max 21466 MiB), NonHeap : 27 MiB used (max 0 MiB)
476.26/344.44	c (343,326) Calculate Precise Domain Begin
476.26/344.44	c (343,326) 0 values are removed by re-calculation
476.26/344.44	c (343,326) Calculate Precise Domain End
476.36/344.55	c (344,326) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
476.36/344.55	c (344,326) Heap : 7744 MiB used (max 21466 MiB), NonHeap : 27 MiB used (max 0 MiB)
476.36/344.55	c (344,326) CSPinCNF to SatSolver Begin
482.24/349.08	c (348,330) 414129 (10 %) CSP clauses are encoded (0 SAT variables, 418616 SAT clauses)
493.01/353.77	c (353,334) 828258 (20 %) CSP clauses are encoded (0 SAT variables, 832745 SAT clauses)
500.49/358.03	c (357,338) 1242387 (30 %) CSP clauses are encoded (0 SAT variables, 1246874 SAT clauses)
504.29/361.84	c (361,342) 1656516 (40 %) CSP clauses are encoded (0 SAT variables, 1661003 SAT clauses)
510.63/365.95	c (365,345) 2070644 (50 %) CSP clauses are encoded (0 SAT variables, 2075131 SAT clauses)
517.11/370.11	c (369,349) 2484773 (60 %) CSP clauses are encoded (0 SAT variables, 2489260 SAT clauses)
520.91/373.94	c (373,353) 2898902 (70 %) CSP clauses are encoded (0 SAT variables, 2903389 SAT clauses)
527.38/378.09	c (377,357) 3313031 (80 %) CSP clauses are encoded (0 SAT variables, 3317518 SAT clauses)
533.80/382.17	c (381,361) 3727160 (90 %) CSP clauses are encoded (0 SAT variables, 3731647 SAT clauses)
537.61/385.98	c (385,364) 4141288 (100 %) CSP clauses are encoded (0 SAT variables, 4145775 SAT clauses)
537.61/385.98	c (385,364) CSPinCNF to SatSolver End
537.61/385.98	c (385,364) Heap : 12574 MiB used (max 21546 MiB), NonHeap : 29 MiB used (max 0 MiB)
537.61/385.98	c (385,364) 372217 bool, 4145776 clause
537.61/385.98	c (385,364) Export Begin
537.71/386.08	c (385,364) Export to HOME/scop-1365-serial-file.bin
537.71/386.08	c (385,364) Export End
537.71/386.08	c (385,364) Export File Size: 0.04 MB
537.71/386.08	c (385,364) 0,0,313,335,343,344,385,STOP-AFTER(DIMACS)
537.71/386.08	c END-Prog: Sat Sep 14 09:46:16 CEST 2019
0.00/386.18	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1365-serial-file.bin
537.99/386.65	c (0,0) Read Serial File Begin
537.99/386.65	c (0,0) HOME/scop-1365-serial-file.bin
537.99/386.88	c (0,0) Read Serial File End
537.99/386.89	
537.99/386.89	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
537.99/386.89	(Solving Process)
537.99/386.89	
537.99/386.91	c BEGIN-Prog: Sat Sep 14 09:46:17 CEST 2019
537.99/386.91	c PID: 1420
537.99/386.91	c IP: 172.20.3.134
537.99/386.91	c HOST: node134.alineos.net
537.99/386.92	c (0,0) SatSolver.solve Begin
537.99/386.92	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392321-1568446831.xml-scop-1368.cnf
537.99/386.95	c (0,0) c
537.99/386.95	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)
537.99/386.95	c (0,0) c
537.99/386.95	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
537.99/386.95	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
537.99/386.95	c (0,0) c ========================================[ Problem Statistics ]===========================================
537.99/386.95	c (0,0) c |                                                                                                       |
540.76/388.51	c (1,0) c |  Number of variables:        372217                                                                   |
540.76/388.51	c (1,0) c |  Number of clauses:         4145776                                                                   |
540.76/388.51	c (1,0) c |  Parse time:                   1.44 s                                                                 |
540.76/388.51	c (1,0) c |                                                                                                       |
550.26/398.07	c (11,0) c |  Simplification time:          9.43 s                                                                 |
550.26/398.07	c (11,0) c |                                                                                                       |
550.26/398.07	c (11,0) c |  Generating clones                                                                                    |
551.47/399.27	c (12,0) c |  all clones generated. Memory =  2393.82Mb.                                                           |
551.47/399.27	c (12,0) c ========================================================================================================|
551.47/399.27	c (12,0) c
551.47/399.27	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
551.47/399.27	c (12,0) c
551.47/399.27	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.47/399.27	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
551.47/399.27	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
551.47/399.27	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
551.47/399.27	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
551.47/399.27	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
551.47/399.27	c (12,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
551.47/399.27	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
551.47/399.27	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
551.47/399.27	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
551.47/399.27	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
551.47/399.27	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
551.47/399.27	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
551.47/399.27	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
551.47/399.27	c (12,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
551.47/399.27	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
551.47/399.27	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
551.47/399.27	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
551.47/399.27	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c real time : 14.6087 s
566.75/401.55	c (14,0) c cpu time  : 23.7076 s
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c | Conflicts     |            4680 |        402 |        797 |        610 |        546 |        674 |        500 |        484 |        667 |
566.75/401.55	c (14,0) c | Decisions     |          278284 |      36638 |      35339 |      38690 |      31730 |      38274 |      28808 |      38521 |      30284 |
566.75/401.55	c (14,0) c | Propagations  |        23383813 |    2700702 |    3034261 |    3164519 |    2479945 |    2797870 |    2946326 |    2896307 |    3363883 |
566.75/401.55	c (14,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
566.75/401.55	c (14,0) c | Restarts      |              19 |          1 |          3 |          3 |          2 |          3 |          4 |          2 |          1 |
566.75/401.55	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | PropBinClauses|        16786431 |    2000717 |    2124997 |    2380308 |    1936525 |    2031467 |    1975292 |    1997920 |    2339205 |
566.75/401.55	c (14,0) c | PropPreBlocker|       166140812 |   20319477 |   22583412 |   22529717 |   19774142 |   19436282 |   19076775 |   19742018 |   22678989 |
566.75/401.55	c (14,0) c | PropNotBlocker|        61419749 |    6870610 |    8253387 |    8678847 |    7238212 |    7909165 |    7104185 |    6998259 |    8367084 |
566.75/401.55	c (14,0) c | LitFullScans  |       306039385 |   36006160 |   40848523 |   42008787 |   36066536 |   37041479 |   36042688 |   36012776 |   42012436 |
566.75/401.55	c (14,0) c | LitScanFracts |           53709 |       4716 |       1181 |       1575 |       7442 |      11706 |      12292 |       2622 |      12175 |
566.75/401.55	c (14,0) c | DecisionLevel0|              19 |          1 |          3 |          3 |          2 |          3 |          4 |          2 |          1 |
566.75/401.55	c (14,0) c | Periods       |              50 |          6 |          6 |          7 |          6 |          6 |          6 |          6 |          7 |
566.75/401.55	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
566.75/401.55	c (14,0) c | Avg_Trail     |                 |     167275 |     228258 |     173350 |     143562 |     113714 |     135193 |     156793 |     139951 |
566.75/401.55	c (14,0) c | Avg_DL        |                 |       5230 |       1673 |       1267 |       2063 |       1222 |       1932 |       1447 |       1539 |
566.75/401.55	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c | Exported      |             284 |         30 |         35 |         32 |         41 |         37 |         28 |         42 |         39 |
566.75/401.55	c (14,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
566.75/401.55	c (14,0) c | Binaries      |                 |         28 |         27 |         26 |         34 |         24 |         25 |         27 |         33 |
566.75/401.55	c (14,0) c | Glues         |                 |         30 |         35 |         32 |         41 |         37 |         28 |         42 |         39 |
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c | Orig_Seen     |             0 % |      12908 |      19422 |      14929 |      13262 |      19049 |      17331 |      15750 |      22452 |
566.75/401.55	c (14,0) c | Diff Orig seen|                 | -     6514 |      X     | -     4493 | -     6160 | -      373 | -     2091 | -     3672 |       3030 |
566.75/401.55	c (14,0) c | Hamming       |             8 % |      33311 |      X     |      31291 |      32438 |      28223 |      31261 |      31628 |      30753 |
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c | RunningTime   |                 |    2.2 100%|    2.1 100%|    2.2 100%|    2.2 100%|    2.1 100%|    2.1 100%|    2.2 100%|    2.2 100%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,0) c | SolvingTime   |                 |    2.2     |    2.1     |    2.2     |    2.2     |    2.1     |    2.1     |    2.2     |    2.2     |
566.75/401.55	c (14,0) c | PropagationTim|                 |    2.1  94%|    1.9  94%|    2.1  95%|    2.1  94%|    1.9  94%|    2.0  93%|    2.1  93%|    2.0  94%|
566.75/401.55	c (14,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   1%|    0.0   2%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,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%|
566.75/401.55	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c
566.75/401.55	c (14,0) c Threads : 8
566.75/401.55	c (14,0) c Winner : 1
566.75/401.55	c (14,0) c Conflicts_0 : 402
566.75/401.55	c (14,0) c Conflicts_1 : 797
566.75/401.55	c (14,0) c Conflicts_2 : 610
566.75/401.55	c (14,0) c Conflicts_3 : 546
566.75/401.55	c (14,0) c Conflicts_4 : 674
566.75/401.55	c (14,0) c Conflicts_5 : 500
566.75/401.55	c (14,0) c Conflicts_6 : 484
566.75/401.55	c (14,0) c Conflicts_7 : 667
566.75/401.55	c (14,0) c Conflicts_total : 4680
566.75/401.55	c (14,0) c Conflicts_winner : 797
566.75/401.55	c (14,0) c Decisions_0 : 36638
566.75/401.55	c (14,0) c Decisions_1 : 35339
566.75/401.55	c (14,0) c Decisions_2 : 38690
566.75/401.55	c (14,0) c Decisions_3 : 31730
566.75/401.55	c (14,0) c Decisions_4 : 38274
566.75/401.55	c (14,0) c Decisions_5 : 28808
566.75/401.55	c (14,0) c Decisions_6 : 38521
566.75/401.55	c (14,0) c Decisions_7 : 30284
566.75/401.55	c (14,0) c Decisions_total : 278284
566.75/401.55	c (14,0) c Decisions_winner : 35339
566.75/401.55	c (14,0) c Propagations_0 : 2700702
566.75/401.55	c (14,0) c Propagations_1 : 3034261
566.75/401.55	c (14,0) c Propagations_2 : 3164519
566.75/401.55	c (14,0) c Propagations_3 : 2479945
566.75/401.55	c (14,0) c Propagations_4 : 2797870
566.75/401.55	c (14,0) c Propagations_5 : 2946326
566.75/401.55	c (14,0) c Propagations_6 : 2896307
566.75/401.55	c (14,0) c Propagations_7 : 3363883
566.75/401.56	c (14,0) c Propagations_total : 23383813
566.75/401.56	c (14,0) c Propagations_winner : 3034261
566.75/401.56	c (14,0) c ReduceDBs_0 : 0
566.75/401.56	c (14,0) c ReduceDBs_1 : 0
566.75/401.56	c (14,0) c ReduceDBs_2 : 0
566.75/401.56	c (14,0) c ReduceDBs_3 : 0
566.75/401.56	c (14,0) c ReduceDBs_4 : 0
566.75/401.56	c (14,0) c ReduceDBs_5 : 0
566.75/401.56	c (14,0) c ReduceDBs_6 : 0
566.75/401.56	c (14,0) c ReduceDBs_7 : 0
566.75/401.56	c (14,0) c ReduceDBs_total : 0
566.75/401.56	c (14,0) c ReduceDBs_winner : 0
566.75/401.56	c (14,0) c SimpDBs_0 : 1
566.75/401.56	c (14,0) c SimpDBs_1 : 1
566.75/401.56	c (14,0) c SimpDBs_2 : 1
566.75/401.56	c (14,0) c SimpDBs_3 : 1
566.75/401.56	c (14,0) c SimpDBs_4 : 1
566.75/401.56	c (14,0) c SimpDBs_5 : 1
566.75/401.56	c (14,0) c SimpDBs_6 : 1
566.75/401.56	c (14,0) c SimpDBs_7 : 1
566.75/401.56	c (14,0) c SimpDBs_total : 8
566.75/401.56	c (14,0) c SimpDBs_winner : 1
566.75/401.56	c (14,0) c Restarts_0 : 1
566.75/401.56	c (14,0) c Restarts_1 : 3
566.75/401.56	c (14,0) c Restarts_2 : 3
566.75/401.56	c (14,0) c Restarts_3 : 2
566.75/401.56	c (14,0) c Restarts_4 : 3
566.75/401.56	c (14,0) c Restarts_5 : 4
566.75/401.56	c (14,0) c Restarts_6 : 2
566.75/401.56	c (14,0) c Restarts_7 : 1
566.75/401.56	c (14,0) c Restarts_total : 19
566.75/401.56	c (14,0) c Restarts_winner : 3
566.75/401.56	c (14,0) c ForcedImports_0 : 0
566.75/401.56	c (14,0) c ForcedImports_1 : 0
566.75/401.56	c (14,0) c ForcedImports_2 : 0
566.75/401.56	c (14,0) c ForcedImports_3 : 0
566.75/401.56	c (14,0) c ForcedImports_4 : 0
566.75/401.56	c (14,0) c ForcedImports_5 : 0
566.75/401.56	c (14,0) c ForcedImports_6 : 0
566.75/401.56	c (14,0) c ForcedImports_7 : 0
566.75/401.56	c (14,0) c ForcedImports_total : 0
566.75/401.56	c (14,0) c ForcedImports_winner : 0
566.75/401.56	c (14,0) c PropsBinClauses_0 : 2000717
566.75/401.56	c (14,0) c PropsBinClauses_1 : 2124997
566.75/401.56	c (14,0) c PropsBinClauses_2 : 2380308
566.75/401.56	c (14,0) c PropsBinClauses_3 : 1936525
566.75/401.56	c (14,0) c PropsBinClauses_4 : 2031467
566.75/401.56	c (14,0) c PropsBinClauses_5 : 1975292
566.75/401.56	c (14,0) c PropsBinClauses_6 : 1997920
566.75/401.56	c (14,0) c PropsBinClauses_7 : 2339205
566.75/401.56	c (14,0) c PropsBinClauses_total : 16786431
566.75/401.56	c (14,0) c PropsBinClauses_winner : 2124997
566.75/401.56	c (14,0) c PropsPreBlocker_0 : 20319477
566.75/401.56	c (14,0) c PropsPreBlocker_1 : 22583412
566.75/401.56	c (14,0) c PropsPreBlocker_2 : 22529717
566.75/401.56	c (14,0) c PropsPreBlocker_3 : 19774142
566.75/401.56	c (14,0) c PropsPreBlocker_4 : 19436282
566.75/401.56	c (14,0) c PropsPreBlocker_5 : 19076775
566.75/401.56	c (14,0) c PropsPreBlocker_6 : 19742018
566.75/401.56	c (14,0) c PropsPreBlocker_7 : 22678989
566.75/401.56	c (14,0) c PropsPreBlocker_total : 166140812
566.75/401.56	c (14,0) c PropsPreBlocker_winner : 22583412
566.75/401.56	c (14,0) c PropsNotBlocker_0 : 6870610
566.75/401.56	c (14,0) c PropsNotBlocker_1 : 8253387
566.75/401.56	c (14,0) c PropsNotBlocker_2 : 8678847
566.75/401.56	c (14,0) c PropsNotBlocker_3 : 7238212
566.75/401.56	c (14,0) c PropsNotBlocker_4 : 7909165
566.75/401.56	c (14,0) c PropsNotBlocker_5 : 7104185
566.75/401.56	c (14,0) c PropsNotBlocker_6 : 6998259
566.75/401.56	c (14,0) c PropsNotBlocker_7 : 8367084
566.75/401.56	c (14,0) c PropsNotBlocker_total : 61419749
566.75/401.56	c (14,0) c PropsNotBlocker_winner : 8253387
566.75/401.56	c (14,0) c PropsLitFullScans_0 : 36006160
566.75/401.56	c (14,0) c PropsLitFullScans_1 : 40848523
566.75/401.56	c (14,0) c PropsLitFullScans_2 : 42008787
566.75/401.56	c (14,0) c PropsLitFullScans_3 : 36066536
566.75/401.56	c (14,0) c PropsLitFullScans_4 : 37041479
566.75/401.56	c (14,0) c PropsLitFullScans_5 : 36042688
566.75/401.56	c (14,0) c PropsLitFullScans_6 : 36012776
566.75/401.56	c (14,0) c PropsLitFullScans_7 : 42012436
566.75/401.56	c (14,0) c PropsLitFullScans_total : 306039385
566.75/401.56	c (14,0) c PropsLitFullScans_winner : 40848523
566.75/401.56	c (14,0) c LitScanFractions_0 : 4716
566.75/401.56	c (14,0) c LitScanFractions_1 : 1181
566.75/401.56	c (14,0) c LitScanFractions_2 : 1575
566.75/401.56	c (14,0) c LitScanFractions_3 : 7442
566.75/401.56	c (14,0) c LitScanFractions_4 : 11706
566.75/401.56	c (14,0) c LitScanFractions_5 : 12292
566.75/401.56	c (14,0) c LitScanFractions_6 : 2622
566.75/401.56	c (14,0) c LitScanFractions_7 : 12175
566.75/401.56	c (14,0) c LitScanFractions_total : 53709
566.75/401.56	c (14,0) c LitScanFractions_winner : 1181
566.75/401.56	c (14,0) c DecisionLevel0_0 : 1
566.75/401.56	c (14,0) c DecisionLevel0_1 : 3
566.75/401.56	c (14,0) c DecisionLevel0_2 : 3
566.75/401.56	c (14,0) c DecisionLevel0_3 : 2
566.75/401.56	c (14,0) c DecisionLevel0_4 : 3
566.75/401.56	c (14,0) c DecisionLevel0_5 : 4
566.75/401.56	c (14,0) c DecisionLevel0_6 : 2
566.75/401.56	c (14,0) c DecisionLevel0_7 : 1
566.75/401.56	c (14,0) c DecisionLevel0_total : 19
566.75/401.56	c (14,0) c DecisionLevel0_winner : 3
566.75/401.56	c (14,0) c Periods_0 : 6
566.75/401.56	c (14,0) c Periods_1 : 6
566.75/401.56	c (14,0) c Periods_2 : 7
566.75/401.56	c (14,0) c Periods_3 : 6
566.75/401.56	c (14,0) c Periods_4 : 6
566.75/401.56	c (14,0) c Periods_5 : 6
566.75/401.56	c (14,0) c Periods_6 : 6
566.75/401.56	c (14,0) c Periods_7 : 7
566.75/401.56	c (14,0) c Periods_total : 50
566.75/401.56	c (14,0) c Periods_winner : 6
566.75/401.56	c (14,0) c Margin_0 : 20
566.75/401.56	c (14,0) c Margin_1 : 20
566.75/401.56	c (14,0) c Margin_2 : 20
566.75/401.56	c (14,0) c Margin_3 : 20
566.75/401.56	c (14,0) c Margin_4 : 20
566.75/401.56	c (14,0) c Margin_5 : 20
566.75/401.56	c (14,0) c Margin_6 : 20
566.75/401.56	c (14,0) c Margin_7 : 20
566.75/401.56	c (14,0) c Margin_total : 160
566.75/401.56	c (14,0) c Margin_winner : 20
566.75/401.56	c (14,0) c Exported_0 : 30
566.75/401.56	c (14,0) c Exported_1 : 35
566.75/401.56	c (14,0) c Exported_2 : 32
566.75/401.56	c (14,0) c Exported_3 : 41
566.75/401.56	c (14,0) c Exported_4 : 37
566.75/401.56	c (14,0) c Exported_5 : 28
566.75/401.56	c (14,0) c Exported_6 : 42
566.75/401.56	c (14,0) c Exported_7 : 39
566.75/401.56	c (14,0) c Exported_total : 284
566.75/401.56	c (14,0) c Exported_winner : 35
566.75/401.56	c (14,0) c Imported_0 : 0
566.75/401.56	c (14,0) c Imported_1 : 0
566.75/401.56	c (14,0) c Imported_2 : 0
566.75/401.56	c (14,0) c Imported_3 : 0
566.75/401.56	c (14,0) c Imported_4 : 0
566.75/401.56	c (14,0) c Imported_5 : 0
566.75/401.56	c (14,0) c Imported_6 : 0
566.75/401.56	c (14,0) c Imported_7 : 0
566.75/401.56	c (14,0) c Imported_total : 0
566.75/401.56	c (14,0) c Imported_winner : 0
566.75/401.56	c (14,0) c Good_0 : 0
566.75/401.56	c (14,0) c Good_1 : 0
566.75/401.56	c (14,0) c Good_2 : 0
566.75/401.56	c (14,0) c Good_3 : 0
566.75/401.56	c (14,0) c Good_4 : 0
566.75/401.56	c (14,0) c Good_5 : 0
566.75/401.56	c (14,0) c Good_6 : 0
566.75/401.56	c (14,0) c Good_7 : 0
566.75/401.56	c (14,0) c Good_total : 0
566.75/401.56	c (14,0) c Good_winner : 0
566.75/401.56	c (14,0) c Purge_0 : 0
566.75/401.56	c (14,0) c Purge_1 : 0
566.75/401.56	c (14,0) c Purge_2 : 0
566.75/401.56	c (14,0) c Purge_3 : 0
566.75/401.56	c (14,0) c Purge_4 : 0
566.75/401.56	c (14,0) c Purge_5 : 0
566.75/401.56	c (14,0) c Purge_6 : 0
566.75/401.56	c (14,0) c Purge_7 : 0
566.75/401.56	c (14,0) c Purge_total : 0
566.75/401.56	c (14,0) c Purge_winner : 0
566.75/401.56	c (14,0) c Promoted_0 : 0
566.75/401.56	c (14,0) c Promoted_1 : 0
566.75/401.56	c (14,0) c Promoted_2 : 0
566.75/401.56	c (14,0) c Promoted_3 : 0
566.75/401.56	c (14,0) c Promoted_4 : 0
566.75/401.56	c (14,0) c Promoted_5 : 0
566.75/401.56	c (14,0) c Promoted_6 : 0
566.75/401.56	c (14,0) c Promoted_7 : 0
566.75/401.56	c (14,0) c Promoted_total : 0
566.75/401.56	c (14,0) c Promoted_winner : 0
566.75/401.56	c (14,0) c Remove_Imp_0 : 0
566.75/401.56	c (14,0) c Remove_Imp_1 : 0
566.75/401.56	c (14,0) c Remove_Imp_2 : 0
566.75/401.56	c (14,0) c Remove_Imp_3 : 0
566.75/401.56	c (14,0) c Remove_Imp_4 : 0
566.75/401.56	c (14,0) c Remove_Imp_5 : 0
566.75/401.56	c (14,0) c Remove_Imp_6 : 0
566.75/401.56	c (14,0) c Remove_Imp_7 : 0
566.75/401.56	c (14,0) c Remove_Imp_total : 0
566.75/401.56	c (14,0) c Remove_Imp_winner : 0
566.75/401.56	c (14,0) c Blocked_Reuse_0 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_1 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_2 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_3 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_4 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_5 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_6 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_7 : 0
566.75/401.56	c (14,0) c Blocked_Reuse_total : 0
566.75/401.56	c (14,0) c Blocked_Reuse_winner : 0
566.75/401.56	c (14,0) c Unaries_0 : 0
566.75/401.56	c (14,0) c Unaries_1 : 0
566.75/401.56	c (14,0) c Unaries_2 : 0
566.75/401.56	c (14,0) c Unaries_3 : 0
566.75/401.56	c (14,0) c Unaries_4 : 0
566.75/401.56	c (14,0) c Unaries_5 : 0
566.75/401.56	c (14,0) c Unaries_6 : 0
566.75/401.56	c (14,0) c Unaries_7 : 0
566.75/401.56	c (14,0) c Unaries_total : 0
566.75/401.56	c (14,0) c Unaries_winner : 0
566.75/401.56	c (14,0) c Binaries_0 : 28
566.75/401.56	c (14,0) c Binaries_1 : 27
566.75/401.56	c (14,0) c Binaries_2 : 26
566.75/401.56	c (14,0) c Binaries_3 : 34
566.75/401.56	c (14,0) c Binaries_4 : 24
566.75/401.56	c (14,0) c Binaries_5 : 25
566.75/401.56	c (14,0) c Binaries_6 : 27
566.75/401.56	c (14,0) c Binaries_7 : 33
566.75/401.56	c (14,0) c Binaries_total : 224
566.75/401.56	c (14,0) c Binaries_winner : 27
566.75/401.56	c (14,0) c Glues_0 : 30
566.75/401.56	c (14,0) c Glues_1 : 35
566.75/401.56	c (14,0) c Glues_2 : 32
566.75/401.56	c (14,0) c Glues_3 : 41
566.75/401.56	c (14,0) c Glues_4 : 37
566.75/401.56	c (14,0) c Glues_5 : 28
566.75/401.56	c (14,0) c Glues_6 : 42
566.75/401.56	c (14,0) c Glues_7 : 39
566.75/401.56	c (14,0) c Glues_total : 284
566.75/401.56	c (14,0) c Glues_winner : 35
566.75/401.56	c (14,0) c RunningTime_0 : 2.244527
566.75/401.56	c (14,0) c RunningTime_1 : 2.059714
566.75/401.56	c (14,0) c RunningTime_2 : 2.239598
566.75/401.56	c (14,0) c RunningTime_3 : 2.208436
566.75/401.56	c (14,0) c RunningTime_4 : 2.064274
566.75/401.56	c (14,0) c RunningTime_5 : 2.137922
566.75/401.56	c (14,0) c RunningTime_6 : 2.241608
566.75/401.56	c (14,0) c RunningTime_7 : 2.163261
566.75/401.56	c (14,0) c RunningTime_total : 17.359340
566.75/401.56	c (14,0) c RunningTime_winner : 2.059714
566.75/401.56	c (14,0) c WaitingTime_0 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_1 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_2 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_3 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_4 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_5 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_6 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_7 : 0.000000
566.75/401.56	c (14,0) c WaitingTime_total : 0.000000
566.75/401.56	c (14,0) c WaitingTime_winner : 0.000000
566.75/401.56	c (14,0) c ExchangingTime_0 : 0.000259
566.75/401.56	c (14,0) c ExchangingTime_1 : 0.000294
566.75/401.56	c (14,0) c ExchangingTime_2 : 0.000240
566.75/401.56	c (14,0) c ExchangingTime_3 : 0.000299
566.75/401.56	c (14,0) c ExchangingTime_4 : 0.000294
566.75/401.56	c (14,0) c ExchangingTime_5 : 0.000187
566.75/401.56	c (14,0) c ExchangingTime_6 : 0.000167
566.75/401.56	c (14,0) c ExchangingTime_7 : 0.000190
566.75/401.56	c (14,0) c ExchangingTime_total : 0.001929
566.75/401.56	c (14,0) c ExchangingTime_winner : 0.000294
566.75/401.56	c (14,0) c PeriodProcTime_0 : 0.000067
566.75/401.56	c (14,0) c PeriodProcTime_1 : 0.000083
566.75/401.56	c (14,0) c PeriodProcTime_2 : 0.000067
566.75/401.56	c (14,0) c PeriodProcTime_3 : 0.000065
566.75/401.56	c (14,0) c PeriodProcTime_4 : 0.000064
566.75/401.56	c (14,0) c PeriodProcTime_5 : 0.000084
566.75/401.56	c (14,0) c PeriodProcTime_6 : 0.000069
566.75/401.56	c (14,0) c PeriodProcTime_7 : 0.000081
566.75/401.56	c (14,0) c PeriodProcTime_total : 0.000580
566.75/401.56	c (14,0) c PeriodProcTime_winner : 0.000083
566.75/401.56	c (14,0) c SolvingTime_0 : 2.244853
566.75/401.56	c (14,0) c SolvingTime_1 : 2.060091
566.75/401.56	c (14,0) c SolvingTime_2 : 2.239904
566.75/401.56	c (14,0) c SolvingTime_3 : 2.208799
566.75/401.56	c (14,0) c SolvingTime_4 : 2.064631
566.75/401.56	c (14,0) c SolvingTime_5 : 2.138194
566.75/401.56	c (14,0) c SolvingTime_6 : 2.241844
566.75/401.56	c (14,0) c SolvingTime_7 : 2.163532
566.75/401.56	c (14,0) c SolvingTime_total : 17.361849
566.75/401.56	c (14,0) c SolvingTime_winner : 2.060091
566.75/401.56	c (14,0) c PropagationTime_0 : 2.114389
566.75/401.56	c (14,0) c PropagationTime_1 : 1.945996
566.75/401.56	c (14,0) c PropagationTime_2 : 2.126121
566.75/401.56	c (14,0) c PropagationTime_3 : 2.083664
566.75/401.56	c (14,0) c PropagationTime_4 : 1.946553
566.75/401.56	c (14,0) c PropagationTime_5 : 1.989464
566.75/401.56	c (14,0) c PropagationTime_6 : 2.081024
566.75/401.56	c (14,0) c PropagationTime_7 : 2.042461
566.75/401.56	c (14,0) c PropagationTime_total : 16.329673
566.75/401.56	c (14,0) c PropagationTime_winner : 1.945996
566.75/401.56	c (14,0) c AnalysisTime_0 : 0.030889
566.75/401.56	c (14,0) c AnalysisTime_1 : 0.033571
566.75/401.56	c (14,0) c AnalysisTime_2 : 0.034464
566.75/401.56	c (14,0) c AnalysisTime_3 : 0.041471
566.75/401.56	c (14,0) c AnalysisTime_4 : 0.034189
566.75/401.56	c (14,0) c AnalysisTime_5 : 0.041529
566.75/401.56	c (14,0) c AnalysisTime_6 : 0.032956
566.75/401.56	c (14,0) c AnalysisTime_7 : 0.039721
566.75/401.56	c (14,0) c AnalysisTime_total : 0.288792
566.75/401.56	c (14,0) c AnalysisTime_winner : 0.033571
566.75/401.56	c (14,0) c ReductionTime_0 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_1 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_2 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_3 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_4 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_5 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_6 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_7 : 0.000000
566.75/401.57	c (14,0) c ReductionTime_total : 0.000000
566.75/401.57	c (14,0) c ReductionTime_winner : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_0 : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_1 : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_2 : 0.000001
566.75/401.57	c (14,0) c SimplifyTime_3 : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_4 : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_5 : 0.000001
566.75/401.57	c (14,0) c SimplifyTime_6 : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_7 : 0.000000
566.75/401.57	c (14,0) c SimplifyTime_total : 0.000002
566.75/401.57	c (14,0) c SimplifyTime_winner : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_0 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_1 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_2 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_3 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_4 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_5 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_6 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_7 : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_total : 0.000000
566.75/401.57	c (14,0) c UsedRateTime_winner : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_0 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_1 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_2 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_3 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_4 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_5 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_6 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_7 : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_total : 0.000000
566.75/401.57	c (14,0) c OverlapRateTime_winner : 0.000000
566.75/401.57	c (14,0) c
566.75/401.57	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
566.75/401.57	c (14,0) c
566.75/401.57	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.57	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
566.75/401.57	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.57	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
566.75/401.57	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
566.75/401.57	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
566.75/401.57	c (14,0) c | Initial random_seed   |  174356327 |  910809765 | 1789222078 |  162642505 | 1260967075 | 1199132849 |   38126358 |  633231460 |
566.75/401.57	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
566.75/401.57	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
566.75/401.57	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
566.75/401.57	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
566.75/401.57	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
566.75/401.57	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
566.75/401.57	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
566.75/401.57	c (14,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
566.75/401.57	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
566.75/401.57	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
566.75/401.57	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
566.75/401.57	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
566.75/401.57	c (14,0) 
566.75/401.57	c (14,0) s SATISFIABLE
567.48/401.81	c (15,0) SatSolver.solve End
567.48/401.81	c (15,0) Heap : 180 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
567.48/401.81	c (15,0) Show results Begin
567.67/401.93	c (15,0) x[0][0] = 0
567.67/401.93	c (15,0) x[0][1] = 2
567.67/401.93	c (15,0) x[0][2] = 19
567.67/401.93	c (15,0) x[0][3] = 7
567.67/401.93	c (15,0) x[0][5] = 0
567.67/401.93	c (15,0) x[0][6] = 17
567.67/401.93	c (15,0) x[0][7] = 8
567.67/401.93	c (15,0) x[0][8] = 3
567.67/401.93	c (15,0) x[0][9] = 7
567.67/401.93	c (15,0) x[0][11] = 14
567.67/401.93	c (15,0) x[0][12] = 17
567.67/401.93	c (15,0) x[0][13] = 8
567.67/401.93	c (15,0) x[0][14] = 10
567.67/401.93	c (15,0) x[1][0] = 13
567.67/401.93	c (15,0) x[1][1] = 0
567.67/401.93	c (15,0) x[1][2] = 6
567.67/401.93	c (15,0) x[1][3] = 4
567.67/401.93	c (15,0) x[1][5] = 19
567.67/401.93	c (15,0) x[1][6] = 20
567.67/401.93	c (15,0) x[1][7] = 13
567.67/401.93	c (15,0) x[1][8] = 9
567.67/401.93	c (15,0) x[1][9] = 14
567.67/401.93	c (15,0) x[1][11] = 15
567.67/401.93	c (15,0) x[1][12] = 14
567.67/401.93	c (15,0) x[1][13] = 18
567.67/401.93	c (15,0) x[1][14] = 0
567.67/401.93	c (15,0) x[2][0] = 6
567.67/401.93	c (15,0) x[2][1] = 0
567.67/401.93	c (15,0) x[2][2] = 8
567.67/401.93	c (15,0) x[2][3] = 19
567.67/401.93	c (15,0) x[2][5] = 11
567.67/401.93	c (15,0) x[2][6] = 4
567.67/401.93	c (15,0) x[2][7] = 5
567.67/401.93	c (15,0) x[2][8] = 4
567.67/401.93	c (15,0) x[2][9] = 20
567.67/401.93	c (15,0) x[2][11] = 11
567.67/401.93	c (15,0) x[2][12] = 14
567.67/401.93	c (15,0) x[2][13] = 1
567.67/401.93	c (15,0) x[2][14] = 2
567.67/401.93	c (15,0) x[3][0] = 0
567.67/401.93	c (15,0) x[3][1] = 20
567.67/401.93	c (15,0) x[3][2] = 19
567.67/401.93	c (15,0) x[3][3] = 7
567.67/401.93	c (15,0) x[3][4] = 8
567.67/401.93	c (15,0) x[3][5] = 14
567.67/401.93	c (15,0) x[3][6] = 13
567.67/401.93	c (15,0) x[3][8] = 7
567.67/401.93	c (15,0) x[3][9] = 0
567.67/401.93	c (15,0) x[3][10] = 11
567.67/401.93	c (15,0) x[3][11] = 4
567.67/401.93	c (15,0) x[3][12] = 8
567.67/401.93	c (15,0) x[3][13] = 13
567.67/401.93	c (15,0) x[3][14] = 4
567.67/401.93	c (15,0) x[4][3] = 4
567.67/401.93	c (15,0) x[4][4] = 5
567.67/401.93	c (15,0) x[4][5] = 22
567.67/401.93	c (15,0) x[4][7] = 24
567.67/401.93	c (15,0) x[4][8] = 0
567.67/401.93	c (15,0) x[4][9] = 19
567.67/401.93	c (15,0) x[4][10] = 4
567.67/401.93	c (15,0) x[4][11] = 4
567.67/401.93	c (15,0) x[5][0] = 15
567.67/401.93	c (15,0) x[5][1] = 1
567.67/401.93	c (15,0) x[5][2] = 21
567.67/401.93	c (15,0) x[5][3] = 4
567.67/401.93	c (15,0) x[5][4] = 18
567.67/401.93	c (15,0) x[5][6] = 19
567.67/401.93	c (15,0) x[5][7] = 13
567.67/401.93	c (15,0) x[5][8] = 19
567.67/401.93	c (15,0) x[5][10] = 4
567.67/401.93	c (15,0) x[5][11] = 20
567.67/401.93	c (15,0) x[5][12] = 17
567.67/401.93	c (15,0) x[5][13] = 14
567.67/401.93	c (15,0) x[5][14] = 0
567.67/401.93	c (15,0) x[6][0] = 11
567.67/401.93	c (15,0) x[6][1] = 20
567.67/401.93	c (15,0) x[6][2] = 14
567.67/401.93	c (15,0) x[6][3] = 19
567.67/401.93	c (15,0) x[6][5] = 6
567.67/401.93	c (15,0) x[6][6] = 14
567.67/401.93	c (15,0) x[6][7] = 24
567.67/401.93	c (15,0) x[6][9] = 0
567.67/401.93	c (15,0) x[6][10] = 20
567.67/401.93	c (15,0) x[6][11] = 22
567.67/401.93	c (15,0) x[6][12] = 0
567.67/401.93	c (15,0) x[6][13] = 11
567.67/401.94	c (15,0) x[6][14] = 3
567.67/401.94	c (15,0) x[7][0] = 20
567.67/401.94	c (15,0) x[7][1] = 6
567.67/401.94	c (15,0) x[7][2] = 3
567.67/401.94	c (15,0) x[7][4] = 19
567.67/401.94	c (15,0) x[7][5] = 7
567.67/401.94	c (15,0) x[7][6] = 4
567.67/401.94	c (15,0) x[7][7] = 18
567.67/401.94	c (15,0) x[7][8] = 7
567.67/401.94	c (15,0) x[7][9] = 0
567.67/401.94	c (15,0) x[7][10] = 22
567.67/401.94	c (15,0) x[7][12] = 3
567.67/401.94	c (15,0) x[7][13] = 4
567.67/401.94	c (15,0) x[7][14] = 9
567.67/401.94	c (15,0) x[8][0] = 12
567.67/401.94	c (15,0) x[8][1] = 4
567.67/401.94	c (15,0) x[8][2] = 10
567.67/401.94	c (15,0) x[8][3] = 7
567.67/401.94	c (15,0) x[8][4] = 20
567.67/401.94	c (15,0) x[8][5] = 1
567.67/401.94	c (15,0) x[8][7] = 3
567.67/401.94	c (15,0) x[8][8] = 14
567.67/401.94	c (15,0) x[8][9] = 19
567.67/401.94	c (15,0) x[8][11] = 12
567.67/401.94	c (15,0) x[8][12] = 0
567.67/401.94	c (15,0) x[8][13] = 24
567.67/401.94	c (15,0) x[8][14] = 0
567.67/401.94	c (15,0) x[9][0] = 0
567.67/401.94	c (15,0) x[9][1] = 24
567.67/401.94	c (15,0) x[9][2] = 0
567.67/401.94	c (15,0) x[9][3] = 13
567.67/401.94	c (15,0) x[9][4] = 19
567.67/401.94	c (15,0) x[9][6] = 4
567.67/401.94	c (15,0) x[9][7] = 3
567.67/401.94	c (15,0) x[9][8] = 22
567.67/401.94	c (15,0) x[9][10] = 3
567.67/401.94	c (15,0) x[9][11] = 0
567.67/401.94	c (15,0) x[9][12] = 19
567.67/401.94	c (15,0) x[9][13] = 4
567.67/401.94	c (15,0) x[9][14] = 17
567.67/401.94	c (15,0) x[10][3] = 0
567.67/401.94	c (15,0) x[10][4] = 18
567.67/401.94	c (15,0) x[10][5] = 18
567.67/401.94	c (15,0) x[10][6] = 14
567.67/401.94	c (15,0) x[10][7] = 20
567.67/401.94	c (15,0) x[10][9] = 18
567.67/401.94	c (15,0) x[10][10] = 4
567.67/401.94	c (15,0) x[10][11] = 12
567.67/401.94	c (15,0) x[11][0] = 12
567.67/401.94	c (15,0) x[11][1] = 0
567.67/401.94	c (15,0) x[11][2] = 17
567.67/401.94	c (15,0) x[11][3] = 1
567.67/401.94	c (15,0) x[11][4] = 8
567.67/401.94	c (15,0) x[11][5] = 0
567.67/401.94	c (15,0) x[11][6] = 18
567.67/401.94	c (15,0) x[11][8] = 15
567.67/401.94	c (15,0) x[11][9] = 0
567.67/401.94	c (15,0) x[11][10] = 9
567.67/401.94	c (15,0) x[11][11] = 4
567.67/401.94	c (15,0) x[11][12] = 13
567.67/401.94	c (15,0) x[11][13] = 10
567.67/401.94	c (15,0) x[11][14] = 0
567.67/401.94	c (15,0) x[12][0] = 8
567.67/401.94	c (15,0) x[12][1] = 6
567.67/401.94	c (15,0) x[12][2] = 20
567.67/401.94	c (15,0) x[12][3] = 4
567.67/401.94	c (15,0) x[12][5] = 13
567.67/401.94	c (15,0) x[12][6] = 8
567.67/401.94	c (15,0) x[12][7] = 18
567.67/401.94	c (15,0) x[12][8] = 11
567.67/401.94	c (15,0) x[12][9] = 8
567.67/401.94	c (15,0) x[12][11] = 11
567.67/401.94	c (15,0) x[12][12] = 14
567.67/401.94	c (15,0) x[12][13] = 17
567.67/401.94	c (15,0) x[12][14] = 19
567.67/401.94	c (15,0) x[13][0] = 17
567.67/401.94	c (15,0) x[13][1] = 4
567.67/401.94	c (15,0) x[13][2] = 4
567.67/401.94	c (15,0) x[13][3] = 17
567.67/401.94	c (15,0) x[13][5] = 6
567.67/401.94	c (15,0) x[13][6] = 13
567.67/401.94	c (15,0) x[13][7] = 8
567.67/401.94	c (15,0) x[13][8] = 4
567.67/401.94	c (15,0) x[13][9] = 18
567.67/401.94	c (15,0) x[13][11] = 20
567.67/401.94	c (15,0) x[13][12] = 9
567.67/401.94	c (15,0) x[13][13] = 0
567.67/401.94	c (15,0) x[13][14] = 17
567.67/401.94	c (15,0) x[14][0] = 21
567.67/401.94	c (15,0) x[14][1] = 17
567.67/401.94	c (15,0) x[14][2] = 4
567.67/401.94	c (15,0) x[14][3] = 3
567.67/401.94	c (15,0) x[14][5] = 18
567.67/401.94	c (15,0) x[14][6] = 4
567.67/401.94	c (15,0) x[14][7] = 12
567.67/401.94	c (15,0) x[14][8] = 14
567.67/401.94	c (15,0) x[14][9] = 24
567.67/401.94	c (15,0) x[14][11] = 10
567.67/401.94	c (15,0) x[14][12] = 0
567.67/401.94	c (15,0) x[14][13] = 12
567.67/401.94	c (15,0) x[14][14] = 4
567.67/401.94	s SATISFIABLE
567.67/401.95	v <instantiation>
567.67/401.95	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] 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][5] x[1][6] x[1][7] x[1][8] x[1][9] 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][5] x[2][6] x[2][7] x[2][8] x[2][9] 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][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] 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][6] x[5][7] x[5][8] 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][5] x[6][6] x[6][7] x[6][9] 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][5] x[8][7] x[8][8] x[8][9] 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][6] x[9][7] x[9][8] 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][4] x[11][5] x[11][6] x[11][8] x[11][9] x[11][10] 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][5] x[12][6] x[12][7] x[12][8] x[12][9] 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][5] x[13][6] x[13][7] x[13][8] x[13][9] 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][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][14]</list>
567.67/401.95	v     <values>0 2 19 7 0 17 8 3 7 14 17 8 10 13 0 6 4 19 20 13 9 14 15 14 18 0 6 0 8 19 11 4 5 4 20 11 14 1 2 0 20 19 7 8 14 13 7 0 11 4 8 13 4 4 5 22 24 0 19 4 4 15 1 21 4 18 19 13 19 4 20 17 14 0 11 20 14 19 6 14 24 0 20 22 0 11 3 20 6 3 19 7 4 18 7 0 22 3 4 9 12 4 10 7 20 1 3 14 19 12 0 24 0 0 24 0 13 19 4 3 22 3 0 19 4 17 0 18 18 14 20 18 4 12 12 0 17 1 8 0 18 15 0 9 4 13 10 0 8 6 20 4 13 8 18 11 8 11 14 17 19 17 4 4 17 6 13 8 4 18 20 9 0 17 21 17 4 3 18 4 12 14 24 10 0 12 4</values>
567.67/401.95	v </instantiation>
567.67/401.95	c (15,0) Show results End
567.67/401.95	c (15,0) Heap : 200 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
567.67/401.95	c (15,0) 15,15,STOP-AFTER(ALL)
567.67/401.95	c END-Prog: Sat Sep 14 09:46:32 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 (14406 MiB free)
  memory of node 1: 16384 MiB (15137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392321-1568446831/watcher-4392321-1568446831 -o /tmp/evaluation-result-4392321-1568446831/solver-4392321-1568446831 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568446007-1004 --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-4392321-1568446831.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 threadsolver pid=1365, runsolver pid=1362

Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.89 3.46 5.60 3/216 1387
/proc/meminfo: memFree=30158880/32770624 swapFree=66916688/67108860
[pid=1365] ppid=1362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1365/stat : 1365 (scop.sh) S 1362 1365 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420933672 115843072 349 33554432000 4194304 5098028 140730600395936 140730600393192 139719586505340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25243648 140730600403749 140730600404076 140730600404076 140730600406989 0
/proc/1365/statm: 28282 349 296 221 0 87 0
[pid=1368] ppid=1365 vsize=27314120 memory=105824 CPUtime=0.1 cores=0-7
/proc/1368/stat : 1368 (java) S 1365 1365 977 0 -1 1077944320 7002 0 0 0 8 2 0 0 20 0 20 0 420933673 27969658880 26456 33554432000 4194304 4196468 140726581131936 140726581114480 140472150343415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
/proc/1368/statm: 6828530 26456 2817 1 0 6790935 0
[pid=1368/tid=1369] ppid=1365 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1368/task/1369/stat : 1369 (java) R 1365 1365 977 0 -1 4202560 5089 0 0 0 7 1 0 0 20 0 20 0 420933673 27969658880 26456 33554432000 4194304 4196468 140726581131936 140472122175752 140472134387045 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1370] ppid=1365 vsize=27314120 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1368/task/1370/stat : 1370 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140472154586256 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1371] ppid=1365 vsize=27314120 memory=140154570933245 CPUtime=0 cores=0-7
/proc/1368/task/1371/stat : 1371 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471968742416 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1372] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1372/stat : 1372 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471967689616 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1373] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1373/stat : 1373 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471966636816 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1374] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1374/stat : 1374 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471965584016 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1375] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1375/stat : 1375 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471964531216 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1376] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1376/stat : 1376 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471963478416 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1377] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1377/stat : 1377 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 26456 33554432000 4194304 4196468 140726581131936 140471962425616 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1378] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1378/stat : 1378 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933677 27969658880 26456 33554432000 4194304 4196468 140726581131936 140470537628528 140472150354562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1379] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1379/stat : 1379 (java) S 1365 1365 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420933677 27969658880 26456 33554432000 4194304 4196468 140726581131936 140469925307936 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1380] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1380/stat : 1380 (java) S 1365 1365 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420933678 27969658880 26456 33554432000 4194304 4196468 140726581131936 140469791085936 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1381] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1381/stat : 1381 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 26456 33554432000 4194304 4196468 140726581131936 140469416581456 140472150362011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1382] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1382/stat : 1382 (java) S 1365 1365 977 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 26456 33554432000 4194304 4196468 140726581131936 140470536575344 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1383] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1383/stat : 1383 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 26968 33554432000 4194304 4196468 140726581131936 140470535522544 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1384] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1384/stat : 1384 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 26968 33554432000 4194304 4196468 140726581131936 140470534469744 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1385] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1385/stat : 1385 (java) S 1365 1365 977 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 26968 33554432000 4194304 4196468 140726581131936 140470533416944 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1386] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1386/stat : 1386 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 26968 33554432000 4194304 4196468 140726581131936 140468918676576 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1387] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1387/stat : 1387 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933681 27969658880 26968 33554432000 4194304 4196468 140726581131936 140470532365360 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107220 KiB

[startup+0.210714 s]*
/proc/loadavg: 4.89 3.46 5.60 2/216 1387
/proc/meminfo: memFree=30137208/32770624 swapFree=66916688/67108860
[pid=1365] ppid=1362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1365/stat : 1365 (scop.sh) S 1362 1365 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420933672 115843072 349 33554432000 4194304 5098028 140730600395936 140730600393192 139719586505340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25243648 140730600403749 140730600404076 140730600404076 140730600406989 0
/proc/1365/statm: 28282 349 296 221 0 87 0
[pid=1368] ppid=1365 vsize=27314120 memory=125164 CPUtime=0.25 cores=0-7
/proc/1368/stat : 1368 (java) S 1365 1365 977 0 -1 1077944320 12617 0 0 0 21 4 0 0 20 0 20 0 420933673 27969658880 31291 33554432000 4194304 4196468 140726581131936 140726581114480 140472150343415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
/proc/1368/statm: 6828530 31291 2975 1 0 6790935 0
[pid=1368/tid=1369] ppid=1365 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/1368/task/1369/stat : 1369 (java) R 1365 1365 977 0 -1 4202560 10303 0 0 0 17 3 0 0 20 0 20 0 420933673 27969658880 31291 33554432000 4194304 4196468 140726581131936 140472122167352 140472131906912 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1370] ppid=1365 vsize=27314120 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1368/task/1370/stat : 1370 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140472154586256 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1371] ppid=1365 vsize=27314120 memory=140154570933245 CPUtime=0 cores=0-7
/proc/1368/task/1371/stat : 1371 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471968742416 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1372] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1372/stat : 1372 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471967689616 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1373] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1373/stat : 1373 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471966636816 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1374] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1374/stat : 1374 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471965584016 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1375] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1375/stat : 1375 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471964531216 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1376] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1376/stat : 1376 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471963478416 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1377] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1377/stat : 1377 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 31291 33554432000 4194304 4196468 140726581131936 140471962425616 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1378] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1378/stat : 1378 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933677 27969658880 31291 33554432000 4194304 4196468 140726581131936 140470537628528 140472150354562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1379] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1379/stat : 1379 (java) S 1365 1365 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420933677 27969658880 31291 33554432000 4194304 4196468 140726581131936 140469925307936 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1380] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1380/stat : 1380 (java) S 1365 1365 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420933678 27969658880 31291 33554432000 4194304 4196468 140726581131936 140469791085936 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1381] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1381/stat : 1381 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 31291 33554432000 4194304 4196468 140726581131936 140469416581456 140472150362011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1382] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1382/stat : 1382 (java) S 1365 1365 977 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 31291 33554432000 4194304 4196468 140726581131936 140470536575344 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1383] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1383/stat : 1383 (java) S 1365 1365 977 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 31291 33554432000 4194304 4196468 140726581131936 140470535522544 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1384] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1384/stat : 1384 (java) S 1365 1365 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 31291 33554432000 4194304 4196468 140726581131936 140470534469744 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1385] ppid=1365 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1368/task/1385/stat : 1385 (java) S 1365 1365 977 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 420933680 27969658880 31291 33554432000 4194304 4196468 140726581131936 140470533416944 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1386] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1386/stat : 1386 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 31291 33554432000 4194304 4196468 140726581131936 140468918676576 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1387] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1387/stat : 1387 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933681 27969658880 31291 33554432000 4194304 4196468 140726581131936 140470532365360 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126560 KiB

[startup+0.310617 s]*
/proc/loadavg: 4.89 3.46 5.60 2/216 1387
/proc/meminfo: memFree=30134664/32770624 swapFree=66916688/67108860
[pid=1365] ppid=1362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1365/stat : 1365 (scop.sh) S 1362 1365 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420933672 115843072 349 33554432000 4194304 5098028 140730600395936 140730600393192 139719586505340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25243648 140730600403749 140730600404076 140730600404076 140730600406989 0
/proc/1365/statm: 28282 349 296 221 0 87 0
[pid=1368] ppid=1365 vsize=27314120 memory=128504 CPUtime=0.42 cores=0-7
/proc/1368/stat : 1368 (java) S 1365 1365 977 0 -1 1077944320 12967 0 0 0 38 4 0 0 20 0 20 0 420933673 27969658880 32126 33554432000 4194304 4196468 140726581131936 140726581114480 140472150343415 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
/proc/1368/statm: 6828530 32126 3068 1 0 6790935 0
[pid=1368/tid=1369] ppid=1365 vsize=27314120 memory=46596 CPUtime=0.29 cores=0-7
/proc/1368/task/1369/stat : 1369 (java) R 1365 1365 977 0 -1 4202560 10490 0 0 0 26 3 0 0 20 0 20 0 420933673 27969658880 32126 33554432000 4194304 4196468 140726581131936 140472122158896 140472131906944 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1370] ppid=1365 vsize=27314120 memory=35 CPUtime=0 cores=0-7
/proc/1368/task/1370/stat : 1370 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140472154586256 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1371] ppid=1365 vsize=27314120 memory=140154569502272 CPUtime=0 cores=0-7
/proc/1368/task/1371/stat : 1371 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471968742416 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1372] ppid=1365 vsize=27314120 memory=35 CPUtime=0 cores=0-7
/proc/1368/task/1372/stat : 1372 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471967689616 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1373] ppid=1365 vsize=27314120 memory=55780 CPUtime=0 cores=0-7
/proc/1368/task/1373/stat : 1373 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471966636816 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1374] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1374/stat : 1374 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471965584016 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1375] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1375/stat : 1375 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471964531216 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1376] ppid=1365 vsize=27314120 memory=16097087345189815 CPUtime=0 cores=0-7
/proc/1368/task/1376/stat : 1376 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471963478416 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1377] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1377/stat : 1377 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27969658880 32126 33554432000 4194304 4196468 140726581131936 140471962425616 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1378] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1378/stat : 1378 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933677 27969658880 32126 33554432000 4194304 4196468 140726581131936 140470537628528 140472150354562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1379] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1379/stat : 1379 (java) S 1365 1365 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420933677 27969658880 32126 33554432000 4194304 4196468 140726581131936 140469925307936 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1380] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1380/stat : 1380 (java) S 1365 1365 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420933678 27969658880 32126 33554432000 4194304 4196468 140726581131936 140469791085936 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1381] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1381/stat : 1381 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 32126 33554432000 4194304 4196468 140726581131936 140469416581456 140472150362011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1382] ppid=1365 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1368/task/1382/stat : 1382 (java) S 1365 1365 977 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 420933680 27969658880 32126 33554432000 4194304 4196468 140726581131936 140470536575344 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1383] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1383/stat : 1383 (java) S 1365 1365 977 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 32126 33554432000 4194304 4196468 140726581131936 140470535522544 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1384] ppid=1365 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1368/task/1384/stat : 1384 (java) S 1365 1365 977 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 20 0 420933680 27969658880 32126 33554432000 4194304 4196468 140726581131936 140470534469744 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1385] ppid=1365 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1368/task/1385/stat : 1385 (java) S 1365 1365 977 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 420933680 27969658880 32126 33554432000 4194304 4196468 140726581131936 140470533416944 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1386] ppid=1365 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1386/stat : 1386 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933680 27969658880 32126 33554432000 4194304 4196468 140726581131936 140468918676576 140472150353621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1387] ppid=1365 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1368/task/1387/stat : 1387 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933681 27969658880 32126 33554432000 4194304 4196468 140726581131936 140470532365360 140472150354562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129900 KiB

[startup+0.700898 s]
/proc/loadavg: 4.89 3.46 5.60 2/216 1387
/proc/meminfo: memFree=30113076/32770624 swapFree=66916688/67108860
[pid=1365] ppid=1362 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1365/stat : 1365 (scop.sh) S 1362 1365 977 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420933672 115843072 349 33554432000 4194304 5098028 140730600395936 140730600393192 139719586505340 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25243648 140730600403749 140730600404076 140730600404076 140730600406989 0
/proc/1365/statm: 28282 349 296 221 0 87 0
[pid=1368] ppid=1365 vsize=27320392 memory=165736 CPUtime=1.01 cores=0-7
/proc/1368/stat : 1368 (java) S 1365 1365 977 0 -1 1077944320 20566 0 0 0 94 7 0 0 20 0 20 0 420933673 27976081408 41434 33554432000 4194304 4196468 140726581131936 140726581114480 140472150343415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
/proc/1368/statm: 6830098 41434 3186 1 0 6791447 0
[pid=1368/tid=1369] ppid=1365 vsize=27320392 memory=992 CPUtime=0.67 cores=0-7
/proc/1368/task/1369/stat : 1369 (java) R 1365 1365 977 0 -1 4202560 17406 0 0 0 62 5 0 0 20 0 20 0 420933673 27976081408 41434 33554432000 4194304 4196468 140726581131936 140472122179472 140472150365341 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1370] ppid=1365 vsize=27320392 memory=2044 CPUtime=0 cores=0-7
/proc/1368/task/1370/stat : 1370 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420933675 27976081408 41434 33554432000 4194304 4196468 140726581131936 140472154586256 140472150353621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1371] ppid=1365 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1371/stat : 1371 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420933675 27976081408 41434 33554432000 4194304 4196468 140726581131936 140471968742416 140472150353621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0
[pid=1368/tid=1372] ppid=1365 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1368/task/1372/stat : 1372 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420933675 27976081408 41434 33554432000 4194304 4196468 140726581131936 140471967689616 140472150353621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9326592 140726581138156 140726581138582 140726581138582 140726581141455 0

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

[pid=1420/tid=1423] ppid=1365 vsize=8414124 memory=5866617353246696805 CPUtime=0 cores=0-7
/proc/1420/task/1423/stat : 1423 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887356049936 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1424] ppid=1365 vsize=8414124 memory=7368008160208777825 CPUtime=0 cores=0-7
/proc/1420/task/1424/stat : 1424 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887354997136 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1425] ppid=1365 vsize=8414124 memory=7380671248541445222 CPUtime=0 cores=0-7
/proc/1420/task/1425/stat : 1425 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887353944336 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1426] ppid=1365 vsize=8414124 memory=6945507666079274341 CPUtime=0 cores=0-7
/proc/1420/task/1426/stat : 1426 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887352892560 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1427] ppid=1365 vsize=8414124 memory=7594878121047048300 CPUtime=0 cores=0-7
/proc/1420/task/1427/stat : 1427 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887351839760 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1428] ppid=1365 vsize=8414124 memory=7596841745819199085 CPUtime=0 cores=0-7
/proc/1420/task/1428/stat : 1428 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887350786960 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1429] ppid=1365 vsize=8414124 memory=7596841745819199085 CPUtime=0 cores=0-7
/proc/1420/task/1429/stat : 1429 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887349734160 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1430] ppid=1365 vsize=8414124 memory=7596841745819199085 CPUtime=0 cores=0-7
/proc/1420/task/1430/stat : 1430 (java) S 1365 1365 977 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420972294 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887165303152 139887870532226 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1431] ppid=1365 vsize=8414124 memory=7444848659942697317 CPUtime=0 cores=0-7
/proc/1420/task/1431/stat : 1431 (java) S 1365 1365 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420972295 8616062976 29645 33554432000 4194304 4196468 140723216996896 139886413734944 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1432] ppid=1365 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/1420/task/1432/stat : 1432 (java) S 1365 1365 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420972295 8616062976 29645 33554432000 4194304 4196468 140723216996896 139886279512944 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1433] ppid=1365 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/1420/task/1433/stat : 1433 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420972298 8616062976 29645 33554432000 4194304 4196468 140723216996896 139885905008464 139887870539675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1434] ppid=1365 vsize=8414124 memory=15540708622730665 CPUtime=0.06 cores=0-7
/proc/1420/task/1434/stat : 1434 (java) S 1365 1365 977 0 -1 1077944384 622 0 0 0 6 0 0 0 20 0 24 0 420972298 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887164250992 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1435] ppid=1365 vsize=8414124 memory=620 CPUtime=0.07 cores=0-7
/proc/1420/task/1435/stat : 1435 (java) S 1365 1365 977 0 -1 1077944384 403 0 0 0 7 0 0 0 20 0 24 0 420972298 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887163198192 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1436] ppid=1365 vsize=8414124 memory=4000 CPUtime=0.06 cores=0-7
/proc/1420/task/1436/stat : 1436 (java) S 1365 1365 977 0 -1 1077944384 150 0 0 0 6 0 0 0 20 0 24 0 420972298 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887162145392 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1437] ppid=1365 vsize=8414124 memory=2828 CPUtime=0.21 cores=0-7
/proc/1420/task/1437/stat : 1437 (java) S 1365 1365 977 0 -1 1077944384 651 0 0 0 21 0 0 0 20 0 24 0 420972298 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887161092592 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1438] ppid=1365 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/1420/task/1438/stat : 1438 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420972298 8616062976 29645 33554432000 4194304 4196468 140723216996896 139885407103584 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1439] ppid=1365 vsize=8414124 memory=1156 CPUtime=0 cores=0-7
/proc/1420/task/1439/stat : 1439 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420972299 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887160039984 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1441] ppid=1365 vsize=8414124 memory=944 CPUtime=0 cores=0-7
/proc/1420/task/1441/stat : 1441 (java) S 1365 1365 977 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420972367 8616062976 29645 33554432000 4194304 4196468 140723216996896 139887084823616 139887870545689 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1443] ppid=1365 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/1420/task/1443/stat : 1443 (java) S 1365 1365 977 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420972367 8616062976 29645 33554432000 4194304 4196468 140723216996896 139884736004272 139887870543005 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1444] ppid=1365 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/1420/task/1444/stat : 1444 (java) S 1365 1365 977 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420972367 8616062976 29645 33554432000 4194304 4196468 140723216996896 139885004439600 139887870543005 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1445] ppid=1365 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/1420/task/1445/stat : 1445 (java) S 1365 1365 977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420972369 8616062976 29645 33554432000 4194304 4196468 140723216996896 139884467576368 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
Current children cumulated CPU time: 562.94 s
Current children cumulated vsize: 11625752 KiB
Current children cumulated memory: 2755552 KiB

[startup+401.702 s]
/proc/loadavg: 1.49 1.91 4.11 9/229 1456
/proc/meminfo: memFree=27389188/32770624 swapFree=66916696/67108860
[pid=1365] ppid=1362 vsize=113128 memory=1476 CPUtime=537.99 cores=0-7
/proc/1365/stat : 1365 (scop.sh) S 1362 1365 977 0 -1 4202496 583 177205 0 0 0 0 50966 2833 20 0 1 0 420933672 115843072 369 33554432000 4194304 5098028 140730600395936 140730600392680 139719586505340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140730600403749 140730600404076 140730600404076 140730600406989 0
/proc/1365/statm: 28282 369 311 221 0 87 0
[pid=1420] ppid=1365 vsize=8414124 memory=170956 CPUtime=1.49 cores=0-7
/proc/1420/stat : 1420 (java) S 1365 1365 977 0 -1 1077944320 21936 0 0 0 138 11 0 0 20 0 24 0 420972291 8616062976 42739 33554432000 4194304 4196468 140723216996896 140723216979440 139887870521079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
/proc/1420/statm: 2103531 42739 3220 1 0 2064875 0
[pid=1420/tid=1421] ppid=1365 vsize=8414124 memory=118580 CPUtime=0.77 cores=0-7
/proc/1420/task/1421/stat : 1421 (java) S 1365 1365 977 0 -1 1077944384 17897 0 0 0 71 6 0 0 20 0 24 0 420972292 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887842361248 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1422] ppid=1365 vsize=8414124 memory=2605036 CPUtime=0 cores=0-7
/proc/1420/task/1422/stat : 1422 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887874763408 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1423] ppid=1365 vsize=8414124 memory=1640 CPUtime=0 cores=0-7
/proc/1420/task/1423/stat : 1423 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887356049936 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1424] ppid=1365 vsize=8414124 memory=4774505469681996649 CPUtime=0 cores=0-7
/proc/1420/task/1424/stat : 1424 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887354997136 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1425] ppid=1365 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1420/task/1425/stat : 1425 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887353944336 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1426] ppid=1365 vsize=8414124 memory=5996 CPUtime=0 cores=0-7
/proc/1420/task/1426/stat : 1426 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887352892560 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1427] ppid=1365 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/1420/task/1427/stat : 1427 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887351839760 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1428] ppid=1365 vsize=8414124 memory=944 CPUtime=0 cores=0-7
/proc/1420/task/1428/stat : 1428 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887350786960 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1429] ppid=1365 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/1420/task/1429/stat : 1429 (java) S 1365 1365 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420972293 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887349734160 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1430] ppid=1365 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1420/task/1430/stat : 1430 (java) S 1365 1365 977 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420972294 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887165303152 139887870532226 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1431] ppid=1365 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/1420/task/1431/stat : 1431 (java) S 1365 1365 977 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420972295 8616062976 42739 33554432000 4194304 4196468 140723216996896 139886413734944 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1432] ppid=1365 vsize=8414124 memory=118580 CPUtime=0 cores=0-7
/proc/1420/task/1432/stat : 1432 (java) S 1365 1365 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420972295 8616062976 42739 33554432000 4194304 4196468 140723216996896 139886279512944 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1433] ppid=1365 vsize=8414124 memory=414068 CPUtime=0 cores=0-7
/proc/1420/task/1433/stat : 1433 (java) S 1365 1365 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420972298 8616062976 42739 33554432000 4194304 4196468 140723216996896 139885905008464 139887870539675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1434] ppid=1365 vsize=8414124 memory=1460 CPUtime=0.08 cores=0-7
/proc/1420/task/1434/stat : 1434 (java) S 1365 1365 977 0 -1 1077944384 638 0 0 0 8 0 0 0 20 0 24 0 420972298 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887164250992 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1435] ppid=1365 vsize=8414124 memory=916 CPUtime=0.11 cores=0-7
/proc/1420/task/1435/stat : 1435 (java) S 1365 1365 977 0 -1 1077944384 602 0 0 0 11 0 0 0 20 0 24 0 420972298 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887163198192 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1436] ppid=1365 vsize=8414124 memory=1444 CPUtime=0.09 cores=0-7
/proc/1420/task/1436/stat : 1436 (java) S 1365 1365 977 0 -1 1077944384 160 0 0 0 9 0 0 0 20 0 24 0 420972298 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887162145392 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1437] ppid=1365 vsize=8414124 memory=1984 CPUtime=0.26 cores=0-7
/proc/1420/task/1437/stat : 1437 (java) R 1365 1365 977 0 -1 4202560 1155 0 0 0 26 0 0 0 20 0 24 0 420972298 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887161092592 139887849184692 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1438] ppid=1365 vsize=8414124 memory=2528 CPUtime=0 cores=0-7
/proc/1420/task/1438/stat : 1438 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420972298 8616062976 42739 33554432000 4194304 4196468 140723216996896 139885407103584 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1439] ppid=1365 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/1420/task/1439/stat : 1439 (java) S 1365 1365 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420972299 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887160039984 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1441] ppid=1365 vsize=8414124 memory=1428968 CPUtime=0 cores=0-7
/proc/1420/task/1441/stat : 1441 (java) S 1365 1365 977 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420972367 8616062976 42739 33554432000 4194304 4196468 140723216996896 139887084823616 139887870545689 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1443] ppid=1365 vsize=8414124 memory=1556 CPUtime=0.11 cores=0-7
/proc/1420/task/1443/stat : 1443 (java) R 1365 1365 977 0 -1 4202560 70 0 0 0 10 1 0 0 20 0 24 0 420972367 8616062976 42739 33554432000 4194304 4196468 140723216996896 139884736011192 139887370379970 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1444] ppid=1365 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/1420/task/1444/stat : 1444 (java) S 1365 1365 977 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420972367 8616062976 42739 33554432000 4194304 4196468 140723216996896 139885004439600 139887870543005 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1445] ppid=1365 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/1420/task/1445/stat : 1445 (java) S 1365 1365 977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420972369 8616062976 42739 33554432000 4194304 4196468 140723216996896 139884467576368 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
Current children cumulated CPU time: 539.48 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 172432 KiB

[startup+401.901 s]
/proc/loadavg: 1.49 1.91 4.11 9/229 1456
/proc/meminfo: memFree=27389188/32770624 swapFree=66916696/67108860
[pid=1365] ppid=1362 vsize=113128 memory=1476 CPUtime=537.99 cores=0-7
/proc/1365/stat : 1365 (scop.sh) S 1362 1365 977 0 -1 4202496 583 177205 0 0 0 0 50966 2833 20 0 1 0 420933672 115843072 369 33554432000 4194304 5098028 140730600395936 140730600392680 139719586505340 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140730600403749 140730600404076 140730600404076 140730600406989 0
/proc/1365/statm: 28282 369 311 221 0 87 0
[pid=1420] ppid=1365 vsize=8283048 memory=205268 CPUtime=29.68 cores=0-7
/proc/1420/stat : 1420 (java) S 1365 1365 977 0 -1 1077944320 22390 745118 0 0 176 12 2379 401 20 0 22 0 420972291 8481841152 51317 33554432000 4194304 4196468 140723216996896 140723216979440 139887870521079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
/proc/1420/statm: 2070762 51317 3226 1 0 2032106 0
[pid=1420/tid=1421] ppid=1365 vsize=8283048 memory=1476 CPUtime=28.66 cores=0-7
/proc/1420/task/1421/stat : 1421 (java) R 1365 1365 977 0 -1 4202560 18138 745118 0 0 80 6 2379 401 20 0 22 0 420972292 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887842358256 139887870533014 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1422] ppid=1365 vsize=8283048 memory=4104 CPUtime=27.8 cores=0-7
/proc/1420/task/1422/stat : 1422 (java) S 1365 1365 977 0 -1 1077944384 2 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887874763408 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1423] ppid=1365 vsize=8283048 memory=118580 CPUtime=27.8 cores=0-7
/proc/1420/task/1423/stat : 1423 (java) S 1365 1365 977 0 -1 1077944384 2 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887356049936 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1424] ppid=1365 vsize=8283048 memory=118580 CPUtime=27.8 cores=0-7
/proc/1420/task/1424/stat : 1424 (java) S 1365 1365 977 0 -1 1077944384 1 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887354997136 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1425] ppid=1365 vsize=8283048 memory=414000 CPUtime=27.8 cores=0-7
/proc/1420/task/1425/stat : 1425 (java) S 1365 1365 977 0 -1 1077944384 3 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887353944336 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1426] ppid=1365 vsize=8283048 memory=1476 CPUtime=27.8 cores=0-7
/proc/1420/task/1426/stat : 1426 (java) S 1365 1365 977 0 -1 1077944384 2 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887352892560 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1427] ppid=1365 vsize=8283048 memory=2523584 CPUtime=27.8 cores=0-7
/proc/1420/task/1427/stat : 1427 (java) S 1365 1365 977 0 -1 1077944384 2 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887351839760 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1428] ppid=1365 vsize=8283048 memory=1556 CPUtime=27.8 cores=0-7
/proc/1420/task/1428/stat : 1428 (java) S 1365 1365 977 0 -1 1077944384 1 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887350786960 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1429] ppid=1365 vsize=8283048 memory=928 CPUtime=27.8 cores=0-7
/proc/1420/task/1429/stat : 1429 (java) S 1365 1365 977 0 -1 1077944384 2 745118 0 0 0 0 2379 401 20 0 22 0 420972293 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887349734160 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1430] ppid=1365 vsize=8283048 memory=1412 CPUtime=27.8 cores=0-7
/proc/1420/task/1430/stat : 1430 (java) S 1365 1365 977 0 -1 1077944384 7 745118 0 0 0 0 2379 401 20 0 22 0 420972294 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887165303152 139887870532226 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1431] ppid=1365 vsize=8283048 memory=3468 CPUtime=27.8 cores=0-7
/proc/1420/task/1431/stat : 1431 (java) S 1365 1365 977 0 -1 1077944384 13 745118 0 0 0 0 2379 401 20 0 22 0 420972295 8481841152 51317 33554432000 4194304 4196468 140723216996896 139886413734944 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1432] ppid=1365 vsize=8283048 memory=1476 CPUtime=27.8 cores=0-7
/proc/1420/task/1432/stat : 1432 (java) S 1365 1365 977 0 -1 1077944384 21 745118 0 0 0 0 2379 401 20 0 22 0 420972295 8481841152 51317 33554432000 4194304 4196468 140723216996896 139886279512944 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1433] ppid=1365 vsize=8283048 memory=4104 CPUtime=27.8 cores=0-7
/proc/1420/task/1433/stat : 1433 (java) S 1365 1365 977 0 -1 1077944384 1 745118 0 0 0 0 2379 401 20 0 22 0 420972298 8481841152 51317 33554432000 4194304 4196468 140723216996896 139885905008464 139887870539675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1434] ppid=1365 vsize=8283048 memory=118580 CPUtime=27.94 cores=0-7
/proc/1420/task/1434/stat : 1434 (java) S 1365 1365 977 0 -1 1077944384 655 745118 0 0 13 1 2379 401 20 0 22 0 420972298 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887164250992 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1435] ppid=1365 vsize=8283048 memory=2132080 CPUtime=27.96 cores=0-7
/proc/1420/task/1435/stat : 1435 (java) R 1365 1365 977 0 -1 1077944384 632 745118 0 0 16 0 2379 401 20 0 22 0 420972298 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887163198192 139887870532226 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1436] ppid=1365 vsize=8283048 memory=1460 CPUtime=27.94 cores=0-7
/proc/1420/task/1436/stat : 1436 (java) S 1365 1365 977 0 -1 1077944384 184 745118 0 0 14 0 2379 401 20 0 22 0 420972298 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887162145392 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1437] ppid=1365 vsize=8283048 memory=916 CPUtime=28.11 cores=0-7
/proc/1420/task/1437/stat : 1437 (java) R 1365 1365 977 0 -1 4202560 1271 745118 0 0 31 0 2379 401 20 0 22 0 420972298 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887161092592 139887849966880 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1438] ppid=1365 vsize=8283048 memory=992 CPUtime=27.8 cores=0-7
/proc/1420/task/1438/stat : 1438 (java) S 1365 1365 977 0 -1 1077944384 3 745118 0 0 0 0 2379 401 20 0 22 0 420972298 8481841152 51317 33554432000 4194304 4196468 140723216996896 139885407103584 139887870531285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1439] ppid=1365 vsize=8283048 memory=2044 CPUtime=27.8 cores=0-7
/proc/1420/task/1439/stat : 1439 (java) S 1365 1365 977 0 -1 1077944384 3 745118 0 0 0 0 2379 401 20 0 22 0 420972299 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887160039984 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1441] ppid=1365 vsize=8283048 memory=1296 CPUtime=27.8 cores=0-7
/proc/1420/task/1441/stat : 1441 (java) S 1365 1365 977 0 -1 1077944384 24 745118 0 0 0 0 2379 401 20 0 22 0 420972367 8481841152 51317 33554432000 4194304 4196468 140723216996896 139887084822800 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
[pid=1420/tid=1445] ppid=1365 vsize=8283048 memory=4000 CPUtime=27.8 cores=0-7
/proc/1420/task/1445/stat : 1445 (java) S 1365 1365 977 0 -1 1077944384 10 745118 0 0 0 0 2379 401 20 0 22 0 420972369 8481841152 51317 33554432000 4194304 4196468 140723216996896 139884467578160 139887870532226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140723217003512 140723217003670 140723217003670 140723217006543 0
Current children cumulated CPU time: 567.67 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 206744 KiB

Child status: 0
Real time (s): 401.984
CPU time (s): 567.859
CPU user time (s): 535.341
CPU system time (s): 32.5184
CPU usage (%): 141.264
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 16449244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 535.341
system time used= 32.5184
maximum resident set size= 16448888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 211864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367018
involuntary context switches= 2410


# summary of solver processes directly reported to runsolver:
#   pid: 1365
#   total CPU time (s): 567.859
#   total CPU user time (s): 535.341
#   total CPU system time (s): 32.5184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.62866 second user time and 3.66896 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 09:39:50
IDJOB=4392321
IDBENCH=140063
IDSOLVER=2838
FILE ID=node134/4392321-1568446831
RUNJOBID= node134-1568446007-1004
PBS_JOBID= 21702351
Free space on /tmp= 59576 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1509.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-4392321-1568446831/watcher-4392321-1568446831 -o /tmp/evaluation-result-4392321-1568446831/solver-4392321-1568446831 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568446007-1004 --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-4392321-1568446831.xml

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

MD5SUM BENCH= 47a2430a9bda935532842a3f94086119
RANDOM SEED=839432474

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30252972 kB
MemAvailable:   31795184 kB
Buffers:          203244 kB
Cached:          1605788 kB
SwapCached:        90612 kB
Active:           500072 kB
Inactive:        1399664 kB
Active(anon):      23656 kB
Inactive(anon):   106660 kB
Active(file):     476416 kB
Inactive(file):  1293004 kB
Unevictable:      110900 kB
Mlocked:          110900 kB
SwapTotal:      67108860 kB
SwapFree:       66916688 kB
Dirty:             22524 kB
Writeback:             0 kB
AnonPages:         44944 kB
Mapped:            44144 kB
Shmem:             31132 kB
Slab:             207204 kB
SReclaimable:     177256 kB
SUnreclaim:        29948 kB
KernelStack:        3600 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 09:46:32