Trace number 4392387

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 96.6673 79.0914

General information on the benchmark

NamePigeonsPlus/PigeonsPlus-m1-s1/
pigeonsPlus-08-08.xml
MD5SUMa4344d82eae68729eeb0bbc0b13d3fa1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark29.4324
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints44
Number of domains2
Minimum domain size7
Maximum domain size8
Distribution of domain sizes[{"size":7,"count":8},{"size":8,"count":64}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":56},{"degree":2,"count":8},{"degree":8,"count":8}]
Minimum constraint arity2
Maximum constraint arity8
Distribution of constraint arities[{"arity":2,"count":36},{"arity":8,"count":8}]
Number of extensional constraints44
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":44}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18134-serial-file.bin HOME/instance-4392387-1568435949.xml
0.63/0.56	
0.63/0.56	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.63/0.56	
0.63/0.58	c BEGIN-Prog: Sat Sep 14 05:28:54 CEST 2019
0.63/0.58	c PID: 18137
0.63/0.58	c IP: 172.20.3.104
0.63/0.58	c HOST: node104.alineos.net
0.63/0.59	c (0,0) Parsing Begin
13.79/10.63	c (10,9) Parsing End
13.79/10.64	c (10,9) CSP: 72 int (0 aux), 0 bool (0 aux), 44 ctr, max domain size 8
13.79/10.64	c (10,9) Heap : 6225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.79/10.64	c (10,9) Constraint Name Generate Begin
13.79/10.64	c (10,9) Ctr:HOME/instance-4392387-1568435949.xml,ExtensionSupport:Var
13.79/10.64	c (10,9) Constraint Name Generate End
13.79/10.64	c (10,9) Heap : 6225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.79/10.64	c (10,9) CSP to CSPinCNF Begin
14.29/10.92	c (10,10) translated 5 (10%) constraints
14.29/10.98	c (10,10) translated 9 (20%) constraints
14.56/11.03	c (10,10) translated 14 (30%) constraints
14.56/11.07	c (10,10) translated 18 (40%) constraints
14.56/11.09	c (10,10) translated 22 (50%) constraints
14.86/11.12	c (10,10) translated 27 (60%) constraints
79.87/65.81	c (65,63) translated 31 (70%) constraints
91.78/75.86	c (75,73) translated 36 (80%) constraints
93.80/77.83	c (77,75) translated 40 (90%) constraints
93.80/77.85	c (77,75) translated 44 (100%) constraints
93.80/77.85	c (77,75) ===========================================
93.80/77.86	c (77,75) Order
93.80/77.86	c (77,75) ===========================================
93.80/77.87	c (77,75) translated 146 (10%) constraints
93.80/77.88	c (77,75) translated 292 (20%) constraints
93.80/77.89	c (77,75) translated 438 (30%) constraints
94.13/77.90	c (77,75) translated 584 (40%) constraints
94.13/77.90	c (77,75) translated 730 (50%) constraints
94.13/77.91	c (77,75) translated 876 (60%) constraints
94.13/77.92	c (77,75) translated 1022 (70%) constraints
94.13/77.93	c (77,75) translated 1168 (80%) constraints
94.13/77.93	c (77,75) translated 1314 (90%) constraints
94.13/77.94	c (77,75) translated 1460 (100%) constraints
94.13/77.94	c (77,75) CSP to CSPinCNF End
94.13/77.94	c (77,75) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
94.13/77.94	c (77,75) Heap : 2759 MiB used (max 21648 MiB), NonHeap : 27 MiB used (max 0 MiB)
94.13/77.94	c (77,75) CSPinCNF Propagation Begin
94.13/77.98	c (77,75) 0 values, 44 unsatisfiable literals, and 0 valid clauses are removed
94.13/77.98	c (77,75) CSPinCNF Propagation End
94.13/77.98	c (77,75) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
94.13/77.98	c (77,75) Heap : 2759 MiB used (max 21648 MiB), NonHeap : 28 MiB used (max 0 MiB)
94.13/77.98	c (77,75) Simplify CSPinCNF Begin
94.13/78.00	c (77,75) Simplify CSPinCNF End
94.13/78.00	c (77,75) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
94.13/78.00	c (77,75) Heap : 2759 MiB used (max 21648 MiB), NonHeap : 28 MiB used (max 0 MiB)
94.13/78.00	c (77,75) Calculate Precise Domain Begin
94.13/78.00	c (77,75) 0 values are removed by re-calculation
94.13/78.00	c (77,75) Calculate Precise Domain End
94.13/78.00	c (77,75) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
94.13/78.00	c (77,75) Heap : 2759 MiB used (max 21648 MiB), NonHeap : 28 MiB used (max 0 MiB)
94.13/78.00	c (77,75) CSPinCNF to SatSolver Begin
94.60/78.08	c (77,75) 146 (10 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
94.60/78.09	c (77,75) 292 (20 %) CSP clauses are encoded (0 SAT variables, 715 SAT clauses)
94.60/78.10	c (77,75) 438 (30 %) CSP clauses are encoded (0 SAT variables, 861 SAT clauses)
94.97/78.11	c (77,75) 584 (40 %) CSP clauses are encoded (0 SAT variables, 1007 SAT clauses)
94.97/78.11	c (77,75) 730 (50 %) CSP clauses are encoded (0 SAT variables, 1153 SAT clauses)
94.97/78.12	c (77,75) 876 (60 %) CSP clauses are encoded (0 SAT variables, 1299 SAT clauses)
94.97/78.13	c (77,75) 1022 (70 %) CSP clauses are encoded (0 SAT variables, 1445 SAT clauses)
94.97/78.13	c (77,75) 1168 (80 %) CSP clauses are encoded (0 SAT variables, 1591 SAT clauses)
94.97/78.14	c (77,75) 1314 (90 %) CSP clauses are encoded (0 SAT variables, 1737 SAT clauses)
94.97/78.14	c (77,75) 1460 (100 %) CSP clauses are encoded (0 SAT variables, 1883 SAT clauses)
94.97/78.14	c (77,75) CSPinCNF to SatSolver End
94.97/78.14	c (77,75) Heap : 2759 MiB used (max 21648 MiB), NonHeap : 29 MiB used (max 0 MiB)
94.97/78.14	c (77,75) 860 bool, 1884 clause
94.97/78.14	c (77,75) Export Begin
95.21/78.24	c (77,75) Export to HOME/scop-18134-serial-file.bin
95.21/78.24	c (77,75) Export End
95.21/78.24	c (77,75) Export File Size: 0.02 MB
95.21/78.24	c (77,75) 10,10,77,77,77,77,77,STOP-AFTER(DIMACS)
95.21/78.24	c END-Prog: Sat Sep 14 05:30:11 CEST 2019
95.21/78.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18134-serial-file.bin
95.32/78.75	c (0,0) Read Serial File Begin
95.32/78.75	c (0,0) HOME/scop-18134-serial-file.bin
95.32/78.97	c (0,0) Read Serial File End
95.32/78.98	
95.32/78.98	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
95.32/78.98	(Solving Process)
95.32/78.98	
95.32/79.00	c BEGIN-Prog: Sat Sep 14 05:30:12 CEST 2019
95.32/79.00	c PID: 18171
95.32/79.00	c IP: 172.20.3.104
95.32/79.00	c HOST: node104.alineos.net
96.30/79.01	c (0,0) SatSolver.solve Begin
96.30/79.01	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392387-1568435949.xml-scop-18137.cnf
96.30/79.03	c (0,0) c
96.30/79.03	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)
96.30/79.03	c (0,0) c
96.30/79.03	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
96.30/79.03	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
96.30/79.03	c (0,0) c ========================================[ Problem Statistics ]===========================================
96.30/79.04	c (0,0) c |                                                                                                       |
96.30/79.04	c (0,0) c |  Number of variables:           860                                                                   |
96.30/79.04	c (0,0) c |  Number of clauses:            1884                                                                   |
96.30/79.04	c (0,0) c |  Parse time:                   0.00 s                                                                 |
96.30/79.04	c (0,0) c |                                                                                                       |
96.30/79.04	c (0,0) c |  Simplification time:          0.00 s                                                                 |
96.30/79.04	c (0,0) c |                                                                                                       |
96.30/79.04	c (0,0) c |  Generating clones                                                                                    |
96.30/79.04	c (0,0) c |  all clones generated. Memory =    24.35Mb.                                                           |
96.30/79.04	c (0,0) c ========================================================================================================|
96.30/79.04	c (0,0) c
96.30/79.04	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
96.30/79.04	c (0,0) c
96.30/79.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.04	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
96.30/79.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.04	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
96.30/79.04	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
96.30/79.04	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
96.30/79.04	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
96.30/79.04	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
96.30/79.04	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
96.30/79.04	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
96.30/79.04	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
96.30/79.04	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
96.30/79.04	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
96.30/79.04	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
96.30/79.04	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
96.30/79.04	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
96.30/79.04	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
96.30/79.04	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
96.30/79.04	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.05	c (0,0) c
96.30/79.05	c (0,0) c real time : 0.021883 s
96.30/79.05	c (0,0) c cpu time  : 0.066722 s
96.30/79.05	c (0,0) c
96.30/79.05	c (0,0) c
96.30/79.05	c (0,0) c
96.30/79.05	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
96.30/79.05	c (0,0) c
96.30/79.05	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.05	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
96.30/79.05	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.05	c (0,0) c | Conflicts     |           11965 |       1540 |       1510 |       1176 |       1211 |       2320 |       1269 |       1655 |       1284 |
96.30/79.05	c (0,0) c | Decisions     |           15348 |       1993 |       1992 |       1583 |       1624 |       2755 |       1634 |       2087 |       1680 |
96.30/79.05	c (0,0) c | Propagations  |          102981 |      13255 |      12545 |      10006 |      10346 |      20404 |      11301 |      13766 |      11358 |
96.30/79.05	c (0,0) c | ReduceDBs     |               1 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |
96.30/79.05	c (0,0) c | SimpDBs       |              18 |          3 |          2 |          2 |          2 |          3 |          2 |          2 |          2 |
96.30/79.05	c (0,0) c | Restarts      |              13 |          5 |          1 |          1 |          1 |          2 |          1 |          1 |          1 |
96.30/79.05	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.05	c (0,0) c | PropBinClauses|          131703 |      17343 |      16989 |      12814 |      13341 |      23522 |      13981 |      19214 |      14499 |
96.30/79.05	c (0,0) c | PropPreBlocker|         2271042 |     280150 |     265874 |     198732 |     186560 |     570332 |     217228 |     345064 |     207102 |
96.30/79.05	c (0,0) c | PropNotBlocker|          885546 |      98829 |     101808 |      83967 |      75683 |     211306 |      92005 |     139158 |      82790 |
96.30/79.06	c (0,0) c | LitFullScans  |         4927488 |     566814 |     577425 |     442542 |     410226 |    1222480 |     485774 |     765144 |     457083 |
96.30/79.06	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | DecisionLevel0|              86 |         18 |          9 |         12 |          8 |         11 |          8 |         11 |          9 |
96.30/79.06	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
96.30/79.06	c (0,0) c | Avg_Trail     |                 |         43 |         43 |         42 |         42 |         44 |         43 |         44 |         43 |
96.30/79.06	c (0,0) c | Avg_DL        |                 |          7 |          7 |          6 |          6 |          7 |          7 |          7 |          6 |
96.30/79.06	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.06	c (0,0) c | Exported      |             781 |        157 |         92 |         94 |        105 |         93 |         61 |        100 |         79 |
96.30/79.06	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
96.30/79.06	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.06	c (0,0) c | Unaries       |                 |         13 |          8 |         11 |          7 |          9 |          7 |         10 |          8 |
96.30/79.06	c (0,0) c | Binaries      |                 |         39 |         20 |         30 |         26 |         26 |         16 |         21 |         20 |
96.30/79.06	c (0,0) c | Glues         |                 |        157 |         92 |         94 |        105 |         93 |         61 |        100 |         79 |
96.30/79.06	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.06	c (0,0) c | Orig_Seen     |           206 % |        232 |        233 |        221 |        223 |        228 |        220 |        232 |        224 |
96.30/79.06	c (0,0) c | Diff Orig seen|                 |      X     |          1 | -       11 | -        9 | -        4 | -       12 | -        0 | -        8 |
96.30/79.06	c (0,0) c | Hamming       |             2 % |      X     |         19 |         21 |         24 |         21 |         23 |         19 |         18 |
96.30/79.06	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.06	c (0,0) c | RunningTime   |                 |    0.0  99%|    0.0  99%|    0.0  99%|    0.0  98%|    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|
96.30/79.06	c (0,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%|
96.30/79.06	c (0,0) c | ExchangingTime|                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
96.30/79.06	c (0,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%|
96.30/79.06	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
96.30/79.06	c (0,0) c | PropagationTim|                 |    0.0  68%|    0.0  65%|    0.0  73%|    0.0  76%|    0.0  66%|    0.0  79%|    0.0  73%|    0.0  61%|
96.30/79.06	c (0,0) c | AnalysisTime  |                 |    0.0  17%|    0.0  22%|    0.0  16%|    0.0  15%|    0.0  20%|    0.0  13%|    0.0  17%|    0.0  24%|
96.30/79.06	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|
96.30/79.06	c (0,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   2%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|
96.30/79.06	c (0,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%|
96.30/79.06	c (0,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%|
96.30/79.06	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.06	c (0,0) c
96.30/79.06	c (0,0) c
96.30/79.06	c (0,0) c Threads : 8
96.30/79.06	c (0,0) c Winner : 0
96.30/79.06	c (0,0) c Conflicts_0 : 1540
96.30/79.06	c (0,0) c Conflicts_1 : 1510
96.30/79.06	c (0,0) c Conflicts_2 : 1176
96.30/79.06	c (0,0) c Conflicts_3 : 1211
96.30/79.06	c (0,0) c Conflicts_4 : 2320
96.30/79.06	c (0,0) c Conflicts_5 : 1269
96.30/79.06	c (0,0) c Conflicts_6 : 1655
96.30/79.06	c (0,0) c Conflicts_7 : 1284
96.30/79.06	c (0,0) c Conflicts_total : 11965
96.30/79.06	c (0,0) c Conflicts_winner : 1540
96.30/79.06	c (0,0) c Decisions_0 : 1993
96.30/79.06	c (0,0) c Decisions_1 : 1992
96.30/79.06	c (0,0) c Decisions_2 : 1583
96.30/79.06	c (0,0) c Decisions_3 : 1624
96.30/79.06	c (0,0) c Decisions_4 : 2755
96.30/79.06	c (0,0) c Decisions_5 : 1634
96.30/79.06	c (0,0) c Decisions_6 : 2087
96.30/79.06	c (0,0) c Decisions_7 : 1680
96.30/79.06	c (0,0) c Decisions_total : 15348
96.30/79.06	c (0,0) c Decisions_winner : 1993
96.30/79.06	c (0,0) c Propagations_0 : 13255
96.30/79.06	c (0,0) c Propagations_1 : 12545
96.30/79.06	c (0,0) c Propagations_2 : 10006
96.30/79.06	c (0,0) c Propagations_3 : 10346
96.30/79.06	c (0,0) c Propagations_4 : 20404
96.30/79.06	c (0,0) c Propagations_5 : 11301
96.30/79.06	c (0,0) c Propagations_6 : 13766
96.30/79.06	c (0,0) c Propagations_7 : 11358
96.30/79.06	c (0,0) c Propagations_total : 102981
96.30/79.06	c (0,0) c Propagations_winner : 13255
96.30/79.06	c (0,0) c ReduceDBs_0 : 0
96.30/79.06	c (0,0) c ReduceDBs_1 : 0
96.30/79.06	c (0,0) c ReduceDBs_2 : 0
96.30/79.06	c (0,0) c ReduceDBs_3 : 0
96.30/79.06	c (0,0) c ReduceDBs_4 : 1
96.30/79.06	c (0,0) c ReduceDBs_5 : 0
96.30/79.06	c (0,0) c ReduceDBs_6 : 0
96.30/79.06	c (0,0) c ReduceDBs_7 : 0
96.30/79.06	c (0,0) c ReduceDBs_total : 1
96.30/79.06	c (0,0) c ReduceDBs_winner : 0
96.30/79.06	c (0,0) c SimpDBs_0 : 3
96.30/79.06	c (0,0) c SimpDBs_1 : 2
96.30/79.06	c (0,0) c SimpDBs_2 : 2
96.30/79.06	c (0,0) c SimpDBs_3 : 2
96.30/79.06	c (0,0) c SimpDBs_4 : 3
96.30/79.06	c (0,0) c SimpDBs_5 : 2
96.30/79.06	c (0,0) c SimpDBs_6 : 2
96.30/79.06	c (0,0) c SimpDBs_7 : 2
96.30/79.06	c (0,0) c SimpDBs_total : 18
96.30/79.06	c (0,0) c SimpDBs_winner : 3
96.30/79.06	c (0,0) c Restarts_0 : 5
96.30/79.06	c (0,0) c Restarts_1 : 1
96.30/79.06	c (0,0) c Restarts_2 : 1
96.30/79.06	c (0,0) c Restarts_3 : 1
96.30/79.06	c (0,0) c Restarts_4 : 2
96.30/79.06	c (0,0) c Restarts_5 : 1
96.30/79.06	c (0,0) c Restarts_6 : 1
96.30/79.06	c (0,0) c Restarts_7 : 1
96.30/79.06	c (0,0) c Restarts_total : 13
96.30/79.06	c (0,0) c Restarts_winner : 5
96.30/79.06	c (0,0) c ForcedImports_0 : 0
96.30/79.06	c (0,0) c ForcedImports_1 : 0
96.30/79.06	c (0,0) c ForcedImports_2 : 0
96.30/79.06	c (0,0) c ForcedImports_3 : 0
96.30/79.06	c (0,0) c ForcedImports_4 : 0
96.30/79.06	c (0,0) c ForcedImports_5 : 0
96.30/79.06	c (0,0) c ForcedImports_6 : 0
96.30/79.06	c (0,0) c ForcedImports_7 : 0
96.30/79.06	c (0,0) c ForcedImports_total : 0
96.30/79.06	c (0,0) c ForcedImports_winner : 0
96.30/79.06	c (0,0) c PropsBinClauses_0 : 17343
96.30/79.06	c (0,0) c PropsBinClauses_1 : 16989
96.30/79.06	c (0,0) c PropsBinClauses_2 : 12814
96.30/79.06	c (0,0) c PropsBinClauses_3 : 13341
96.30/79.06	c (0,0) c PropsBinClauses_4 : 23522
96.30/79.06	c (0,0) c PropsBinClauses_5 : 13981
96.30/79.06	c (0,0) c PropsBinClauses_6 : 19214
96.30/79.06	c (0,0) c PropsBinClauses_7 : 14499
96.30/79.06	c (0,0) c PropsBinClauses_total : 131703
96.30/79.06	c (0,0) c PropsBinClauses_winner : 17343
96.30/79.06	c (0,0) c PropsPreBlocker_0 : 280150
96.30/79.06	c (0,0) c PropsPreBlocker_1 : 265874
96.30/79.06	c (0,0) c PropsPreBlocker_2 : 198732
96.30/79.06	c (0,0) c PropsPreBlocker_3 : 186560
96.30/79.06	c (0,0) c PropsPreBlocker_4 : 570332
96.30/79.06	c (0,0) c PropsPreBlocker_5 : 217228
96.30/79.06	c (0,0) c PropsPreBlocker_6 : 345064
96.30/79.06	c (0,0) c PropsPreBlocker_7 : 207102
96.30/79.06	c (0,0) c PropsPreBlocker_total : 2271042
96.30/79.06	c (0,0) c PropsPreBlocker_winner : 280150
96.30/79.06	c (0,0) c PropsNotBlocker_0 : 98829
96.30/79.06	c (0,0) c PropsNotBlocker_1 : 101808
96.30/79.06	c (0,0) c PropsNotBlocker_2 : 83967
96.30/79.06	c (0,0) c PropsNotBlocker_3 : 75683
96.30/79.06	c (0,0) c PropsNotBlocker_4 : 211306
96.30/79.06	c (0,0) c PropsNotBlocker_5 : 92005
96.30/79.06	c (0,0) c PropsNotBlocker_6 : 139158
96.30/79.06	c (0,0) c PropsNotBlocker_7 : 82790
96.30/79.06	c (0,0) c PropsNotBlocker_total : 885546
96.30/79.06	c (0,0) c PropsNotBlocker_winner : 98829
96.30/79.06	c (0,0) c PropsLitFullScans_0 : 566814
96.30/79.06	c (0,0) c PropsLitFullScans_1 : 577425
96.30/79.06	c (0,0) c PropsLitFullScans_2 : 442542
96.30/79.06	c (0,0) c PropsLitFullScans_3 : 410226
96.30/79.06	c (0,0) c PropsLitFullScans_4 : 1222480
96.30/79.06	c (0,0) c PropsLitFullScans_5 : 485774
96.30/79.06	c (0,0) c PropsLitFullScans_6 : 765144
96.30/79.06	c (0,0) c PropsLitFullScans_7 : 457083
96.30/79.06	c (0,0) c PropsLitFullScans_total : 4927488
96.30/79.06	c (0,0) c PropsLitFullScans_winner : 566814
96.30/79.06	c (0,0) c LitScanFractions_0 : 0
96.30/79.06	c (0,0) c LitScanFractions_1 : 0
96.30/79.06	c (0,0) c LitScanFractions_2 : 0
96.30/79.06	c (0,0) c LitScanFractions_3 : 0
96.30/79.06	c (0,0) c LitScanFractions_4 : 0
96.30/79.06	c (0,0) c LitScanFractions_5 : 0
96.30/79.06	c (0,0) c LitScanFractions_6 : 0
96.30/79.06	c (0,0) c LitScanFractions_7 : 0
96.30/79.06	c (0,0) c LitScanFractions_total : 0
96.30/79.06	c (0,0) c LitScanFractions_winner : 0
96.30/79.06	c (0,0) c DecisionLevel0_0 : 18
96.30/79.06	c (0,0) c DecisionLevel0_1 : 9
96.30/79.06	c (0,0) c DecisionLevel0_2 : 12
96.30/79.06	c (0,0) c DecisionLevel0_3 : 8
96.30/79.06	c (0,0) c DecisionLevel0_4 : 11
96.30/79.06	c (0,0) c DecisionLevel0_5 : 8
96.30/79.06	c (0,0) c DecisionLevel0_6 : 11
96.30/79.06	c (0,0) c DecisionLevel0_7 : 9
96.30/79.06	c (0,0) c DecisionLevel0_total : 86
96.30/79.06	c (0,0) c DecisionLevel0_winner : 18
96.30/79.06	c (0,0) c Periods_0 : 0
96.30/79.06	c (0,0) c Periods_1 : 0
96.30/79.06	c (0,0) c Periods_2 : 0
96.30/79.06	c (0,0) c Periods_3 : 0
96.30/79.06	c (0,0) c Periods_4 : 0
96.30/79.06	c (0,0) c Periods_5 : 0
96.30/79.06	c (0,0) c Periods_6 : 0
96.30/79.06	c (0,0) c Periods_7 : 0
96.30/79.06	c (0,0) c Periods_total : 0
96.30/79.06	c (0,0) c Periods_winner : 0
96.30/79.06	c (0,0) c Margin_0 : 20
96.30/79.06	c (0,0) c Margin_1 : 20
96.30/79.06	c (0,0) c Margin_2 : 20
96.30/79.06	c (0,0) c Margin_3 : 20
96.30/79.06	c (0,0) c Margin_4 : 20
96.30/79.06	c (0,0) c Margin_5 : 20
96.30/79.06	c (0,0) c Margin_6 : 20
96.30/79.06	c (0,0) c Margin_7 : 20
96.30/79.06	c (0,0) c Margin_total : 160
96.30/79.06	c (0,0) c Margin_winner : 20
96.30/79.06	c (0,0) c Exported_0 : 157
96.30/79.06	c (0,0) c Exported_1 : 92
96.30/79.06	c (0,0) c Exported_2 : 94
96.30/79.06	c (0,0) c Exported_3 : 105
96.30/79.06	c (0,0) c Exported_4 : 93
96.30/79.06	c (0,0) c Exported_5 : 61
96.30/79.06	c (0,0) c Exported_6 : 100
96.30/79.06	c (0,0) c Exported_7 : 79
96.30/79.06	c (0,0) c Exported_total : 781
96.30/79.06	c (0,0) c Exported_winner : 157
96.30/79.06	c (0,0) c Imported_0 : 0
96.30/79.06	c (0,0) c Imported_1 : 0
96.30/79.06	c (0,0) c Imported_2 : 0
96.30/79.06	c (0,0) c Imported_3 : 0
96.30/79.06	c (0,0) c Imported_4 : 0
96.30/79.06	c (0,0) c Imported_5 : 0
96.30/79.06	c (0,0) c Imported_6 : 0
96.30/79.06	c (0,0) c Imported_7 : 0
96.30/79.06	c (0,0) c Imported_total : 0
96.30/79.06	c (0,0) c Imported_winner : 0
96.30/79.06	c (0,0) c Good_0 : 0
96.30/79.06	c (0,0) c Good_1 : 0
96.30/79.06	c (0,0) c Good_2 : 0
96.30/79.06	c (0,0) c Good_3 : 0
96.30/79.06	c (0,0) c Good_4 : 0
96.30/79.06	c (0,0) c Good_5 : 0
96.30/79.06	c (0,0) c Good_6 : 0
96.30/79.06	c (0,0) c Good_7 : 0
96.30/79.06	c (0,0) c Good_total : 0
96.30/79.06	c (0,0) c Good_winner : 0
96.30/79.06	c (0,0) c Purge_0 : 0
96.30/79.06	c (0,0) c Purge_1 : 0
96.30/79.06	c (0,0) c Purge_2 : 0
96.30/79.06	c (0,0) c Purge_3 : 0
96.30/79.06	c (0,0) c Purge_4 : 0
96.30/79.06	c (0,0) c Purge_5 : 0
96.30/79.06	c (0,0) c Purge_6 : 0
96.30/79.06	c (0,0) c Purge_7 : 0
96.30/79.06	c (0,0) c Purge_total : 0
96.30/79.06	c (0,0) c Purge_winner : 0
96.30/79.06	c (0,0) c Promoted_0 : 0
96.30/79.06	c (0,0) c Promoted_1 : 0
96.30/79.06	c (0,0) c Promoted_2 : 0
96.30/79.06	c (0,0) c Promoted_3 : 0
96.30/79.06	c (0,0) c Promoted_4 : 0
96.30/79.06	c (0,0) c Promoted_5 : 0
96.30/79.06	c (0,0) c Promoted_6 : 0
96.30/79.06	c (0,0) c Promoted_7 : 0
96.30/79.06	c (0,0) c Promoted_total : 0
96.30/79.06	c (0,0) c Promoted_winner : 0
96.30/79.06	c (0,0) c Remove_Imp_0 : 0
96.30/79.06	c (0,0) c Remove_Imp_1 : 0
96.30/79.06	c (0,0) c Remove_Imp_2 : 0
96.30/79.06	c (0,0) c Remove_Imp_3 : 0
96.30/79.06	c (0,0) c Remove_Imp_4 : 0
96.30/79.06	c (0,0) c Remove_Imp_5 : 0
96.30/79.06	c (0,0) c Remove_Imp_6 : 0
96.30/79.06	c (0,0) c Remove_Imp_7 : 0
96.30/79.07	c (0,0) c Remove_Imp_total : 0
96.30/79.07	c (0,0) c Remove_Imp_winner : 0
96.30/79.07	c (0,0) c Blocked_Reuse_0 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_1 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_2 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_3 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_4 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_5 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_6 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_7 : 0
96.30/79.07	c (0,0) c Blocked_Reuse_total : 0
96.30/79.07	c (0,0) c Blocked_Reuse_winner : 0
96.30/79.07	c (0,0) c Unaries_0 : 13
96.30/79.07	c (0,0) c Unaries_1 : 8
96.30/79.07	c (0,0) c Unaries_2 : 11
96.30/79.07	c (0,0) c Unaries_3 : 7
96.30/79.07	c (0,0) c Unaries_4 : 9
96.30/79.07	c (0,0) c Unaries_5 : 7
96.30/79.07	c (0,0) c Unaries_6 : 10
96.30/79.07	c (0,0) c Unaries_7 : 8
96.30/79.07	c (0,0) c Unaries_total : 73
96.30/79.07	c (0,0) c Unaries_winner : 13
96.30/79.07	c (0,0) c Binaries_0 : 39
96.30/79.07	c (0,0) c Binaries_1 : 20
96.30/79.07	c (0,0) c Binaries_2 : 30
96.30/79.07	c (0,0) c Binaries_3 : 26
96.30/79.07	c (0,0) c Binaries_4 : 26
96.30/79.07	c (0,0) c Binaries_5 : 16
96.30/79.07	c (0,0) c Binaries_6 : 21
96.30/79.07	c (0,0) c Binaries_7 : 20
96.30/79.07	c (0,0) c Binaries_total : 198
96.30/79.07	c (0,0) c Binaries_winner : 39
96.30/79.07	c (0,0) c Glues_0 : 157
96.30/79.07	c (0,0) c Glues_1 : 92
96.30/79.07	c (0,0) c Glues_2 : 94
96.30/79.07	c (0,0) c Glues_3 : 105
96.30/79.07	c (0,0) c Glues_4 : 93
96.30/79.07	c (0,0) c Glues_5 : 61
96.30/79.07	c (0,0) c Glues_6 : 100
96.30/79.07	c (0,0) c Glues_7 : 79
96.30/79.07	c (0,0) c Glues_total : 781
96.30/79.07	c (0,0) c Glues_winner : 157
96.30/79.07	c (0,0) c RunningTime_0 : 0.010841
96.30/79.07	c (0,0) c RunningTime_1 : 0.008659
96.30/79.07	c (0,0) c RunningTime_2 : 0.008136
96.30/79.07	c (0,0) c RunningTime_3 : 0.010218
96.30/79.07	c (0,0) c RunningTime_4 : 0.016008
96.30/79.07	c (0,0) c RunningTime_5 : 0.010995
96.30/79.07	c (0,0) c RunningTime_6 : 0.012573
96.30/79.07	c (0,0) c RunningTime_7 : 0.006438
96.30/79.07	c (0,0) c RunningTime_total : 0.083867
96.30/79.07	c (0,0) c RunningTime_winner : 0.010841
96.30/79.07	c (0,0) c WaitingTime_0 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_1 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_2 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_3 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_4 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_5 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_6 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_7 : 0.000000
96.30/79.07	c (0,0) c WaitingTime_total : 0.000000
96.30/79.07	c (0,0) c WaitingTime_winner : 0.000000
96.30/79.07	c (0,0) c ExchangingTime_0 : 0.000154
96.30/79.07	c (0,0) c ExchangingTime_1 : 0.000107
96.30/79.07	c (0,0) c ExchangingTime_2 : 0.000086
96.30/79.07	c (0,0) c ExchangingTime_3 : 0.000208
96.30/79.07	c (0,0) c ExchangingTime_4 : 0.000119
96.30/79.07	c (0,0) c ExchangingTime_5 : 0.000074
96.30/79.07	c (0,0) c ExchangingTime_6 : 0.000095
96.30/79.07	c (0,0) c ExchangingTime_7 : 0.000078
96.30/79.07	c (0,0) c ExchangingTime_total : 0.000922
96.30/79.07	c (0,0) c ExchangingTime_winner : 0.000154
96.30/79.07	c (0,0) c PeriodProcTime_0 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_1 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_2 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_3 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_4 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_5 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_6 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_7 : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_total : 0.000000
96.30/79.07	c (0,0) c PeriodProcTime_winner : 0.000000
96.30/79.07	c (0,0) c SolvingTime_0 : 0.010994
96.30/79.07	c (0,0) c SolvingTime_1 : 0.008766
96.30/79.07	c (0,0) c SolvingTime_2 : 0.008222
96.30/79.07	c (0,0) c SolvingTime_3 : 0.010426
96.30/79.07	c (0,0) c SolvingTime_4 : 0.016127
96.30/79.07	c (0,0) c SolvingTime_5 : 0.011069
96.30/79.07	c (0,0) c SolvingTime_6 : 0.012669
96.30/79.07	c (0,0) c SolvingTime_7 : 0.006516
96.30/79.07	c (0,0) c SolvingTime_total : 0.084789
96.30/79.07	c (0,0) c SolvingTime_winner : 0.010994
96.30/79.07	c (0,0) c PropagationTime_0 : 0.007514
96.30/79.07	c (0,0) c PropagationTime_1 : 0.005718
96.30/79.07	c (0,0) c PropagationTime_2 : 0.005961
96.30/79.07	c (0,0) c PropagationTime_3 : 0.007886
96.30/79.07	c (0,0) c PropagationTime_4 : 0.010563
96.30/79.07	c (0,0) c PropagationTime_5 : 0.008690
96.30/79.07	c (0,0) c PropagationTime_6 : 0.009309
96.30/79.07	c (0,0) c PropagationTime_7 : 0.004004
96.30/79.07	c (0,0) c PropagationTime_total : 0.059645
96.30/79.07	c (0,0) c PropagationTime_winner : 0.007514
96.30/79.07	c (0,0) c AnalysisTime_0 : 0.001855
96.30/79.07	c (0,0) c AnalysisTime_1 : 0.001894
96.30/79.07	c (0,0) c AnalysisTime_2 : 0.001354
96.30/79.07	c (0,0) c AnalysisTime_3 : 0.001517
96.30/79.07	c (0,0) c AnalysisTime_4 : 0.003278
96.30/79.07	c (0,0) c AnalysisTime_5 : 0.001491
96.30/79.07	c (0,0) c AnalysisTime_6 : 0.002149
96.30/79.07	c (0,0) c AnalysisTime_7 : 0.001550
96.30/79.07	c (0,0) c AnalysisTime_total : 0.015087
96.30/79.07	c (0,0) c AnalysisTime_winner : 0.001855
96.30/79.07	c (0,0) c ReductionTime_0 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_1 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_2 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_3 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_4 : 0.000239
96.30/79.07	c (0,0) c ReductionTime_5 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_6 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_7 : 0.000000
96.30/79.07	c (0,0) c ReductionTime_total : 0.000239
96.30/79.07	c (0,0) c ReductionTime_winner : 0.000000
96.30/79.07	c (0,0) c SimplifyTime_0 : 0.000221
96.30/79.07	c (0,0) c SimplifyTime_1 : 0.000157
96.30/79.07	c (0,0) c SimplifyTime_2 : 0.000025
96.30/79.07	c (0,0) c SimplifyTime_3 : 0.000132
96.30/79.07	c (0,0) c SimplifyTime_4 : 0.000221
96.30/79.07	c (0,0) c SimplifyTime_5 : 0.000128
96.30/79.07	c (0,0) c SimplifyTime_6 : 0.000161
96.30/79.07	c (0,0) c SimplifyTime_7 : 0.000129
96.30/79.07	c (0,0) c SimplifyTime_total : 0.001174
96.30/79.07	c (0,0) c SimplifyTime_winner : 0.000221
96.30/79.07	c (0,0) c UsedRateTime_0 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_1 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_2 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_3 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_4 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_5 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_6 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_7 : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_total : 0.000000
96.30/79.07	c (0,0) c UsedRateTime_winner : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_0 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_1 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_2 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_3 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_4 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_5 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_6 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_7 : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_total : 0.000000
96.30/79.07	c (0,0) c OverlapRateTime_winner : 0.000000
96.30/79.07	c (0,0) c
96.30/79.07	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
96.30/79.07	c (0,0) c
96.30/79.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.07	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
96.30/79.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.07	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
96.30/79.07	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
96.30/79.07	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
96.30/79.07	c (0,0) c | Initial random_seed   |  108725193 |  793543347 |  359304245 | 1922107444 | 1081202146 |  949751545 |   28669100 |  879225517 |
96.30/79.07	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
96.30/79.07	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
96.30/79.07	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
96.30/79.07	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
96.30/79.07	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
96.30/79.07	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
96.30/79.07	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
96.30/79.07	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
96.30/79.07	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
96.30/79.07	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
96.30/79.07	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
96.30/79.07	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
96.30/79.07	c (0,0) 
96.30/79.07	c (0,0) s UNSATISFIABLE
96.30/79.08	c (0,0) SatSolver.solve End
96.30/79.08	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
96.30/79.08	c (0,0) Show results Begin
96.30/79.08	s UNSATISFIABLE
96.30/79.08	c (0,0) Show results End
96.30/79.08	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
96.30/79.08	c (0,0) 0,0,STOP-AFTER(ALL)
96.30/79.08	c END-Prog: Sat Sep 14 05:30:12 CEST 2019

Verifier Data


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 (10745 MiB free)
  memory of node 1: 16384 MiB (15228 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=18134, runsolver pid=18131

[startup+0.100112 s]*
/proc/loadavg: 1.01 1.02 1.46 2/210 18156
/proc/meminfo: memFree=26502948/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419852259 115843072 349 33554432000 4194304 5098028 140732009076064 140732009073320 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 349 296 221 0 87 0
[pid=18137] ppid=18134 vsize=27314120 memory=105100 CPUtime=0.09 cores=0-7
/proc/18137/stat : 18137 (java) S 18134 18134 15723 0 -1 1077944320 6388 0 0 0 7 2 0 0 20 0 20 0 419852260 27969658880 26275 33554432000 4194304 4196468 140724211235376 140724211217920 140020798054135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
/proc/18137/statm: 6828530 26275 2736 1 0 6790935 0
[pid=18137/tid=18138] ppid=18134 vsize=27314120 memory=576460756329955445 CPUtime=0.07 cores=0-7
/proc/18137/task/18138/stat : 18138 (java) R 18134 18134 15723 0 -1 4202560 4499 0 0 0 5 2 0 0 20 0 20 0 419852260 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020769884680 140020782134622 0 4 2 16800973 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18139] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18139/stat : 18139 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020802296848 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18140] ppid=18134 vsize=27314120 memory=3907070993959978656 CPUtime=0 cores=0-7
/proc/18137/task/18140/stat : 18140 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020633545872 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18141] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18141/stat : 18141 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020218702608 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18142] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18142/stat : 18142 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020217650064 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18143] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18143/stat : 18143 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020216597008 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18144] ppid=18134 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18144/stat : 18144 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020215544464 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18145] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18145/stat : 18145 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020214491408 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18146] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18146/stat : 18146 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 26275 33554432000 4194304 4196468 140724211235376 140020213438864 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18147] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18147/stat : 18147 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 26275 33554432000 4194304 4196468 140724211235376 140018916932336 140020798065282 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18148] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18148/stat : 18148 (java) S 18134 18134 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018752415392 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18149] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18149/stat : 18149 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018483979504 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18150] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18150/stat : 18150 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852267 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018109471184 140020798072731 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18151] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18151/stat : 18151 (java) S 18134 18134 15723 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 419852268 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018915879152 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18152] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18152/stat : 18152 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852268 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018914826608 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18153] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18153/stat : 18153 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852268 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018913773552 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18154] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18154/stat : 18154 (java) S 18134 18134 15723 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 419852268 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018912721008 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18155] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18155/stat : 18155 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852269 27969658880 26341 33554432000 4194304 4196468 140724211235376 140017611566048 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18156] ppid=18134 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18156/stat : 18156 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852269 27969658880 26341 33554432000 4194304 4196468 140724211235376 140018911669424 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106496 KiB

[startup+0.210146 s]*
/proc/loadavg: 1.01 1.02 1.46 2/210 18156
/proc/meminfo: memFree=26481300/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419852259 115843072 349 33554432000 4194304 5098028 140732009076064 140732009073320 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 349 296 221 0 87 0
[pid=18137] ppid=18134 vsize=27314120 memory=127040 CPUtime=0.22 cores=0-7
/proc/18137/stat : 18137 (java) S 18134 18134 15723 0 -1 1077944320 11967 0 0 0 18 4 0 0 20 0 20 0 419852260 27969658880 31760 33554432000 4194304 4196468 140724211235376 140724211217920 140020798054135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
/proc/18137/statm: 6828530 31760 2932 1 0 6790935 0
[pid=18137/tid=18138] ppid=18134 vsize=27315144 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/18137/task/18138/stat : 18138 (java) R 18134 18134 15723 0 -1 4202560 9715 0 0 0 15 3 0 0 20 0 20 0 419852260 27970707456 31760 33554432000 4194304 4196468 140724211235376 140020769853520 140020790794125 0 4 2 16800973 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18139] ppid=18134 vsize=27315144 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/18137/task/18139/stat : 18139 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27970707456 31779 33554432000 4194304 4196468 140724211235376 140020802296848 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18140] ppid=18134 vsize=27314120 memory=139810352195084 CPUtime=0 cores=0-7
/proc/18137/task/18140/stat : 18140 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 31779 33554432000 4194304 4196468 140724211235376 140020633545872 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18141] ppid=18134 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18141/stat : 18141 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 31779 33554432000 4194304 4196468 140724211235376 140020218702608 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18142] ppid=18134 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18142/stat : 18142 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27970707456 31779 33554432000 4194304 4196468 140724211235376 140020217650064 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18143] ppid=18134 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18143/stat : 18143 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27970707456 31779 33554432000 4194304 4196468 140724211235376 140020216597008 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18144] ppid=18134 vsize=27315144 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18144/stat : 18144 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27970707456 31779 33554432000 4194304 4196468 140724211235376 140020215544464 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18145] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18145/stat : 18145 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 31779 33554432000 4194304 4196468 140724211235376 140020214491408 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18146] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18146/stat : 18146 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 31779 33554432000 4194304 4196468 140724211235376 140020213438864 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18147] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18147/stat : 18147 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 31779 33554432000 4194304 4196468 140724211235376 140018916932336 140020798065282 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18148] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18148/stat : 18148 (java) S 18134 18134 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 31779 33554432000 4194304 4196468 140724211235376 140018752415392 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18149] ppid=18134 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18149/stat : 18149 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852264 27970707456 31779 33554432000 4194304 4196468 140724211235376 140018483979504 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18150] ppid=18134 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18150/stat : 18150 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852267 27970707456 31779 33554432000 4194304 4196468 140724211235376 140018109471184 140020798072731 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18151] ppid=18134 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18151/stat : 18151 (java) S 18134 18134 15723 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 419852268 27970707456 31779 33554432000 4194304 4196468 140724211235376 140018915879152 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18152] ppid=18134 vsize=27315144 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18152/stat : 18152 (java) S 18134 18134 15723 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 419852268 27970707456 31779 33554432000 4194304 4196468 140724211235376 140018914826608 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18153] ppid=18134 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18153/stat : 18153 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852268 27969658880 31779 33554432000 4194304 4196468 140724211235376 140018913773552 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18154] ppid=18134 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/18137/task/18154/stat : 18154 (java) S 18134 18134 15723 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 419852268 27969658880 31779 33554432000 4194304 4196468 140724211235376 140018912721008 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18155] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18155/stat : 18155 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852269 27969658880 31779 33554432000 4194304 4196468 140724211235376 140017611566048 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18156] ppid=18134 vsize=27315144 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18156/stat : 18156 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852269 27970707456 31779 33554432000 4194304 4196468 140724211235376 140018911669424 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128436 KiB

[startup+0.309573 s]*
/proc/loadavg: 1.01 1.02 1.46 3/210 18156
/proc/meminfo: memFree=26476832/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419852259 115843072 349 33554432000 4194304 5098028 140732009076064 140732009073320 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 349 296 221 0 87 0
[pid=18137] ppid=18134 vsize=27314120 memory=131028 CPUtime=0.4 cores=0-7
/proc/18137/stat : 18137 (java) S 18134 18134 15723 0 -1 1077944320 12622 0 0 0 36 4 0 0 20 0 20 0 419852260 27969658880 32757 33554432000 4194304 4196468 140724211235376 140724211217920 140020798054135 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
/proc/18137/statm: 6828530 32757 3031 1 0 6790935 0
[pid=18137/tid=18138] ppid=18134 vsize=27314120 memory=8317482817917895235 CPUtime=0.28 cores=0-7
/proc/18137/task/18138/stat : 18138 (java) R 18134 18134 15723 0 -1 4202560 10017 0 0 0 25 3 0 0 20 0 20 0 419852260 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020769879568 140020779617699 0 4 2 16800973 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18139] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18139/stat : 18139 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020802296848 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18140] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18140/stat : 18140 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020633545872 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18141] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18141/stat : 18141 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020218702608 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18142] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18142/stat : 18142 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020217650064 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18143] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18143/stat : 18143 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020216597008 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18144] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18144/stat : 18144 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020215544464 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18145] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18145/stat : 18145 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020214491408 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18146] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18146/stat : 18146 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852262 27969658880 32757 33554432000 4194304 4196468 140724211235376 140020213438864 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18147] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18147/stat : 18147 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018916932336 140020798065282 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18148] ppid=18134 vsize=27314120 memory=279620490567040 CPUtime=0 cores=0-7
/proc/18137/task/18148/stat : 18148 (java) S 18134 18134 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018752415392 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18149] ppid=18134 vsize=27314120 memory=279620490571648 CPUtime=0 cores=0-7
/proc/18137/task/18149/stat : 18149 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852264 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018483979504 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18150] ppid=18134 vsize=27314120 memory=279620490576256 CPUtime=0 cores=0-7
/proc/18137/task/18150/stat : 18150 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852267 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018109471184 140020798072731 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18151] ppid=18134 vsize=27314120 memory=279620490580864 CPUtime=0.01 cores=0-7
/proc/18137/task/18151/stat : 18151 (java) S 18134 18134 15723 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 419852268 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018915879152 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18152] ppid=18134 vsize=27314120 memory=279620490585472 CPUtime=0.01 cores=0-7
/proc/18137/task/18152/stat : 18152 (java) S 18134 18134 15723 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 419852268 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018914826608 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18153] ppid=18134 vsize=27314120 memory=279620490590080 CPUtime=0.01 cores=0-7
/proc/18137/task/18153/stat : 18153 (java) S 18134 18134 15723 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 419852268 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018913773552 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18154] ppid=18134 vsize=27314120 memory=279620490594688 CPUtime=0.07 cores=0-7
/proc/18137/task/18154/stat : 18154 (java) S 18134 18134 15723 0 -1 1077944384 582 0 0 0 7 0 0 0 20 0 20 0 419852268 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018912721008 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18155] ppid=18134 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18155/stat : 18155 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852269 27969658880 32757 33554432000 4194304 4196468 140724211235376 140017611566048 140020798064341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18156] ppid=18134 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18137/task/18156/stat : 18156 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852269 27969658880 32757 33554432000 4194304 4196468 140724211235376 140018911669424 140020798065282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132424 KiB

[startup+0.700893 s]
/proc/loadavg: 1.01 1.02 1.46 2/210 18156
/proc/meminfo: memFree=26458284/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419852259 115843072 349 33554432000 4194304 5098028 140732009076064 140732009073320 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 349 296 221 0 87 0
[pid=18137] ppid=18134 vsize=27320392 memory=166408 CPUtime=0.96 cores=0-7
/proc/18137/stat : 18137 (java) S 18134 18134 15723 0 -1 1077944320 20227 0 0 0 89 7 0 0 20 0 20 0 419852260 27976081408 41602 33554432000 4194304 4196468 140724211235376 140724211217920 140020798054135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
/proc/18137/statm: 6830098 41602 3181 1 0 6791447 0
[pid=18137/tid=18138] ppid=18134 vsize=27320392 memory=4580 CPUtime=0.66 cores=0-7
/proc/18137/task/18138/stat : 18138 (java) R 18134 18134 15723 0 -1 4202560 16940 0 0 0 60 6 0 0 20 0 20 0 419852260 27976081408 41602 33554432000 4194304 4196468 140724211235376 140020769881632 140020299620133 0 4 2 25189581 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18139] ppid=18134 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18139/stat : 18139 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27976081408 41602 33554432000 4194304 4196468 140724211235376 140020802296848 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18140] ppid=18134 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18140/stat : 18140 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852262 27976081408 41602 33554432000 4194304 4196468 140724211235376 140020633545872 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18141] ppid=18134 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/18137/task/18141/stat : 18141 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852262 27976081408 41602 33554432000 4194304 4196468 140724211235376 140020218702608 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0

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

[pid=18137/tid=18140] ppid=18134 vsize=27326612 memory=1396 CPUtime=1.77 cores=0-7
/proc/18137/task/18140/stat : 18140 (java) S 18134 18134 15723 0 -1 1077944384 2533 0 0 0 148 29 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020633545872 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18141] ppid=18134 vsize=27326612 memory=7507048 CPUtime=1.77 cores=0-7
/proc/18137/task/18141/stat : 18141 (java) S 18134 18134 15723 0 -1 1077944384 1554 0 0 0 147 30 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020218702608 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18142] ppid=18134 vsize=27326612 memory=7884792935807543893 CPUtime=1.75 cores=0-7
/proc/18137/task/18142/stat : 18142 (java) S 18134 18134 15723 0 -1 1077944384 1830 0 0 0 145 30 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020217650064 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18143] ppid=18134 vsize=27326612 memory=7884792935807543893 CPUtime=1.77 cores=0-7
/proc/18137/task/18143/stat : 18143 (java) S 18134 18134 15723 0 -1 1077944384 1538 0 0 0 145 32 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020216597008 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18144] ppid=18134 vsize=27326612 memory=6791534058613427641 CPUtime=1.77 cores=0-7
/proc/18137/task/18144/stat : 18144 (java) S 18134 18134 15723 0 -1 1077944384 1868 0 0 0 144 33 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020215544464 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18145] ppid=18134 vsize=27326612 memory=6944652177228980320 CPUtime=1.75 cores=0-7
/proc/18137/task/18145/stat : 18145 (java) S 18134 18134 15723 0 -1 1077944384 1563 0 0 0 143 32 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020214491408 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18146] ppid=18134 vsize=27326612 memory=6655300316396806240 CPUtime=1.77 cores=0-7
/proc/18137/task/18146/stat : 18146 (java) S 18134 18134 15723 0 -1 1077944384 1531 0 0 0 145 32 0 0 20 0 20 0 419852262 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140020213438864 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18147] ppid=18134 vsize=27326612 memory=6944652177228980320 CPUtime=0.01 cores=0-7
/proc/18137/task/18147/stat : 18147 (java) S 18134 18134 15723 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 419852264 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018916932336 140020798065282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18148] ppid=18134 vsize=27326612 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/18137/task/18148/stat : 18148 (java) S 18134 18134 15723 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 419852264 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018752415456 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18149] ppid=18134 vsize=27326612 memory=-7751062316387021378 CPUtime=0 cores=0-7
/proc/18137/task/18149/stat : 18149 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852264 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018483979520 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18150] ppid=18134 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/18137/task/18150/stat : 18150 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852267 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018109471184 140020798072731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18151] ppid=18134 vsize=27326612 memory=780 CPUtime=0.93 cores=0-7
/proc/18137/task/18151/stat : 18151 (java) S 18134 18134 15723 0 -1 1077944384 2911 0 0 0 92 1 0 0 20 0 20 0 419852268 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018915879152 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18152] ppid=18134 vsize=27326612 memory=3252 CPUtime=1.04 cores=0-7
/proc/18137/task/18152/stat : 18152 (java) S 18134 18134 15723 0 -1 1077944384 2577 0 0 0 102 2 0 0 20 0 20 0 419852268 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018914826608 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18153] ppid=18134 vsize=27326612 memory=1112 CPUtime=0.93 cores=0-7
/proc/18137/task/18153/stat : 18153 (java) S 18134 18134 15723 0 -1 1077944384 2628 0 0 0 93 0 0 0 20 0 20 0 419852268 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018913773552 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18154] ppid=18134 vsize=27326612 memory=5972 CPUtime=0.75 cores=0-7
/proc/18137/task/18154/stat : 18154 (java) S 18134 18134 15723 0 -1 1077944384 4002 0 0 0 74 1 0 0 20 0 20 0 419852268 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018912721008 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18155] ppid=18134 vsize=27326612 memory=7552 CPUtime=0 cores=0-7
/proc/18137/task/18155/stat : 18155 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852269 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140017611566048 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18156] ppid=18134 vsize=27326612 memory=2832 CPUtime=0.02 cores=0-7
/proc/18137/task/18156/stat : 18156 (java) S 18134 18134 15723 0 -1 1077944384 287 0 0 0 1 1 0 0 20 0 20 0 419852269 27982450688 1876762 33554432000 4194304 4196468 140724211235376 140018911669424 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
Current children cumulated CPU time: 89.55 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 7508444 KiB

[startup+76.801 s]
/proc/loadavg: 1.00 1.01 1.43 3/211 18168
/proc/meminfo: memFree=19087960/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419852259 115843072 349 33554432000 4194304 5098028 140732009076064 140732009073320 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 349 296 221 0 87 0
[pid=18137] ppid=18134 vsize=27326612 memory=7507148 CPUtime=92.8 cores=0-7
/proc/18137/stat : 18137 (java) S 18134 18134 15723 0 -1 1077944320 57706 0 0 0 8925 355 0 0 20 0 20 0 419852260 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140724211217920 140020798054135 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
/proc/18137/statm: 6831653 1876787 3280 1 0 6792983 0
[pid=18137/tid=18138] ppid=18134 vsize=27326612 memory=15176 CPUtime=74.8 cores=0-7
/proc/18137/task/18138/stat : 18138 (java) R 18134 18134 15723 0 -1 4202560 28976 0 0 0 7384 96 0 0 20 0 20 0 419852260 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020769886560 140020303518019 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18139] ppid=18134 vsize=27326612 memory=279620490966136 CPUtime=1.77 cores=0-7
/proc/18137/task/18139/stat : 18139 (java) S 18134 18134 15723 0 -1 1077944384 1916 0 0 0 147 30 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020802296848 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18140] ppid=18134 vsize=27326612 memory=1428 CPUtime=1.77 cores=0-7
/proc/18137/task/18140/stat : 18140 (java) S 18134 18134 15723 0 -1 1077944384 2533 0 0 0 148 29 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020633545872 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18141] ppid=18134 vsize=27326612 memory=1724 CPUtime=1.77 cores=0-7
/proc/18137/task/18141/stat : 18141 (java) S 18134 18134 15723 0 -1 1077944384 1554 0 0 0 147 30 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020218702608 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18142] ppid=18134 vsize=27326612 memory=704 CPUtime=1.75 cores=0-7
/proc/18137/task/18142/stat : 18142 (java) S 18134 18134 15723 0 -1 1077944384 1830 0 0 0 145 30 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020217650064 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18143] ppid=18134 vsize=27326612 memory=1056 CPUtime=1.77 cores=0-7
/proc/18137/task/18143/stat : 18143 (java) S 18134 18134 15723 0 -1 1077944384 1538 0 0 0 145 32 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020216597008 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18144] ppid=18134 vsize=27326612 memory=1556 CPUtime=1.77 cores=0-7
/proc/18137/task/18144/stat : 18144 (java) S 18134 18134 15723 0 -1 1077944384 1868 0 0 0 144 33 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020215544464 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18145] ppid=18134 vsize=27326612 memory=0 CPUtime=1.75 cores=0-7
/proc/18137/task/18145/stat : 18145 (java) S 18134 18134 15723 0 -1 1077944384 1563 0 0 0 143 32 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020214491408 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18146] ppid=18134 vsize=27326612 memory=279620491736640 CPUtime=1.77 cores=0-7
/proc/18137/task/18146/stat : 18146 (java) S 18134 18134 15723 0 -1 1077944384 1531 0 0 0 145 32 0 0 20 0 20 0 419852262 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140020213438864 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18147] ppid=18134 vsize=27326612 memory=279620491736704 CPUtime=0.01 cores=0-7
/proc/18137/task/18147/stat : 18147 (java) S 18134 18134 15723 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 419852264 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018916932336 140020798065282 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18148] ppid=18134 vsize=27326612 memory=279620491736768 CPUtime=0 cores=0-7
/proc/18137/task/18148/stat : 18148 (java) S 18134 18134 15723 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 419852264 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018752415456 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18149] ppid=18134 vsize=27326612 memory=279620490868256 CPUtime=0 cores=0-7
/proc/18137/task/18149/stat : 18149 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419852264 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018483979520 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18150] ppid=18134 vsize=27326612 memory=1984 CPUtime=0 cores=0-7
/proc/18137/task/18150/stat : 18150 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419852267 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018109471184 140020798072731 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18151] ppid=18134 vsize=27326612 memory=2480 CPUtime=0.94 cores=0-7
/proc/18137/task/18151/stat : 18151 (java) S 18134 18134 15723 0 -1 1077944384 2914 0 0 0 93 1 0 0 20 0 20 0 419852268 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018915879152 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18152] ppid=18134 vsize=27326612 memory=1768 CPUtime=1.05 cores=0-7
/proc/18137/task/18152/stat : 18152 (java) S 18134 18134 15723 0 -1 1077944384 2583 0 0 0 103 2 0 0 20 0 20 0 419852268 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018914826608 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18153] ppid=18134 vsize=27326612 memory=111632 CPUtime=0.95 cores=0-7
/proc/18137/task/18153/stat : 18153 (java) S 18134 18134 15723 0 -1 1077944384 2668 0 0 0 95 0 0 0 20 0 20 0 419852268 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018913773552 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18154] ppid=18134 vsize=27326612 memory=796 CPUtime=0.75 cores=0-7
/proc/18137/task/18154/stat : 18154 (java) S 18134 18134 15723 0 -1 1077944384 4121 0 0 0 74 1 0 0 20 0 20 0 419852268 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018912721008 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18155] ppid=18134 vsize=27326612 memory=1808 CPUtime=0 cores=0-7
/proc/18137/task/18155/stat : 18155 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419852269 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140017611566048 140020798064341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
[pid=18137/tid=18156] ppid=18134 vsize=27326612 memory=1396 CPUtime=0.02 cores=0-7
/proc/18137/task/18156/stat : 18156 (java) S 18134 18134 15723 0 -1 1077944384 289 0 0 0 1 1 0 0 20 0 20 0 419852269 27982450688 1876787 33554432000 4194304 4196468 140724211235376 140018911669424 140020798065282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15867904 140724211241707 140724211242134 140724211242134 140724211245007 0
Current children cumulated CPU time: 92.8 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 7508544 KiB

[startup+78.4004 s]
/proc/loadavg: 1.00 1.01 1.43 6/212 18170
/proc/meminfo: memFree=19079548/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1476 CPUtime=95.32 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 583 64501 0 0 0 0 9171 361 20 0 1 0 419852259 115843072 369 33554432000 4194304 5098028 140732009076064 140732009072808 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 95.32 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+78.8003 s]
/proc/loadavg: 1.00 1.01 1.43 6/212 18170
/proc/meminfo: memFree=19079548/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1476 CPUtime=95.32 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 583 64501 0 0 0 0 9171 361 20 0 1 0 419852259 115843072 369 33554432000 4194304 5098028 140732009076064 140732009072808 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 95.32 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+79.0002 s]*
/proc/loadavg: 1.00 1.01 1.43 2/212 18190
/proc/meminfo: memFree=26507152/32770624 swapFree=66977616/67108860
[pid=18134] ppid=18131 vsize=113128 memory=1476 CPUtime=95.32 cores=0-7
/proc/18134/stat : 18134 (scop.sh) S 18131 18134 15723 0 -1 4202496 583 64501 0 0 0 0 9171 361 20 0 1 0 419852259 115843072 369 33554432000 4194304 5098028 140732009076064 140732009072808 139842679984764 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30244864 140732009083685 140732009084012 140732009084012 140732009086925 0
/proc/18134/statm: 28282 369 311 221 0 87 0
[pid=18171] ppid=18134 vsize=7756476 memory=101876 CPUtime=0.98 cores=0-7
/proc/18171/stat : 18171 (java) S 18134 18134 15723 0 -1 1077944320 19441 0 0 0 91 7 0 0 20 0 20 0 419860088 7942631424 25469 33554432000 4194304 4196468 140720962553424 140720962535968 139978035883767 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
/proc/18171/statm: 1939119 25469 3125 1 0 1900463 0
[pid=18171/tid=18172] ppid=18134 vsize=7756476 memory=177 CPUtime=0.69 cores=0-7
/proc/18171/task/18172/stat : 18172 (java) R 18134 18134 15723 0 -1 4202560 16908 0 0 0 64 5 0 0 20 0 20 0 419860089 7942631424 25469 33554432000 4194304 4196468 140720962553424 139978007714392 139978019927397 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18173] ppid=18134 vsize=7756476 memory=177 CPUtime=0 cores=0-7
/proc/18171/task/18173/stat : 18173 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139978040126224 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18174] ppid=18134 vsize=7756476 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/18171/task/18174/stat : 18174 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977840294800 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18175] ppid=18134 vsize=7756476 memory=7507148 CPUtime=0 cores=0-7
/proc/18171/task/18175/stat : 18175 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977839242256 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18176] ppid=18134 vsize=7756476 memory=2120 CPUtime=0 cores=0-7
/proc/18171/task/18176/stat : 18176 (java) S 18134 18134 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977838189712 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18177] ppid=18134 vsize=7756476 memory=532 CPUtime=0 cores=0-7
/proc/18171/task/18177/stat : 18177 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977837136144 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18178] ppid=18134 vsize=7756476 memory=1564 CPUtime=0 cores=0-7
/proc/18171/task/18178/stat : 18178 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977836083600 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18179] ppid=18134 vsize=7756476 memory=924 CPUtime=0 cores=0-7
/proc/18171/task/18179/stat : 18179 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977835031056 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18180] ppid=18134 vsize=7756476 memory=1808 CPUtime=0 cores=0-7
/proc/18171/task/18180/stat : 18180 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419860090 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977833978512 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18181] ppid=18134 vsize=7756476 memory=920 CPUtime=0 cores=0-7
/proc/18171/task/18181/stat : 18181 (java) S 18134 18134 15723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419860091 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977263589872 139978035894914 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18182] ppid=18134 vsize=7756476 memory=4212 CPUtime=0 cores=0-7
/proc/18171/task/18182/stat : 18182 (java) S 18134 18134 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419860092 7942631424 25469 33554432000 4194304 4196468 140720962553424 139976339613088 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18183] ppid=18134 vsize=7756476 memory=4108 CPUtime=0 cores=0-7
/proc/18171/task/18183/stat : 18183 (java) S 18134 18134 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419860092 7942631424 25469 33554432000 4194304 4196468 140720962553424 139976205391344 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18184] ppid=18134 vsize=7756476 memory=1412 CPUtime=0 cores=0-7
/proc/18171/task/18184/stat : 18184 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139975830887120 139978035902363 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18185] ppid=18134 vsize=7756476 memory=3100 CPUtime=0.04 cores=0-7
/proc/18171/task/18185/stat : 18185 (java) S 18134 18134 15723 0 -1 1077944384 385 0 0 0 4 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977262536688 139978035894914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18186] ppid=18134 vsize=7756476 memory=1396 CPUtime=0.02 cores=0-7
/proc/18171/task/18186/stat : 18186 (java) S 18134 18134 15723 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977261484144 139978035894914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18187] ppid=18134 vsize=7756476 memory=14048 CPUtime=0.03 cores=0-7
/proc/18171/task/18187/stat : 18187 (java) S 18134 18134 15723 0 -1 1077944384 166 0 0 0 3 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977260431600 139978035894914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18188] ppid=18134 vsize=7756476 memory=21964 CPUtime=0.17 cores=0-7
/proc/18171/task/18188/stat : 18188 (java) R 18134 18134 15723 0 -1 4202560 489 0 0 0 17 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977259379056 139978028980603 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18189] ppid=18134 vsize=7756476 memory=2120 CPUtime=0 cores=0-7
/proc/18171/task/18189/stat : 18189 (java) S 18134 18134 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139975332981472 139978035893973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
[pid=18171/tid=18190] ppid=18134 vsize=7756476 memory=532 CPUtime=0 cores=0-7
/proc/18171/task/18190/stat : 18190 (java) S 18134 18134 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419860095 7942631424 25469 33554432000 4194304 4196468 140720962553424 139977258326960 139978035894914 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140720962561015 140720962561174 140720962561174 140720962564047 0
Current children cumulated CPU time: 96.3 s
Current children cumulated vsize: 7869604 KiB
Current children cumulated memory: 103352 KiB

Child status: 0
Real time (s): 79.0914
CPU time (s): 96.6673
CPU user time (s): 92.9481
CPU system time (s): 3.71918
CPU usage (%): 122.222
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7521772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.9481
system time used= 3.71918
maximum resident set size= 7521016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86805
page faults= 0
swaps= 0
block input operations= 8
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12175
involuntary context switches= 207


# summary of solver processes directly reported to runsolver:
#   pid: 18134
#   total CPU time (s): 96.6673
#   total CPU user time (s): 92.9481
#   total CPU system time (s): 3.71918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.609305 second user time and 0.764593 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-14 05:28:53
IDJOB=4392387
IDBENCH=134289
IDSOLVER=2838
FILE ID=node104/4392387-1568435949
RUNJOBID= node104-1568421227-15750
PBS_JOBID= 21702284
Free space on /tmp= 58920 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-08-08.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392387-1568435949/watcher-4392387-1568435949 -o /tmp/evaluation-result-4392387-1568435949/solver-4392387-1568435949 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392387-1568435949.xml

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

MD5SUM BENCH= a4344d82eae68729eeb0bbc0b13d3fa1
RANDOM SEED=678531060

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26596524 kB
MemAvailable:   31834672 kB
Buffers:          184760 kB
Cached:          5307152 kB
SwapCached:        31688 kB
Active:          1864592 kB
Inactive:        3663360 kB
Active(anon):       2624 kB
Inactive(anon):    75148 kB
Active(file):    1861968 kB
Inactive(file):  3588212 kB
Unevictable:      107776 kB
Mlocked:          107776 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:            115972 kB
Writeback:             0 kB
AnonPages:        119820 kB
Mapped:            44316 kB
Shmem:             32780 kB
Slab:             237812 kB
SReclaimable:     207608 kB
SUnreclaim:        30204 kB
KernelStack:        3344 kB
PageTables:         5136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58900 MiB
End job on node104 at 2019-09-14 05:30:12