Trace number 4405247

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-09-22)UNSAT 95.6356 77.5319

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-29350-serial-file.bin HOME/instance-4405247-1569342368.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 18:25:26 CEST 2019
0.65/0.56	c PID: 29353
0.65/0.56	c IP: 172.20.3.117
0.65/0.56	c HOST: node117.alineos.net
0.65/0.57	c (0,0) Parsing Begin
13.93/10.42	c (9,9) Parsing End
13.93/10.42	c (9,9) CSP: 72 int (0 aux), 0 bool (0 aux), 44 ctr, max domain size 8
13.93/10.42	c (9,9) Heap : 6226 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.93/10.42	c (9,9) Constraint Name Generate Begin
13.93/10.43	c (9,9) Ctr:HOME/instance-4405247-1569342368.xml,ExtensionSupport:Var
13.93/10.43	c (9,9) Constraint Name Generate End
13.93/10.43	c (9,9) Heap : 6226 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.93/10.43	c (9,9) CSP to CSPinCNF Begin
14.46/10.71	c (10,9) translated 5 (10%) constraints
14.46/10.77	c (10,9) translated 9 (20%) constraints
14.73/10.81	c (10,9) translated 14 (30%) constraints
14.73/10.85	c (10,10) translated 18 (40%) constraints
14.73/10.87	c (10,10) translated 22 (50%) constraints
15.02/10.90	c (10,10) translated 27 (60%) constraints
79.06/64.41	c (63,62) translated 31 (70%) constraints
90.71/74.34	c (73,71) translated 36 (80%) constraints
92.67/76.29	c (75,73) translated 40 (90%) constraints
92.84/76.31	c (75,73) translated 44 (100%) constraints
92.84/76.31	c (75,73) ===========================================
92.84/76.31	c (75,73) Order
92.84/76.31	c (75,73) ===========================================
92.84/76.33	c (75,73) translated 146 (10%) constraints
92.84/76.34	c (75,73) translated 292 (20%) constraints
92.84/76.35	c (75,73) translated 438 (30%) constraints
92.84/76.36	c (75,73) translated 584 (40%) constraints
92.84/76.36	c (75,73) translated 730 (50%) constraints
92.84/76.37	c (75,73) translated 876 (60%) constraints
92.84/76.38	c (75,73) translated 1022 (70%) constraints
92.84/76.38	c (75,73) translated 1168 (80%) constraints
92.84/76.39	c (75,73) translated 1314 (90%) constraints
92.84/76.40	c (75,73) translated 1460 (100%) constraints
92.84/76.40	c (75,73) CSP to CSPinCNF End
93.27/76.40	c (75,73) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.27/76.40	c (75,73) Heap : 2552 MiB used (max 21668 MiB), NonHeap : 27 MiB used (max 0 MiB)
93.27/76.40	c (75,73) CSPinCNF Propagation Begin
93.27/76.44	c (75,73) 0 values, 44 unsatisfiable literals, and 0 valid clauses are removed
93.27/76.44	c (75,73) CSPinCNF Propagation End
93.27/76.44	c (75,73) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.27/76.44	c (75,73) Heap : 2552 MiB used (max 21668 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.27/76.44	c (75,73) Simplify CSPinCNF Begin
93.27/76.45	c (75,73) Simplify CSPinCNF End
93.27/76.45	c (75,73) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.27/76.45	c (75,73) Heap : 2552 MiB used (max 21668 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.27/76.45	c (75,73) Calculate Precise Domain Begin
93.27/76.46	c (75,73) 0 values are removed by re-calculation
93.27/76.46	c (75,73) Calculate Precise Domain End
93.27/76.46	c (75,73) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.27/76.46	c (75,73) Heap : 2552 MiB used (max 21668 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.27/76.46	c (75,73) CSPinCNF to SatSolver Begin
93.66/76.53	c (75,74) 146 (10 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
93.66/76.55	c (76,74) 292 (20 %) CSP clauses are encoded (0 SAT variables, 715 SAT clauses)
93.66/76.56	c (76,74) 438 (30 %) CSP clauses are encoded (0 SAT variables, 861 SAT clauses)
93.66/76.56	c (76,74) 584 (40 %) CSP clauses are encoded (0 SAT variables, 1007 SAT clauses)
93.66/76.57	c (76,74) 730 (50 %) CSP clauses are encoded (0 SAT variables, 1153 SAT clauses)
93.66/76.57	c (76,74) 876 (60 %) CSP clauses are encoded (0 SAT variables, 1299 SAT clauses)
93.66/76.58	c (76,74) 1022 (70 %) CSP clauses are encoded (0 SAT variables, 1445 SAT clauses)
93.66/76.59	c (76,74) 1168 (80 %) CSP clauses are encoded (0 SAT variables, 1591 SAT clauses)
93.66/76.59	c (76,74) 1314 (90 %) CSP clauses are encoded (0 SAT variables, 1737 SAT clauses)
93.66/76.60	c (76,74) 1460 (100 %) CSP clauses are encoded (0 SAT variables, 1883 SAT clauses)
93.66/76.60	c (76,74) CSPinCNF to SatSolver End
93.66/76.60	c (76,74) Heap : 2552 MiB used (max 21668 MiB), NonHeap : 29 MiB used (max 0 MiB)
93.66/76.60	c (76,74) 860 bool, 1884 clause
93.66/76.60	c (76,74) Export Begin
94.06/76.69	c (76,74) Export to HOME/scop-29350-serial-file.bin
94.06/76.69	c (76,74) Export End
94.06/76.69	c (76,74) Export File Size: 0.02 MB
94.06/76.69	c (76,74) 9,9,75,75,75,75,76,STOP-AFTER(DIMACS)
94.06/76.69	c END-Prog: Tue Sep 24 18:26:42 CEST 2019
0.00/76.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29350-serial-file.bin
94.80/77.19	c (0,0) Read Serial File Begin
94.80/77.19	c (0,0) HOME/scop-29350-serial-file.bin
95.22/77.41	c (0,0) Read Serial File End
95.22/77.42	
95.22/77.42	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
95.22/77.42	(Solving Process)
95.22/77.42	
95.22/77.44	c BEGIN-Prog: Tue Sep 24 18:26:43 CEST 2019
95.22/77.44	c PID: 29378
95.22/77.44	c IP: 172.20.3.117
95.22/77.44	c HOST: node117.alineos.net
95.22/77.45	c (0,0) SatSolver.solve Begin
95.22/77.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405247-1569342368.xml-scop-29353.cnf
95.22/77.48	c (0,0) c
95.22/77.48	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)
95.22/77.48	c (0,0) c
95.22/77.48	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
95.22/77.48	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
95.22/77.48	c (0,0) c ========================================[ Problem Statistics ]===========================================
95.22/77.48	c (0,0) c |                                                                                                       |
95.22/77.48	c (0,0) c |  Number of variables:           860                                                                   |
95.22/77.48	c (0,0) c |  Number of clauses:            1884                                                                   |
95.22/77.48	c (0,0) c |  Parse time:                   0.00 s                                                                 |
95.22/77.48	c (0,0) c |                                                                                                       |
95.22/77.48	c (0,0) c |  Simplification time:          0.00 s                                                                 |
95.22/77.48	c (0,0) c |                                                                                                       |
95.22/77.48	c (0,0) c |  Generating clones                                                                                    |
95.22/77.48	c (0,0) c |  all clones generated. Memory =    24.35Mb.                                                           |
95.22/77.48	c (0,0) c ========================================================================================================|
95.22/77.48	c (0,0) c
95.22/77.48	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
95.22/77.48	c (0,0) c
95.22/77.48	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.22/77.48	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
95.22/77.48	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.22/77.48	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
95.22/77.48	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
95.22/77.48	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
95.22/77.48	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
95.22/77.48	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
95.22/77.48	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
95.22/77.48	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
95.22/77.48	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
95.22/77.48	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
95.22/77.48	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
95.22/77.48	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
95.22/77.48	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
95.22/77.48	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
95.22/77.48	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
95.22/77.48	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
95.22/77.48	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c real time : 0.0256381 s
95.44/77.50	c (0,0) c cpu time  : 0.07072 s
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c | Conflicts     |           11965 |       1540 |       1510 |       1176 |       1211 |       2320 |       1269 |       1655 |       1284 |
95.44/77.50	c (0,0) c | Decisions     |           15348 |       1993 |       1992 |       1583 |       1624 |       2755 |       1634 |       2087 |       1680 |
95.44/77.50	c (0,0) c | Propagations  |          102981 |      13255 |      12545 |      10006 |      10346 |      20404 |      11301 |      13766 |      11358 |
95.44/77.50	c (0,0) c | ReduceDBs     |               1 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | SimpDBs       |              18 |          3 |          2 |          2 |          2 |          3 |          2 |          2 |          2 |
95.44/77.50	c (0,0) c | Restarts      |              13 |          5 |          1 |          1 |          1 |          2 |          1 |          1 |          1 |
95.44/77.50	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | PropBinClauses|          131703 |      17343 |      16989 |      12814 |      13341 |      23522 |      13981 |      19214 |      14499 |
95.44/77.50	c (0,0) c | PropPreBlocker|         2271042 |     280150 |     265874 |     198732 |     186560 |     570332 |     217228 |     345064 |     207102 |
95.44/77.50	c (0,0) c | PropNotBlocker|          885546 |      98829 |     101808 |      83967 |      75683 |     211306 |      92005 |     139158 |      82790 |
95.44/77.50	c (0,0) c | LitFullScans  |         4927488 |     566814 |     577425 |     442542 |     410226 |    1222480 |     485774 |     765144 |     457083 |
95.44/77.50	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | DecisionLevel0|              86 |         18 |          9 |         12 |          8 |         11 |          8 |         11 |          9 |
95.44/77.50	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
95.44/77.50	c (0,0) c | Avg_Trail     |                 |         43 |         43 |         42 |         42 |         44 |         43 |         44 |         43 |
95.44/77.50	c (0,0) c | Avg_DL        |                 |          7 |          7 |          6 |          6 |          7 |          7 |          7 |          6 |
95.44/77.50	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c | Exported      |             781 |        157 |         92 |         94 |        105 |         93 |         61 |        100 |         79 |
95.44/77.50	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c | Unaries       |                 |         13 |          8 |         11 |          7 |          9 |          7 |         10 |          8 |
95.44/77.50	c (0,0) c | Binaries      |                 |         39 |         20 |         30 |         26 |         26 |         16 |         21 |         20 |
95.44/77.50	c (0,0) c | Glues         |                 |        157 |         92 |         94 |        105 |         93 |         61 |        100 |         79 |
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c | Orig_Seen     |           206 % |        232 |        233 |        221 |        223 |        228 |        220 |        232 |        224 |
95.44/77.50	c (0,0) c | Diff Orig seen|                 |      X     |          1 | -       11 | -        9 | -        4 | -       12 | -        0 | -        8 |
95.44/77.50	c (0,0) c | Hamming       |             2 % |      X     |         19 |         21 |         24 |         21 |         23 |         19 |         18 |
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c | RunningTime   |                 |    0.0  95%|    0.0  93%|    0.0  95%|    0.0  95%|    0.0  99%|    0.0  99%|    0.0  98%|    0.0  99%|
95.44/77.50	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%|
95.44/77.50	c (0,0) c | ExchangingTime|                 |    0.0   5%|    0.0   7%|    0.0   5%|    0.0   5%|    0.0   1%|    0.0   1%|    0.0   2%|    0.0   1%|
95.44/77.50	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%|
95.44/77.50	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
95.44/77.50	c (0,0) c | PropagationTim|                 |    0.0  58%|    0.0  65%|    0.0  63%|    0.0  70%|    0.0  73%|    0.0  64%|    0.0  77%|    0.0  67%|
95.44/77.50	c (0,0) c | AnalysisTime  |                 |    0.0  21%|    0.0  18%|    0.0  18%|    0.0  12%|    0.0  17%|    0.0  17%|    0.0  14%|    0.0  20%|
95.44/77.50	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%|
95.44/77.50	c (0,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|
95.44/77.50	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%|
95.44/77.50	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%|
95.44/77.50	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c
95.44/77.50	c (0,0) c Threads : 8
95.44/77.50	c (0,0) c Winner : 0
95.44/77.50	c (0,0) c Conflicts_0 : 1540
95.44/77.50	c (0,0) c Conflicts_1 : 1510
95.44/77.50	c (0,0) c Conflicts_2 : 1176
95.44/77.50	c (0,0) c Conflicts_3 : 1211
95.44/77.50	c (0,0) c Conflicts_4 : 2320
95.44/77.50	c (0,0) c Conflicts_5 : 1269
95.44/77.50	c (0,0) c Conflicts_6 : 1655
95.44/77.50	c (0,0) c Conflicts_7 : 1284
95.44/77.50	c (0,0) c Conflicts_total : 11965
95.44/77.50	c (0,0) c Conflicts_winner : 1540
95.44/77.50	c (0,0) c Decisions_0 : 1993
95.44/77.50	c (0,0) c Decisions_1 : 1992
95.44/77.50	c (0,0) c Decisions_2 : 1583
95.44/77.50	c (0,0) c Decisions_3 : 1624
95.44/77.50	c (0,0) c Decisions_4 : 2755
95.44/77.50	c (0,0) c Decisions_5 : 1634
95.44/77.50	c (0,0) c Decisions_6 : 2087
95.44/77.50	c (0,0) c Decisions_7 : 1680
95.44/77.50	c (0,0) c Decisions_total : 15348
95.44/77.50	c (0,0) c Decisions_winner : 1993
95.44/77.50	c (0,0) c Propagations_0 : 13255
95.44/77.50	c (0,0) c Propagations_1 : 12545
95.44/77.50	c (0,0) c Propagations_2 : 10006
95.44/77.50	c (0,0) c Propagations_3 : 10346
95.44/77.50	c (0,0) c Propagations_4 : 20404
95.44/77.50	c (0,0) c Propagations_5 : 11301
95.44/77.50	c (0,0) c Propagations_6 : 13766
95.44/77.50	c (0,0) c Propagations_7 : 11358
95.44/77.50	c (0,0) c Propagations_total : 102981
95.44/77.50	c (0,0) c Propagations_winner : 13255
95.44/77.50	c (0,0) c ReduceDBs_0 : 0
95.44/77.50	c (0,0) c ReduceDBs_1 : 0
95.44/77.50	c (0,0) c ReduceDBs_2 : 0
95.44/77.50	c (0,0) c ReduceDBs_3 : 0
95.44/77.50	c (0,0) c ReduceDBs_4 : 1
95.44/77.50	c (0,0) c ReduceDBs_5 : 0
95.44/77.50	c (0,0) c ReduceDBs_6 : 0
95.44/77.50	c (0,0) c ReduceDBs_7 : 0
95.44/77.50	c (0,0) c ReduceDBs_total : 1
95.44/77.50	c (0,0) c ReduceDBs_winner : 0
95.44/77.50	c (0,0) c SimpDBs_0 : 3
95.44/77.50	c (0,0) c SimpDBs_1 : 2
95.44/77.50	c (0,0) c SimpDBs_2 : 2
95.44/77.50	c (0,0) c SimpDBs_3 : 2
95.44/77.50	c (0,0) c SimpDBs_4 : 3
95.44/77.50	c (0,0) c SimpDBs_5 : 2
95.44/77.50	c (0,0) c SimpDBs_6 : 2
95.44/77.50	c (0,0) c SimpDBs_7 : 2
95.44/77.50	c (0,0) c SimpDBs_total : 18
95.44/77.50	c (0,0) c SimpDBs_winner : 3
95.44/77.50	c (0,0) c Restarts_0 : 5
95.44/77.50	c (0,0) c Restarts_1 : 1
95.44/77.50	c (0,0) c Restarts_2 : 1
95.44/77.50	c (0,0) c Restarts_3 : 1
95.44/77.50	c (0,0) c Restarts_4 : 2
95.44/77.50	c (0,0) c Restarts_5 : 1
95.44/77.50	c (0,0) c Restarts_6 : 1
95.44/77.50	c (0,0) c Restarts_7 : 1
95.44/77.50	c (0,0) c Restarts_total : 13
95.44/77.50	c (0,0) c Restarts_winner : 5
95.44/77.50	c (0,0) c ForcedImports_0 : 0
95.44/77.50	c (0,0) c ForcedImports_1 : 0
95.44/77.50	c (0,0) c ForcedImports_2 : 0
95.44/77.50	c (0,0) c ForcedImports_3 : 0
95.44/77.50	c (0,0) c ForcedImports_4 : 0
95.44/77.50	c (0,0) c ForcedImports_5 : 0
95.44/77.50	c (0,0) c ForcedImports_6 : 0
95.44/77.50	c (0,0) c ForcedImports_7 : 0
95.44/77.50	c (0,0) c ForcedImports_total : 0
95.44/77.50	c (0,0) c ForcedImports_winner : 0
95.44/77.50	c (0,0) c PropsBinClauses_0 : 17343
95.44/77.50	c (0,0) c PropsBinClauses_1 : 16989
95.44/77.50	c (0,0) c PropsBinClauses_2 : 12814
95.44/77.50	c (0,0) c PropsBinClauses_3 : 13341
95.44/77.50	c (0,0) c PropsBinClauses_4 : 23522
95.44/77.50	c (0,0) c PropsBinClauses_5 : 13981
95.44/77.50	c (0,0) c PropsBinClauses_6 : 19214
95.44/77.50	c (0,0) c PropsBinClauses_7 : 14499
95.44/77.50	c (0,0) c PropsBinClauses_total : 131703
95.44/77.50	c (0,0) c PropsBinClauses_winner : 17343
95.44/77.50	c (0,0) c PropsPreBlocker_0 : 280150
95.44/77.50	c (0,0) c PropsPreBlocker_1 : 265874
95.44/77.50	c (0,0) c PropsPreBlocker_2 : 198732
95.44/77.50	c (0,0) c PropsPreBlocker_3 : 186560
95.44/77.50	c (0,0) c PropsPreBlocker_4 : 570332
95.44/77.50	c (0,0) c PropsPreBlocker_5 : 217228
95.44/77.50	c (0,0) c PropsPreBlocker_6 : 345064
95.44/77.50	c (0,0) c PropsPreBlocker_7 : 207102
95.44/77.50	c (0,0) c PropsPreBlocker_total : 2271042
95.44/77.51	c (0,0) c PropsPreBlocker_winner : 280150
95.44/77.51	c (0,0) c PropsNotBlocker_0 : 98829
95.44/77.51	c (0,0) c PropsNotBlocker_1 : 101808
95.44/77.51	c (0,0) c PropsNotBlocker_2 : 83967
95.44/77.51	c (0,0) c PropsNotBlocker_3 : 75683
95.44/77.51	c (0,0) c PropsNotBlocker_4 : 211306
95.44/77.51	c (0,0) c PropsNotBlocker_5 : 92005
95.44/77.51	c (0,0) c PropsNotBlocker_6 : 139158
95.44/77.51	c (0,0) c PropsNotBlocker_7 : 82790
95.44/77.51	c (0,0) c PropsNotBlocker_total : 885546
95.44/77.51	c (0,0) c PropsNotBlocker_winner : 98829
95.44/77.51	c (0,0) c PropsLitFullScans_0 : 566814
95.44/77.51	c (0,0) c PropsLitFullScans_1 : 577425
95.44/77.51	c (0,0) c PropsLitFullScans_2 : 442542
95.44/77.51	c (0,0) c PropsLitFullScans_3 : 410226
95.44/77.51	c (0,0) c PropsLitFullScans_4 : 1222480
95.44/77.51	c (0,0) c PropsLitFullScans_5 : 485774
95.44/77.51	c (0,0) c PropsLitFullScans_6 : 765144
95.44/77.51	c (0,0) c PropsLitFullScans_7 : 457083
95.44/77.51	c (0,0) c PropsLitFullScans_total : 4927488
95.44/77.51	c (0,0) c PropsLitFullScans_winner : 566814
95.44/77.51	c (0,0) c LitScanFractions_0 : 0
95.44/77.51	c (0,0) c LitScanFractions_1 : 0
95.44/77.51	c (0,0) c LitScanFractions_2 : 0
95.44/77.51	c (0,0) c LitScanFractions_3 : 0
95.44/77.51	c (0,0) c LitScanFractions_4 : 0
95.44/77.51	c (0,0) c LitScanFractions_5 : 0
95.44/77.51	c (0,0) c LitScanFractions_6 : 0
95.44/77.51	c (0,0) c LitScanFractions_7 : 0
95.44/77.51	c (0,0) c LitScanFractions_total : 0
95.44/77.51	c (0,0) c LitScanFractions_winner : 0
95.44/77.51	c (0,0) c DecisionLevel0_0 : 18
95.44/77.51	c (0,0) c DecisionLevel0_1 : 9
95.44/77.51	c (0,0) c DecisionLevel0_2 : 12
95.44/77.51	c (0,0) c DecisionLevel0_3 : 8
95.44/77.51	c (0,0) c DecisionLevel0_4 : 11
95.44/77.51	c (0,0) c DecisionLevel0_5 : 8
95.44/77.51	c (0,0) c DecisionLevel0_6 : 11
95.44/77.51	c (0,0) c DecisionLevel0_7 : 9
95.44/77.51	c (0,0) c DecisionLevel0_total : 86
95.44/77.51	c (0,0) c DecisionLevel0_winner : 18
95.44/77.51	c (0,0) c Periods_0 : 0
95.44/77.51	c (0,0) c Periods_1 : 0
95.44/77.51	c (0,0) c Periods_2 : 0
95.44/77.51	c (0,0) c Periods_3 : 0
95.44/77.51	c (0,0) c Periods_4 : 0
95.44/77.51	c (0,0) c Periods_5 : 0
95.44/77.51	c (0,0) c Periods_6 : 0
95.44/77.51	c (0,0) c Periods_7 : 0
95.44/77.51	c (0,0) c Periods_total : 0
95.44/77.51	c (0,0) c Periods_winner : 0
95.44/77.51	c (0,0) c Margin_0 : 20
95.44/77.51	c (0,0) c Margin_1 : 20
95.44/77.51	c (0,0) c Margin_2 : 20
95.44/77.51	c (0,0) c Margin_3 : 20
95.44/77.51	c (0,0) c Margin_4 : 20
95.44/77.51	c (0,0) c Margin_5 : 20
95.44/77.51	c (0,0) c Margin_6 : 20
95.44/77.51	c (0,0) c Margin_7 : 20
95.44/77.51	c (0,0) c Margin_total : 160
95.44/77.51	c (0,0) c Margin_winner : 20
95.44/77.51	c (0,0) c Exported_0 : 157
95.44/77.51	c (0,0) c Exported_1 : 92
95.44/77.51	c (0,0) c Exported_2 : 94
95.44/77.51	c (0,0) c Exported_3 : 105
95.44/77.51	c (0,0) c Exported_4 : 93
95.44/77.51	c (0,0) c Exported_5 : 61
95.44/77.51	c (0,0) c Exported_6 : 100
95.44/77.51	c (0,0) c Exported_7 : 79
95.44/77.51	c (0,0) c Exported_total : 781
95.44/77.51	c (0,0) c Exported_winner : 157
95.44/77.51	c (0,0) c Imported_0 : 0
95.44/77.51	c (0,0) c Imported_1 : 0
95.44/77.51	c (0,0) c Imported_2 : 0
95.44/77.51	c (0,0) c Imported_3 : 0
95.44/77.51	c (0,0) c Imported_4 : 0
95.44/77.51	c (0,0) c Imported_5 : 0
95.44/77.51	c (0,0) c Imported_6 : 0
95.44/77.51	c (0,0) c Imported_7 : 0
95.44/77.51	c (0,0) c Imported_total : 0
95.44/77.51	c (0,0) c Imported_winner : 0
95.44/77.51	c (0,0) c Good_0 : 0
95.44/77.51	c (0,0) c Good_1 : 0
95.44/77.51	c (0,0) c Good_2 : 0
95.44/77.51	c (0,0) c Good_3 : 0
95.44/77.51	c (0,0) c Good_4 : 0
95.44/77.51	c (0,0) c Good_5 : 0
95.44/77.51	c (0,0) c Good_6 : 0
95.44/77.51	c (0,0) c Good_7 : 0
95.44/77.51	c (0,0) c Good_total : 0
95.44/77.51	c (0,0) c Good_winner : 0
95.44/77.51	c (0,0) c Purge_0 : 0
95.44/77.51	c (0,0) c Purge_1 : 0
95.44/77.51	c (0,0) c Purge_2 : 0
95.44/77.51	c (0,0) c Purge_3 : 0
95.44/77.51	c (0,0) c Purge_4 : 0
95.44/77.51	c (0,0) c Purge_5 : 0
95.44/77.51	c (0,0) c Purge_6 : 0
95.44/77.51	c (0,0) c Purge_7 : 0
95.44/77.51	c (0,0) c Purge_total : 0
95.44/77.51	c (0,0) c Purge_winner : 0
95.44/77.51	c (0,0) c Promoted_0 : 0
95.44/77.51	c (0,0) c Promoted_1 : 0
95.44/77.51	c (0,0) c Promoted_2 : 0
95.44/77.51	c (0,0) c Promoted_3 : 0
95.44/77.51	c (0,0) c Promoted_4 : 0
95.44/77.51	c (0,0) c Promoted_5 : 0
95.44/77.51	c (0,0) c Promoted_6 : 0
95.44/77.51	c (0,0) c Promoted_7 : 0
95.44/77.51	c (0,0) c Promoted_total : 0
95.44/77.51	c (0,0) c Promoted_winner : 0
95.44/77.51	c (0,0) c Remove_Imp_0 : 0
95.44/77.51	c (0,0) c Remove_Imp_1 : 0
95.44/77.51	c (0,0) c Remove_Imp_2 : 0
95.44/77.51	c (0,0) c Remove_Imp_3 : 0
95.44/77.51	c (0,0) c Remove_Imp_4 : 0
95.44/77.51	c (0,0) c Remove_Imp_5 : 0
95.44/77.51	c (0,0) c Remove_Imp_6 : 0
95.44/77.51	c (0,0) c Remove_Imp_7 : 0
95.44/77.51	c (0,0) c Remove_Imp_total : 0
95.44/77.51	c (0,0) c Remove_Imp_winner : 0
95.44/77.51	c (0,0) c Blocked_Reuse_0 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_1 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_2 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_3 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_4 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_5 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_6 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_7 : 0
95.44/77.51	c (0,0) c Blocked_Reuse_total : 0
95.44/77.51	c (0,0) c Blocked_Reuse_winner : 0
95.44/77.51	c (0,0) c Unaries_0 : 13
95.44/77.51	c (0,0) c Unaries_1 : 8
95.44/77.51	c (0,0) c Unaries_2 : 11
95.44/77.51	c (0,0) c Unaries_3 : 7
95.44/77.51	c (0,0) c Unaries_4 : 9
95.44/77.51	c (0,0) c Unaries_5 : 7
95.44/77.51	c (0,0) c Unaries_6 : 10
95.44/77.51	c (0,0) c Unaries_7 : 8
95.44/77.51	c (0,0) c Unaries_total : 73
95.44/77.51	c (0,0) c Unaries_winner : 13
95.44/77.51	c (0,0) c Binaries_0 : 39
95.44/77.51	c (0,0) c Binaries_1 : 20
95.44/77.51	c (0,0) c Binaries_2 : 30
95.44/77.51	c (0,0) c Binaries_3 : 26
95.44/77.51	c (0,0) c Binaries_4 : 26
95.44/77.51	c (0,0) c Binaries_5 : 16
95.44/77.51	c (0,0) c Binaries_6 : 21
95.44/77.51	c (0,0) c Binaries_7 : 20
95.44/77.51	c (0,0) c Binaries_total : 198
95.44/77.51	c (0,0) c Binaries_winner : 39
95.44/77.51	c (0,0) c Glues_0 : 157
95.44/77.51	c (0,0) c Glues_1 : 92
95.44/77.51	c (0,0) c Glues_2 : 94
95.44/77.51	c (0,0) c Glues_3 : 105
95.44/77.51	c (0,0) c Glues_4 : 93
95.44/77.51	c (0,0) c Glues_5 : 61
95.44/77.51	c (0,0) c Glues_6 : 100
95.44/77.51	c (0,0) c Glues_7 : 79
95.44/77.51	c (0,0) c Glues_total : 781
95.44/77.51	c (0,0) c Glues_winner : 157
95.44/77.51	c (0,0) c RunningTime_0 : 0.008438
95.44/77.51	c (0,0) c RunningTime_1 : 0.009747
95.44/77.51	c (0,0) c RunningTime_2 : 0.007191
95.44/77.51	c (0,0) c RunningTime_3 : 0.010928
95.44/77.51	c (0,0) c RunningTime_4 : 0.019727
95.44/77.51	c (0,0) c RunningTime_5 : 0.008773
95.44/77.51	c (0,0) c RunningTime_6 : 0.015183
95.44/77.51	c (0,0) c RunningTime_7 : 0.007584
95.44/77.51	c (0,0) c RunningTime_total : 0.087572
95.44/77.51	c (0,0) c RunningTime_winner : 0.008438
95.44/77.51	c (0,0) c WaitingTime_0 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_1 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_2 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_3 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_4 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_5 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_6 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_7 : 0.000000
95.44/77.51	c (0,0) c WaitingTime_total : 0.000000
95.44/77.51	c (0,0) c WaitingTime_winner : 0.000000
95.44/77.51	c (0,0) c ExchangingTime_0 : 0.000418
95.44/77.51	c (0,0) c ExchangingTime_1 : 0.000772
95.44/77.51	c (0,0) c ExchangingTime_2 : 0.000370
95.44/77.51	c (0,0) c ExchangingTime_3 : 0.000630
95.44/77.51	c (0,0) c ExchangingTime_4 : 0.000112
95.44/77.51	c (0,0) c ExchangingTime_5 : 0.000072
95.44/77.51	c (0,0) c ExchangingTime_6 : 0.000267
95.44/77.51	c (0,0) c ExchangingTime_7 : 0.000068
95.44/77.51	c (0,0) c ExchangingTime_total : 0.002709
95.44/77.51	c (0,0) c ExchangingTime_winner : 0.000418
95.44/77.51	c (0,0) c PeriodProcTime_0 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_1 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_2 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_3 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_4 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_5 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_6 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_7 : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_total : 0.000000
95.44/77.51	c (0,0) c PeriodProcTime_winner : 0.000000
95.44/77.51	c (0,0) c SolvingTime_0 : 0.008856
95.44/77.51	c (0,0) c SolvingTime_1 : 0.010520
95.44/77.51	c (0,0) c SolvingTime_2 : 0.007561
95.44/77.51	c (0,0) c SolvingTime_3 : 0.011558
95.44/77.51	c (0,0) c SolvingTime_4 : 0.019839
95.44/77.51	c (0,0) c SolvingTime_5 : 0.008845
95.44/77.51	c (0,0) c SolvingTime_6 : 0.015450
95.44/77.51	c (0,0) c SolvingTime_7 : 0.007653
95.44/77.51	c (0,0) c SolvingTime_total : 0.090281
95.44/77.51	c (0,0) c SolvingTime_winner : 0.008856
95.44/77.51	c (0,0) c PropagationTime_0 : 0.005138
95.44/77.51	c (0,0) c PropagationTime_1 : 0.006879
95.44/77.51	c (0,0) c PropagationTime_2 : 0.004733
95.44/77.51	c (0,0) c PropagationTime_3 : 0.008038
95.44/77.51	c (0,0) c PropagationTime_4 : 0.014498
95.44/77.51	c (0,0) c PropagationTime_5 : 0.005621
95.44/77.51	c (0,0) c PropagationTime_6 : 0.011878
95.44/77.51	c (0,0) c PropagationTime_7 : 0.005115
95.44/77.51	c (0,0) c PropagationTime_total : 0.061900
95.44/77.51	c (0,0) c PropagationTime_winner : 0.005138
95.44/77.51	c (0,0) c AnalysisTime_0 : 0.001859
95.44/77.51	c (0,0) c AnalysisTime_1 : 0.001858
95.44/77.51	c (0,0) c AnalysisTime_2 : 0.001387
95.44/77.51	c (0,0) c AnalysisTime_3 : 0.001426
95.44/77.51	c (0,0) c AnalysisTime_4 : 0.003276
95.44/77.51	c (0,0) c AnalysisTime_5 : 0.001489
95.44/77.51	c (0,0) c AnalysisTime_6 : 0.002230
95.44/77.51	c (0,0) c AnalysisTime_7 : 0.001566
95.44/77.51	c (0,0) c AnalysisTime_total : 0.015089
95.44/77.51	c (0,0) c AnalysisTime_winner : 0.001859
95.44/77.51	c (0,0) c ReductionTime_0 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_1 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_2 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_3 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_4 : 0.000257
95.44/77.51	c (0,0) c ReductionTime_5 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_6 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_7 : 0.000000
95.44/77.51	c (0,0) c ReductionTime_total : 0.000257
95.44/77.51	c (0,0) c ReductionTime_winner : 0.000000
95.44/77.51	c (0,0) c SimplifyTime_0 : 0.000217
95.44/77.51	c (0,0) c SimplifyTime_1 : 0.000139
95.44/77.51	c (0,0) c SimplifyTime_2 : 0.000026
95.44/77.51	c (0,0) c SimplifyTime_3 : 0.000129
95.44/77.51	c (0,0) c SimplifyTime_4 : 0.000211
95.44/77.51	c (0,0) c SimplifyTime_5 : 0.000129
95.44/77.51	c (0,0) c SimplifyTime_6 : 0.000152
95.44/77.51	c (0,0) c SimplifyTime_7 : 0.000140
95.44/77.51	c (0,0) c SimplifyTime_total : 0.001144
95.44/77.51	c (0,0) c SimplifyTime_winner : 0.000217
95.44/77.51	c (0,0) c UsedRateTime_0 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_1 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_2 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_3 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_4 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_5 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_6 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_7 : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_total : 0.000000
95.44/77.51	c (0,0) c UsedRateTime_winner : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_0 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_1 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_2 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_3 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_4 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_5 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_6 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_7 : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_total : 0.000000
95.44/77.51	c (0,0) c OverlapRateTime_winner : 0.000000
95.44/77.51	c (0,0) c
95.44/77.51	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
95.44/77.51	c (0,0) c
95.44/77.51	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.51	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
95.44/77.51	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.51	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
95.44/77.51	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
95.44/77.51	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
95.44/77.51	c (0,0) c | Initial random_seed   |  108725193 |  793543347 |  359304245 | 1922107444 | 1081202146 |  949751545 |   28669100 |  879225517 |
95.44/77.51	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
95.44/77.51	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
95.44/77.51	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
95.44/77.51	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
95.44/77.51	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
95.44/77.51	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
95.44/77.51	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
95.44/77.51	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
95.44/77.51	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
95.44/77.51	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
95.44/77.51	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
95.44/77.51	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.44/77.51	c (0,0) 
95.44/77.51	c (0,0) s UNSATISFIABLE
95.44/77.52	c (0,0) SatSolver.solve End
95.44/77.52	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
95.44/77.52	c (0,0) Show results Begin
95.44/77.52	s UNSATISFIABLE
95.44/77.52	c (0,0) Show results End
95.44/77.52	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
95.44/77.52	c (0,0) 0,0,STOP-AFTER(ALL)
95.44/77.52	c END-Prog: Tue Sep 24 18:26:43 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 (12341 MiB free)
  memory of node 1: 16384 MiB (12251 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405247-1569342368/watcher-4405247-1569342368 -o /var/tmp/evaluation-result-4405247-1569342368/solver-4405247-1569342368 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --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-4405247-1569342368.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
solver pid=29350, runsolver pid=29347
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 7.17 7.22 6.99 2/211 29372
/proc/meminfo: memFree=25087864/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510178729 115843072 349 33554432000 4194304 5098028 140730937602432 140730937599688 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 349 296 221 0 87 0
[pid=29353] ppid=29350 vsize=27314120 memory=106612 CPUtime=0.1 cores=0-7
/proc/29353/stat : 29353 (java) S 29350 29350 28266 0 -1 1077944320 6672 0 0 0 8 2 0 0 20 0 20 0 510178729 27969658880 26653 33554432000 4194304 4196468 140737358160304 140737358142848 140417732554487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
/proc/29353/statm: 6828530 26653 2817 1 0 6790935 0
[pid=29353/tid=29354] ppid=29350 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29353/task/29354/stat : 29354 (java) R 29350 29350 28266 0 -1 4202560 4773 0 0 0 7 2 0 0 20 0 20 0 510178730 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417704386688 140417725271639 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29355] ppid=29350 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29353/task/29355/stat : 29355 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417736797200 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29356] ppid=29350 vsize=27314120 memory=140073227249280 CPUtime=0 cores=0-7
/proc/29353/task/29356/stat : 29356 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417520192656 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29357] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29357/stat : 29357 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417519139600 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29358] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29358/stat : 29358 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417518087056 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29359] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29359/stat : 29359 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417517034000 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29360] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29360/stat : 29360 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417515981456 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29361] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29361/stat : 29361 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417514928400 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29362] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29362/stat : 29362 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 27165 33554432000 4194304 4196468 140737358160304 140417148377488 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29363] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29363/stat : 29363 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415851272944 140417732565634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29364] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29364/stat : 29364 (java) S 29350 29350 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415701345952 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29365] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29365/stat : 29365 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415432910064 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29366] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29366/stat : 29366 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415058401744 140417732573083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29367] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29367/stat : 29367 (java) S 29350 29350 28266 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415850219760 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29368] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29368/stat : 29368 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415849167216 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29369] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29369/stat : 29369 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415848114160 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29370] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29370/stat : 29370 (java) S 29350 29350 28266 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415847061616 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29371] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29371/stat : 29371 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140414560496608 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29372] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29372/stat : 29372 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 27165 33554432000 4194304 4196468 140737358160304 140415846010032 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108008 KiB

[startup+0.210441 s]*
/proc/loadavg: 7.17 7.22 6.99 2/211 29372
/proc/meminfo: memFree=25066812/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510178729 115843072 349 33554432000 4194304 5098028 140730937602432 140730937599688 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 349 296 221 0 87 0
[pid=29353] ppid=29350 vsize=27314120 memory=125360 CPUtime=0.24 cores=0-7
/proc/29353/stat : 29353 (java) S 29350 29350 28266 0 -1 1077944320 12140 0 0 0 20 4 0 0 20 0 20 0 510178729 27969658880 31340 33554432000 4194304 4196468 140737358160304 140737358142848 140417732554487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
/proc/29353/statm: 6828530 31340 2925 1 0 6790935 0
[pid=29353/tid=29354] ppid=29350 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29353/task/29354/stat : 29354 (java) R 29350 29350 28266 0 -1 4202560 9867 0 0 0 16 3 0 0 20 0 20 0 510178730 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417704362192 140417712829522 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29355] ppid=29350 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/29353/task/29355/stat : 29355 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417736797200 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29356] ppid=29350 vsize=27314120 memory=140073231033100 CPUtime=0 cores=0-7
/proc/29353/task/29356/stat : 29356 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417520192656 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29357] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29357/stat : 29357 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417519139600 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29358] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29358/stat : 29358 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417518087056 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29359] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29359/stat : 29359 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417517034000 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29360] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29360/stat : 29360 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417515981456 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29361] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29361/stat : 29361 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417514928400 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29362] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29362/stat : 29362 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 31340 33554432000 4194304 4196468 140737358160304 140417148377488 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29363] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29363/stat : 29363 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415851272944 140417732565634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29364] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29364/stat : 29364 (java) S 29350 29350 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415701345952 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29365] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29365/stat : 29365 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415432910064 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29366] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29366/stat : 29366 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415058401744 140417732573083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29367] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29367/stat : 29367 (java) S 29350 29350 28266 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415850219760 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29368] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29368/stat : 29368 (java) S 29350 29350 28266 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415849167216 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29369] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29369/stat : 29369 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415848114160 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29370] ppid=29350 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29353/task/29370/stat : 29370 (java) S 29350 29350 28266 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415847061616 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29371] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29371/stat : 29371 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140414560496608 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29372] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29372/stat : 29372 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 31340 33554432000 4194304 4196468 140737358160304 140415846010032 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126756 KiB

[startup+0.310192 s]*
/proc/loadavg: 7.17 7.22 6.99 2/211 29372
/proc/meminfo: memFree=25063772/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510178729 115843072 349 33554432000 4194304 5098028 140730937602432 140730937599688 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 349 296 221 0 87 0
[pid=29353] ppid=29350 vsize=27314120 memory=129592 CPUtime=0.42 cores=0-7
/proc/29353/stat : 29353 (java) S 29350 29350 28266 0 -1 1077944320 13276 0 0 0 37 5 0 0 20 0 20 0 510178729 27969658880 32398 33554432000 4194304 4196468 140737358160304 140737358142848 140417732554487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
/proc/29353/statm: 6828530 32398 3032 1 0 6790935 0
[pid=29353/tid=29354] ppid=29350 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/29353/task/29354/stat : 29354 (java) R 29350 29350 28266 0 -1 4202560 10813 0 0 0 26 4 0 0 20 0 20 0 510178730 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417704384560 140417716634974 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29355] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29355/stat : 29355 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417736797200 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29356] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29356/stat : 29356 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417520192656 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29357] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29357/stat : 29357 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417519139600 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29358] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29358/stat : 29358 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417518087056 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29359] ppid=29350 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/29353/task/29359/stat : 29359 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417517034000 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29360] ppid=29350 vsize=27314120 memory=140073110696879 CPUtime=0 cores=0-7
/proc/29353/task/29360/stat : 29360 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417515981456 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29361] ppid=29350 vsize=27314120 memory=140073110699184 CPUtime=0 cores=0-7
/proc/29353/task/29361/stat : 29361 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417514928400 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29362] ppid=29350 vsize=27314120 memory=140073110701488 CPUtime=0 cores=0-7
/proc/29353/task/29362/stat : 29362 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27969658880 32398 33554432000 4194304 4196468 140737358160304 140417148377488 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29363] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29363/stat : 29363 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415851272944 140417732565634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29364] ppid=29350 vsize=27314120 memory=280146221409936 CPUtime=0 cores=0-7
/proc/29353/task/29364/stat : 29364 (java) S 29350 29350 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415701345952 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29365] ppid=29350 vsize=27314120 memory=280146221416848 CPUtime=0 cores=0-7
/proc/29353/task/29365/stat : 29365 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178734 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415432910064 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29366] ppid=29350 vsize=27314120 memory=280146221358128 CPUtime=0 cores=0-7
/proc/29353/task/29366/stat : 29366 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415058401744 140417732573083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29367] ppid=29350 vsize=27314120 memory=280146221430672 CPUtime=0.01 cores=0-7
/proc/29353/task/29367/stat : 29367 (java) S 29350 29350 28266 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415850219760 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29368] ppid=29350 vsize=27314120 memory=280146221437584 CPUtime=0.02 cores=0-7
/proc/29353/task/29368/stat : 29368 (java) R 29350 29350 28266 0 -1 4202560 143 0 0 0 2 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415849167216 140417711792954 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29369] ppid=29350 vsize=27314120 memory=280146221435280 CPUtime=0 cores=0-7
/proc/29353/task/29369/stat : 29369 (java) S 29350 29350 28266 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415848114160 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29370] ppid=29350 vsize=27314120 memory=280146221451440 CPUtime=0.07 cores=0-7
/proc/29353/task/29370/stat : 29370 (java) S 29350 29350 28266 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415847061616 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29371] ppid=29350 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29371/stat : 29371 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140414560496608 140417732564693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29372] ppid=29350 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29353/task/29372/stat : 29372 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178737 27969658880 32398 33554432000 4194304 4196468 140737358160304 140415846010032 140417732565634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130988 KiB

[startup+0.700907 s]
/proc/loadavg: 7.17 7.22 6.99 2/211 29372
/proc/meminfo: memFree=25042192/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510178729 115843072 349 33554432000 4194304 5098028 140730937602432 140730937599688 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 349 296 221 0 87 0
[pid=29353] ppid=29350 vsize=27320392 memory=167640 CPUtime=1 cores=0-7
/proc/29353/stat : 29353 (java) S 29350 29350 28266 0 -1 1077944320 20461 0 0 0 92 8 0 0 20 0 20 0 510178729 27976081408 41910 33554432000 4194304 4196468 140737358160304 140737358142848 140417732554487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
/proc/29353/statm: 6830098 41910 3187 1 0 6791447 0
[pid=29353/tid=29354] ppid=29350 vsize=27320392 memory=280146221809328 CPUtime=0.67 cores=0-7
/proc/29353/task/29354/stat : 29354 (java) R 29350 29350 28266 0 -1 4202560 17371 0 0 0 61 6 0 0 20 0 20 0 510178730 27976081408 41910 33554432000 4194304 4196468 140737358160304 140417704389840 140417732576413 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29355] ppid=29350 vsize=27320392 memory=140073110905712 CPUtime=0 cores=0-7
/proc/29353/task/29355/stat : 29355 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27976081408 41910 33554432000 4194304 4196468 140737358160304 140417736797200 140417732564693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29356] ppid=29350 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/29353/task/29356/stat : 29356 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510178732 27976081408 41910 33554432000 4194304 4196468 140737358160304 140417520192656 140417732564693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0
[pid=29353/tid=29357] ppid=29350 vsize=27320392 memory=1716 CPUtime=0 cores=0-7
/proc/29353/task/29357/stat : 29357 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510178732 27976081408 41910 33554432000 4194304 4196468 140737358160304 140417519139600 140417732564693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37834752 140737358168775 140737358169222 140737358169222 140737358172111 0

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

[pid=29350] ppid=29347 vsize=113128 memory=1476 CPUtime=94.31 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 582 67789 0 0 0 0 9057 374 20 0 1 0 510178729 115843072 369 33554432000 4194304 5098028 140730937602432 140730937599176 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 94.31 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+77.2009 s]
/proc/loadavg: 2.74 5.83 6.52 2/211 29397
/proc/meminfo: memFree=25130960/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1476 CPUtime=94.31 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 582 67789 0 0 0 0 9057 374 20 0 1 0 510178729 115843072 369 33554432000 4194304 5098028 140730937602432 140730937599176 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 369 311 221 0 87 0
[pid=29378] ppid=29350 vsize=7752268 memory=74816 CPUtime=0.61 cores=0-7
/proc/29378/stat : 29378 (java) S 29350 29350 28266 0 -1 1077944320 14059 0 0 0 56 5 0 0 20 0 20 0 510186402 7938322432 18704 33554432000 4194304 4196468 140730032191344 140730032173888 140372802555639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
/proc/29378/statm: 1938067 18704 3052 1 0 1899951 0
[pid=29378/tid=29379] ppid=29350 vsize=7752268 memory=1732 CPUtime=0.43 cores=0-7
/proc/29378/task/29379/stat : 29379 (java) R 29350 29350 28266 0 -1 4202560 11735 0 0 0 40 3 0 0 20 0 20 0 510186403 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372774384496 140372299823558 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29380] ppid=29350 vsize=7752268 memory=53388 CPUtime=0 cores=0-7
/proc/29378/task/29380/stat : 29380 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372806798224 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29381] ppid=29350 vsize=7752268 memory=1396 CPUtime=0 cores=0-7
/proc/29378/task/29381/stat : 29381 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372620954384 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29382] ppid=29350 vsize=7752268 memory=7520948 CPUtime=0 cores=0-7
/proc/29378/task/29382/stat : 29382 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372619902096 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29383] ppid=29350 vsize=7752268 memory=1396 CPUtime=0 cores=0-7
/proc/29378/task/29383/stat : 29383 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372618849296 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29384] ppid=29350 vsize=7752268 memory=7520948 CPUtime=0 cores=0-7
/proc/29378/task/29384/stat : 29384 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372284701072 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29385] ppid=29350 vsize=7752268 memory=500 CPUtime=0 cores=0-7
/proc/29378/task/29385/stat : 29385 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372283648272 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29386] ppid=29350 vsize=7752268 memory=1556 CPUtime=0 cores=0-7
/proc/29378/task/29386/stat : 29386 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372282595984 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29387] ppid=29350 vsize=7752268 memory=924 CPUtime=0 cores=0-7
/proc/29378/task/29387/stat : 29387 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186404 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372281543184 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29388] ppid=29350 vsize=7752268 memory=1672 CPUtime=0 cores=0-7
/proc/29378/task/29388/stat : 29388 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186406 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372231654000 140372802566786 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29389] ppid=29350 vsize=7752268 memory=780 CPUtime=0 cores=0-7
/proc/29378/task/29389/stat : 29389 (java) S 29350 29350 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510186406 7938322432 18704 33554432000 4194304 4196468 140730032191344 140371342386464 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29390] ppid=29350 vsize=7752268 memory=1764 CPUtime=0 cores=0-7
/proc/29378/task/29390/stat : 29390 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186407 7938322432 18704 33554432000 4194304 4196468 140730032191344 140371073951344 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29391] ppid=29350 vsize=7752268 memory=111636 CPUtime=0 cores=0-7
/proc/29378/task/29391/stat : 29391 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186409 7938322432 18704 33554432000 4194304 4196468 140730032191344 140370699442768 140372802574235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29392] ppid=29350 vsize=7752268 memory=804 CPUtime=0.02 cores=0-7
/proc/29378/task/29392/stat : 29392 (java) S 29350 29350 28266 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 20 0 510186409 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372230600816 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29393] ppid=29350 vsize=7752268 memory=1804 CPUtime=0.01 cores=0-7
/proc/29378/task/29393/stat : 29393 (java) S 29350 29350 28266 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 510186409 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372229548016 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29394] ppid=29350 vsize=7752268 memory=920 CPUtime=0.01 cores=0-7
/proc/29378/task/29394/stat : 29394 (java) S 29350 29350 28266 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 510186409 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372228495728 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29395] ppid=29350 vsize=7752268 memory=4396 CPUtime=0.09 cores=0-7
/proc/29378/task/29395/stat : 29395 (java) R 29350 29350 28266 0 -1 4202560 315 0 0 0 9 0 0 0 20 0 20 0 510186409 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372227442928 140372786636126 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29396] ppid=29350 vsize=7752268 memory=4100 CPUtime=0 cores=0-7
/proc/29378/task/29396/stat : 29396 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186410 7938322432 18704 33554432000 4194304 4196468 140730032191344 140370201537376 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29397] ppid=29350 vsize=7752268 memory=1732 CPUtime=0 cores=0-7
/proc/29378/task/29397/stat : 29397 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186410 7938322432 18704 33554432000 4194304 4196468 140730032191344 140372226390832 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
Current children cumulated CPU time: 94.92 s
Current children cumulated vsize: 7865396 KiB
Current children cumulated memory: 76292 KiB

[startup+77.401 s]
/proc/loadavg: 2.74 5.83 6.52 2/211 29397
/proc/meminfo: memFree=25130960/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1476 CPUtime=94.31 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 582 67789 0 0 0 0 9057 374 20 0 1 0 510178729 115843072 369 33554432000 4194304 5098028 140730937602432 140730937599176 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 369 311 221 0 87 0
[pid=29378] ppid=29350 vsize=7754336 memory=100204 CPUtime=0.91 cores=0-7
/proc/29378/stat : 29378 (java) S 29350 29350 28266 0 -1 1077944320 19366 0 0 0 85 6 0 0 20 0 20 0 510186402 7940440064 25051 33554432000 4194304 4196468 140730032191344 140730032173888 140372802555639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
/proc/29378/statm: 1938584 25051 3073 1 0 1900463 0
[pid=29378/tid=29379] ppid=29350 vsize=7754336 memory=16761 CPUtime=0.63 cores=0-7
/proc/29378/task/29379/stat : 29379 (java) R 29350 29350 28266 0 -1 4202560 16884 0 0 0 59 4 0 0 20 0 20 0 510186403 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372774382928 140372802577565 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29380] ppid=29350 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/29378/task/29380/stat : 29380 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372806798224 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29381] ppid=29350 vsize=7754336 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/29378/task/29381/stat : 29381 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372620954384 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29382] ppid=29350 vsize=7754336 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/29378/task/29382/stat : 29382 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372619902096 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29383] ppid=29350 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/29378/task/29383/stat : 29383 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372618849296 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29384] ppid=29350 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/29378/task/29384/stat : 29384 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372284701072 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29385] ppid=29350 vsize=7754336 memory=0 CPUtime=0 cores=0-7
/proc/29378/task/29385/stat : 29385 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372283648272 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29386] ppid=29350 vsize=7754336 memory=3618983360593269944 CPUtime=0 cores=0-7
/proc/29378/task/29386/stat : 29386 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372282595984 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29387] ppid=29350 vsize=7754336 memory=3472894561963347476 CPUtime=0 cores=0-7
/proc/29378/task/29387/stat : 29387 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186404 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372281543184 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29388] ppid=29350 vsize=7754336 memory=1764 CPUtime=0 cores=0-7
/proc/29378/task/29388/stat : 29388 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510186406 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372231654000 140372802566786 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29389] ppid=29350 vsize=7754336 memory=111636 CPUtime=0 cores=0-7
/proc/29378/task/29389/stat : 29389 (java) S 29350 29350 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510186406 7940440064 25051 33554432000 4194304 4196468 140730032191344 140371342386464 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29390] ppid=29350 vsize=7754336 memory=804 CPUtime=0 cores=0-7
/proc/29378/task/29390/stat : 29390 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186407 7940440064 25051 33554432000 4194304 4196468 140730032191344 140371073951344 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29391] ppid=29350 vsize=7754336 memory=1804 CPUtime=0 cores=0-7
/proc/29378/task/29391/stat : 29391 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186409 7940440064 25051 33554432000 4194304 4196468 140730032191344 140370699442768 140372802574235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29392] ppid=29350 vsize=7754336 memory=1396 CPUtime=0.03 cores=0-7
/proc/29378/task/29392/stat : 29392 (java) S 29350 29350 28266 0 -1 1077944384 513 0 0 0 3 0 0 0 20 0 20 0 510186409 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372230600816 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29393] ppid=29350 vsize=7754336 memory=7533684 CPUtime=0.02 cores=0-7
/proc/29378/task/29393/stat : 29393 (java) S 29350 29350 28266 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 20 0 510186409 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372229548016 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29394] ppid=29350 vsize=7754336 memory=1200 CPUtime=0.03 cores=0-7
/proc/29378/task/29394/stat : 29394 (java) S 29350 29350 28266 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 20 0 510186409 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372228495728 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29395] ppid=29350 vsize=7754336 memory=6140 CPUtime=0.15 cores=0-7
/proc/29378/task/29395/stat : 29395 (java) S 29350 29350 28266 0 -1 1077944384 436 0 0 0 15 0 0 0 20 0 20 0 510186409 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372227442928 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29396] ppid=29350 vsize=7754336 memory=14012 CPUtime=0 cores=0-7
/proc/29378/task/29396/stat : 29396 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510186410 7940440064 25051 33554432000 4194304 4196468 140730032191344 140370201537376 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29397] ppid=29350 vsize=7754336 memory=24972 CPUtime=0 cores=0-7
/proc/29378/task/29397/stat : 29397 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510186410 7940440064 25051 33554432000 4194304 4196468 140730032191344 140372226390832 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
Current children cumulated CPU time: 95.22 s
Current children cumulated vsize: 7867464 KiB
Current children cumulated memory: 101680 KiB

[startup+77.501 s]
/proc/loadavg: 2.74 5.83 6.52 2/211 29397
/proc/meminfo: memFree=25130960/32770624 swapFree=66974376/67108860
[pid=29350] ppid=29347 vsize=113128 memory=1476 CPUtime=94.31 cores=0-7
/proc/29350/stat : 29350 (scop.sh) S 29347 29350 28266 0 -1 4202496 582 67789 0 0 0 0 9057 374 20 0 1 0 510178729 115843072 369 33554432000 4194304 5098028 140730937602432 140730937599176 140705397109372 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12062720 140730937606909 140730937607256 140730937607256 140730937610185 0
/proc/29350/statm: 28282 369 311 221 0 87 0
[pid=29378] ppid=29350 vsize=8414124 memory=120240 CPUtime=1.13 cores=0-7
/proc/29378/stat : 29378 (java) S 29350 29350 28266 0 -1 1077944320 20883 0 0 0 106 7 0 0 20 0 24 0 510186402 8616062976 30060 33554432000 4194304 4196468 140730032191344 140730032173888 140372802555639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
/proc/29378/statm: 2103531 30060 3210 1 0 2064875 0
[pid=29378/tid=29379] ppid=29350 vsize=8414124 memory=81808 CPUtime=0.74 cores=0-7
/proc/29378/task/29379/stat : 29379 (java) R 29350 29350 28266 0 -1 4202560 17783 0 0 0 69 5 0 0 20 0 24 0 510186403 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372774394544 140372802567574 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29380] ppid=29350 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/29378/task/29380/stat : 29380 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372806798224 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29381] ppid=29350 vsize=8414124 memory=11624 CPUtime=0 cores=0-7
/proc/29378/task/29381/stat : 29381 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372620954384 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29382] ppid=29350 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/29378/task/29382/stat : 29382 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372619902096 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29383] ppid=29350 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/29378/task/29383/stat : 29383 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372618849296 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29384] ppid=29350 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/29378/task/29384/stat : 29384 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372284701072 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29385] ppid=29350 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/29378/task/29385/stat : 29385 (java) S 29350 29350 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372283648272 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29386] ppid=29350 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/29378/task/29386/stat : 29386 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372282595984 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29387] ppid=29350 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/29378/task/29387/stat : 29387 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510186404 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372281543184 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29388] ppid=29350 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/29378/task/29388/stat : 29388 (java) S 29350 29350 28266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510186406 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372231654000 140372802566786 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29389] ppid=29350 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/29378/task/29389/stat : 29389 (java) S 29350 29350 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510186406 8616062976 30060 33554432000 4194304 4196468 140730032191344 140371342386464 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29390] ppid=29350 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29378/task/29390/stat : 29390 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510186407 8616062976 30060 33554432000 4194304 4196468 140730032191344 140371073951344 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29391] ppid=29350 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/29378/task/29391/stat : 29391 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510186409 8616062976 30060 33554432000 4194304 4196468 140730032191344 140370699442768 140372802574235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29392] ppid=29350 vsize=8414124 memory=1716 CPUtime=0.06 cores=0-7
/proc/29378/task/29392/stat : 29392 (java) S 29350 29350 28266 0 -1 1077944384 730 0 0 0 6 0 0 0 20 0 24 0 510186409 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372230600816 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29393] ppid=29350 vsize=8414124 memory=1200 CPUtime=0.04 cores=0-7
/proc/29378/task/29393/stat : 29393 (java) S 29350 29350 28266 0 -1 1077944384 164 0 0 0 4 0 0 0 20 0 24 0 510186409 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372229548016 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29394] ppid=29350 vsize=8414124 memory=6140 CPUtime=0.06 cores=0-7
/proc/29378/task/29394/stat : 29394 (java) S 29350 29350 28266 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 510186409 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372228495728 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29395] ppid=29350 vsize=8414124 memory=14012 CPUtime=0.19 cores=0-7
/proc/29378/task/29395/stat : 29395 (java) S 29350 29350 28266 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 510186409 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372227442928 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29396] ppid=29350 vsize=8414124 memory=24972 CPUtime=0 cores=0-7
/proc/29378/task/29396/stat : 29396 (java) S 29350 29350 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510186410 8616062976 30060 33554432000 4194304 4196468 140730032191344 140370201537376 140372802565845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
[pid=29378/tid=29397] ppid=29350 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/29378/task/29397/stat : 29397 (java) S 29350 29350 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510186410 8616062976 30060 33554432000 4194304 4196468 140730032191344 140372226390832 140372802566786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140730032198623 140730032198790 140730032198790 140730032201679 0
Current children cumulated CPU time: 95.44 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121716 KiB

Child status: 0
Real time (s): 77.5319
CPU time (s): 95.6356
CPU user time (s): 91.8008
CPU system time (s): 3.83485
CPU usage (%): 123.35
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 7541068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.8008
system time used= 3.83485
maximum resident set size= 7542056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12009
involuntary context switches= 240


# summary of solver processes directly reported to runsolver:
#   pid: 29350
#   total CPU time (s): 95.6356
#   total CPU user time (s): 91.8008
#   total CPU system time (s): 3.83485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.517572 second user time and 0.89769 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-24 18:25:26
IDJOB=4405247
IDBENCH=134289
IDSOLVER=2867
FILE ID=node117/4405247-1569342368
RUNJOBID= node117-1569335935-28293
PBS_JOBID= 21705066
Free space on /var/tmp= 13420 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405247-1569342368/watcher-4405247-1569342368 -o /var/tmp/evaluation-result-4405247-1569342368/solver-4405247-1569342368 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --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-4405247-1569342368.xml

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

MD5SUM BENCH= a4344d82eae68729eeb0bbc0b13d3fa1
RANDOM SEED=1435980845

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
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:        25183544 kB
MemAvailable:   31821476 kB
Buffers:          116112 kB
Cached:          6572472 kB
SwapCached:        27884 kB
Active:          3344772 kB
Inactive:        3375444 kB
Active(anon):       3128 kB
Inactive(anon):    80016 kB
Active(file):    3341644 kB
Inactive(file):  3295428 kB
Unevictable:      107640 kB
Mlocked:          107640 kB
SwapTotal:      67108860 kB
SwapFree:       66974376 kB
Dirty:            116260 kB
Writeback:             0 kB
AnonPages:        112748 kB
Mapped:            54396 kB
Shmem:             42712 kB
Slab:             457672 kB
SReclaimable:     429320 kB
SUnreclaim:        28352 kB
KernelStack:        3344 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13400 MiB
End job on node117 at 2019-09-24 18:26:43