Trace number 4405467

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 415.796 311.681

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h1502.xml
MD5SUMf196bcf8028f955a9b1a207c833066c3
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.441362
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints80
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":191}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":34},{"degree":2,"count":191}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}]
Number of extensional constraints80
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":80}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-25227-serial-file.bin HOME/instance-4405467-1569362060.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:53:40 CEST 2019
0.66/0.57	c PID: 25230
0.66/0.57	c IP: 172.20.3.133
0.66/0.57	c HOST: node133.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.96/1.41	c (0,0) Parsing End
2.96/1.42	c (0,0) CSP: 191 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 26
2.96/1.42	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.96/1.42	c (0,0) Constraint Name Generate Begin
2.96/1.42	c (0,0) Ctr:HOME/instance-4405467-1569362060.xml,ExtensionSupport:Var
2.96/1.42	c (0,0) Constraint Name Generate End
2.96/1.42	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.96/1.42	c (0,0) CSP to CSPinCNF Begin
23.49/11.17	c (10,10) translated 8 (10%) constraints
35.01/19.66	c (19,18) translated 16 (20%) constraints
37.72/22.27	c (21,21) translated 24 (30%) constraints
41.00/25.40	c (24,24) translated 32 (40%) constraints
43.95/28.32	c (27,27) translated 40 (50%) constraints
46.71/31.05	c (30,30) translated 48 (60%) constraints
200.56/156.14	c (155,150) translated 56 (70%) constraints
214.55/167.36	c (166,161) translated 64 (80%) constraints
215.26/168.05	c (167,162) translated 72 (90%) constraints
261.37/207.79	c (207,201) translated 80 (100%) constraints
271.19/217.54	c (216,211) ===========================================
271.82/218.18	c (217,211) Hybrid: #OE=227553, #LE=0
271.82/218.18	c (217,211) Hybrid
271.82/218.18	c (217,211) ===========================================
277.22/222.69	c (222,216) translated 204525 (10%) constraints
284.48/227.47	c (226,220) translated 409050 (20%) constraints
288.88/231.81	c (231,224) translated 613575 (30%) constraints
293.28/236.21	c (235,229) translated 818099 (40%) constraints
297.69/240.63	c (240,233) translated 1022624 (50%) constraints
302.16/245.08	c (244,238) translated 1227149 (60%) constraints
311.25/250.02	c (249,242) translated 1431673 (70%) constraints
315.44/254.29	c (253,246) translated 1636198 (80%) constraints
320.05/258.80	c (258,251) translated 1840723 (90%) constraints
324.62/263.30	c (262,255) translated 2045247 (100%) constraints
324.62/263.30	c (262,255) CSP to CSPinCNF End
324.62/263.39	c (262,255) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045247 ctr, max domain size 26
324.62/263.39	c (262,255) Heap : 6907 MiB used (max 21562 MiB), NonHeap : 27 MiB used (max 0 MiB)
324.62/263.39	c (262,255) CSPinCNF Propagation Begin
346.59/273.96	c (273,264) 0 values, 255 unsatisfiable literals, and 142 valid clauses are removed
346.59/273.96	c (273,264) CSPinCNF Propagation End
346.70/274.05	c (273,265) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26
346.70/274.05	c (273,265) Heap : 7386 MiB used (max 21634 MiB), NonHeap : 27 MiB used (max 0 MiB)
347.32/274.68	c (274,265) Hybrid: #OE=227553, #LE=0
347.32/274.68	c (274,265) Simplify CSPinCNF Begin
357.11/279.26	c (278,269) Simplify CSPinCNF End
357.21/279.34	c (278,269) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26
357.21/279.34	c (278,269) Heap : 4192 MiB used (max 21596 MiB), NonHeap : 27 MiB used (max 0 MiB)
357.21/279.34	c (278,269) Calculate Precise Domain Begin
357.21/279.35	c (278,269) 0 values are removed by re-calculation
357.21/279.35	c (278,269) Calculate Precise Domain End
357.32/279.43	c (278,269) CSP: 191 int (0 aux), 227362 bool (227362 aux), 2045105 ctr, max domain size 26
357.32/279.43	c (278,269) Heap : 4192 MiB used (max 21596 MiB), NonHeap : 27 MiB used (max 0 MiB)
357.32/279.43	c (278,269) CSPinCNF to SatSolver Begin
361.63/282.21	c (281,272) 204511 (10 %) CSP clauses are encoded (0 SAT variables, 208947 SAT clauses)
363.77/284.36	c (283,274) 409021 (20 %) CSP clauses are encoded (0 SAT variables, 413457 SAT clauses)
371.92/287.19	c (286,276) 613532 (30 %) CSP clauses are encoded (0 SAT variables, 617968 SAT clauses)
373.94/289.19	c (288,278) 818042 (40 %) CSP clauses are encoded (0 SAT variables, 822478 SAT clauses)
375.95/291.19	c (290,280) 1022553 (50 %) CSP clauses are encoded (0 SAT variables, 1026989 SAT clauses)
377.95/293.19	c (292,282) 1227063 (60 %) CSP clauses are encoded (0 SAT variables, 1231499 SAT clauses)
383.16/295.55	c (295,284) 1431574 (70 %) CSP clauses are encoded (0 SAT variables, 1436010 SAT clauses)
385.06/297.49	c (296,286) 1636084 (80 %) CSP clauses are encoded (0 SAT variables, 1640520 SAT clauses)
387.21/299.62	c (299,288) 1840595 (90 %) CSP clauses are encoded (0 SAT variables, 1845031 SAT clauses)
392.09/302.10	c (301,290) 2045105 (100 %) CSP clauses are encoded (0 SAT variables, 2049541 SAT clauses)
392.09/302.10	c (301,290) CSPinCNF to SatSolver End
392.09/302.10	c (301,290) Heap : 4905 MiB used (max 21616 MiB), NonHeap : 29 MiB used (max 0 MiB)
392.09/302.10	c (301,290) 231990 bool, 2049542 clause
392.09/302.10	c (301,290) Export Begin
392.33/302.23	c (301,290) Export to HOME/scop-25227-serial-file.bin
392.33/302.23	c (301,290) Export End
392.33/302.23	c (301,290) Export File Size: 0.09 MB
392.33/302.23	c (301,290) 0,0,262,273,278,278,301,STOP-AFTER(DIMACS)
392.33/302.23	c END-Prog: Tue Sep 24 23:58:42 CEST 2019
0.00/302.30	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25227-serial-file.bin
392.49/302.77	c (0,0) Read Serial File Begin
392.49/302.77	c (0,0) HOME/scop-25227-serial-file.bin
393.49/303.03	c (0,0) Read Serial File End
393.49/303.04	
393.49/303.04	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
393.49/303.04	(Solving Process)
393.49/303.04	
393.49/303.06	c BEGIN-Prog: Tue Sep 24 23:58:43 CEST 2019
393.49/303.06	c PID: 25270
393.49/303.06	c IP: 172.20.3.133
393.49/303.06	c HOST: node133.alineos.net
393.49/303.07	c (0,0) SatSolver.solve Begin
393.49/303.07	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405467-1569362060.xml-scop-25230.cnf
393.49/303.09	c (0,0) c
393.49/303.09	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)
393.49/303.09	c (0,0) c
393.49/303.09	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
393.49/303.09	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
393.49/303.09	c (0,0) c ========================================[ Problem Statistics ]===========================================
393.49/303.09	c (0,0) c |                                                                                                       |
393.84/303.89	c (1,0) c |  Number of variables:        231990                                                                   |
393.84/303.89	c (1,0) c |  Number of clauses:         2045743                                                                   |
393.84/303.89	c (1,0) c |  Parse time:                   0.73 s                                                                 |
393.84/303.89	c (1,0) c |                                                                                                       |
399.06/308.32	c (5,0) c |  Simplification time:          4.37 s                                                                 |
399.06/308.32	c (5,0) c |                                                                                                       |
399.06/308.32	c (5,0) c |  Generating clones                                                                                    |
399.87/309.11	c (6,0) c |  all clones generated. Memory =  1466.36Mb.                                                           |
399.87/309.11	c (6,0) c ========================================================================================================|
399.87/309.11	c (6,0) c
399.87/309.11	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
399.87/309.11	c (6,0) c
399.87/309.11	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
399.87/309.11	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
399.87/309.11	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
399.87/309.11	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
399.87/309.11	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
399.87/309.11	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
399.87/309.11	c (6,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
399.87/309.11	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
399.87/309.11	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
399.87/309.11	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
399.87/309.11	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
399.87/309.11	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
399.87/309.11	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
399.87/309.11	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
399.87/309.11	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
399.87/309.11	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
399.87/309.11	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
399.87/309.11	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
399.87/309.11	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c real time : 8.24724 s
414.91/311.34	c (8,0) c cpu time  : 19.6854 s
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c | Conflicts     |           11234 |       1410 |       1312 |       1760 |       1429 |       1404 |       1618 |       1136 |       1165 |
414.91/311.34	c (8,0) c | Decisions     |          276598 |      36134 |      48042 |      38055 |      31524 |      31195 |      22652 |      44977 |      24019 |
414.91/311.34	c (8,0) c | Propagations  |        28908503 |    3773411 |    3363614 |    3740636 |    3146356 |    3599392 |    3652249 |    3512682 |    4120163 |
414.91/311.34	c (8,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
414.91/311.34	c (8,0) c | Restarts      |              30 |          5 |          2 |          5 |          2 |          2 |          3 |          6 |          5 |
414.91/311.34	c (8,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | PropBinClauses|        35985635 |    4473644 |    4213692 |    3870786 |    5603538 |    4544414 |    4276988 |    4581863 |    4420710 |
414.91/311.34	c (8,0) c | PropPreBlocker|       177429957 |   22854584 |   21950255 |   21542840 |   24841448 |   22949746 |   21190789 |   20867537 |   21232758 |
414.91/311.34	c (8,0) c | PropNotBlocker|        60926950 |    7901752 |    7200414 |    7838642 |    7005057 |    7573849 |    8000617 |    7072186 |    8334433 |
414.91/311.34	c (8,0) c | LitFullScans  |       343136619 |   42015141 |   42004488 |   42005312 |   48029224 |   42712785 |   42147937 |   42214610 |   42007122 |
414.91/311.34	c (8,0) c | LitScanFracts |           46298 |       3907 |       3786 |        537 |      18023 |       2559 |       9353 |       3393 |       4740 |
414.91/311.34	c (8,0) c | DecisionLevel0|              30 |          5 |          2 |          5 |          2 |          2 |          3 |          6 |          5 |
414.91/311.34	c (8,0) c | Periods       |              57 |          7 |          7 |          7 |          8 |          7 |          7 |          7 |          7 |
414.91/311.34	c (8,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
414.91/311.34	c (8,0) c | Avg_Trail     |                 |      66186 |      58294 |      72747 |     119052 |     107593 |      55311 |      53561 |      48125 |
414.91/311.34	c (8,0) c | Avg_DL        |                 |       2158 |        792 |        506 |        444 |        617 |        265 |        441 |        333 |
414.91/311.34	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c | Exported      |            1023 |        160 |        114 |        140 |        127 |        109 |        132 |        106 |        135 |
414.91/311.34	c (8,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.91/311.34	c (8,0) c | Binaries      |                 |        116 |         75 |         88 |        101 |         87 |         85 |         71 |         88 |
414.91/311.34	c (8,0) c | Glues         |                 |        160 |        114 |        140 |        127 |        109 |        132 |        106 |        135 |
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c | Orig_Seen     |             2 % |      38464 |      44065 |      44489 |      53982 |      39599 |      43713 |      48354 |      42947 |
414.91/311.34	c (8,0) c | Diff Orig seen|                 | -     1135 |       4466 |       4890 |      14383 |      X     |       4114 |       8755 |       3348 |
414.91/311.34	c (8,0) c | Hamming       |             6 % |      16113 |      18577 |      16146 |      16356 |      X     |      13798 |      13901 |      13096 |
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c | RunningTime   |                 |    2.2 100%|    1.8 100%|    2.0 100%|    2.0 100%|    1.8 100%|    1.8 100%|    2.1 100%|    2.0 100%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,0) c | SolvingTime   |                 |    2.2     |    1.8     |    2.0     |    2.0     |    1.8     |    1.8     |    2.1     |    2.0     |
414.91/311.34	c (8,0) c | PropagationTim|                 |    2.0  92%|    1.6  89%|    1.8  89%|    1.7  87%|    1.7  90%|    1.6  90%|    1.8  88%|    1.8  91%|
414.91/311.34	c (8,0) c | AnalysisTime  |                 |    0.1   3%|    0.1   5%|    0.1   5%|    0.2   8%|    0.1   4%|    0.1   5%|    0.1   6%|    0.1   4%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,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%|
414.91/311.34	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c
414.91/311.34	c (8,0) c Threads : 8
414.91/311.34	c (8,0) c Winner : 4
414.91/311.34	c (8,0) c Conflicts_0 : 1410
414.91/311.34	c (8,0) c Conflicts_1 : 1312
414.91/311.34	c (8,0) c Conflicts_2 : 1760
414.91/311.34	c (8,0) c Conflicts_3 : 1429
414.91/311.34	c (8,0) c Conflicts_4 : 1404
414.91/311.34	c (8,0) c Conflicts_5 : 1618
414.91/311.34	c (8,0) c Conflicts_6 : 1136
414.91/311.34	c (8,0) c Conflicts_7 : 1165
414.91/311.34	c (8,0) c Conflicts_total : 11234
414.91/311.34	c (8,0) c Conflicts_winner : 1404
414.91/311.34	c (8,0) c Decisions_0 : 36134
414.91/311.34	c (8,0) c Decisions_1 : 48042
414.91/311.34	c (8,0) c Decisions_2 : 38055
414.91/311.34	c (8,0) c Decisions_3 : 31524
414.91/311.34	c (8,0) c Decisions_4 : 31195
414.91/311.34	c (8,0) c Decisions_5 : 22652
414.91/311.34	c (8,0) c Decisions_6 : 44977
414.91/311.34	c (8,0) c Decisions_7 : 24019
414.91/311.34	c (8,0) c Decisions_total : 276598
414.91/311.34	c (8,0) c Decisions_winner : 31195
414.91/311.34	c (8,0) c Propagations_0 : 3773411
414.91/311.34	c (8,0) c Propagations_1 : 3363614
414.91/311.34	c (8,0) c Propagations_2 : 3740636
414.91/311.34	c (8,0) c Propagations_3 : 3146356
414.91/311.34	c (8,0) c Propagations_4 : 3599392
414.91/311.34	c (8,0) c Propagations_5 : 3652249
414.91/311.34	c (8,0) c Propagations_6 : 3512682
414.91/311.34	c (8,0) c Propagations_7 : 4120163
414.91/311.34	c (8,0) c Propagations_total : 28908503
414.91/311.34	c (8,0) c Propagations_winner : 3599392
414.91/311.34	c (8,0) c ReduceDBs_0 : 0
414.91/311.34	c (8,0) c ReduceDBs_1 : 0
414.91/311.34	c (8,0) c ReduceDBs_2 : 0
414.91/311.34	c (8,0) c ReduceDBs_3 : 0
414.91/311.34	c (8,0) c ReduceDBs_4 : 0
414.91/311.34	c (8,0) c ReduceDBs_5 : 0
414.91/311.34	c (8,0) c ReduceDBs_6 : 0
414.91/311.34	c (8,0) c ReduceDBs_7 : 0
414.91/311.34	c (8,0) c ReduceDBs_total : 0
414.91/311.34	c (8,0) c ReduceDBs_winner : 0
414.91/311.34	c (8,0) c SimpDBs_0 : 1
414.91/311.34	c (8,0) c SimpDBs_1 : 1
414.91/311.34	c (8,0) c SimpDBs_2 : 1
414.91/311.34	c (8,0) c SimpDBs_3 : 1
414.91/311.34	c (8,0) c SimpDBs_4 : 1
414.91/311.34	c (8,0) c SimpDBs_5 : 1
414.91/311.34	c (8,0) c SimpDBs_6 : 1
414.91/311.34	c (8,0) c SimpDBs_7 : 1
414.91/311.34	c (8,0) c SimpDBs_total : 8
414.91/311.34	c (8,0) c SimpDBs_winner : 1
414.91/311.34	c (8,0) c Restarts_0 : 5
414.91/311.34	c (8,0) c Restarts_1 : 2
414.91/311.34	c (8,0) c Restarts_2 : 5
414.91/311.34	c (8,0) c Restarts_3 : 2
414.91/311.34	c (8,0) c Restarts_4 : 2
414.91/311.34	c (8,0) c Restarts_5 : 3
414.91/311.34	c (8,0) c Restarts_6 : 6
414.91/311.34	c (8,0) c Restarts_7 : 5
414.91/311.34	c (8,0) c Restarts_total : 30
414.91/311.34	c (8,0) c Restarts_winner : 2
414.91/311.34	c (8,0) c ForcedImports_0 : 0
414.91/311.34	c (8,0) c ForcedImports_1 : 0
414.91/311.34	c (8,0) c ForcedImports_2 : 0
414.91/311.34	c (8,0) c ForcedImports_3 : 0
414.91/311.34	c (8,0) c ForcedImports_4 : 0
414.91/311.34	c (8,0) c ForcedImports_5 : 0
414.91/311.34	c (8,0) c ForcedImports_6 : 0
414.91/311.34	c (8,0) c ForcedImports_7 : 0
414.91/311.34	c (8,0) c ForcedImports_total : 0
414.91/311.34	c (8,0) c ForcedImports_winner : 0
414.91/311.34	c (8,0) c PropsBinClauses_0 : 4473644
414.91/311.34	c (8,0) c PropsBinClauses_1 : 4213692
414.91/311.34	c (8,0) c PropsBinClauses_2 : 3870786
414.91/311.34	c (8,0) c PropsBinClauses_3 : 5603538
414.91/311.34	c (8,0) c PropsBinClauses_4 : 4544414
414.91/311.34	c (8,0) c PropsBinClauses_5 : 4276988
414.91/311.34	c (8,0) c PropsBinClauses_6 : 4581863
414.91/311.34	c (8,0) c PropsBinClauses_7 : 4420710
414.91/311.34	c (8,0) c PropsBinClauses_total : 35985635
414.91/311.34	c (8,0) c PropsBinClauses_winner : 4544414
414.91/311.34	c (8,0) c PropsPreBlocker_0 : 22854584
414.91/311.34	c (8,0) c PropsPreBlocker_1 : 21950255
414.91/311.34	c (8,0) c PropsPreBlocker_2 : 21542840
414.91/311.34	c (8,0) c PropsPreBlocker_3 : 24841448
414.91/311.34	c (8,0) c PropsPreBlocker_4 : 22949746
414.91/311.34	c (8,0) c PropsPreBlocker_5 : 21190789
414.91/311.34	c (8,0) c PropsPreBlocker_6 : 20867537
414.91/311.34	c (8,0) c PropsPreBlocker_7 : 21232758
414.91/311.34	c (8,0) c PropsPreBlocker_total : 177429957
414.91/311.34	c (8,0) c PropsPreBlocker_winner : 22949746
414.91/311.34	c (8,0) c PropsNotBlocker_0 : 7901752
414.91/311.34	c (8,0) c PropsNotBlocker_1 : 7200414
414.91/311.34	c (8,0) c PropsNotBlocker_2 : 7838642
414.91/311.34	c (8,0) c PropsNotBlocker_3 : 7005057
414.91/311.34	c (8,0) c PropsNotBlocker_4 : 7573849
414.91/311.34	c (8,0) c PropsNotBlocker_5 : 8000617
414.91/311.34	c (8,0) c PropsNotBlocker_6 : 7072186
414.91/311.34	c (8,0) c PropsNotBlocker_7 : 8334433
414.91/311.34	c (8,0) c PropsNotBlocker_total : 60926950
414.91/311.34	c (8,0) c PropsNotBlocker_winner : 7573849
414.91/311.34	c (8,0) c PropsLitFullScans_0 : 42015141
414.91/311.34	c (8,0) c PropsLitFullScans_1 : 42004488
414.91/311.34	c (8,0) c PropsLitFullScans_2 : 42005312
414.91/311.34	c (8,0) c PropsLitFullScans_3 : 48029224
414.91/311.34	c (8,0) c PropsLitFullScans_4 : 42712785
414.91/311.34	c (8,0) c PropsLitFullScans_5 : 42147937
414.91/311.34	c (8,0) c PropsLitFullScans_6 : 42214610
414.91/311.34	c (8,0) c PropsLitFullScans_7 : 42007122
414.91/311.34	c (8,0) c PropsLitFullScans_total : 343136619
414.91/311.34	c (8,0) c PropsLitFullScans_winner : 42712785
414.91/311.35	c (8,0) c LitScanFractions_0 : 3907
414.91/311.35	c (8,0) c LitScanFractions_1 : 3786
414.91/311.35	c (8,0) c LitScanFractions_2 : 537
414.91/311.35	c (8,0) c LitScanFractions_3 : 18023
414.91/311.35	c (8,0) c LitScanFractions_4 : 2559
414.91/311.35	c (8,0) c LitScanFractions_5 : 9353
414.91/311.35	c (8,0) c LitScanFractions_6 : 3393
414.91/311.35	c (8,0) c LitScanFractions_7 : 4740
414.91/311.35	c (8,0) c LitScanFractions_total : 46298
414.91/311.35	c (8,0) c LitScanFractions_winner : 2559
414.91/311.35	c (8,0) c DecisionLevel0_0 : 5
414.91/311.35	c (8,0) c DecisionLevel0_1 : 2
414.91/311.35	c (8,0) c DecisionLevel0_2 : 5
414.91/311.35	c (8,0) c DecisionLevel0_3 : 2
414.91/311.35	c (8,0) c DecisionLevel0_4 : 2
414.91/311.35	c (8,0) c DecisionLevel0_5 : 3
414.91/311.35	c (8,0) c DecisionLevel0_6 : 6
414.91/311.35	c (8,0) c DecisionLevel0_7 : 5
414.91/311.35	c (8,0) c DecisionLevel0_total : 30
414.91/311.35	c (8,0) c DecisionLevel0_winner : 2
414.91/311.35	c (8,0) c Periods_0 : 7
414.91/311.35	c (8,0) c Periods_1 : 7
414.91/311.35	c (8,0) c Periods_2 : 7
414.91/311.35	c (8,0) c Periods_3 : 8
414.91/311.35	c (8,0) c Periods_4 : 7
414.91/311.35	c (8,0) c Periods_5 : 7
414.91/311.35	c (8,0) c Periods_6 : 7
414.91/311.35	c (8,0) c Periods_7 : 7
414.91/311.35	c (8,0) c Periods_total : 57
414.91/311.35	c (8,0) c Periods_winner : 7
414.91/311.35	c (8,0) c Margin_0 : 20
414.91/311.35	c (8,0) c Margin_1 : 20
414.91/311.35	c (8,0) c Margin_2 : 20
414.91/311.35	c (8,0) c Margin_3 : 20
414.91/311.35	c (8,0) c Margin_4 : 20
414.91/311.35	c (8,0) c Margin_5 : 20
414.91/311.35	c (8,0) c Margin_6 : 20
414.91/311.35	c (8,0) c Margin_7 : 20
414.91/311.35	c (8,0) c Margin_total : 160
414.91/311.35	c (8,0) c Margin_winner : 20
414.91/311.35	c (8,0) c Exported_0 : 160
414.91/311.35	c (8,0) c Exported_1 : 114
414.91/311.35	c (8,0) c Exported_2 : 140
414.91/311.35	c (8,0) c Exported_3 : 127
414.91/311.35	c (8,0) c Exported_4 : 109
414.91/311.35	c (8,0) c Exported_5 : 132
414.91/311.35	c (8,0) c Exported_6 : 106
414.91/311.35	c (8,0) c Exported_7 : 135
414.91/311.35	c (8,0) c Exported_total : 1023
414.91/311.35	c (8,0) c Exported_winner : 109
414.91/311.35	c (8,0) c Imported_0 : 0
414.91/311.35	c (8,0) c Imported_1 : 0
414.91/311.35	c (8,0) c Imported_2 : 0
414.91/311.35	c (8,0) c Imported_3 : 0
414.91/311.35	c (8,0) c Imported_4 : 0
414.91/311.35	c (8,0) c Imported_5 : 0
414.91/311.35	c (8,0) c Imported_6 : 0
414.91/311.35	c (8,0) c Imported_7 : 0
414.91/311.35	c (8,0) c Imported_total : 0
414.91/311.35	c (8,0) c Imported_winner : 0
414.91/311.35	c (8,0) c Good_0 : 0
414.91/311.35	c (8,0) c Good_1 : 0
414.91/311.35	c (8,0) c Good_2 : 0
414.91/311.35	c (8,0) c Good_3 : 0
414.91/311.35	c (8,0) c Good_4 : 0
414.91/311.35	c (8,0) c Good_5 : 0
414.91/311.35	c (8,0) c Good_6 : 0
414.91/311.35	c (8,0) c Good_7 : 0
414.91/311.35	c (8,0) c Good_total : 0
414.91/311.35	c (8,0) c Good_winner : 0
414.91/311.35	c (8,0) c Purge_0 : 0
414.91/311.35	c (8,0) c Purge_1 : 0
414.91/311.35	c (8,0) c Purge_2 : 0
414.91/311.35	c (8,0) c Purge_3 : 0
414.91/311.35	c (8,0) c Purge_4 : 0
414.91/311.35	c (8,0) c Purge_5 : 0
414.91/311.35	c (8,0) c Purge_6 : 0
414.91/311.35	c (8,0) c Purge_7 : 0
414.91/311.35	c (8,0) c Purge_total : 0
414.91/311.35	c (8,0) c Purge_winner : 0
414.91/311.35	c (8,0) c Promoted_0 : 0
414.91/311.35	c (8,0) c Promoted_1 : 0
414.91/311.35	c (8,0) c Promoted_2 : 0
414.91/311.35	c (8,0) c Promoted_3 : 0
414.91/311.35	c (8,0) c Promoted_4 : 0
414.91/311.35	c (8,0) c Promoted_5 : 0
414.91/311.35	c (8,0) c Promoted_6 : 0
414.91/311.35	c (8,0) c Promoted_7 : 0
414.91/311.35	c (8,0) c Promoted_total : 0
414.91/311.35	c (8,0) c Promoted_winner : 0
414.91/311.35	c (8,0) c Remove_Imp_0 : 0
414.91/311.35	c (8,0) c Remove_Imp_1 : 0
414.91/311.35	c (8,0) c Remove_Imp_2 : 0
414.91/311.35	c (8,0) c Remove_Imp_3 : 0
414.91/311.35	c (8,0) c Remove_Imp_4 : 0
414.91/311.35	c (8,0) c Remove_Imp_5 : 0
414.91/311.35	c (8,0) c Remove_Imp_6 : 0
414.91/311.35	c (8,0) c Remove_Imp_7 : 0
414.91/311.35	c (8,0) c Remove_Imp_total : 0
414.91/311.35	c (8,0) c Remove_Imp_winner : 0
414.91/311.35	c (8,0) c Blocked_Reuse_0 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_1 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_2 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_3 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_4 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_5 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_6 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_7 : 0
414.91/311.35	c (8,0) c Blocked_Reuse_total : 0
414.91/311.35	c (8,0) c Blocked_Reuse_winner : 0
414.91/311.35	c (8,0) c Unaries_0 : 0
414.91/311.35	c (8,0) c Unaries_1 : 0
414.91/311.35	c (8,0) c Unaries_2 : 0
414.91/311.35	c (8,0) c Unaries_3 : 0
414.91/311.35	c (8,0) c Unaries_4 : 0
414.91/311.35	c (8,0) c Unaries_5 : 0
414.91/311.35	c (8,0) c Unaries_6 : 0
414.91/311.35	c (8,0) c Unaries_7 : 0
414.91/311.35	c (8,0) c Unaries_total : 0
414.91/311.35	c (8,0) c Unaries_winner : 0
414.91/311.35	c (8,0) c Binaries_0 : 116
414.91/311.35	c (8,0) c Binaries_1 : 75
414.91/311.35	c (8,0) c Binaries_2 : 88
414.91/311.35	c (8,0) c Binaries_3 : 101
414.91/311.35	c (8,0) c Binaries_4 : 87
414.91/311.35	c (8,0) c Binaries_5 : 85
414.91/311.35	c (8,0) c Binaries_6 : 71
414.91/311.35	c (8,0) c Binaries_7 : 88
414.91/311.35	c (8,0) c Binaries_total : 711
414.91/311.35	c (8,0) c Binaries_winner : 87
414.91/311.35	c (8,0) c Glues_0 : 160
414.91/311.35	c (8,0) c Glues_1 : 114
414.91/311.35	c (8,0) c Glues_2 : 140
414.91/311.35	c (8,0) c Glues_3 : 127
414.91/311.35	c (8,0) c Glues_4 : 109
414.91/311.35	c (8,0) c Glues_5 : 132
414.91/311.35	c (8,0) c Glues_6 : 106
414.91/311.35	c (8,0) c Glues_7 : 135
414.91/311.35	c (8,0) c Glues_total : 1023
414.91/311.35	c (8,0) c Glues_winner : 109
414.91/311.35	c (8,0) c RunningTime_0 : 2.211226
414.91/311.35	c (8,0) c RunningTime_1 : 1.845997
414.91/311.35	c (8,0) c RunningTime_2 : 2.026927
414.91/311.35	c (8,0) c RunningTime_3 : 1.966328
414.91/311.35	c (8,0) c RunningTime_4 : 1.826564
414.91/311.35	c (8,0) c RunningTime_5 : 1.835447
414.91/311.35	c (8,0) c RunningTime_6 : 2.085556
414.91/311.35	c (8,0) c RunningTime_7 : 2.020940
414.91/311.35	c (8,0) c RunningTime_total : 15.818985
414.91/311.35	c (8,0) c RunningTime_winner : 1.826564
414.91/311.35	c (8,0) c WaitingTime_0 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_1 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_2 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_3 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_4 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_5 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_6 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_7 : 0.000000
414.91/311.35	c (8,0) c WaitingTime_total : 0.000000
414.91/311.35	c (8,0) c WaitingTime_winner : 0.000000
414.91/311.35	c (8,0) c ExchangingTime_0 : 0.000446
414.91/311.35	c (8,0) c ExchangingTime_1 : 0.000454
414.91/311.35	c (8,0) c ExchangingTime_2 : 0.000411
414.91/311.35	c (8,0) c ExchangingTime_3 : 0.000348
414.91/311.35	c (8,0) c ExchangingTime_4 : 0.000347
414.91/311.35	c (8,0) c ExchangingTime_5 : 0.000498
414.91/311.35	c (8,0) c ExchangingTime_6 : 0.000304
414.91/311.35	c (8,0) c ExchangingTime_7 : 0.000437
414.91/311.35	c (8,0) c ExchangingTime_total : 0.003245
414.91/311.35	c (8,0) c ExchangingTime_winner : 0.000347
414.91/311.35	c (8,0) c PeriodProcTime_0 : 0.000068
414.91/311.35	c (8,0) c PeriodProcTime_1 : 0.000074
414.91/311.35	c (8,0) c PeriodProcTime_2 : 0.000064
414.91/311.35	c (8,0) c PeriodProcTime_3 : 0.000077
414.91/311.35	c (8,0) c PeriodProcTime_4 : 0.000111
414.91/311.35	c (8,0) c PeriodProcTime_5 : 0.000077
414.91/311.35	c (8,0) c PeriodProcTime_6 : 0.000600
414.91/311.35	c (8,0) c PeriodProcTime_7 : 0.000072
414.91/311.35	c (8,0) c PeriodProcTime_total : 0.001145
414.91/311.35	c (8,0) c PeriodProcTime_winner : 0.000111
414.91/311.35	c (8,0) c SolvingTime_0 : 2.211740
414.91/311.35	c (8,0) c SolvingTime_1 : 1.846525
414.91/311.35	c (8,0) c SolvingTime_2 : 2.027402
414.91/311.35	c (8,0) c SolvingTime_3 : 1.966753
414.91/311.35	c (8,0) c SolvingTime_4 : 1.827022
414.91/311.35	c (8,0) c SolvingTime_5 : 1.836022
414.91/311.35	c (8,0) c SolvingTime_6 : 2.086460
414.91/311.35	c (8,0) c SolvingTime_7 : 2.021450
414.91/311.35	c (8,0) c SolvingTime_total : 15.823375
414.91/311.35	c (8,0) c SolvingTime_winner : 1.827022
414.91/311.35	c (8,0) c PropagationTime_0 : 2.024994
414.91/311.35	c (8,0) c PropagationTime_1 : 1.636220
414.91/311.35	c (8,0) c PropagationTime_2 : 1.803241
414.91/311.35	c (8,0) c PropagationTime_3 : 1.702706
414.91/311.35	c (8,0) c PropagationTime_4 : 1.653237
414.91/311.35	c (8,0) c PropagationTime_5 : 1.649600
414.91/311.35	c (8,0) c PropagationTime_6 : 1.833626
414.91/311.35	c (8,0) c PropagationTime_7 : 1.836280
414.91/311.35	c (8,0) c PropagationTime_total : 14.139904
414.91/311.35	c (8,0) c PropagationTime_winner : 1.653237
414.91/311.35	c (8,0) c AnalysisTime_0 : 0.069585
414.91/311.35	c (8,0) c AnalysisTime_1 : 0.101450
414.91/311.35	c (8,0) c AnalysisTime_2 : 0.101045
414.91/311.35	c (8,0) c AnalysisTime_3 : 0.158232
414.91/311.35	c (8,0) c AnalysisTime_4 : 0.072605
414.91/311.35	c (8,0) c AnalysisTime_5 : 0.088762
414.91/311.35	c (8,0) c AnalysisTime_6 : 0.133198
414.91/311.35	c (8,0) c AnalysisTime_7 : 0.076128
414.91/311.35	c (8,0) c AnalysisTime_total : 0.801005
414.91/311.35	c (8,0) c AnalysisTime_winner : 0.072605
414.91/311.35	c (8,0) c ReductionTime_0 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_1 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_2 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_3 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_4 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_5 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_6 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_7 : 0.000000
414.91/311.35	c (8,0) c ReductionTime_total : 0.000000
414.91/311.35	c (8,0) c ReductionTime_winner : 0.000000
414.91/311.35	c (8,0) c SimplifyTime_0 : 0.000000
414.91/311.35	c (8,0) c SimplifyTime_1 : 0.000000
414.91/311.35	c (8,0) c SimplifyTime_2 : 0.000002
414.91/311.35	c (8,0) c SimplifyTime_3 : 0.000000
414.91/311.35	c (8,0) c SimplifyTime_4 : 0.000000
414.91/311.35	c (8,0) c SimplifyTime_5 : 0.000000
414.91/311.35	c (8,0) c SimplifyTime_6 : 0.000002
414.91/311.35	c (8,0) c SimplifyTime_7 : 0.000002
414.91/311.35	c (8,0) c SimplifyTime_total : 0.000006
414.91/311.35	c (8,0) c SimplifyTime_winner : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_0 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_1 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_2 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_3 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_4 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_5 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_6 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_7 : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_total : 0.000000
414.91/311.35	c (8,0) c UsedRateTime_winner : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_0 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_1 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_2 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_3 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_4 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_5 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_6 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_7 : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_total : 0.000000
414.91/311.35	c (8,0) c OverlapRateTime_winner : 0.000000
414.91/311.35	c (8,0) c
414.91/311.35	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
414.91/311.35	c (8,0) c
414.91/311.35	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.35	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
414.91/311.35	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.35	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
414.91/311.35	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
414.91/311.35	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
414.91/311.35	c (8,0) c | Initial random_seed   | 2011285819 |  457301943 | 1800049866 |  609961967 |  972705347 |  296712677 |  706529693 | 2122262940 |
414.91/311.35	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
414.91/311.35	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
414.91/311.35	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
414.91/311.35	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
414.91/311.35	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
414.91/311.35	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
414.91/311.35	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
414.91/311.35	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
414.91/311.35	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
414.91/311.35	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
414.91/311.35	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
414.91/311.35	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.91/311.35	c (8,0) 
414.91/311.35	c (8,0) s SATISFIABLE
415.40/311.52	c (8,0) SatSolver.solve End
415.40/311.52	c (8,0) Heap : 167 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
415.40/311.52	c (8,0) Show results Begin
415.60/311.64	c (8,0) x[0][0] = 0
415.60/311.64	c (8,0) x[0][1] = 11
415.60/311.64	c (8,0) x[0][2] = 14
415.60/311.64	c (8,0) x[0][3] = 17
415.60/311.64	c (8,0) x[0][4] = 18
415.60/311.64	c (8,0) x[0][6] = 1
415.60/311.64	c (8,0) x[0][7] = 17
415.60/311.64	c (8,0) x[0][8] = 0
415.60/311.64	c (8,0) x[0][9] = 18
415.60/311.64	c (8,0) x[0][11] = 8
415.60/311.64	c (8,0) x[0][12] = 2
415.60/311.64	c (8,0) x[0][13] = 1
415.60/311.64	c (8,0) x[0][14] = 12
415.60/311.64	c (8,0) x[1][0] = 2
415.60/311.64	c (8,0) x[1][1] = 0
415.60/311.64	c (8,0) x[1][2] = 17
415.60/311.64	c (8,0) x[1][3] = 0
415.60/311.64	c (8,0) x[1][4] = 2
415.60/311.64	c (8,0) x[1][5] = 2
415.60/311.64	c (8,0) x[1][6] = 8
415.60/311.64	c (8,0) x[1][7] = 14
415.60/311.64	c (8,0) x[1][8] = 11
415.60/311.64	c (8,0) x[1][9] = 14
415.60/311.64	c (8,0) x[1][11] = 6
415.60/311.64	c (8,0) x[1][12] = 17
415.60/311.64	c (8,0) x[1][13] = 0
415.60/311.64	c (8,0) x[1][14] = 20
415.60/311.64	c (8,0) x[2][0] = 2
415.60/311.64	c (8,0) x[2][1] = 7
415.60/311.64	c (8,0) x[2][2] = 0
415.60/311.64	c (8,0) x[2][3] = 12
415.60/311.64	c (8,0) x[2][4] = 15
415.60/311.64	c (8,0) x[2][5] = 8
415.60/311.64	c (8,0) x[2][6] = 6
415.60/311.64	c (8,0) x[2][7] = 13
415.60/311.64	c (8,0) x[2][8] = 4
415.60/311.64	c (8,0) x[2][9] = 20
415.60/311.64	c (8,0) x[2][10] = 11
415.60/311.64	c (8,0) x[2][11] = 11
415.60/311.64	c (8,0) x[2][12] = 0
415.60/311.64	c (8,0) x[2][13] = 8
415.60/311.64	c (8,0) x[2][14] = 18
415.60/311.64	c (8,0) x[3][0] = 17
415.60/311.64	c (8,0) x[3][1] = 0
415.60/311.64	c (8,0) x[3][2] = 13
415.60/311.64	c (8,0) x[3][3] = 8
415.60/311.64	c (8,0) x[3][5] = 6
415.60/311.64	c (8,0) x[3][6] = 17
415.60/311.64	c (8,0) x[3][7] = 8
415.60/311.64	c (8,0) x[3][8] = 12
415.60/311.64	c (8,0) x[3][9] = 15
415.60/311.64	c (8,0) x[3][10] = 8
415.60/311.64	c (8,0) x[3][11] = 14
415.60/311.64	c (8,0) x[3][12] = 13
415.60/311.64	c (8,0) x[3][13] = 13
415.60/311.64	c (8,0) x[3][14] = 4
415.60/311.64	c (8,0) x[4][0] = 0
415.60/311.64	c (8,0) x[4][1] = 17
415.60/311.64	c (8,0) x[4][2] = 19
415.60/311.64	c (8,0) x[4][4] = 2
415.60/311.64	c (8,0) x[4][5] = 0
415.60/311.64	c (8,0) x[4][6] = 4
415.60/311.64	c (8,0) x[4][7] = 13
415.60/311.64	c (8,0) x[4][9] = 4
415.60/311.64	c (8,0) x[4][10] = 0
415.60/311.64	c (8,0) x[4][11] = 14
415.60/311.64	c (8,0) x[5][3] = 5
415.60/311.64	c (8,0) x[5][4] = 14
415.60/311.64	c (8,0) x[5][5] = 17
415.60/311.64	c (8,0) x[5][6] = 18
415.60/311.64	c (8,0) x[5][8] = 15
415.60/311.64	c (8,0) x[5][9] = 18
415.60/311.64	c (8,0) x[5][10] = 19
415.60/311.64	c (8,0) x[5][12] = 19
415.60/311.64	c (8,0) x[5][13] = 0
415.60/311.64	c (8,0) x[5][14] = 6
415.60/311.64	c (8,0) x[6][0] = 3
415.60/311.64	c (8,0) x[6][1] = 8
415.60/311.64	c (8,0) x[6][2] = 15
415.60/311.64	c (8,0) x[6][3] = 11
415.60/311.64	c (8,0) x[6][4] = 14
415.60/311.64	c (8,0) x[6][5] = 4
415.60/311.64	c (8,0) x[6][7] = 0
415.60/311.64	c (8,0) x[6][8] = 11
415.60/311.64	c (8,0) x[6][9] = 4
415.60/311.64	c (8,0) x[6][11] = 18
415.60/311.65	c (8,0) x[6][12] = 14
415.60/311.65	c (8,0) x[6][13] = 8
415.60/311.65	c (8,0) x[6][14] = 17
415.60/311.65	c (8,0) x[7][0] = 6
415.60/311.65	c (8,0) x[7][1] = 17
415.60/311.65	c (8,0) x[7][2] = 0
415.60/311.65	c (8,0) x[7][3] = 0
415.60/311.65	c (8,0) x[7][4] = 11
415.60/311.65	c (8,0) x[7][6] = 20
415.60/311.65	c (8,0) x[7][7] = 13
415.60/311.65	c (8,0) x[7][8] = 8
415.60/311.65	c (8,0) x[7][10] = 15
415.60/311.65	c (8,0) x[7][11] = 7
415.60/311.65	c (8,0) x[7][12] = 8
415.60/311.65	c (8,0) x[7][13] = 11
415.60/311.65	c (8,0) x[7][14] = 14
415.60/311.65	c (8,0) x[8][0] = 18
415.60/311.65	c (8,0) x[8][1] = 4
415.60/311.65	c (8,0) x[8][2] = 15
415.60/311.65	c (8,0) x[8][3] = 19
415.60/311.65	c (8,0) x[8][5] = 8
415.60/311.65	c (8,0) x[8][6] = 7
415.60/311.65	c (8,0) x[8][7] = 18
415.60/311.65	c (8,0) x[8][9] = 0
415.60/311.65	c (8,0) x[8][10] = 11
415.60/311.65	c (8,0) x[8][11] = 8
415.60/311.65	c (8,0) x[8][12] = 19
415.60/311.65	c (8,0) x[8][13] = 4
415.60/311.65	c (8,0) x[8][14] = 18
415.60/311.65	c (8,0) x[9][0] = 4
415.60/311.65	c (8,0) x[9][1] = 25
415.60/311.65	c (8,0) x[9][2] = 4
415.60/311.65	c (8,0) x[9][4] = 19
415.60/311.65	c (8,0) x[9][5] = 13
415.60/311.65	c (8,0) x[9][6] = 19
415.60/311.65	c (8,0) x[9][8] = 4
415.60/311.65	c (8,0) x[9][9] = 1
415.60/311.65	c (8,0) x[9][10] = 0
415.60/311.65	c (8,0) x[9][11] = 19
415.60/311.65	c (8,0) x[10][3] = 17
415.60/311.65	c (8,0) x[10][4] = 4
415.60/311.65	c (8,0) x[10][5] = 6
415.60/311.65	c (8,0) x[10][7] = 15
415.60/311.65	c (8,0) x[10][8] = 11
415.60/311.65	c (8,0) x[10][9] = 14
415.60/311.65	c (8,0) x[10][10] = 19
415.60/311.65	c (8,0) x[10][12] = 0
415.60/311.65	c (8,0) x[10][13] = 6
415.60/311.65	c (8,0) x[10][14] = 8
415.60/311.65	c (8,0) x[11][0] = 0
415.60/311.65	c (8,0) x[11][1] = 12
415.60/311.65	c (8,0) x[11][2] = 15
415.60/311.65	c (8,0) x[11][3] = 4
415.60/311.65	c (8,0) x[11][4] = 17
415.60/311.65	c (8,0) x[11][5] = 4
415.60/311.65	c (8,0) x[11][6] = 19
415.60/311.65	c (8,0) x[11][7] = 14
415.60/311.65	c (8,0) x[11][8] = 20
415.60/311.65	c (8,0) x[11][9] = 17
415.60/311.65	c (8,0) x[11][11] = 17
415.60/311.65	c (8,0) x[11][12] = 20
415.60/311.65	c (8,0) x[11][13] = 4
415.60/311.65	c (8,0) x[11][14] = 25
415.60/311.65	c (8,0) x[12][0] = 13
415.60/311.65	c (8,0) x[12][1] = 4
415.60/311.65	c (8,0) x[12][2] = 14
415.60/311.65	c (8,0) x[12][3] = 2
415.60/311.65	c (8,0) x[12][4] = 0
415.60/311.65	c (8,0) x[12][5] = 11
415.60/311.65	c (8,0) x[12][6] = 4
415.60/311.65	c (8,0) x[12][7] = 3
415.60/311.65	c (8,0) x[12][8] = 14
415.60/311.65	c (8,0) x[12][9] = 13
415.60/311.65	c (8,0) x[12][10] = 8
415.60/311.65	c (8,0) x[12][11] = 4
415.60/311.65	c (8,0) x[12][12] = 13
415.60/311.65	c (8,0) x[12][13] = 13
415.60/311.65	c (8,0) x[12][14] = 4
415.60/311.65	c (8,0) x[13][0] = 4
415.60/311.65	c (8,0) x[13][1] = 13
415.60/311.65	c (8,0) x[13][2] = 19
415.60/311.65	c (8,0) x[13][3] = 4
415.60/311.65	c (8,0) x[13][5] = 8
415.60/311.65	c (8,0) x[13][6] = 19
415.60/311.65	c (8,0) x[13][7] = 8
415.60/311.65	c (8,0) x[13][8] = 13
415.60/311.65	c (8,0) x[13][9] = 4
415.60/311.65	c (8,0) x[13][10] = 17
415.60/311.65	c (8,0) x[13][11] = 0
415.60/311.65	c (8,0) x[13][12] = 8
415.60/311.65	c (8,0) x[13][13] = 17
415.60/311.65	c (8,0) x[13][14] = 4
415.60/311.65	c (8,0) x[14][0] = 11
415.60/311.65	c (8,0) x[14][1] = 20
415.60/311.65	c (8,0) x[14][2] = 19
415.60/311.65	c (8,0) x[14][3] = 25
415.60/311.65	c (8,0) x[14][5] = 5
415.60/311.65	c (8,0) x[14][6] = 4
415.60/311.65	c (8,0) x[14][7] = 4
415.60/311.65	c (8,0) x[14][8] = 18
415.60/311.65	c (8,0) x[14][10] = 4
415.60/311.65	c (8,0) x[14][11] = 18
415.60/311.65	c (8,0) x[14][12] = 18
415.60/311.65	c (8,0) x[14][13] = 4
415.60/311.65	c (8,0) x[14][14] = 13
415.60/311.65	s SATISFIABLE
415.60/311.66	v <instantiation>
415.60/311.66	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] 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][4] 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][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][7] x[4][9] x[4][10] x[4][11] x[5][3] x[5][4] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][6] x[7][7] x[7][8] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[10][3] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][10] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14]</list>
415.60/311.66	v     <values>0 11 14 17 18 1 17 0 18 8 2 1 12 2 0 17 0 2 2 8 14 11 14 6 17 0 20 2 7 0 12 15 8 6 13 4 20 11 11 0 8 18 17 0 13 8 6 17 8 12 15 8 14 13 13 4 0 17 19 2 0 4 13 4 0 14 5 14 17 18 15 18 19 19 0 6 3 8 15 11 14 4 0 11 4 18 14 8 17 6 17 0 0 11 20 13 8 15 7 8 11 14 18 4 15 19 8 7 18 0 11 8 19 4 18 4 25 4 19 13 19 4 1 0 19 17 4 6 15 11 14 19 0 6 8 0 12 15 4 17 4 19 14 20 17 17 20 4 25 13 4 14 2 0 11 4 3 14 13 8 4 13 13 4 4 13 19 4 8 19 8 13 4 17 0 8 17 4 11 20 19 25 5 4 4 18 4 18 18 4 13</values>
415.60/311.66	v </instantiation>
415.60/311.66	c (8,0) Show results End
415.60/311.66	c (8,0) Heap : 187 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
415.60/311.66	c (8,0) 8,8,STOP-AFTER(ALL)
415.60/311.66	c END-Prog: Tue Sep 24 23:58:51 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 (10950 MiB free)
  memory of node 1: 16384 MiB (12807 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405467-1569362060/watcher-4405467-1569362060 -o /var/tmp/evaluation-result-4405467-1569362060/solver-4405467-1569362060 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569359473-24779 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405467-1569362060.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25227, runsolver pid=25224
Current StackSize limit: 8192 KiB


[startup+0.105526 s]*
/proc/loadavg: 8.18 8.38 8.28 2/217 25249
/proc/meminfo: memFree=24233808/32770624 swapFree=67002968/67108860
[pid=25227] ppid=25224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25227/stat : 25227 (scop.sh) S 25224 25227 24752 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512445543 115843072 349 33554432000 4194304 5098028 140737163799216 140737163796472 140567186883196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8691712 140737163801340 140737163801688 140737163801688 140737163804617 0
/proc/25227/statm: 28282 349 296 221 0 87 0
[pid=25230] ppid=25227 vsize=27314120 memory=108672 CPUtime=0.11 cores=0-7
/proc/25230/stat : 25230 (java) S 25227 25227 24752 0 -1 1077944320 6696 0 0 0 8 3 0 0 20 0 20 0 512445544 27969658880 27168 33554432000 4194304 4196468 140728210049056 140728210031600 140648468528887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
/proc/25230/statm: 6828530 27168 2819 1 0 6790935 0
[pid=25230/tid=25231] ppid=25227 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25227 25227 24752 0 -1 4202560 4739 0 0 0 7 2 0 0 20 0 20 0 512445544 27969658880 27210 33554432000 4194304 4196468 140728210049056 140648440351656 140648460766014 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25232] ppid=25227 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140648472770960 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25233] ppid=25227 vsize=27314120 memory=140540784551552 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140648301865232 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25234] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647890061968 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25235] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647889009168 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25236] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647887956880 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25237] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647886904080 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25238] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647885851792 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25239] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647884798992 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25240] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647459846256 140648468540034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25241] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25227 25227 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 27210 33554432000 4194304 4196468 140728210049056 140646354510624 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25242] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 27210 33554432000 4194304 4196468 140728210049056 140646086075504 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25243] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140645711566928 140648468547483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25244] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25227 25227 24752 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647458794096 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25245] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647457741296 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25246] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) R 25227 25227 24752 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647456689304 140648453688816 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25247] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) R 25227 25227 24752 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647455636208 140648447159524 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25248] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140645213661536 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25249] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 27210 33554432000 4194304 4196468 140728210049056 140647454583088 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110068 KiB

[startup+0.210738 s]*
/proc/loadavg: 8.18 8.38 8.28 2/217 25249
/proc/meminfo: memFree=24212356/32770624 swapFree=67002968/67108860
[pid=25227] ppid=25224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25227/stat : 25227 (scop.sh) S 25224 25227 24752 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512445543 115843072 349 33554432000 4194304 5098028 140737163799216 140737163796472 140567186883196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8691712 140737163801340 140737163801688 140737163801688 140737163804617 0
/proc/25227/statm: 28282 349 296 221 0 87 0
[pid=25230] ppid=25227 vsize=27314120 memory=125228 CPUtime=0.25 cores=0-7
/proc/25230/stat : 25230 (java) S 25227 25227 24752 0 -1 1077944320 12208 0 0 0 20 5 0 0 20 0 20 0 512445544 27969658880 31307 33554432000 4194304 4196468 140728210049056 140728210031600 140648468528887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
/proc/25230/statm: 6828530 31307 2940 1 0 6790935 0
[pid=25230/tid=25231] ppid=25227 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25227 25227 24752 0 -1 4202560 9876 0 0 0 16 4 0 0 20 0 20 0 512445544 27969658880 31307 33554432000 4194304 4196468 140728210049056 140648440328272 140648448804715 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25232] ppid=25227 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140648472770960 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25233] ppid=25227 vsize=27314120 memory=140540788392119 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140648301865232 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25234] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647890061968 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25235] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647889009168 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25236] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647887956880 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25237] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647886904080 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25238] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647885851792 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25239] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647884798992 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25240] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647459846256 140648468540034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25241] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25227 25227 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 31307 33554432000 4194304 4196468 140728210049056 140646354510624 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25242] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 31307 33554432000 4194304 4196468 140728210049056 140646086075504 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25243] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140645711566928 140648468547483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25244] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25227 25227 24752 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647458794096 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25245] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647457741296 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25246] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) S 25227 25227 24752 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647456689008 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25247] ppid=25227 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) S 25227 25227 24752 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647455636208 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25248] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140645213661536 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25249] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 31307 33554432000 4194304 4196468 140728210049056 140647454583088 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126624 KiB

[startup+0.310501 s]*
/proc/loadavg: 8.18 8.38 8.28 2/217 25249
/proc/meminfo: memFree=24211296/32770624 swapFree=67002968/67108860
[pid=25227] ppid=25224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25227/stat : 25227 (scop.sh) S 25224 25227 24752 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512445543 115843072 349 33554432000 4194304 5098028 140737163799216 140737163796472 140567186883196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8691712 140737163801340 140737163801688 140737163801688 140737163804617 0
/proc/25227/statm: 28282 349 296 221 0 87 0
[pid=25230] ppid=25227 vsize=27314120 memory=129384 CPUtime=0.42 cores=0-7
/proc/25230/stat : 25230 (java) S 25227 25227 24752 0 -1 1077944320 12663 0 0 0 37 5 0 0 20 0 20 0 512445544 27969658880 32346 33554432000 4194304 4196468 140728210049056 140728210031600 140648468528887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
/proc/25230/statm: 6828530 32346 3063 1 0 6790935 0
[pid=25230/tid=25231] ppid=25227 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25227 25227 24752 0 -1 4202560 10067 0 0 0 26 4 0 0 20 0 20 0 512445544 27969658880 32346 33554432000 4194304 4196468 140728210049056 140648440354048 140648451715696 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25232] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140648472770960 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25233] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140648301865232 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25234] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647890061968 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25235] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25235/stat : 25235 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647889009168 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25236] ppid=25227 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/25230/task/25236/stat : 25236 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647887956880 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25237] ppid=25227 vsize=27314120 memory=140540658152367 CPUtime=0 cores=0-7
/proc/25230/task/25237/stat : 25237 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647886904080 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25238] ppid=25227 vsize=27314120 memory=140540658154672 CPUtime=0 cores=0-7
/proc/25230/task/25238/stat : 25238 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647885851792 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25239] ppid=25227 vsize=27314120 memory=140540658156976 CPUtime=0 cores=0-7
/proc/25230/task/25239/stat : 25239 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445546 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647884798992 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25240] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25240/stat : 25240 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647459846256 140648468540034 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25241] ppid=25227 vsize=27314120 memory=281081316320912 CPUtime=0 cores=0-7
/proc/25230/task/25241/stat : 25241 (java) S 25227 25227 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 32346 33554432000 4194304 4196468 140728210049056 140646354510624 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25242] ppid=25227 vsize=27314120 memory=281081316327824 CPUtime=0 cores=0-7
/proc/25230/task/25242/stat : 25242 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445548 27969658880 32346 33554432000 4194304 4196468 140728210049056 140646086075504 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25243] ppid=25227 vsize=27314120 memory=281081316269104 CPUtime=0 cores=0-7
/proc/25230/task/25243/stat : 25243 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140645711566928 140648468547483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25244] ppid=25227 vsize=27314120 memory=281081316341648 CPUtime=0.01 cores=0-7
/proc/25230/task/25244/stat : 25244 (java) S 25227 25227 24752 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647458794096 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25245] ppid=25227 vsize=27314120 memory=281081316348560 CPUtime=0 cores=0-7
/proc/25230/task/25245/stat : 25245 (java) S 25227 25227 24752 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647457741296 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25246] ppid=25227 vsize=27314120 memory=281081316346256 CPUtime=0.02 cores=0-7
/proc/25230/task/25246/stat : 25246 (java) R 25227 25227 24752 0 -1 4202560 289 0 0 0 2 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647456689008 140648452085160 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25247] ppid=25227 vsize=27314120 memory=281081316362416 CPUtime=0.07 cores=0-7
/proc/25230/task/25247/stat : 25247 (java) S 25227 25227 24752 0 -1 1077944384 606 0 0 0 7 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647455636208 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25248] ppid=25227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25248/stat : 25248 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140645213661536 140648468539093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25249] ppid=25227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25230/task/25249/stat : 25249 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445551 27969658880 32346 33554432000 4194304 4196468 140728210049056 140647454583088 140648468540034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130780 KiB

[startup+0.700956 s]
/proc/loadavg: 8.18 8.38 8.28 2/217 25249
/proc/meminfo: memFree=24189592/32770624 swapFree=67002968/67108860
[pid=25227] ppid=25224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25227/stat : 25227 (scop.sh) S 25224 25227 24752 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512445543 115843072 349 33554432000 4194304 5098028 140737163799216 140737163796472 140567186883196 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8691712 140737163801340 140737163801688 140737163801688 140737163804617 0
/proc/25227/statm: 28282 349 296 221 0 87 0
[pid=25230] ppid=25227 vsize=27320392 memory=165100 CPUtime=1 cores=0-7
/proc/25230/stat : 25230 (java) S 25227 25227 24752 0 -1 1077944320 20293 0 0 0 92 8 0 0 20 0 20 0 512445544 27976081408 41275 33554432000 4194304 4196468 140728210049056 140728210031600 140648468528887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
/proc/25230/statm: 6830098 41275 3193 1 0 6791447 0
[pid=25230/tid=25231] ppid=25227 vsize=27320392 memory=281081316720304 CPUtime=0.67 cores=0-7
/proc/25230/task/25231/stat : 25231 (java) R 25227 25227 24752 0 -1 4202560 16982 0 0 0 61 6 0 0 20 0 20 0 512445544 27976081408 41275 33554432000 4194304 4196468 140728210049056 140648440366528 140648468540822 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25232] ppid=25227 vsize=27320392 memory=140540658361200 CPUtime=0 cores=0-7
/proc/25230/task/25232/stat : 25232 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27976081408 41275 33554432000 4194304 4196468 140728210049056 140648472770960 140648468539093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25233] ppid=25227 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/25230/task/25233/stat : 25233 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27976081408 41275 33554432000 4194304 4196468 140728210049056 140648301865232 140648468539093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0
[pid=25230/tid=25234] ppid=25227 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/25230/task/25234/stat : 25234 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512445546 27976081408 41275 33554432000 4194304 4196468 140728210049056 140647890061968 140648468539093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13942784 140728210051782 140728210052230 140728210052230 140728210055119 0

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

/proc/25270/task/25275/stat : 25275 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681815587344 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25276] ppid=25227 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/25270/task/25276/stat : 25276 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681814535056 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25277] ppid=25227 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25270/task/25277/stat : 25277 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681813482256 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25278] ppid=25227 vsize=8414124 memory=121844 CPUtime=0 cores=0-7
/proc/25270/task/25278/stat : 25278 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681812429968 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25279] ppid=25227 vsize=8414124 memory=1534584 CPUtime=0 cores=0-7
/proc/25270/task/25279/stat : 25279 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681811377168 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25280] ppid=25227 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/25270/task/25280/stat : 25280 (java) S 25227 25227 24752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512475778 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681426184304 139682332682882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25281] ppid=25227 vsize=8414124 memory=121844 CPUtime=0 cores=0-7
/proc/25270/task/25281/stat : 25281 (java) S 25227 25227 24752 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 512475778 8616062976 30461 33554432000 4194304 4196468 140725528777056 139680926393120 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25282] ppid=25227 vsize=8414124 memory=207840 CPUtime=0 cores=0-7
/proc/25270/task/25282/stat : 25282 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475778 8616062976 30461 33554432000 4194304 4196468 140725528777056 139680657958000 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25283] ppid=25227 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/25270/task/25283/stat : 25283 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139680283449424 139682332690331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25284] ppid=25227 vsize=8414124 memory=2052 CPUtime=0.11 cores=0-7
/proc/25270/task/25284/stat : 25284 (java) S 25227 25227 24752 0 -1 1077944384 942 0 0 0 11 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681425132144 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25285] ppid=25227 vsize=8414124 memory=1428 CPUtime=0.1 cores=0-7
/proc/25270/task/25285/stat : 25285 (java) S 25227 25227 24752 0 -1 1077944384 297 0 0 0 10 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681424079344 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25286] ppid=25227 vsize=8414124 memory=121844 CPUtime=0.08 cores=0-7
/proc/25270/task/25286/stat : 25286 (java) S 25227 25227 24752 0 -1 1077944384 208 0 0 0 8 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681423027056 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25287] ppid=25227 vsize=8414124 memory=205672 CPUtime=0.23 cores=0-7
/proc/25270/task/25287/stat : 25287 (java) S 25227 25227 24752 0 -1 1077944384 600 0 0 0 23 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681421974256 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25288] ppid=25227 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/25270/task/25288/stat : 25288 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139679785544032 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25289] ppid=25227 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/25270/task/25289/stat : 25289 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512475782 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681420921136 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25291] ppid=25227 vsize=8414124 memory=11591800 CPUtime=0 cores=0-7
/proc/25270/task/25291/stat : 25291 (java) S 25227 25227 24752 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512475853 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681412887872 139682332696345 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25293] ppid=25227 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/25270/task/25293/stat : 25293 (java) S 25227 25227 24752 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512475853 8616062976 30461 33554432000 4194304 4196468 140725528777056 139679114444688 139682332693661 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25294] ppid=25227 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/25270/task/25294/stat : 25294 (java) S 25227 25227 24752 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512475853 8616062976 30461 33554432000 4194304 4196468 140725528777056 139679382880016 139682332693661 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25295] ppid=25227 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/25270/task/25295/stat : 25295 (java) S 25227 25227 24752 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512475855 8616062976 30461 33554432000 4194304 4196468 140725528777056 139678846017328 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
Current children cumulated CPU time: 409.53 s
Current children cumulated vsize: 10642444 KiB
Current children cumulated memory: 1687640 KiB

[startup+311.201 s]
/proc/loadavg: 1.42 3.73 6.26 6/225 25304
/proc/meminfo: memFree=22586320/32770624 swapFree=67002972/67108860
[pid=25227] ppid=25224 vsize=113128 memory=1476 CPUtime=392.49 cores=0-7
/proc/25227/stat : 25227 (scop.sh) S 25224 25227 24752 0 -1 4202496 583 150973 0 0 0 0 37704 1545 20 0 1 0 512445543 115843072 369 33554432000 4194304 5098028 140737163799216 140737163795960 140567186883196 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8691712 140737163801340 140737163801688 140737163801688 140737163804617 0
/proc/25227/statm: 28282 369 311 221 0 87 0
[pid=25270] ppid=25227 vsize=8414124 memory=121844 CPUtime=1.37 cores=0-7
/proc/25270/stat : 25270 (java) S 25227 25227 24752 0 -1 1077944320 20943 0 0 0 128 9 0 0 20 0 24 0 512475774 8616062976 30461 33554432000 4194304 4196468 140725528777056 140725528759600 139682332671735 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
/proc/25270/statm: 2103531 30461 3196 1 0 2064875 0
[pid=25290] ppid=25270 vsize=2120212 memory=1583580 CPUtime=20.95 cores=0-7
/proc/25290/stat : 25290 (manyglucose-4.1) S 25270 25227 24752 0 -1 1077944320 423902 0 0 0 1955 140 0 0 20 0 2 0 512475852 2171097088 395895 33554432000 4194304 4454172 140725203336304 140725203334688 140448400170743 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 17440768 140725203338061 140725203338268 140725203338268 140725203341238 0
/proc/25290/statm: 530053 395895 420 64 0 525721 0
[pid=25290/tid=25297] ppid=25270 vsize=2120212 memory=1540 CPUtime=1.98 cores=0-7
/proc/25290/task/25297/stat : 25297 (manyglucose-4.1) R 25270 25227 24752 0 -1 4202560 15501 0 0 0 188 10 0 0 20 0 2 0 512476454 2171097088 395895 33554432000 4194304 4454172 140725203336304 140448360631400 4351331 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 17440768 140725203338061 140725203338268 140725203338268 140725203341238 0
[pid=25270/tid=25271] ppid=25227 vsize=8414124 memory=1568384 CPUtime=0.79 cores=0-7
/proc/25270/task/25271/stat : 25271 (java) S 25227 25227 24752 0 -1 1077944384 17495 0 0 0 73 6 0 0 20 0 24 0 512475775 8616062976 30461 33554432000 4194304 4196468 140725528777056 139682304511904 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25272] ppid=25227 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/25270/task/25272/stat : 25272 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139682336913808 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25273] ppid=25227 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25270/task/25273/stat : 25273 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139682137082128 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25274] ppid=25227 vsize=8414124 memory=64440 CPUtime=0 cores=0-7
/proc/25270/task/25274/stat : 25274 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139682136029840 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25275] ppid=25227 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/25270/task/25275/stat : 25275 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681815587344 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25276] ppid=25227 vsize=8414124 memory=2052 CPUtime=0 cores=0-7
/proc/25270/task/25276/stat : 25276 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681814535056 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25277] ppid=25227 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/25270/task/25277/stat : 25277 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681813482256 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25278] ppid=25227 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/25270/task/25278/stat : 25278 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681812429968 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25279] ppid=25227 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/25270/task/25279/stat : 25279 (java) S 25227 25227 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512475776 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681811377168 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25280] ppid=25227 vsize=8414124 memory=1554912 CPUtime=0 cores=0-7
/proc/25270/task/25280/stat : 25280 (java) S 25227 25227 24752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512475778 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681426184304 139682332682882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25281] ppid=25227 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/25270/task/25281/stat : 25281 (java) S 25227 25227 24752 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 512475778 8616062976 30461 33554432000 4194304 4196468 140725528777056 139680926393120 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25282] ppid=25227 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/25270/task/25282/stat : 25282 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475778 8616062976 30461 33554432000 4194304 4196468 140725528777056 139680657958000 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25283] ppid=25227 vsize=8414124 memory=3456 CPUtime=0 cores=0-7
/proc/25270/task/25283/stat : 25283 (java) S 25227 25227 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139680283449424 139682332690331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25284] ppid=25227 vsize=8414124 memory=1476 CPUtime=0.11 cores=0-7
/proc/25270/task/25284/stat : 25284 (java) S 25227 25227 24752 0 -1 1077944384 942 0 0 0 11 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681425132144 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25285] ppid=25227 vsize=8414124 memory=121844 CPUtime=0.1 cores=0-7
/proc/25270/task/25285/stat : 25285 (java) S 25227 25227 24752 0 -1 1077944384 297 0 0 0 10 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681424079344 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25286] ppid=25227 vsize=8414124 memory=233460 CPUtime=0.08 cores=0-7
/proc/25270/task/25286/stat : 25286 (java) S 25227 25227 24752 0 -1 1077944384 208 0 0 0 8 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681423027056 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25287] ppid=25227 vsize=8414124 memory=12024 CPUtime=0.23 cores=0-7
/proc/25270/task/25287/stat : 25287 (java) S 25227 25227 24752 0 -1 1077944384 600 0 0 0 23 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681421974256 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25288] ppid=25227 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/25270/task/25288/stat : 25288 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512475781 8616062976 30461 33554432000 4194304 4196468 140725528777056 139679785544032 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25289] ppid=25227 vsize=8414124 memory=3280 CPUtime=0 cores=0-7
/proc/25270/task/25289/stat : 25289 (java) S 25227 25227 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512475782 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681420921136 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25291] ppid=25227 vsize=8414124 memory=64440 CPUtime=0 cores=0-7
/proc/25270/task/25291/stat : 25291 (java) S 25227 25227 24752 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512475853 8616062976 30461 33554432000 4194304 4196468 140725528777056 139681412887872 139682332696345 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25293] ppid=25227 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/25270/task/25293/stat : 25293 (java) S 25227 25227 24752 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512475853 8616062976 30461 33554432000 4194304 4196468 140725528777056 139679114444688 139682332693661 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25294] ppid=25227 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/25270/task/25294/stat : 25294 (java) S 25227 25227 24752 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512475853 8616062976 30461 33554432000 4194304 4196468 140725528777056 139679382880016 139682332693661 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25295] ppid=25227 vsize=8414124 memory=13568180484311317 CPUtime=0 cores=0-7
/proc/25270/task/25295/stat : 25295 (java) S 25227 25227 24752 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512475855 8616062976 30461 33554432000 4194304 4196468 140725528777056 139678846017328 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
Current children cumulated CPU time: 414.81 s
Current children cumulated vsize: 10647464 KiB
Current children cumulated memory: 1706900 KiB

[startup+311.601 s]
/proc/loadavg: 1.42 3.73 6.26 6/225 25304
/proc/meminfo: memFree=22586320/32770624 swapFree=67002972/67108860
[pid=25227] ppid=25224 vsize=113128 memory=1476 CPUtime=392.49 cores=0-7
/proc/25227/stat : 25227 (scop.sh) S 25224 25227 24752 0 -1 4202496 583 150973 0 0 0 0 37704 1545 20 0 1 0 512445543 115843072 369 33554432000 4194304 5098028 140737163799216 140737163795960 140567186883196 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8691712 140737163801340 140737163801688 140737163801688 140737163804617 0
/proc/25227/statm: 28282 369 311 221 0 87 0
[pid=25270] ppid=25227 vsize=8283048 memory=178232 CPUtime=23.11 cores=0-7
/proc/25270/stat : 25270 (java) S 25227 25227 24752 0 -1 1077944320 22235 431234 0 0 181 10 1973 147 20 0 22 0 512475774 8481841152 44558 33554432000 4194304 4196468 140725528777056 140725528759600 139682332671735 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
/proc/25270/statm: 2070762 44558 3230 1 0 2032106 0
[pid=25270/tid=25271] ppid=25227 vsize=8283048 memory=496 CPUtime=22.07 cores=0-7
/proc/25270/task/25271/stat : 25271 (java) R 25227 25227 24752 0 -1 4202560 17711 431234 0 0 81 6 1973 147 20 0 22 0 512475775 8481841152 44558 33554432000 4194304 4196468 140725528777056 139682304509296 139682332683670 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25272] ppid=25227 vsize=8283048 memory=1564 CPUtime=21.2 cores=0-7
/proc/25270/task/25272/stat : 25272 (java) S 25227 25227 24752 0 -1 1077944384 1 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139682336913808 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25273] ppid=25227 vsize=8283048 memory=928 CPUtime=21.2 cores=0-7
/proc/25270/task/25273/stat : 25273 (java) S 25227 25227 24752 0 -1 1077944384 2 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139682137082128 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25274] ppid=25227 vsize=8283048 memory=1744 CPUtime=21.2 cores=0-7
/proc/25270/task/25274/stat : 25274 (java) S 25227 25227 24752 0 -1 1077944384 2 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139682136029840 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25275] ppid=25227 vsize=8283048 memory=780 CPUtime=21.2 cores=0-7
/proc/25270/task/25275/stat : 25275 (java) S 25227 25227 24752 0 -1 1077944384 3 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681815587344 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25276] ppid=25227 vsize=8283048 memory=1440 CPUtime=21.2 cores=0-7
/proc/25270/task/25276/stat : 25276 (java) S 25227 25227 24752 0 -1 1077944384 2 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681814535056 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25277] ppid=25227 vsize=8283048 memory=3280 CPUtime=21.2 cores=0-7
/proc/25270/task/25277/stat : 25277 (java) S 25227 25227 24752 0 -1 1077944384 1 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681813482256 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25278] ppid=25227 vsize=8283048 memory=64440 CPUtime=21.2 cores=0-7
/proc/25270/task/25278/stat : 25278 (java) S 25227 25227 24752 0 -1 1077944384 1 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681812429968 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25279] ppid=25227 vsize=8283048 memory=988 CPUtime=21.2 cores=0-7
/proc/25270/task/25279/stat : 25279 (java) S 25227 25227 24752 0 -1 1077944384 2 431234 0 0 0 0 1973 147 20 0 22 0 512475776 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681811377168 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25280] ppid=25227 vsize=8283048 memory=2052 CPUtime=21.2 cores=0-7
/proc/25270/task/25280/stat : 25280 (java) S 25227 25227 24752 0 -1 1077944384 5 431234 0 0 0 0 1973 147 20 0 22 0 512475778 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681426184304 139682332682882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25281] ppid=25227 vsize=8283048 memory=1428 CPUtime=21.2 cores=0-7
/proc/25270/task/25281/stat : 25281 (java) S 25227 25227 24752 0 -1 1077944384 14 431234 0 0 0 0 1973 147 20 0 22 0 512475778 8481841152 44558 33554432000 4194304 4196468 140725528777056 139680926393120 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25282] ppid=25227 vsize=8283048 memory=1716 CPUtime=21.2 cores=0-7
/proc/25270/task/25282/stat : 25282 (java) S 25227 25227 24752 0 -1 1077944384 1 431234 0 0 0 0 1973 147 20 0 22 0 512475778 8481841152 44558 33554432000 4194304 4196468 140725528777056 139680657958000 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25283] ppid=25227 vsize=8283048 memory=784 CPUtime=21.2 cores=0-7
/proc/25270/task/25283/stat : 25283 (java) S 25227 25227 24752 0 -1 1077944384 1 431234 0 0 0 0 1973 147 20 0 22 0 512475781 8481841152 44558 33554432000 4194304 4196468 140725528777056 139680283449424 139682332690331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25284] ppid=25227 vsize=8283048 memory=8560 CPUtime=21.37 cores=0-7
/proc/25270/task/25284/stat : 25284 (java) S 25227 25227 24752 0 -1 1077944384 966 431234 0 0 17 0 1973 147 20 0 22 0 512475781 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681425132144 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25285] ppid=25227 vsize=8283048 memory=6204 CPUtime=21.36 cores=0-7
/proc/25270/task/25285/stat : 25285 (java) S 25227 25227 24752 0 -1 1077944384 317 431234 0 0 16 0 1973 147 20 0 22 0 512475781 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681424079344 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25286] ppid=25227 vsize=8283048 memory=1056 CPUtime=21.37 cores=0-7
/proc/25270/task/25286/stat : 25286 (java) S 25227 25227 24752 0 -1 1077944384 500 431234 0 0 17 0 1973 147 20 0 22 0 512475781 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681423027056 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25287] ppid=25227 vsize=8283048 memory=1540 CPUtime=21.52 cores=0-7
/proc/25270/task/25287/stat : 25287 (java) S 25227 25227 24752 0 -1 1077944384 1260 431234 0 0 32 0 1973 147 20 0 22 0 512475781 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681421974256 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25288] ppid=25227 vsize=8283048 memory=33 CPUtime=21.2 cores=0-7
/proc/25270/task/25288/stat : 25288 (java) S 25227 25227 24752 0 -1 1077944384 3 431234 0 0 0 0 1973 147 20 0 22 0 512475781 8481841152 44558 33554432000 4194304 4196468 140725528777056 139679785544032 139682332681941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25289] ppid=25227 vsize=8283048 memory=3582007 CPUtime=21.2 cores=0-7
/proc/25270/task/25289/stat : 25289 (java) S 25227 25227 24752 0 -1 1077944384 3 431234 0 0 0 0 1973 147 20 0 22 0 512475782 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681420921136 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25291] ppid=25227 vsize=8283048 memory=140540784551776 CPUtime=21.2 cores=0-7
/proc/25270/task/25291/stat : 25291 (java) S 25227 25227 24752 0 -1 1077944384 25 431234 0 0 0 0 1973 147 20 0 22 0 512475853 8481841152 44558 33554432000 4194304 4196468 140725528777056 139681412887056 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
[pid=25270/tid=25295] ppid=25227 vsize=8283048 memory=11253 CPUtime=21.2 cores=0-7
/proc/25270/task/25295/stat : 25295 (java) S 25227 25227 24752 0 -1 1077944384 16 431234 0 0 0 0 1973 147 20 0 22 0 512475855 8481841152 44558 33554432000 4194304 4196468 140725528777056 139678846019120 139682332682882 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140725528781791 140725528781958 140725528781958 140725528784847 0
Current children cumulated CPU time: 415.6 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 179708 KiB

Child status: 0
Real time (s): 311.681
CPU time (s): 415.796
CPU user time (s): 398.723
CPU system time (s): 17.0729
CPU usage (%): 133.404
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 11594616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 398.723
system time used= 17.0729
maximum resident set size= 11593464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 101656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113857
involuntary context switches= 1179


# summary of solver processes directly reported to runsolver:
#   pid: 25227
#   total CPU time (s): 415.796
#   total CPU user time (s): 398.723
#   total CPU system time (s): 17.0729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20632 second user time and 3.41461 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 23:53:40
IDJOB=4405467
IDBENCH=139919
IDSOLVER=2868
FILE ID=node133/4405467-1569362060
RUNJOBID= node133-1569359473-24779
PBS_JOBID= 21705121
Free space on /var/tmp= 13484 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h1502.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405467-1569362060/watcher-4405467-1569362060 -o /var/tmp/evaluation-result-4405467-1569362060/solver-4405467-1569362060 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569359473-24779 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405467-1569362060.xml

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

MD5SUM BENCH= f196bcf8028f955a9b1a207c833066c3
RANDOM SEED=387828302

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24328292 kB
MemAvailable:   31842048 kB
Buffers:          152716 kB
Cached:          7415296 kB
SwapCached:         5156 kB
Active:          3733060 kB
Inactive:        3841988 kB
Active(anon):       4636 kB
Inactive(anon):    57204 kB
Active(file):    3728424 kB
Inactive(file):  3784784 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       67002968 kB
Dirty:             23844 kB
Writeback:             0 kB
AnonPages:        113852 kB
Mapped:            57648 kB
Shmem:             46820 kB
Slab:             458040 kB
SReclaimable:     429008 kB
SUnreclaim:        29032 kB
KernelStack:        3456 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node133 at 2019-09-24 23:58:52